White-Box-Tests

White-Box-Tests gehen davon aus, daß viele Mängel in einzelnen Anweisungen, Ausdrücken oder der Logik von Bedingungen versteckt sind.

Um möglichst viele dieser Mängel zu entdecken, wird nach Testfällen gesucht, die eine möglichst große Menge von denkbaren Pfaden durch das Programm abdecken.

Leider führt eine vollständige Abdeckung zu einer astronomisch hohen Zahl von Testfällen.

Folgende Abdeckungen sind üblich:

C0: Alle Anweisungen sind mindestens einmal auszuführen.

C1: Jede Verzweigung ist mindestens einmal auszuführen. Das heißt, daß bei einer IF-Anweisung ohne ELSE-Teil mindestens zwei Testfälle benötigt.

C2: Alle einzelnen Bedingungen größerer BOOLEAN-Ausdrückge sind zu testen.
Beispiel: Die Bedingung (a < b) & (b < c) benötigt drei Testfälle: (1) a < b, b < c, (2) a < b, b >= c, (3) a >= b.

C7: Alle denkbaren Pfade sind zu testen. Dies ist jedoch nicht praktikabel für Schleifen und Programmtext, der mehr als nur ein paar Zeilen umfaßt.