Comment faire MCDC pour les conditions qui dépendent les uns des autres?

Question

je rencontre un problème lorsque vous faites MCDC pour l'expression ci-dessous:

if( 
(t_Active_b == FALSE) 
&& 
(
    (t_State_ub != HOLD) && 
    (t_State_ub != RELEASE) && 
    (t_State_ub != CAPTURE) 
) 
|| 
t_signal_ub == FAILED 
) 

De l'expression, j'ai 5 conditions au total

[A & & (B & & C & & D) | | E]

Comme MCDC exige: « un changement dans une condition entraîne une variation de la production »,

ce qui signifie que si un changement (t_Active_b a la valeur TRUE et FALSE) et d'autres conditions doivent garder son état puis la sortie change (de TRUE à FALSE)

Comment puis-je concevoir les scénarios de test pour les conditions B, C et D? À propos, connaissez-vous un outil commercial ou gratuit qui peut générer des cas de test MCDC?

Answer 1

À mon avis, vous pouvez envisager (B, C, D) comme un grand état nommé par exemple BC et faire MCDC pour l'expression (A & & BC || E)

Pour Une autre approche, vous pouvez jetez un oeil à cet article

https://www.digitalobjectivo.com/mcdc-test-cases-generator/