Prüfung der Zustandsabdeckung

Was ist Condition Coverage Testing?

Die Bedingungsabdeckung wird auch als Prädikatabdeckung bezeichnet, bei der jeder einzelne Boolesche Ausdruck sowohl mit TRUE als auch mit FALSE bewertet wurde.

Beispiel

if ((A || B) && C)
{
  << Few Statements >>
}
else
{
   << Few Statements >>
}

Ergebnis

Um vollständige Kriterien für die Zustandsabdeckung für das obige Beispiel sicherzustellen, sollten A, B und C mindestens einmal gegen "wahr" und "falsch" bewertet werden.

So, in our example, the 3 following tests would be sufficient for 100% Condition coverage testing.
A = true  | B = not eval | C = false
A = false | B = true     | C = true
A = false | B = false    | C = not eval