Kontrollflussüberdeckung (C0, C1)

Metriken für White-Box-Tests basierend auf dem Kontrollflussgraphen (CFG):

• Anweisungsüberdeckung (C0): $\frac{\text{Besuchte Knoten}}{\text{Alle Knoten}}$. Findet toten Code, aber übersieht fehlende Zweige.
• Zweigüberdeckung (C1): $\frac{\text{Besuchte Kanten}}{\text{Alle Kanten}}$. Minimale Anforderung. Beinhaltet C0.
• Pfadüberdeckung: $\frac{\text{Besuchte Pfade}}{\text{Mögliche Pfade}}$. Wegen Schleifen oft unendlich ($C_{\mathrm{\infty }}$).