如何針對彼此依賴的條件進行MCDC？

我爲下面的表達式做MCDC當碰到一個問題：如何針對彼此依賴的條件進行MCDC？

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

從表達，我有5個條件總

[A & &（B & &Ç& & d）| | E]

作爲MCDC要求：「在一個條件的變化會導致輸出的變化」，

這意味着如果A改變（t_Active_b具有值TRUE，然後FALSE）和其他條件必須保持它的狀態那麼輸出會發生變化（從TRUE到FALSE）

如何設計條件B，C和D的測試用例？

順便說一下，你知道任何商業或免費的工具，可以生成MCDC測試用例嗎？

來源

2017-09-17 Michael Maegner

-1

在我看來，你可以考慮（B，C，d）爲命名，例如公元前一大條件和表達式（A & & BC || E）

對於另一種方法做MCDC，你可以看看這篇文章

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

來源

2017-09-17 12:10:02 Saitama

雖然此鏈接可以回答這個問題，最好是在這裏有答案的主要部件，並提供鏈接以供參考。如果鏈接頁面更改，則僅鏈接答案可能會失效。 - [來自評論]（/ review/low-quality-posts/17357947） – Chris

如何針對彼此依賴的條件進行MCDC？

回答

相關問題