第07章功能測試(03因果圖法)講義課件

第七章功能測試——因果圖法崔建峰jfcui@第七章功能測試崔建峰因果圖法等價(jià)類劃分方法和邊界值分析方法的不足著重考慮輸入條件，而不考慮輸入條件的各種組合，也不考慮輸入條件之間的相互制約的關(guān)系，但有時(shí)一些具體問題中的輸入之間存在著相互依賴的關(guān)系，如NextDate函數(shù)問題。2因果圖法等價(jià)類劃分方法和邊界值分析方法的不足2因果圖法如果輸入之間有關(guān)系，我們在測試時(shí)必須考慮輸入條件的各種組合，那么可以考慮使用一種適合于描述對于多種條件的組合，相應(yīng)產(chǎn)生多個(gè)動作的形式來設(shè)計(jì)測試用例，這就需要利用因果圖。通過因果圖，可以建立輸入條件和輸出之間的邏輯模型，從而比較容易確定輸入條件組合和輸出之間的邏輯關(guān)系，有利于設(shè)計(jì)全面的測試用例。3因果圖法如果輸入之間有關(guān)系，我們在測試時(shí)必須考慮輸入條件的各輸入與輸出關(guān)系Ci：表示原因（Cause,輸入狀態(tài)）；Ei：表示結(jié)果（Effect,輸出狀態(tài)）。輸入與輸出之間的關(guān)系4輸入與輸出關(guān)系Ci：表示原因（Cause,輸入狀態(tài)）；輸輸入或輸出之間的約束實(shí)際問題中,輸入狀態(tài)之間或輸出結(jié)果之間可能存在某些依賴關(guān)系,這種依賴關(guān)系被稱為約束.在因果圖中使用特定的符號來表示這些約束關(guān)系E約束：互斥，排他I約束：包含，或O約束：唯一R約束：要求M約束：屏蔽5輸入或輸出之間的約束實(shí)際問題中,輸入狀態(tài)之間或輸出結(jié)果之間可約束關(guān)系說明E約束(異):a,b最多有一個(gè)可能為1,不能同時(shí)為1.6約束關(guān)系說明E約束(異):a,b最多有一個(gè)可能為1,不能同約束關(guān)系說明I約束(或):a,b,c中至少有一個(gè)必須為1,不能同時(shí)為0.7約束關(guān)系說明I約束(或):a,b,c中至少有一個(gè)必須為1,約束關(guān)系說明O約束(惟一):a和b必須有一個(gè)且僅有一個(gè)為18約束關(guān)系說明O約束(惟一):a和b必須有一個(gè)且僅有一個(gè)為1約束關(guān)系說明R約束(要求):a是1時(shí),b必須是1,即a為1時(shí),b不能為09約束關(guān)系說明R約束(要求):a是1時(shí),b必須是1,即a為1時(shí)約束關(guān)系說明M約束:對輸出條件的約束,若結(jié)果a為1,則結(jié)果b必須為0.10約束關(guān)系說明M約束:對輸出條件的約束,若結(jié)果a為1,則結(jié)果b因果圖法設(shè)計(jì)步驟分析軟件規(guī)格說明書中的輸入輸出條件并劃分出等價(jià)類，將每個(gè)輸入輸出賦予一個(gè)標(biāo)志符；分析規(guī)格說明中的語義，通過這些語義來找出多個(gè)輸入因素之間的關(guān)系。找出輸入因素與輸出結(jié)果之間的關(guān)聯(lián)，將對應(yīng)的輸入與輸出之間的關(guān)系關(guān)聯(lián)起來，并將其中不可能的組合情況標(biāo)注成約束或者限制條件，形成因果圖。由因果圖轉(zhuǎn)化成決策表，任何由輸入與輸出之間關(guān)系構(gòu)成的路徑，形成決策表的一列將決策表的每一列拿出來作為依據(jù)，設(shè)計(jì)測試用例。一般來說，決策表中的每一列對應(yīng)一條測試用例。11因果圖法設(shè)計(jì)步驟分析軟件規(guī)格說明書中的輸入輸出條件并劃分出字符問題某個(gè)軟件的規(guī)格說明書中規(guī)定:第一個(gè)字符必須是A或B,第二個(gè)字符必須是一個(gè)數(shù)字,在此情況下進(jìn)行文件的修改,但如果第一個(gè)字符不正確,則給出信息L；如果第二個(gè)字符不正確,則給出信息M。12字符問題某個(gè)軟件的規(guī)格說明書中規(guī)定:第一個(gè)字符必須是A或B,字符問題分析問題,按照如下步驟進(jìn)行:(1)根據(jù)軟件規(guī)格說明書,列出原因和結(jié)果.(2)找出原因和結(jié)果之間的關(guān)系,原因和原因之間的約束關(guān)系,畫出因果圖.(3)將因果圖轉(zhuǎn)化為判定表(4)根據(jù)判定表設(shè)計(jì)測試用例.13字符問題分析問題,按照如下步驟進(jìn)行:13字符問題原因:C1:第一個(gè)字符是A;C2:第一個(gè)字符是B;C3:第二個(gè)字符是一個(gè)數(shù)字.結(jié)果:E1:修改文件;E2:給出信息L;(第一個(gè)字符不對給出信息L)E3:給出信息M;(第二個(gè)字符不對給出信息M)14字符問題原因:14字符問題因果圖中間結(jié)果15字符問題因果圖中間結(jié)果15帶有E約束的因果圖E16帶有E約束的因果圖E16將因果圖轉(zhuǎn)化為決策表12345678C1C2C310111110101110010111010100100000E1E2E3不可能√√√√√√√√√測試用例A3A5AMA&B3B5BMB*C2X6CMD*17將因果圖轉(zhuǎn)化為決策表12345678C111110000E1字符問題設(shè)計(jì)測試用例測試用例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ù)期輸出:給出信息LM18字符問題設(shè)計(jì)測試用例18自動售貨機(jī)問題例如，有一個(gè)處理單價(jià)為5角錢的飲料的自動售貨機(jī)軟件測試用例的設(shè)計(jì)。其規(guī)格說明如下：若投入5角錢或1元錢的硬幣，按下〖橙汁〗或〖啤酒〗的按鈕，則相應(yīng)的飲料就送出來。若售貨機(jī)沒有零錢找，則一個(gè)顯示〖零錢找完〗的紅燈亮，這時(shí)在投入1元硬幣并按下按鈕后，飲料不送出來而且1元硬幣也退出來；若有零錢找，則顯示〖零錢找完〗的紅燈滅，在送出飲料的同時(shí)退還5角硬幣?！?9自動售貨機(jī)問題例如，有一個(gè)處理單價(jià)為5角錢的飲料的自動售貨機(jī)自動售貨機(jī)問題零錢找完投幣口退幣口橙汁啤酒出貨口5角1元取貨20自動售貨機(jī)問題零錢找完投幣口退幣口橙汁啤酒出貨口5角取貨20自動售貨機(jī)問題分析這一段說明，列出原因和結(jié)果

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

