第2章 黑盒測試因果圖

第2章

黑盒測試用例設(shè)計方法2023/2/51黑盒測試用例設(shè)計方法

-----------因果圖方法2023/2/524.因果圖法4.1概述等價類劃分方法和邊界值分析方法著重考慮輸入條件，而不考慮輸入條件的各種組合，也不考慮輸入條件之間的相互制約的關(guān)系，但有時一些具體問題中的輸入之間存在著相互依賴的關(guān)系，如：NextDate函數(shù)問題。2023/2/534.因果圖法如果輸入之間有關(guān)系，我們在測試時必須考慮輸入條件的各種組合，那么可以考慮使用一種適合于描述對于多種條件的組合，相應(yīng)產(chǎn)生多個動作的形式來設(shè)計測試用例，這就需要利用因果圖。

2023/2/544.因果圖法因果圖方法最終生成的就是判定表。它適合于檢查程序輸入條件的各種組合情況。2023/2/554.因果圖法使用因果圖法設(shè)計測試用例時:(1)首先從程序規(guī)格說明書的描述中,找出因(輸入條件)和果(輸出結(jié)果或者程序狀態(tài)的改變)，繪出因果圖。(2)然后通過因果圖轉(zhuǎn)換為判定表,最后為判定表中的每一列設(shè)計一個測試用例.2023/2/564.因果圖法4.2因果圖中出現(xiàn)的基本符號原因結(jié)果通常在因果圖中用Ci表示原因，用Ei表示結(jié)果，各結(jié)點表示狀態(tài)，可取值“0”或“1”?！?”表示某狀態(tài)不出現(xiàn)，“1”表示某狀態(tài)出現(xiàn)。2023/2/574.因果圖法主要的原因和結(jié)果之間的關(guān)系有:C1C1C22023/2/584.因果圖法恒等:若c1為1,則e1也為1,否則e1為0.非:若c1是1,則e1為0,否則e1是1.或:若c1或c2或c3是1,則e1是1,若三者都不為1,則e1為0.與:若c1和c2都是1,則e1為1,否則若有其中一個不為1,則e1為0.2023/2/594.因果圖法實際問題中,輸入狀態(tài)之間可能存在某些依賴關(guān)系,這種依賴關(guān)系被稱為”約束”.在因果圖中使用特定的符號來表示這些約束關(guān)系:2023/2/5104.因果圖法約束關(guān)系說明:E約束(異):a,b最多有一個可能為1,不能同時為1.2023/2/5114.因果圖法I約束(或):a,b,c中至少有一個必須為1,不能同時為0.2023/2/5124.因果圖法O約束(惟一):a和b必須有一個且僅有一個為12023/2/5134.因果圖法R約束(要求):a是1時,b必須是1,即a為1時,b不能為02023/2/5144.因果圖法M約束:對輸出條件的約束,若結(jié)果a為1,則結(jié)果b必須為0.2023/2/5154.因果圖法4.3用因果圖生成測試用例的基本步驟(1)分析軟件規(guī)格說明描述中，哪些是原因(即輸入條件或輸入條件的等價類)，哪些是結(jié)果(即輸出條件)，并給每個原因和結(jié)果賦予一個標(biāo)識符。

(2)分析軟件規(guī)格說明描述中的語義，找出原因與結(jié)果之間，原因與原因之間對應(yīng)的是什么關(guān)系?根據(jù)這些關(guān)系，畫出因果圖。2023/2/5164.因果圖法

(3)

由于語法或環(huán)境限制，有些原因與原因之間，原因與結(jié)果之間的組合情況不可能出現(xiàn)。為表明這些特殊情況，在因果圖上用一些記號標(biāo)明約束或限制條件。

(4)把因果圖轉(zhuǎn)換成判定表。

(5)把判定表的每一列拿出來作為依據(jù)，設(shè)計測試用例。2023/2/5173.6.3因果圖法測試舉例用因果圖法測試以下程序。

程序的規(guī)格說明要求：輸入的第一個字符必須是#或*，第二個字符必須是一個數(shù)字，此情況下進(jìn)行文件的修改；如果第一個字符不是#或*，則給出信息N，如果第二個字符不是數(shù)字，則給出信息M。2023/2/518解題步驟：（1）分析程序的規(guī)格說明，列出原因和結(jié)果。（2）找出原因與結(jié)果之間的因果關(guān)系、原因與原因之間的約束關(guān)系，畫出因果圖。（3）將因果圖轉(zhuǎn)換成決策表。（4）根據(jù)（3）中的決策表，設(shè)計測試用例的輸入數(shù)據(jù)和預(yù)期輸出。2023/2/519因果圖法測試舉例（續(xù)）（1）分析程序規(guī)格說明中的原因和結(jié)果：（2）畫出因果圖（編號為10的中間結(jié)點是導(dǎo)出結(jié)果的進(jìn)一步原因）：c1c2c3e110e2e3～∨E～∧2023/2/520因果圖中間結(jié)果2023/2/521帶有E約束的因果圖E2023/2/522將因果圖轉(zhuǎn)化為判定表2023/2/523設(shè)計測試用例測試用例1:輸入數(shù)據(jù):A3預(yù)期輸出:修改文件測試用例2:輸入數(shù)據(jù):AM預(yù)期輸出:給出信息M測試用例3:輸入數(shù)據(jù):B3預(yù)期輸出:修改文件測試用例4:輸入數(shù)據(jù):B*預(yù)期輸出:給出信息M測試用例5:輸入數(shù)據(jù):C2預(yù)期輸出:給出信息L測試用例6:輸入數(shù)據(jù):CM預(yù)期輸出:給出信息LM2023/2/524練習(xí)題例如，有一個處理單價為5角錢的飲料的自動售貨機(jī)軟件測試用例的設(shè)計。其規(guī)格說明如下：若投入5角錢或1元錢的硬幣，按下〖橙汁〗或〖啤酒〗的按鈕，則相應(yīng)的飲料就送出來。若售貨機(jī)沒有零錢找，則一個顯示〖零錢找完〗的紅燈亮，這時在投入1元硬幣并按下按鈕后，飲料不送出來而且1元硬幣也退出來；若有零錢找，則顯示〖零錢找完〗的紅燈滅，在送出飲料的同時退還5角硬幣?！?023/2/525零錢找完有零錢找投幣口退幣口橙汁啤酒出貨口5角1元取貨2023/2/526練習(xí)題(1)分析這一段說明，列出原因和結(jié)果

