Anforderungsanalyse und Anforderungsdefinition für ...

verhalten soll. Daher ist ein genaues Wissen über die Umwelt erforderlich, in der das
System eingesetzt werden soll. Da dieses nicht immer vollständig sein kann sind
entsprechende Annahmen zu treffen. Eine Anforderungsspezifikation kann hinreichend
vollständig bezüglich der Sicherheit sein. Sie ist dann nicht absolut vollständig,
garantiert aber unter allen Umständen sicheres Verhalten.
Verifizierbarkeit
Zu jeder Anforderung ist überprüfbar, ob sie in der Implementierung erfüllt worden ist.
Konsistenz
Die Konsistenz besagt, dass verschiedene Anforderungen in der Spezifikation nicht
Aussagen über den gleichen Bereich des Systems treffen dürfen, die im Konflikt
zueinander stehen.
Verständlichkeit
Die Dokumente sollen auch für Personen ohne Kenntnisse im Bereich der
Softwareentwicklung verständlich sein. Dieses ist sehr wichtig um Auftraggebern bzw.
Benutzern die Möglichkeit zu geben, die Anforderungsspezifikation auf Vollständigkeit
zu überprüfen. Außerdem erhöht das Verständnis der Anforderungen das Vertrauen in
das System.
Verfolgbarkeit
Die Herkunft jeder Anforderung sollte klar zu erkennen sein.
Kommentare
Zum besseren Verständnis sollten Kommentare eingefügt sein, dies gilt besonders bei
formalen Sprachen.
Modifizierbarkeit
Redundante Beschreibungen dürfen nicht vorkommen.
Anforderungsspezifikation
Besonders wichtig sind die Eigenschaften der Eindeutigkeit, Vollständigkeit, Konsistenz
und Korrektheit.
Mit einer natürlichen Sprache als Anforderungsspezifikationssprache ist die Erreichung
dieser Eigenschaften nur schwer möglich, daher ist der Einsatz formaler Methoden sehr
hilfreich.
10