3.4 Condition Coverage
We will go one step deeper and examine condition coverage. Condition coverage is a
measure of percentage of Boolean sub-expressions of the program that have been evaluated
as both true or false outcome [applies to compound predicate] in test cases. Notice that in
line 7 there are three sub-Boolean expressions to the larger statement (a==b), (c==d), and
bug(a). Condition coverage measures the outcome of each of these sub-expressions
independently of each other. With condition coverage, you ensure that each of these subexpressions
has independently been tested as both true and false. We consider our progress
thus far in Table 2