![*](bullet.gif) | (TT), (FF), (FT) und (TF) spezifizieren die BOOLEAN-Werte
der beiden Teilbedingungen in der mangelhaften zweiten
IF-Anweisung.
|
![*](bullet.gif) | C0 versucht, alle Anweisungen abzudecken. Dabei werden
nicht die leeren ELSE-Fälle berücksicht, d.h.
B fällt hier weg.
|
![*](bullet.gif) | C1 fügt einen Testfall für B hinzu.
|
![*](bullet.gif) | C2 vervollständigt die Menge der möglichen BOOLEAN-Werte
(soweit kamen nur (TT) und (FF) vor).
|
![*](bullet.gif) | C7 fügt BDE und ADF hinzu, die noch in der Menge der
insgesamt sechs möglichen Pfade fehlten. Zu beachten ist
hier, daß ACE und BCE unmöglich sind, da E nicht mehr
erreicht werden kann, wenn C erreicht wurde.
|