
Test-Adequacy Assessment Using Control Flow
decision in the program during testing. However, when a decision is com-
posed of a compound condition, the decision coverage does not imply
that each simple condition within a compound condition has taken both
values true and false.
Condition coverage ensures that each component simple condition
within a condition has taken both values true and false. However, as
illustrated in the next example, condition coverage does not require each
decision to have taken both outcomes. The condition/decision coverage
is also known as branch condition coverage.
Example 6.15: Consider a slightly different version of Pro