Der erste Austausch von Anforderungen im Requirements Interchange Format (ReqIF) kann frustrierend sein: Es gibt viele Werkzeuge, und es gibt immer noch einige Interoperabilitätsprobleme. Wenn ein Werkzeug sich weigert, eine ReqIF-Datei zu verarbeiten, wo liegt dann das Problem? Um diese Frage zu beantworten, haben wir ein neues, kostenloses Werkzeug entwickelt: Konsequent, das Validierungswerkzeug für ReqIF-Dateien. Lesen Sie mehr dazu unten.
Formales Denken auf der EclipseCon und der TdSE
Aber zuerst möchten wir Sie an zwei kommende Veranstaltungen in der nächsten und übernächsten Woche erinnern. Dr. Michael Jastram wird über den Einsatz von ReqIF in der Bahnindustrie sprechen:
- 3. November 2015 – 15:45: “openETCS – Eclipse im Eisenbahnwesen” auf der EclipseCon Europe (Englisch)
- 12. November 2015 – 14:30: “Solid requirements thanks to ReqIF in European rail transport”bei TdSE (Deutsch)
Wenn Sie sich auf einer dieser Konferenzen treffen möchten, Bitte gib uns eine Notiz.
Binom-Betatest beginnt bald
Mitte November werden wir eine Beta-Version von Binom veröffentlichen, so heißt die neue ReqIF-Vergleichskomponente. Nach der Veröffentlichung wird Binom nicht mehr kostenlos sein. Nehmen Sie am Binom Beta-Test teil >>
Konsequente Anforderungsvalidierung
Unsere neue Komponente Consequent ist komplett kostenlos und direkt in formalmind Studio integriert. Klicken Sie einfach mit der rechten Maustaste auf eine ReqIF-Datei im ProjektExplorer und wählen Sie Validieren | Konsequente ReqIF-Validierung. Sie erhalten eine Liste aller Probleme in der Problemansicht. Darüber hinaus können Sie die Probleme direkt in der XML-Datei sehen, wie hier gezeigt:

Consequent validiert ReqIF-Dateien anhand einer Reihe von Kriterien, darunter:
- Verstöße gegen die ReqIF-Spezifikation
- Validierung der ReqIF- und XHTML-Schemas
- Überprüfung, ob eingebettete Objekte vorhanden sind
- Validierung von Links über Dateien hinweg (nur Kommandozeilenversion)
- Verstöße gegen den ProStep Implementor Guide
Die resultierenden Probleme werden als Fehler oder Warnungen klassifiziert, je nachdem, ob sie tatsächliche Probleme oder nur Verstöße gegen bewährte Praktiken darstellen. Selbstverständlich können Sie einzelne Validierungsregeln deaktivieren.
Detaillierte Anweisungen zur Verwendung, ebenso wie die Befehlszeilenversion, finden Sie unter Folgeseite bei Formal Mind >>
Bestätigung
Wir möchten uns bei den bedanken ProStep ReqIF Implementor Forum, einer Industriegruppe, die sich mit der Interoperabilität von ReqIF-Werkzeugen beschäftigt und die diese Funktionalität finanziert hat.
Wir hoffen, dass Sie Consequent nützlich finden.
Bild mit freundlicher Genehmigung von Stuart Miles / FreeDigitalPhotos.net


Binom-Betatest beginnt bald


