因果圖測(cè)試法附簡(jiǎn)單實(shí)例

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

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

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

4、結(jié)果不出現(xiàn)；若原因不出現(xiàn)，則結(jié)果出現(xiàn)；若原因不出現(xiàn)，則結(jié)果出現(xiàn)。出現(xiàn)。(c)或。若幾個(gè)原因中有一個(gè)出或。若幾個(gè)原因中有一個(gè)出現(xiàn)，則結(jié)果出現(xiàn)；若幾個(gè)原因現(xiàn)，則結(jié)果出現(xiàn)；若幾個(gè)原因均不出現(xiàn)，則結(jié)果不出現(xiàn)。均不出現(xiàn)，則結(jié)果不出現(xiàn)。(d)與。若幾個(gè)原因都出現(xiàn)，結(jié)與。若幾個(gè)原因都出現(xiàn)，結(jié)果才出現(xiàn)；若幾個(gè)原因中有一果才出現(xiàn)；若幾個(gè)原因中有一個(gè)不出現(xiàn)，則結(jié)果不出現(xiàn)。個(gè)不出現(xiàn)，則結(jié)果不出現(xiàn)。原因-結(jié)果因果圖的約束條件原因原因-原因原因E(互斥、排他互斥、排他)。C1 C2 C3三個(gè)三個(gè)原因不會(huì)同時(shí)原因不會(huì)同時(shí)出現(xiàn)，最多只有一個(gè)出現(xiàn)出現(xiàn)，最多只有一個(gè)出現(xiàn)。 I(包含、或包含、或)。C1 C2兩個(gè)兩個(gè)原因至少有一

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

6、邏輯關(guān)系之間的邏輯關(guān)系（3 3）確定因果圖中的各個(gè)約束）確定因果圖中的各個(gè)約束(constraints)(constraints)（4 4）畫出因果圖并轉(zhuǎn)換）畫出因果圖并轉(zhuǎn)換為判定表為判定表（5 5）根據(jù)根據(jù)判定判定表表設(shè)計(jì)測(cè)試用例設(shè)計(jì)測(cè)試用例 實(shí)例分析 自動(dòng)售貨機(jī)售賣可樂、冰紅茶和雪碧三種飲料，單價(jià)都自動(dòng)售貨機(jī)售賣可樂、冰紅茶和雪碧三種飲料，單價(jià)都是是3元元。自動(dòng)售貨機(jī)只接受面值。自動(dòng)售貨機(jī)只接受面值五五元或一元的鈔票。元或一元的鈔票。若投入若投入3張一元鈔票，按下張一元鈔票，按下“可樂、冰紅茶或雪碧可樂、冰紅茶或雪碧”按鈕后，按鈕后，飲料自動(dòng)送出；飲料自動(dòng)送出；若投入若投入1張張五五元的鈔

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

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