Grundlagen des Softwaretestens

White box: kontrollflussbasiert

Ausgehend von Kontrollflussgraph: logische Testfälle von Pfaden ableiten.
Anweisungsüberdeckung: jede Anweisung min, einmal.
--> Schwaches Kriterium, da Kanten einfach ignoriert werden
--> kann Dead Code finden
Entscheidungsüberdeckung: 
--> alle Entscheidungen einmal treffen.
--> impliziert Anweisungsüberdeckung
--> es werden keine Kombinationen aus Entscheidungen gefordert
Grenze-inneres Überdeckung:
- jede Schleife: keinmal, einmal, >1mal 
- nur ergänzendes Kriterium
Pfadüberdeckung:
Jeder Pfad mindestens einmal

Diskussion