I run into a problem when doing MCDC for the expression below:
if(
(t_Active_b == FALSE)
&&
(
(t_State_ub != HOLD) &&
(t_State_ub != RELEASE) &&
(t_State_ub != CAPTURE)
)
||
t_signal_ub == FAILED
)
From the expression, I have 5 conditions in total
[ A && (B && C && D) || E ]
As MCDC requires: "a change in one condition results a change in output",
which means if A changes (t_Active_b has the value TRUE and then FALSE) and other conditions have to keep its state then the output changes (from TRUE to FALSE)
How can I design the test cases for condition B, C, and D?
By the way, do you know any commercial or free tool that can generate MCDC test cases?
Aucun commentaire:
Enregistrer un commentaire