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

4. White-Box-Test
Eingabe Ausgabe
Der Tester muss die innere Struktur des Programms und den Quellcode kennen,
weil die innere Struktur des Programms bei dieser Strategie getestet wird. Bei
dieser Strategie definiert der Tester die Testdaten mit Kenntnis der
Programmlogik (zum Beispiel if/else Verzweigung).
Das wichtige Prinzip beim White-Box-Test ist:
1. Jeder Programmpfad muss mindestens einmal durchlaufen werden.
2. Jeder Modul, jede Funktion muss mindestens einmal benutzt werden
Einige wichtige Verfahren von White-Box-Test :
1. Beweis durch Widersprüche
2. Testdeckungsgrad (logic coverage testing)
4.1 Beweis durch Widersprüche
Beweis durch Widersprüche bedeutet, dass man von der Annahme ausgeht, ein
unsicherer Zustand kann durch Ausführung des Programms herbeigeführt
werden. Man analysiert den Code und zeigt, dass die Vorbedingungen für das
Erreichen des unsicheren Zustands durch die Nachbedingungen aller
Programmpfade, die zu diesem Zustand führen können, ausgeschlossen werden.
Um diese Methode zu verdeutlichen, wird hier ein einfaches
sicherheitskritischens medizinisches System verwendet. Dieses System heisst
Insulindosiersystem.
Insulindosiersystem ist ein Gerät, das den Blutzuckergehalt überwacht und gibt,
falls erforderlich, eine angemessene Insulindosis aus.
Das Bild zeigt die Arbeitsweise eines Insulindosiersystems