dimanche 17 septembre 2017

How to do MCDC for conditions that depend on each other?

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