1、.因果圖測試法產生的背景 等價類劃分法等價類劃分法和和邊界值分析方法邊界值分析方法都是著重考慮都是著重考慮輸入條件輸入條件，但沒，但沒有考慮各種輸入條件之間的有考慮各種輸入條件之間的組合組合。如果輸入之間有關系，例如，約。如果輸入之間有關系，例如，約束關系、組合關系，這種關系用等價類劃分和邊界值分析是很難描束關系、組合關系，這種關系用等價類劃分和邊界值分析是很難描述的，測試效果難以保障。述的，測試效果難以保障。 因此必須考慮使用一種適合于描述對于多種條件的因此必須考慮使用一種適合于描述對于多種條件的組合組合，產，產生多個相應動作的測試方法，因果圖正是在此背景下提出的。生多個相應動作的測試方法，

2、因果圖正是在此背景下提出的。 因果圖法著重測試規格說明中的輸入與輸出間的因果圖法著重測試規格說明中的輸入與輸出間的依賴依賴關系。關系。. 黑盒測試法黑盒測試法的一種的一種什么是因果圖測試法？是一種利用是一種利用圖解法圖解法分析分析輸入輸入的各種的各種組合組合情況，從而設情況，從而設 計測試用例的方法計測試用例的方法. 一些程序的功能可以用一些程序的功能可以用判定表判定表的形式來表示，并根據輸的形式來表示，并根據輸 入條件的入條件的組合組合情況規定相應的功能。情況規定相應的功能。因果圖測試法的基本思想 從這些程序的從這些程序的規格說明書規格說明書的描述中，找出因（的描述中，找出因（Cause，輸

3、，輸 入條件）和果（入條件）和果（Effect，輸出結果或者程序改變的狀態，輸出結果或者程序改變的狀態), 畫出因果圖，將畫出因果圖，將因果圖因果圖轉換成轉換成判定表判定表。對判定表的每一列設計一個對判定表的每一列設計一個測試用例測試用例是什么？.真值表：真值表：表征邏輯事件輸入和輸出之間全部可能狀態的表格。 什么是判定表判定表真值表就是真值表就是判定表判定表的一種的一種特例特例。.因果圖基本圖形C=Cause 原因 ， E=Effect 結果(a)恒等。若原因出現，則結果恒等。若原因出現，則結果出現；若原因不出現，則結果出現；若原因不出現，則結果不出現。不出現。(b)非。若原因出現，則結果不

4、非。若原因出現，則結果不出現；若原因不出現，則結果出現；若原因不出現，則結果出現。出現。(c)或。若幾個原因中有一個出或。若幾個原因中有一個出現，則結果出現；若幾個原因現，則結果出現；若幾個原因均不出現，則結果不出現。均不出現，則結果不出現。(d)與。若幾個原因都出現，結與。若幾個原因都出現，結果才出現；若幾個原因中有一果才出現；若幾個原因中有一個不出現，則結果不出現。個不出現，則結果不出現。原因-結果.因果圖的約束條件原因原因-原因原因E(互斥、排他互斥、排他)。C1 C2 C3三個原因不會同時三個原因不會同時出現，最多只有一個出現。出現，最多只有一個出現。 I(包含、或包含、或)。C1 C

5、2兩個原因至少有一個出兩個原因至少有一個出現。現。約束條件即實際中各條件間可能存在的依賴關系.因果圖的約束條件原因原因-原因原因R(需求需求)。C1出現時出現時C2必定出現。但必定出現。但C1的值的值與與C2無關。無關。O(唯一唯一)。C1、C2兩個原因必須有一個出現，兩個原因必須有一個出現，且僅有一個出現。且僅有一個出現。.因果圖的約束條件結果結果-結果結果M(屏蔽)。Ef1出現時，Ef2必定不出現；Ef1不出現時，Ef2則不確定。.具體步驟（1 1）確定軟件規格）確定軟件規格( (需求需求) )中的中的原因原因和和結果結果，給每個結果，給每個結果原因加上標示符原因加上標示符（2 2）確定）

6、確定原因原因和和結果結果之間的邏輯關系之間的邏輯關系（3 3）確定因果圖中的各個約束）確定因果圖中的各個約束(constraints)(constraints)（4 4）畫出因果圖并轉換為判定表）畫出因果圖并轉換為判定表（5 5）根據判定表設計測試用例）根據判定表設計測試用例 . 實例分析實例分析 自動售貨機售賣可樂、冰紅茶和雪碧三種飲料，單價都自動售貨機售賣可樂、冰紅茶和雪碧三種飲料，單價都是是3元。自動售貨機只接受面值五元或一元的鈔票。元。自動售貨機只接受面值五元或一元的鈔票。若投入若投入3張一元鈔票，按下張一元鈔票，按下“可樂、冰紅茶或雪碧可樂、冰紅茶或雪碧”按鈕后，按鈕后，飲料自動送出

7、；飲料自動送出；若投入若投入1張五元的鈔票，則在送出飲料后退還兩元零錢。張五元的鈔票，則在送出飲料后退還兩元零錢。. 實例分析實例分析 自動售貨機售賣可樂、冰紅茶和雪碧三種飲料，單價都是3元。自動售貨機只接受面值五元或一元的鈔票。若投入3張一元鈔票，按下“可樂、冰紅茶或雪碧”按鈕后，飲料自動送出；若投入1張五元的鈔票，則在送出飲料后退還兩元零錢。（1 1）確定軟件規格）確定軟件規格( (需求需求) )中的中的原因原因和和結果結果，給每個結果原因加上標示符，給每個結果原因加上標示符原因結果C1：投入3張一元紙幣E1：退還兩元零錢C2：投入1張五元紙幣E2：可樂出貨C3：選擇可樂E3：冰紅茶出貨C

8、4：選擇冰紅茶E4：雪碧出貨C5：選擇雪碧. 實例分析實例分析（2 2）確定）確定原因原因和和結果結果之間的之間的邏輯關系邏輯關系投入3張一元紙幣C1C2C3C4C5投入1張五元紙幣選擇可樂選擇冰紅茶選擇冰雪碧E1E2E3E4退還兩元零錢可樂出貨冰紅茶雪碧出貨Cm1選擇了飲料Cm2投入3元Cm3投入5元Cm4出貨. 實例分析實例分析（3 3）確定因果圖中的各個）確定因果圖中的各個約束約束(constraints)(constraints)投入3張一元紙幣C1C2C3C4C5投入1張五元紙幣選擇可樂選擇冰紅茶選擇冰雪碧EECm2投入3元Cm3投入5元Cm4出貨 I. 實例分析實例分析完整的因果圖完整的因果圖投入3張一元紙幣C1C2C3C4C5投入1張五元紙幣選擇可樂選擇冰紅茶選擇冰雪碧E1E2E3E4退還兩元零錢可樂出貨冰紅茶雪碧出貨Cm1選擇了飲料Cm2投入3元Cm3投入5元Cm4出貨EE I