• 因果圖是一種形式語言，用自然語言描述的規格說明可以轉化為因果圖。因果圖實際上是一種數字邏輯電路（一個組合的邏輯網絡），但沒有使用標準的電子學符號，而是使用了稍微簡單點的符號，它有助於用一個系統的方法選擇出高效的測試用例集，它還有一個額外的好處就是可以指出規格說明的不完整和不明確之處。
• 生成測試用例采用的過程：

1. 將規格說明分解為可執行的片段。這是必須的步驟，因為因果圖不善於處理較大的規格說明。
2. 確定規格說明中的因果關系。所謂因是指一個明確的輸入條件或輸入條件的等價類，所謂果是指一個輸出條件或系統轉換（輸入對程序或系統狀態的延續影響）。通過逐字逐句地閱讀規格說明，同時標識出描述“因”和“果”的文字或句子，就可以將“因”和“果”確定出來。因果關系一旦確定下來，每個“因”和“果”都被賦予一個唯一的編號。
3. 分析規格說明的語義內容，將其轉換為連接因果關系的布爾圖，這就是所謂的因果圖。
4. 給圖加上註解符號，說明由於語法或環境的限制而不能煉器起來的“因”和“果”。
5. 通過仔細地跟蹤圖中的狀態變化情況，將因果圖轉換為一個有限項的判定表。表中的每一列代表一個測試用例。
6. 將判定表中的列轉換為測試用例。

軟件測試的藝術：因果圖