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