2. Verifikation, Validierung und Testen - Praktische Informatik ...

2. Verifikation, Validierung und Testen
In diesem Seminar wird das Thema Verifikation, Validierung und Testen von
sicherheitskritischen Systemen behandelt. Diese Ausarbeitung wird sich vor
allem auf das Testen von sicherheitskritischer Software konzentrieren.
Definition 2.1 (Die sicherheitskritische Software) Die sicherheiskritische
Software ist Software, deren Ausfall eine Auswirkung auf die Sicherheit haben
könnte oder großen finanziellen Verlust oder sozialen Verlust verursachen
könnte [9].
Definition 2.2 (Verifikation) Verifikation ist der Prozess des Überprüfens, der
sicherstellt, dass die Ausgabe einer Lebenszyklusphase die durch die
vorhergehende Phase spezifizierten Anforderungen erfüllt [9].
Definition 2.3 (Validation) Validation ist der Prozess des Bestätigens, dass die
Spezifikation einer Phase oder des Gesamtsystems passend zu und konsistent mit
den Anforderungen des Kunden ist [9].
Nach der Definition sind Verifikation und Validierung nicht dasselbe. Der
Unterschied zwischen ihnen wurde nach Boehm (1979) so ausgedrückt:
„Validierung : Erstellen wir das richtige Produkt ?“
„Verifikation : Erstellen wir das Produkt richtig ?“
Definition 2.4 (Spezifikation) Spezifikation ist ein Test, der die Syntax und
Semantik eines bestimmten Bestandteiles beschreibt bzw. eine deklarative
Beschreibung, was etwas ist oder tut [9].
Definition 2.5 (Testen) Das Testen ist der Prozess, ein Programm auf
systematische Art und Weise auszuführen, um Fehler zu finden [10].
Während die Verifikation den Output einer Entwicklungsphase auf die
Korrektheit mit der vorherigen Phase untersucht, wird die Validation benutzt,
um das Gesamtsystem mit den Kundenanforderungen zu vergleichen.
Die zentrale Tätigkeit bei Validation ist das Testen. Das Gesamtsystem wird bei
Ende des Prozess getestet, ob es den Kundenanforderungen entspricht oder
nicht. Ein eigenes Kapitel ist dem Testen gewidmet, deswegen wird es an dieser
Stelle nicht erklärt. Die zentrale Tätigkeit bei der Verifikation ist der Beweis mit
der formalen Verifikation. Dieser Beweis wird nicht in dieser Ausarbeitung
behandelt.