Professional Documents
Culture Documents
Formal Methods Design & Test: Yogananda Jeppu
Formal Methods Design & Test: Yogananda Jeppu
Formal Methods Design & Test: Yogananda Jeppu
Test Cases for Decision Coverage: Decision coverage requires two test cases: one for
A=T a true outcome and another for a false outcome.
A=F
A B Out
if(A && B)
F F F
F1();
else F T F
F2(); T F F
T T T
• To test if (A and B)
A: F T T
B: T F T
• To test if (A xor B)
A: T T F
B: T F T
0 0 0 0 1 1 1
0 0 1 0 1 0 0
0 1 0 1 0 1 0 2
0 1 1 1 0 0 0
1 0 0 1 0 1 0 3
1 0 1 1 0 0 0
1 1 0 0 1 1 1 1
1 1 1 0 1 0 0 4
• The assignments should give you a good insight into the system
working