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

Jeder Knoten kann den Wert 0 oder 1 annehmen.
- Die Funktion der Identität besagt, wenn a = 1 ist, dann b= 1 ist, ansonsten b= 0.
- Die NOT-Funktion besagt, wenn a = 1 ist, dann b = 0 ist, ansonsten b = 1.
- Die AND-Funktion besagt, wenn a = 1 und b = 1 sind, dann c = 1 ist,
ansonsten c = 0.
- Die OR-Funktion besagt, wenn a oder b oder c = 1 ist, dann d = 1, ansonsten
d = 0.
Die Testfälle werden wie folgt entwickelt:
1. Der Tester muss die komplexe Spezifikation der Software in kleinere Stücke
zerlegen. Zum Beispiel: ein Programm in einzelne Methoden.
2. Der Tester muss Ursachen und Wirkungen der Spezifikation festlegen. Eine
Ursache ist eine Eingangsbedingung oder eine Äquivalenzklasse von
Eingangsbedingungen. Eine Wirkung ist eine Ausgangsbedingung oder eine
Systemtransformation (eine Nachwirkung, die die Eingabe auf den Zustand des
Programms oder Systems hat). Ursachen und Wirkungen werden definiert,
indem man die Spezifikation Wort für Wort liest und alle Worte, die Ursachen
und Wirkungen beschreiben, unterstreicht.
3. Der semantische Inhalt der Spezifikation wird analysiert und in einen
booleschen Graphen transformiert. Die Ursache wird in die linke Seite des
Graphs geschrieben und die Wirkung in die rechte Seite des Graphen. Man
verbindet danach Ursache und Wirkung mit den Operatoren aus der booleschen
Algebra (AND, OR, NOT).
4. Der Graph wird mit Kommentaren versehen, die Kombinationen von
Ursachen und/oder Wirkungen angeben, die aufgrund kontextabhängiger
Beschränkungen nicht möglich sind.
5. Der Graph wird in eine Entscheidungstabelle umgesetzt. Jede Spalte stellt
einen Testfall dar.
6. Die Spalten in der Entscheidungstabelle werden in die Testfälle konvertiert.
Zum besseren Verständnis eines Ursache-Wirkungs-Graphen wird hier ein
Beispiel angeführt.
Angenommen, wir haben eine Spezifikation für eine Methode, die dem Benutzer
erlaubt, eine Suche nach einem Buchstabe in einer vorhandenen Zeichenkette