原因:1.售貨機(jī)有零錢找

2.投入1元硬幣

3.投入5角硬幣

4.按下橙汁按鈕

5.按下啤酒按鈕2023/2/527練習(xí)題結(jié)果：

21.售貨機(jī)〖零錢找完〗燈亮

22.退還1元硬幣

23.退還5角硬幣

24.送出橙汁飲料

25.送出啤酒飲料2023/2/5282023/2/529建立中間結(jié)點，表示處理中間狀態(tài):

11.

投入1元硬幣且按下飲料按鈕

12.按下〖橙汁〗或〖啤酒〗的按鈕

13.應(yīng)當(dāng)找5角零錢并且售貨機(jī)有零錢找

14.錢已付清2023/2/530練習(xí)題(2)畫出因果圖。所有原因結(jié)點列在左邊，所有結(jié)果結(jié)點列在右邊。2023/2/531練習(xí)題(3)由于2與3，4與5不能同時發(fā)生，分別加上約束條件E。(4)因果圖轉(zhuǎn)換成判定表(5)設(shè)計測試用例2023/2/5322023/2/5332023/2/534使用因果圖法的優(yōu)點考慮了多個輸入之間的相互組合、相互制約關(guān)系；能夠幫助我們按一定步驟，高效率地選擇測試用例，同時還能為我們指出，程序規(guī)格說明描述中存在著什么問題2023/2/535小結(jié)因果圖方法:因果圖方法的適用范圍因果圖方法設(shè)計測試用例的步驟因果圖方法優(yōu)點2023/2/536習(xí)題某軟件的一個模塊的需求規(guī)格說明書中描述：（1）年薪制員工：嚴(yán)重過失，扣年終風(fēng)險金的4%；過失，扣年終風(fēng)險金的2%。（2）非年薪制員工：嚴(yán)重過失，扣當(dāng)月薪資的8%；過失，扣當(dāng)月薪資的4%。請繪制出因果圖和判定表，并給出相應(yīng)的測試用例。2023/2/537原因：C1.年薪制員工

C2.嚴(yán)重過失中間狀態(tài)：11.非年薪制員工

12.過失結(jié)果：E1.扣年終風(fēng)險金的4%E2.扣年終風(fēng)險金的2%E3.扣當(dāng)月薪資的8%E4.扣當(dāng)月薪資的4%2023/2/538因果圖C1C21112E1E2E3E42023/2/539將因果圖轉(zhuǎn)化為判定表：2023/2/540測試用例測試用例1:輸入數(shù)據(jù):年薪制員工，嚴(yán)重過失預(yù)期輸出:扣年終風(fēng)險金的4%測試用例2:輸入數(shù)據(jù):年薪制員工，過失預(yù)期輸出:扣年終風(fēng)險金的2%測試用例3:輸入數(shù)據(jù):非年薪制員工，嚴(yán)重過失預(yù)期輸出:扣當(dāng)月薪資的8%測試用例4:輸入數(shù)據(jù):非年薪制員工，過失預(yù)期輸出:扣當(dāng)月薪資的4%2023/2/541習(xí)題2中國象棋中走馬的測試用例設(shè)計為例學(xué)習(xí)因果圖的使用方法（下面未注明的均指的是對馬的說明）2023/2/542一、分析中國象棋中走馬的實際情況如果落點在棋盤外,則不移動棋子；如果落點與起點不構(gòu)成日字型,則不移動棋子；如果在落點方向的鄰近交叉點有棋子(絆馬腿),則不移動棋子；落點處有己方棋子,則不移動棋子;如果不屬于1-4條,落點處無棋子,則移動棋子；如果不屬于1-4條,落點處為對方棋子(非老將),則移動棋子并除去對方棋子；如果不屬于1-4條,且落點處為對方老將,則移動棋子,并提示戰(zhàn)勝對方,游戲結(jié)束。

2023/2/543二、根據(jù)分析明確原因和結(jié)果原因：落點在棋盤上；落點與起點構(gòu)成日字；落點方向的鄰近交叉點無棋子；落點處為自己方棋子；落點處無棋子；落點處為對方棋子(非老將)；落點處為對方老將。

結(jié)果：E1、不移動棋子；E