軟件測試-因果圖

1、內(nèi)容提綱n復習n因果圖法的思想n因果圖法的步驟n舉例n練習復習n等價類劃分法的思想n邊界值分析法的思想1、因果圖法概述1、因果圖法概述因果圖法的基本思想n使用因果圖法設(shè)計測試用例時，使用因果圖法設(shè)計測試用例時，首先從首先從程序規(guī)格說明書程序規(guī)格說明書的描述中的描述中,找出找出(輸入條件輸入條件)和和(輸出結(jié)果輸出結(jié)果或者程序狀態(tài)的改變或者程序狀態(tài)的改變),然后通過因然后通過因果圖轉(zhuǎn)換為判定表果圖轉(zhuǎn)換為判定表,最后為判定表最后為判定表中的每一列設(shè)計一個測試用例中的每一列設(shè)計一個測試用例.2 因果圖中出現(xiàn)的基本符號原因原因結(jié)果結(jié)果C1C2C2C1C1因果圖法n恒等: 若c1為1,則e1也為1,否則

2、e1為0.n非: 若c1是1,則e1為0,否則e1是1.n或: 若c1或c2或c3是1,則e1是1,若三者都不為1,則e1為0.n與: 若c1和c2都是1,則e1為1,否則若有其中一個不為1,則e1為0.因果圖法n實際問題中,輸入狀態(tài)之間可能存在某些依賴關(guān)系,這種依賴關(guān)系被稱為”約束”.n在因果圖中使用特定的符號來表示這些約束關(guān)系:n約束關(guān)系說明:約束(異): a,b最多有一個可能為1,不能同時為1.約束(或): a,b,c中至少有一個必須為1,不能同時為0.約束(惟一): a和b必須有一個且僅有一個為1約束(要求):a是1時,b必須是1,即a為1時,b不能為0約束:對輸出條件的約束,若結(jié)果a

3、為1,則結(jié)果b必須為0.n3用因果圖生成測試用例的基本步驟4 應用舉例n某個軟件的規(guī)格說明書中規(guī)定:第一個字符必須是A或B,第二個字符必須是一個數(shù)字字符,在此情況下進行文件的修改,但如果第一個字符不正確,則給出信息L;如果第二個字符不正確,則給出信息M.應用舉例n分析問題,按照如下步驟進行:n(1)根據(jù)軟件規(guī)格說明書,列出原因和結(jié)果.n(2)找出原因和結(jié)果之間的關(guān)系,原因和原因之間的約束關(guān)系,畫出因果圖.n(3)將因果圖轉(zhuǎn)化為判定表n(4)根據(jù)判定表設(shè)計測試用例.應用舉例n原因:nC1:第一個字符是A;nC2:第一個字符是B;nC3:第二個字符是一個數(shù)字字符.n結(jié)果:nE1:給出信息L;nE2

4、:修改文件;nE3:給出信息M;因果圖 C1 C2 C3 10 E1 E2 E3 帶有E約束的因果圖 C1 C2 C3 10 E1 E2 E3 E將因果圖轉(zhuǎn)化為判定表12345678C1C2C310111110101110010111010100100000E1E2E3不可能測試用例A3A5AMA&B3B5BMB*C2X6CMD*設(shè)計測試用例n測試用例1: 輸入數(shù)據(jù):A3 預期輸出:修改文件n測試用例2: 輸入數(shù)據(jù):AM 預期輸出:給出信息Mn測試用例3: 輸入數(shù)據(jù):B3 預期輸出:修改文件n測試用例4: 輸入數(shù)據(jù):B* 預期輸出:給出信息Mn測試用例5: 輸入數(shù)據(jù):C2 預期輸出:給

5、出信息Ln測試用例6: 輸入數(shù)據(jù):CM 預期輸出:給出信息LM練習n程序的規(guī)格說明要求：輸入的第一個字符必須是#或*，第二個字符必須是一個數(shù)字，在此情況下進行文件的修改；如果第一個字符不是#或*，則給出信息N，如果第二個字符不是數(shù)字，則給出信息M。n用因果圖法設(shè)計測試用例練習24.因果圖法4.因果圖法Test1Test2Test3Test4Test5Test6Test7Test8Test9Test10Test11Test12Test13Test14Test15Test1611010110101100111001110001100010110101101010110101101001010010

6、0101001010001100010101001010010010100101000010000011000110001010010100100001000001000010000010000123,2423,25.2425.21,2221,222121,2421,25212121練習n有一個處理單價為1元5角的盒裝飲料的自動售貨機軟件。若投入1元5角硬幣，按下“可樂”、“雪碧”或“紅茶”按鈕，相應的飲料就送出來。若投入的是2元硬幣，在送出飲料的同時退還5角硬幣。n因果圖方法設(shè)計測試用例因果圖法的優(yōu)點因果圖法的優(yōu)點o考慮了多個輸入之間的相互組合、相考慮了多個輸入之間的相互組合、相互制約關(guān)系；互制約關(guān)系；o能夠幫助我們按一定步驟，高效率地能夠幫助我們按一定步驟，高效率地選擇測試用