修改條件判斷覆蓋

修改條件 / 判斷覆蓋  簡稱MC / DC ， 在軟件測試中有關代碼覆蓋率的準則 。 依照修改條件 / 判斷覆蓋的準則 ， 測試過程中需要滿足以下所有條件 。 每一個判斷的所有可能結果都出現過 每一個判斷中所有條件的所有可能結果都出現過 每一個進入點及結束點都執行過 判斷中每一個條件都可以獨立影響判斷的結果 各條件的獨立影響可以用每一次只改變一個條件來證明 。 飛航軟體開發指南及中指定會影響飛機起飛及降落安全性的軟體 （ A等級軟體 ） ， 需滿足修改條件 / 判斷覆蓋的代碼覆蓋測試 。 在功能安全標準IEC 61508 part 3 的附錄B中 ， 有關SIL 4的說明 ， 以及汽車安全標準ISO 26262第6章的ASIL D ， 都高度建議使用MC / DC 。