Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
act [Aktivitaet] P2 Spezifikation Systemverhalten[ Ablauf P2 ]<br />
Iterationen (Fuktionen) festlegen<br />
Iterationen (Szenarien) festlegen<br />
: S3 Szenariensicht erstellen/ueberarbeiten<br />
: S4 Systemverhaltenssicht erstellen/ueberarbeiten<br />
: S2 Systemfunktionssicht erstellen/ueberarbeiten<br />
: S1 Systemabgrenzungssicht erstellen/ueberarbeiten<br />
[Modell nicht ausfuehrbar]<br />
[Modell ausfuehrbar]<br />
: S5 Systemverhalten testen<br />
Testversagen gemeldet<br />
: S6 Systemverhalten verifizieren<br />
Neue Szenarien gemeldet<br />
[Systemverhalten ok]<br />
: S8 Nicht-funktionale Anforderungen ueberabeiten<br />
Auf weitere Iteration pruefen<br />
[weitere Iteration]<br />
[keine Iteration]<br />
Abbildung 6.15.: Ablauf Phase P2<br />
In jedem Durchlauf der äußeren Schleife erfolgt somit eine schnelle Abfolge von Spezifikation<br />
des Soll-Verhaltens, Implementierung dieses Verhaltens und Test des Verhaltens gegen die Szenarien.<br />
Die Abläufe in dieser Phase entsprechen somit einem minimalistischen V-Modell, wobei<br />
der linke Schenkel des V die Verhaltensimplementierung bildet, die dann im rechten Schenkel<br />
117