お互いに依存する条件のためにMCDCを行うには？

Question

以下発現のためMCDCを行うとき、私は問題に実行する：|

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

式から、Iは総

[& &（B & & C & & D）で5つの条件を有します| E]

MCDC必要に応じて：変更（t_Active_bが値TRUE、次にFALSEを有する）、および他の条件は、その状態を維持しなければならない場合を意味し、

「一つの条件の結果出力の変化の変化」を出力は（TRUEからFALSEに）変更されます

どのようにして条件B、C、Dのテストケースを設計できますか？

ところで、MCDCテストケースを生成する商用ツールや無料ツールはご存知ですか？

別のアプローチのためにあなたがBCたとえばという名前の大きな条件として（B、C、D）を考慮し、発現のためのMCDCを行うことができます私の意見で

Answer 1

（& & BC || E）

、あなたがすることができますこのリンクは質問に答えるかもしれないが、ここでは答えの重要な部分が含まれており、参考のためにリンクを提供することをお勧めし

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