Programmablauf-Tests

bezieht sich auf Programm-Ablauf-Graphen (Knoten: Anweisungen, Kanten: mögliche Übergänge)

• Anweisungs-Überdeckung: jede Anweisung mindestens einmal ausgeführt
• Zweigüberdeckung: jede Kante mindestens einmal durchlaufen -- Beachte: if (X) then { A }
• Pfadüberdeckung: jeder Weg (Kantenfolge) mindestens einmal durchlaufen -- Beachte: Schleifen (haben viele Durchlaufwege)

  Variante: jede Schleife (interior) höchstens einmal

• Bedingungs-Überdeckung: jede atomare Bedingung einmal true, einmal false.