2.投入1元硬幣

3.投入5角硬幣

4.按下橙汁按鈕

5.按下啤酒按鈕21自動售貨機(jī)問題分析這一段說明，列出原因和結(jié)果

21自動售貨機(jī)問題結(jié)果：

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

22.退還1元硬幣

23.退還5角硬幣

24.送出橙汁飲料

25.送出啤酒飲料22自動售貨機(jī)問題結(jié)果：22自動售貨機(jī)問題建立中間結(jié)點(diǎn)，表示處理中間狀態(tài):

11.

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

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

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

14.錢已付清23自動售貨機(jī)問題建立中間結(jié)點(diǎn)，表示處理中間狀態(tài):

11.投入自動售貨機(jī)問題E1：售貨機(jī)“零錢找完”紅燈亮

E2：退還1元硬幣E3：退還5角硬幣

E4：送出橙汁飲料E5：送出啤酒飲料C1：售貨機(jī)有零錢C2：投入1元硬幣C3：投入5角硬幣C4：壓下橙汁按鈕C5：壓下啤酒按鈕根據(jù)因果圖，就可以轉(zhuǎn)化為判定表。這里根據(jù)條C2與C3、C4與C5的E約束（互斥），可以減少組合

24自動售貨機(jī)問題E1：售貨機(jī)“零錢找完”紅燈亮

C1：售自動售貨機(jī)問題25自動售貨機(jī)問題25編號輸入條件12345組合期望輸出Test1Test2Test3Test4Test5Test6Test7Test8Test9Test10Test11Test12Test13Test14Test15Test161101011001110001011010101101001001010001010100100101000001100010100100000100000123,2423,25..2425......21,2221,222