 | 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.
|
|