--------------------------------------------
a b(exp)
-------------------------------------------
-128 0 ==> 01
-127 0 ==> 01
0 0 ==> 01
9 0 ==> 01
10 0 ==> 01
11 20 ==> 11
12 20 ==> 11
15 20 ==> 11
18 20 ==> 11
19 20 ==> 11
20 0 ==> 10
21 0 ==> 10
65 0 ==> 10
126 0 ==> 10
127 0 ==> 10
REQ1: If a>10 and a<20, then set b to 20; otherwise 0.
C1 ==> a>10
C2 ==> a<20
C1 && C2
C1 C2 O/P
0 1 0
1 0 0
1 1 1
Note: a is integer type. Range (-128 to 127)
b is integer type. Range (-128 to 127)
[-128 to 10] ==> b is 0
[11 to 19] ==> b is 20
[20 to 127] ==> b is 0
ECP ==> YES
BVA ==> YES
MC/DC ==> YES
inputs ==> a
outputs ==> b
ECP ==> yes
BVA ==> yes
MC/DC ==> yes
[-128 to 10] ==> b is 0
[11 to 19] ==> b is 20
[20 to 127] ==> b is 0
-129,-128,-127,0,9,10,11
10,11,12,15,18,19,20
19,20,21,65,126,127,128
C1 ==> a>10
C2 ==> a<20
C1 && C2
C1 C2 o/p
0 1 0 ==> -128, -127, 0, 9,10,
1 0 0 ==> 20, 21,65,126,127
1 1 1 ==> 11, 12,15,18,19
Z = A&&B&&C;
ABC
000
001
010
011
100
101
110
111
10 conditions ==> 2^10 ==> 1024 test cases ==> 11
11 conditions ==> 2^11 ==> 2048 test cases ==> 12
12 conditions ==> 2^12 ==> 4096 test cases ==> 13
Z = A && B; ==> 3 test cases
AB Z
00 0
01 0
10 0
11 1
Z = A || B; ==> 3 test cases
AB Z
00 0
01 1
10 1
11 1
Z = A&&B&&C; ==> 4 test cases
ABC Z
000 0
001 0
010 0
011 0
100 0
101 0
110 0
111 1
Z = A||B||C; ==> 4 test cases
ABC Z
000 0
001 1
010 1
011 1
100 1
101 1
110 1
111 1