Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Entwicklungsziel angestrebt werden, die Menge der händisch erstellten Szenarien möglichst zu
begrenzen, da deren Erstellung zeitaufwändig und fehleranfällig ist. Vielversprechend erscheint
hingegen der Ansatz, eine kleine Menge händisch erstellter Szenarien durch den wechselweisen
Prozess von Verhaltensmodellierung und Testfallgenerierung allmählich zu vervollständigen.
Dieses Vorgehen wird in Kapitel 6.4.5 im Rahmen des Test-Subprozesses beschrieben.
Die eigentliche Erstellung der Szenarien erfolgt durch den Subprozess S3, die Umsetzung in
Systemverhalten im Subprozess S4. Durch die anschließende Ausführung der Subprozesse S2,
S1 und S8 wird die Konsistenz aller anderen Sichten zu dem momentanen Entwicklungsstand
der Szenariensicht sichergestellt.
6.3.3.3. Verhaltensmodellierung
Die Verhaltensmodellierung erfolgt durch die Ausführung des Subprozesses „S4 - Systemverhaltenssicht
erstellen/überarbeiten” (siehe Abschnitt 6.4.4), wobei die Modellierung des Verhaltens
- aufgrund der Ankopplung an die äußere Iterationsschleife - analog zur Struktur des
Systemfunktionsbaumes aus der Phase P1 (siehe Abschnitt 6.3.2) erfolgt. Damit weist das Verhaltensmodell
eine zum Funktionsbaum ähnliche, hierarchische Struktur von Aktivitäts- oder
Zustandsdiagrammen auf. Allerdings kann das Verhaltensmodell über die Funktionsebene hinaus
noch weiter verfeinert werden. Dieser Prozessschritt ergänzt damit den hierarchischen Baum
von Aktivitätsdiagrammen, der mit der Modellierung der Systemfunktionen in Phase P1 begonnen
wurde (siehe Abschnitt 6.3.2), um weitere tiefere Hierarchieebenen.
Dieser hierarchische Baum lässt sich in der SysML durch ein Dekompositions-Strukturdiagramm
darstellen. In diesem werden die einzelnen Aktivitäten durch Blöcke repräsentiert und deren
hierarchische Verknüpfungen durch Kompositionen dargestellt. Bild 6.17 zeigt eine Prinzipdarstellung
eines solchen Strukturbaums für alle Aktivitäten des Beispielmodells.
Im Beispielmodell wurde für alle 10 atomaren Systemfunktionen das Verhalten ausspezifiziert.
Um die Ausführbarkeit des Modells sicherzustellen, wird im Strukturmodell dem Block „SuB”
das Verhalten des Verhaltensbaums zugewiesen.
6.3.3.4. Testen des Systemverhaltens und Erzeugung neuer Testfälle
Durch den Test des Systemverhaltens wird überprüft, ob das modellierte Verhalten die in den
Interaktionsszenarien spezifizierten Abläufe erfüllt 1 . Damit wird die Konsistenz zwischen Szenariensicht
und Systemverhaltenssicht sichergestellt. Weiterhin werden durch Analyse des ausführbaren
Modells automatisch Testfälle abgleitet, wobei diese Testfälle genau wie die händisch
erstellten Interaktionen durch Sequenzdiagramme repräsentiert werden. Die Gesamtmenge aller
Szenarien ergibt sich aus der Vereinigung der manuell erstellten Szenarien mit den durch die
Testfallgenerierung automatisch erzeugten Sequenzdiagrammen. Der Test des Systemverhaltens
im Subprozesses „S5 - Systemverhalten testen” (siehe Abschnitt 6.4.5), bezieht pro Iteration die
folgende Menge an Modellartefakten in den Test ein:
• Die kumulierte Menge der Verhaltensartefakte, also die Gesamtmenge des bis dahin in
allen Iterationen implementierten Verhaltens
• Die kumulierte Menge der Interaktionsszenarien, also die Gesamtmenge der in allen Iterationen
erstellten Interaktionsszenarien, sowohl händisch, als auch durch Testfallgenerierung.
1 Dabei können die in den Szenarien auf das SuB zulaufenden Signale als Stimuli und die aus dem SuB herausströmenden
Signale als Antworten des Systems verstanden werden.
119