Bedingungsüberdeckung (C2, MC DC)

Metriken für zusammengesetzte Bedingungen (z.B. if (A || B)):

• Einfache: Jedes Atom (A, B) einmal true und einmal false.
• Mehrfache: Alle Kombinationen von Wahrheitswerten (bei $n$ Atomen $2^n$).
• MC/DC: Jedes Atom muss einmal das Gesamtergebnis unabhängig von den anderen beeinflussen. Standard in der Luftfahrt/Sicherheitstechnik.