黑盒測試之因果圖分析－《軟件測試藝術》讀書筆記(20)

因果圖分析法，依作者而言，是為了解決邊界值分析和等價劃分的一個弱點：未對輸入條件的組合進行分析。而因果圖恰恰有助于用一個系統的方法選擇出此類高效的測試用例集，并且可以指出規格說明的不完整性和不明確之處。 
 
　　因果圖，是一種形式語言（有嚴格語法限制的語言，計算機語言都是形式語言），是將自然語言描述的規格說明轉換為因果圖。實質上，是一種數字邏輯電路（一個組合的邏輯網絡），但沒有使用標準的電子學符號，而是使用了稍微簡單點的符號。具體有六步（涉及到的每步具體過程及圖樣，由于篇幅，都在此略去）：
將規格說明分解為可執行的片段； 
確定規格說明中的因果關系； 
分析規格說明的語義內容，并將其轉換為連接因果關系的布爾圖，即：因果圖； 
給圖加上注解符號，說明由于語法或環境的限制而不能聯系起來的“因”和“果”； 
過仔細地跟蹤圖中的狀態變化情況，將因果圖轉換成一個有限項的判定表； 
將判定表中的列轉換成測試用例。

原文轉自：http://www.kjueaiud.com