Homework SourseFor each of the following expressions develop the condition
For each of the following expressions develop the condition coverage, decision coverage, condition/decision coverage terms (2 per coverage). Also provide MCDC test cases for each. Write solutions in terms of n-tuples - (FFF, FFT) as appropriate.
a. ab + c
b. a(c + d)
c. ab + c + d
d. abcd XOR a\'b\'c\'d\'
Solution
Following would be code/decision covergae and MCDC test case :
a) ab+c
D = (A and B) or C
which means A and B will be true when both A and B is true and then we are ORing with C so when any one either C OR Aand B result is true.
A
B
C
D
F
F
F
F
F
F
T
T
F
T
F
F
T
F
F
F
T
F
T
T
T
T
F
T
T
T
T
T
b) B : A and (C or D)
this means B will be true when A and result of C or D is true.
A
C
D
B
F
F
F
F
F
F
T
F
F
T
F
F
T
F
F
F
T
F
T
T
T
T
F
T
T
T
T
T
c) E : A and B or C or D
this means E will be true when result of A and B is true or if its false any one of C/D is true.
A
B
C
D
E
F
F
F
F
F
F
F
F
T
T
F
F
T
F
T
F
T
F
F
F
F
T
F
T
T
F
T
T
F
T
F
T
T
T
T
T
F
F
F
F
T
F
F
T
T
T
F
T
F
T
T
F
T
T
T
T
T
F
F
T
T
T
F
T
T
T
T
T
F
T
T
T
T
T
T
d) E : (A and B and C and D )XOR (not A and notB and notC and notD)
E will be true when one of them is true
A
B
C
D
A’
B’
C’
D’
E
F
F
F
F
T
T
T
T
T
F
F
F
T
T
T
T
F
F
F
F
T
F
T
T
F
F
F
F
T
F
F
T
F
T
F
F
F
T
F
T
T
F
T
F
F
F
T
T
F
T
F
F
T
F
F
T
T
T
T
F
F
F
F
T
F
F
F
F
T
T
T
F
T
F
F
T
F
T
T
F
F
T
F
T
F
F
T
F
T
F
T
F
T
T
F
T
F
F
F
T
T
F
F
F
F
T
T
F
T
T
F
T
F
F
T
F
F
T
T
T
F
F
F
F
T
F
T
T
T
T
F
F
F
F
T
| A | B | C | D |
| F | F | F | F |
| F | F | T | T |
| F | T | F | F |
| T | F | F | F |
| T | F | T | T |
| T | T | F | T |
| T | T | T | T |
