
Test-Adequacy Assessment Using Control Flow
the case of C
3
, we note that in tests t
3
and t
4
, conditions ([[≤
Z) and (current==“South”) are held constant, while (YZ)isvar-
ied. These two tests demonstrate the independent effect of (YZ)
on C
3
. Tests t
1
and t
3
demonstrate the independent effect of ([[
≤ Z)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
=(YZ) BOE ([[Z) BOE (prev==“East”)
Test YZ [[Z prev==“East” C
2
Comment
t
1
USVF GBMTF GBMTF GBMTF
t
2
USVF USVF USVF USVF GJSF invoked
t
3
USVF USVF GBMTF GBMTF
t
5
GBMTF ...