Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Als Ergebnis liefert der Subprozess S5 drei mögliche Aussagen:
(a) Das modellierte Systemverhalten ist konsistent zu den Interaktionszenarien und die automatisch
erstellten Testfälle offenbaren kein fehlerhaftes oder ungewolltes Verhalten
(b) Das modellierte Systemverhalten ist inkonsistent zu den Interaktionsszenarien
(c) Das modellierte Systemverhalten ist konsistent zu den Interaktionsszenarien, aber die automatisch
erstellten Testfälle offenbaren ein ungewünschtes oder fehlerhaftes Verhalten
oder zeigen neue, noch unberücksichtigte Szenarien.
Im Fall (a) kann die momentane Iteration fortgesetzt werden, in den Fällen (b) und (c) muss
der Grund für die Inkonsistenz bzw. das Fehlverhalten des Modells ermittelt werden. Die nächste
Iteration kann erst begonnen werden, wenn der Modellierungsfehler bzw. die Unvollständigkeit
der Szenarien behoben wurde.
Im nachfolgenden, optionalen Subprozess „S6 - Systemverhalten verifizieren” kann das Systemverhalten
zusätzlich durch eine formale Verifikationstechnik gegen eine Menge von formal definierten
Randbedingungen überprüft werden. Hierbei gibt es zwei mögliche Ergebnisse: Entweder
das System erfüllt die Randbedingungen, oder es erfüllt sie nicht. Im letzten Fall wird
ebenfalls die aktuelle Iteration abgebrochen und der Grund für das Nichtbestehen des Verifikationslaufes
muss ermittelt werden. Weitere Informationen zur Durchführung der Verifikation
finden sich in Abschnitt 6.4.6. Mangels geeigneter Werkzeuge konnte für das Beispielmodell
jedoch keine Verifikation durchgeführt werden.
6.3.3.5. Zusammenfassung
In Tabelle 6.4 werden die wesentlichen Kriterien für den Prozessablauf der Phase 2 zusammengefasst,
wobei nach innerer und äußerer Iterationsschleife unterschieden wird.
Aspekt
Iteration (äußere Schleife)
Iterationsendkriterium (äußere Schleife)
Iteration (innere Schleife)
Iterationsendkriterium (innere Schleife)
Phasenendkriterium
Diese Iteration läuft über die einzelnen
Systemfunktionen. Innerhalb jeder Iteration werden die
Interaktionsszenarien für die Systemfunktion erstellt und
das Verhalten der jeweiligen Systemfunktion
implementiert.
Für alle Systemfunktionen wurden die Szenarien erstellt
Diese Iteration läuft über alle Szenarien, die die aktuelle
Systemfunktion der äußeren Schleife detaillieren. In
jedem Iterationsdurchlauf wird ein Szenario erstellt.
Für die momentan bearbeitete Systemfunktion lässt sich
kein weiteres Szenario mehr finden oder es ist ein Fehler
beim Systemtest gefunden worden oder die Szenarien
sind unvollständig
Die äußere Iterationsschleife wurde vollständig
durchlaufen
Tabelle 6.4.: Prozesskriterien Phase 2
121