(一) 因果圖法的來源
大家熟悉的等價類劃分法和邊界值分析法，都是著重考慮輸入條件，但未考慮輸入條件之間的聯系、相互組合等；
(二) 因果圖法的特點
考慮輸入條件間的組合關系；
考慮輸出條件對輸入條件的信賴關系，即因果關系；
測試用例發現錯誤的效率高；
能檢查出功能說明中的某些不一致或遺漏；
因果圖方法最終生產的就是判定表，它適合于檢查程序輸入條件和各種組合情況。
(三) 因果圖法基本步驟
1. 分割功能說明書對于規模比較大的程序來說，由于輸入條件的組合數太大，所以很難整體上使用一個因果圖。我們可以把它劃分為若干部分，然后分別對每個部分使用因果圖。例如，測試編譯程序時，可以把每個語句作為一個部分。
2. 識別出“原因”和“結果”，并加以編號所謂原因，是指輸入條件或輸入條件的等價類；而結果則是指輸出條件或輸出條件的等價類。每個原因或結果都對應于因果圖中的一個節點。當原因或結果成立（或出現）時，相應的節點取值為1，否則為0。
3. 根據功能說明書中規定的原因和結果之間的關系畫出因果圖因果圖的基本符號如圖1所示： MILY: 宋體; mso-bidi-font-family: 'Times New Roman'; mso-font-kerning: 1.0pt; mso-ansi-language: EN-US; mso-fareast-language: ZH-CN; mso-bidi-language: AR-SA"> 
因果圖的基本符號
圖中左邊的節點表示原因，右邊的節點表示結果。恒等、非、或、與的含義：
恒等：若a=1，則b=1；若a=0，則b=0；
非：若a=1，則b=0，若a=0，則b=1；
或：若a=1或b=1或c=1，則d=1；若a= b= c=0，則d=0；
與：若a= b= c=1，則d=1；若a=0或b=0或c=0，則d=0。
畫因果圖時，原因在左，結果在右，由上而下排列，并根據功能說明書中規定的原因和結果之間的關系，用上述基本符號連接起來。在因果圖中還可以引入一些中間節點。
4. 根據功能說明在因果圖中加上約束條件由于語法或環境限制，有些原因與原因之間、原因與結果之間的組合情況不可能出現。為表明這些特殊情況，在因果圖上用一些記號表明約束或限制條件。因果圖的約束條件如圖所示：
其中互斥、包含、唯一、要求時對原因的約束，屏蔽是對結果的約束。他們的含義如下：
互斥E：表示不同時為1，即a，b，c中至多只有一個1；
包含I：表示至少有一個1，即a，b，c中不同時為0；
唯一O：表示a，b，c中有且僅有一個1；
要求R：表示若a=1，則b必須為1。即不可能a=1且b=0；
屏蔽M：表示若a=1，則b必須為0
5. 根據因果圖畫出判定表畫判定表的方法一般比較簡單，可以把所有原因作為輸入條件，每一項原因（輸入條件）安排為一行，而所有的輸入條件的組合一一列出（真值為1，假值為0），對于每一種條件組合安排為一列，并把各個條件的取值情況分別添入判定表中對應的每一個單元格中。 例如，如果因果圖中的原因有4項，那么，判定表中的輸入條件則共有4行，而列數則為24=16。確定好輸入條件的取值之后，我們便可以很容易地根據判定表推算出各種結果的組合，也即輸出，其中也包括中間節點的狀態取值。上述方法考慮了所有條件的所有組合情況，在輸入條件比較多的情況下，可能會產生過多的條件組合，從而導致判定表的行數太多，過于復雜。然而在實際情況中，由于這些條件之間可能會存在約束條件，所以很多條件的組合是無效的，也就是說，它們在判定表中也完全是多余的。因此根據因果圖畫出判定表時，我們可以有意識地排除掉這些無效的條件組合，從而使判定表的列數大幅度減少。例如，根據圖所示的因果圖，可以畫出如表所示的判定表。
6. 為判定表的每一列設計一個測試用例即為從因果圖中導出的判定表中的每一列設計一個測試用例。
延伸閱讀
文章來源于領測軟件測試網 http://www.kjueaiud.com/
