軟件測試用例設計白皮書--因果圖方法

        軟件測試用例設計白皮書--因果圖方法  軟件測試

　　一. 方法簡介

　　1.定義：是一種利用圖解法分析輸入的各種組合情況，從而設計測試用例的方法，它適合于檢查程序輸入條件的各種組合情況。

　　2.因果圖法產生的背景：

　　等價類劃分法和邊界值分析方法都是著重考慮輸入條件，但沒有考慮輸入條件的各種組合、輸入條件之間的相互制約關系。這樣雖然各種輸入條件可能出錯的情況已經測試到了，但多個輸入條件組合起來可能出錯的情況卻被忽視了。

　　如果在測試時必須考慮輸入條件的各種組合，則可能的組合數目將是天文數字，因此必須考慮采用一種適合于描述多種條件的組合、相應產生多個動作的形式來進行測試用例的設計，這就需要利用因果圖(邏輯模型)。

　　3.因果圖介紹

　　1) 4種符號分別表示了規格說明中向4種因果關系。

　　2) 因果圖中使用了簡單的邏輯符號，以直線聯接左右結點。左結點表示輸入狀態(或稱原因)，右結點表示輸出狀態(或稱結果)。

　　3) Ci表示原因，通常置于圖的左部;ei表示結果，通常在圖的右部。Ci和ei均可取值0或1，0表示某狀態不出現，1表示某狀態出現。

　　4. 因果圖概念

　　1) 關系

　?、?恒等：若ci是1，則ei也是1;否則ei為0。

　?、?非：若ci是1，則ei是0;否則ei是1。

　?、?或：若c1或c2或c3是1，則ei是1;否則ei為0?！盎颉笨捎腥我鈧€輸入。

　?、?與：若c1和c2都是1，則ei為1;否則ei為0?！芭c”也可有任意個輸入。

原文轉自：http://www.anti-gravitydesign.com