一、因果圖法的背景
爲了解決由以定義域劃分帶來的侷限性，因果圖法被提了出來；
二、因果圖法
1.因果圖法的基本符號
2.對於輸入條件的約束有以下四類：
E約束（Exclusive，異或）：ab不能同時爲1，可以同時爲0；
I約束（Inclusive，或）：abc至少一個爲1，不能同時爲0；
O約束（Only，唯一）：ab有且只有一個爲1；
R約束（Require，要求）：a是1時，b必須是1；
3.對輸出條件只有一種約束：
M約束（Mask，強制）：若a是1，b必須是0；
三、因果圖法的原理
1.確定軟件規格中的原因和結果；（首尾圓圈）
2.確定原因和結果之間的邏輯關係；（中間連線以及中間圓圈）
3.確定因果圖中的各個約束；（首尾虛線）
4.把因果圖轉換爲決策表；
5.根據決策表設計測試用例；