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