Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

5.1.5.2. Konsistenz der Akteure . . . . . . . . . . . . . . . . . . . . . . . 81
5.1.5.3. Konsistenz der Informationsflüsse . . . . . . . . . . . . . . . . . 81
5.1.5.4. Konsistenz der Ports . . . . . . . . . . . . . . . . . . . . . . . . . 82
5.1.5.5. Konsistenz der Allokationen . . . . . . . . . . . . . . . . . . . . . 82
5.2. Nichtfunktionale Anforderungen und externe Dokumente . . . . . . . . . . . . . 84
5.2.1. Nicht funktionale Anforderungen . . . . . . . . . . . . . . . . . . . . . . . 84
5.2.2. Externe Dokumente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
5.2.3. Konzept zur Einbindung textbasierter Informationen . . . . . . . . . . . . 86
6. Inkrementell-iterativer Erstellungsprozess für Anforderungsspezifikationen 89
6.1. Wahl des Vorgehensmodells . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
6.1.1. Anforderungen an das Vorgehensmodell . . . . . . . . . . . . . . . . . . . 90
6.1.2. Auswahl des Vorgehensmodells . . . . . . . . . . . . . . . . . . . . . . . . 91
6.1.3. Einordnung in den Gesamtlebenszyklus . . . . . . . . . . . . . . . . . . . 93
6.1.3.1. Wechselwirkungen mit dem Lebenszyklus nach DIN EN 50126 . 93
6.1.3.2. Einbindung der Risikoanalyse . . . . . . . . . . . . . . . . . . . . 95
6.2. Ableitung des Prozessmodells . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
6.2.1. Informeller Prozessvorlauf . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
6.2.2. Prozessstrukturierung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
6.2.3. Aufgabenorientierung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
6.2.4. rekursive Prozessanwendung . . . . . . . . . . . . . . . . . . . . . . . . . 101
6.2.5. Prozessmetamodell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
6.2.6. Beispielmodell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
6.3. Phasen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
6.3.1. P0 - Spezifikation des Systemkontextes . . . . . . . . . . . . . . . . . . . . 105
6.3.1.1. Beispielmodell . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
6.3.2. P1 - Spezifikation der Systemfunktionen . . . . . . . . . . . . . . . . . . . 108
6.3.2.1. Beispielmodell . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
6.3.3. P2 - Spezifikation des Systemverhaltens . . . . . . . . . . . . . . . . . . . 113
6.3.3.1. Prinzipielles Vorgehen . . . . . . . . . . . . . . . . . . . . . . . . 116
6.3.3.2. Ableitung der Szenarien . . . . . . . . . . . . . . . . . . . . . . . 118
6.3.3.3. Verhaltensmodellierung . . . . . . . . . . . . . . . . . . . . . . . 119
6.3.3.4. Testen des Systemverhaltens und Erzeugung neuer Testfälle . . . 119
6.3.3.5. Zusammenfassung . . . . . . . . . . . . . . . . . . . . . . . . . . 121
6.3.3.6. Beispielmodell . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
6.3.4. P3 - Spezifikation der Subsystemarchitektur . . . . . . . . . . . . . . . . . 125
6.3.4.1. Beispielmodell . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
6.3.5. P4 - Fortschreibung/Anpassung des Anforderungsmodells . . . . . . . . . 129
6.4. Subprozesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
6.4.1. S1 - Systemabgrenzungssicht bearbeiten . . . . . . . . . . . . . . . . . . . 130
6.4.2. S2 - Systemfunktionssicht bearbeiten . . . . . . . . . . . . . . . . . . . . . 131
6.4.3. S3 - Szenariensicht bearbeiten . . . . . . . . . . . . . . . . . . . . . . . . . 131
6.4.4. S4 - Verhaltenssicht bearbeiten . . . . . . . . . . . . . . . . . . . . . . . . 131
6.4.5. S5 - Systemverhalten testen . . . . . . . . . . . . . . . . . . . . . . . . . . 133
6.4.5.1. Ziele des Testens in diesem Subprozess . . . . . . . . . . . . . . 134
6.4.5.2. Klassifizierung des Verfahrens zur Testfallgenerierung . . . . . . 135
6.4.5.3. Verfahren und Werkzeuge . . . . . . . . . . . . . . . . . . . . . . 136
6.4.5.4. Vorgehen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
6.4.6. S6 - Systemverhalten verifizieren . . . . . . . . . . . . . . . . . . . . . . . 138