
Test-Adequacy Assessment Using Control Flow
the case of C
3
, we note that in tests t
3
and t
4
, conditions (z*z≤
y) and (current==“South”) are held constant, while (x<y)isvar-
ied. These two tests demonstrate the independent effect of (x<y)
on C
3
. Tests t
1
and t
3
demonstrate the independent effect of (z*z
≤ y)onC
3
. However, the independent effect of (current==“South”)
on C
3
is not demonstrated by T
2
. This analysis reveals that we need
to add at least two tests to T
2
to obtain the MC/DC coverage.
C
2
=(x<y) and (z*z>y) and (prev==“East”)
Test x<y z*z>y prev==“East” C
2
Comment
t
1
true false false false
t
2
true true true true fire-1 invoked
t
3
true true false false
t
5
false ...