
Test-Adequacy Assessment Using Control Flow
Table 6.6 Test cases for C = (C
1
BOE C
2
)or C
3
to illustrate MC/DC
coverage
Inputs
Output
Test &
1
&
2
&
3
&
Fix C
1
and C
2
to USVF,varyC
3
1(9, 5) USVF USVF USVF USVF
2(11, 7) USVF USVF GBMTF USVF
Fix C
1
to USVF, C
2
to GBMTF,varyC
3
a
3(10, 9) USVF GBMTF USVF USVF
4(12, 11) USVF GBMTF GBMTF GBMTF
Fix C
1
to GBMTF, C
2
to USVF,varyC
3
a
5(1, 6) GBMTF USVF USVF USVF
6(3, 8) GBMTF USVF GBMTF GBMTF
Fix C
1
and C
2
to GBMTF,varyC
3
a
7(2, 10) GBMTF GBMTF USVF USVF
8(4, 12) GBMTF GBMTF GBMTF GBMTF
Fix C
1
and C
3
to USVF,varyC
2
9(1, 5) USVF USVF USVF USVF
10(3, 9) USVF GBMTF USVF USVF
Fix C
1
to USVF, C
3
to GBMTF,varyC
2
a
11(2, 7) USVF USVF GBMTF USVF
12(4, 11) ...