爲條件執行MCDC（A && B && C）|| D

Question

我有一種情況，我需要編寫幾個測試用例才能獲得代碼的完整覆蓋。 在perticular分支我得到了下面的情況 IF（（A & &乙& & C）|| d）

if((A && B && C) || D) 
{ 
    //perform task 1' 
} 
else 
{ 
    //perform task 2; 
} 

但有了這個，我無法得到測試用例組合爲MCDC .. 有什麼事情是保持出路這裏...

Answer 1

我想一個辦法可能是的（A & &乙& & C）所有的虛假組合d = 1，對於真正的組合（A & &乙& & C）保持d = 0，並且在最後將所有輸入0，所以測試實例組合可以是：

a b c d 
0 1 1 1 
1 0 1 1 
1 1 0 1 
1 1 1 0 
0 0 0 0