第07章 功能測試(03因果圖法)

第七章功能測試——因果圖法崔建峰jfcui@因果圖法等價類劃分方法和邊界值分析方法的不足著重考慮輸入條件，而不考慮輸入條件的各種組合，也不考慮輸入條件之間的相互制約的關(guān)系，但有時一些具體問題中的輸入之間存在著相互依賴的關(guān)系，如NextDate函數(shù)問題。2因果圖法如果輸入之間有關(guān)系，我們在測試時必須考慮輸入條件的各種組合，那么可以考慮使用一種適合于描述對于多種條件的組合，相應(yīng)產(chǎn)生多個動作的形式來設(shè)計測試用例，這就需要利用因果圖。通過因果圖，可以建立輸入條件和輸出之間的邏輯模型，從而比較容易確定輸入條件組合和輸出之間的邏輯關(guān)系，有利于設(shè)計全面的測試用例。

3輸入與輸出關(guān)系Ci：表示原因（Cause,輸入狀態(tài)）；Ei：表示結(jié)果（Effect,輸出狀態(tài)）。輸入與輸出之間的關(guān)系4輸入或輸出之間的約束實際問題中,輸入狀態(tài)之間或輸出結(jié)果之間可能存在某些依賴關(guān)系,這種依賴關(guān)系被稱為約束.在因果圖中使用特定的符號來表示這些約束關(guān)系E約束：互斥，排他I約束：包含，或O約束：唯一R約束：要求M約束：屏蔽5約束關(guān)系說明E約束(異):a,b最多有一個可能為1,不能同時為1.6約束關(guān)系說明I約束(或):a,b,c中至少有一個必須為1,不能同時為0.7約束關(guān)系說明O約束(惟一):a和b必須有一個且僅有一個為18約束關(guān)系說明R約束(要求):a是1時,b必須是1,即a為1時,b不能為09約束關(guān)系說明M約束:對輸出條件的約束,若結(jié)果a為1,則結(jié)果b必須為0.10因果圖法設(shè)計步驟分析軟件規(guī)格說明書中的輸入輸出條件并劃分出等價類，將每個輸入輸出賦予一個標(biāo)志符；分析規(guī)格說明中的語義，通過這些語義來找出多個輸入因素之間的關(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è)計測試用例。一般來說，決策表中的每一列對應(yīng)一條測試用例。11字符問題某個軟件的規(guī)格說明書中規(guī)定:第一個字符必須是A或B,第二個字符必須是一個數(shù)字,在此情況下進行文件的修改,但如果第一個字符不正確,則給出信息L；如果第二個字符不正確,則給出信息M。12字符問題分析問題,按照如下步驟進行:(1)根據(jù)軟件規(guī)格說明書,列出原因和結(jié)果.(2)找出原因和結(jié)果之間的關(guān)系,原因和原因之間的約束關(guān)系,畫出因果圖.(3)將因果圖轉(zhuǎn)化為判定表(4)根據(jù)判定表設(shè)計測試用例.13字符問題原因:C1:第一個字符是A;C2:第一個字符是B;C3:第二個字符是一個數(shù)字.結(jié)果:E1:修改文件;E2:給出信息L;(第一個字符不對給出信息L)E3:給出信息M;(第二個字符不對給出信息M)14字符問題因果圖中間結(jié)果15帶有E約束的因果圖E16將因果圖轉(zhuǎn)化為決策表12345678C1C2C310111110101110010111010100100000E1E2E3不可能√√√√√√√√√測試用例A3A5AMA&B3B5BMB*C2X6CMD*17字符問題設(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ù)期輸出:給出信息LM18自動售貨機問題例如，有一個處理單價為5角錢的飲料的自動售貨機軟件測試用例的設(shè)計。其規(guī)格說明如下：若投入5角錢或1元錢的硬幣，按下〖橙汁〗或〖啤酒〗的按鈕，則相應(yīng)的飲料就送出來。若售貨機沒有零錢找，則一個顯示〖零錢找完〗的紅燈亮，這時在投入1元硬幣并按下按鈕后，飲料不送出來而且1元硬幣也退出來；若有零錢找，則顯示〖零錢找完〗的紅燈滅，在送出飲料的同時退還5角硬幣?！?9自動售貨機問題零錢找完投幣口退幣口橙汁啤酒出貨口5角1元取貨20自動售貨機問題分析這一段說明，列出原因和結(jié)果

原因:1.售貨機有零錢找

2.投入1元硬幣

3.投入5角硬幣

4.按下橙汁按鈕

5.按下啤酒按鈕21自動售貨機問題結(jié)果：

21.售貨機〖零錢找完〗紅燈亮

22.退還1元硬幣

23.退還5角硬幣

24.送出橙汁飲料

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

11.

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

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

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

14.錢已付清23自動售貨機問題E1：售貨機“零錢找完”紅燈亮

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

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

24自動售貨機問題25編號輸入條件12345組合期望輸出Test1Test2Test3Test4Test5Test6Test7Test8Test9Test10Test11Test12Test13Test14Test15Test161101011001110001011010101101001001010001010100100101000001100010100100000100000123,2423,