軟件測(cè)試-8黑盒測(cè)試因果圖法.知識(shí)分享

1、軟件測(cè)試-8黑盒測(cè)試因果圖法.什么是因果關(guān)系？什么是因果關(guān)系？拿破侖說(shuō)：“失一個(gè)釘子，壞了一只蹄鐵； 壞了一只蹄鐵，折了一匹戰(zhàn)馬； 折了一匹戰(zhàn)馬，傷了一位騎士； 傷了一位騎士，輸了一場(chǎng)戰(zhàn)斗； 輸了一場(chǎng)戰(zhàn)斗，亡了一個(gè)帝國(guó)?！?這就是因果關(guān)系 因果圖法的定義：因果圖法的定義：是一種利用圖解法分析輸入的各是一種利用圖解法分析輸入的各種組合情況，從而設(shè)計(jì)測(cè)試用例種組合情況，從而設(shè)計(jì)測(cè)試用例的方法，它適合于檢查程序輸入的方法，它適合于檢查程序輸入條件的各種組合情況。條件的各種組合情況。因果圖中出現(xiàn)的基本符號(hào)因果圖中出現(xiàn)的基本符號(hào)原因原因結(jié)果結(jié)果主要的原因與結(jié)果之間的關(guān)系主要的原因與結(jié)果之間的關(guān)系c1e1

2、c1e1c2e1c1c3Vc2e1c1V（a）恒等（b）非（c）或（d）與恒等：若恒等：若c1是是1，則，則e1也為也為1，否，否則則e1為為0；c1e1非：若非：若c1是是1，則，則e1為為0，否則，否則e1為為1；c1e1或：若或：若c1或或c2或或c3是是1，則，則e1是是1，否則，否則e1為為0，“或或”可有任意個(gè)可有任意個(gè)輸入；輸入；c2e1c1c3V與：若與：若c1和和c2都是都是1，則，則e1為為1，否則否則e1為為0，“與與”也可有任意個(gè)也可有任意個(gè)輸入。輸入。c2e1c1V恒等：若恒等：若c1是是1，則，則e1也為也為1，否則，否則e1為為0；非：若非：若c1是是1，則，則e

3、1為為0，否則，否則e1為為1；或：若或：若c1或或c2或或c3是是1，則，則e1是是1，否則，否則e1為為0，“或或”可有任意個(gè)輸入；可有任意個(gè)輸入；與：若與：若c1和和c2都是都是1，則，則e1為為1，否則，否則e1為為0，“與與”也可有任意個(gè)輸入。也可有任意個(gè)輸入。在實(shí)際問(wèn)題當(dāng)中輸入狀態(tài)相互之間還可能存在在實(shí)際問(wèn)題當(dāng)中輸入狀態(tài)相互之間還可能存在某些依賴關(guān)系，稱為某些依賴關(guān)系，稱為“約束約束”abE異(a)acI或babO唯一abR要求ab強(qiáng)制M(b)(c)(d)(e)E約束（異）：約束（異）：a和和b中最多有一個(gè)可能為中最多有一個(gè)可能為1，即，即a和和b不能同時(shí)為不能同時(shí)為1；abE異I

4、約束（或）：約束（或）：a、b、c中至少有一個(gè)必須中至少有一個(gè)必須是是1，即，即a、b、c不能同時(shí)為不能同時(shí)為0；acI或bO約束（唯一）：約束（唯一）：a和和b必須有一個(gè)且僅有必須有一個(gè)且僅有一個(gè)為一個(gè)為1；abO唯一R約束（要求）：約束（要求）：a是是1時(shí)，時(shí)，b必須是必須是1；abR要求M約束（強(qiáng)制）：若結(jié)果約束（強(qiáng)制）：若結(jié)果a是是1，則結(jié)果，則結(jié)果b強(qiáng)制為強(qiáng)制為0。ab強(qiáng)制M對(duì)于輸入條件的約束有對(duì)于輸入條件的約束有4種：種：E約束（異）：約束（異）：a和和b中最多有一個(gè)可能為中最多有一個(gè)可能為1， 即即a和和b不能同時(shí)為不能同時(shí)為1；I約束（或）：約束（或）：a、b、c中至少有一個(gè)必

5、須是中至少有一個(gè)必須是1， 即即a、b、c不能同時(shí)為不能同時(shí)為0；O約束（唯一）：約束（唯一）：a和和b必須有一個(gè)且僅有一個(gè)為必須有一個(gè)且僅有一個(gè)為1；R約束（要求）：約束（要求）：a是是1時(shí)，時(shí)，b必須是必須是1；對(duì)于輸出條件的約束只有對(duì)于輸出條件的約束只有M約束約束M約束（強(qiáng)制）：若結(jié)果約束（強(qiáng)制）：若結(jié)果a是是1，則結(jié)果，則結(jié)果b強(qiáng)制為強(qiáng)制為0。課堂回顧：課堂回顧： 1、以下四個(gè)圖例分別表示什么關(guān)系：、以下四個(gè)圖例分別表示什么關(guān)系：課堂回顧：課堂回顧：EIORM2 2、以下五種圖例又分別表示什么關(guān)系？、以下五種圖例又分別表示什么關(guān)系？因果圖法設(shè)計(jì)測(cè)試用例思想因果圖法設(shè)計(jì)測(cè)試用例思想首先從

6、程序規(guī)格說(shuō)明書(shū)的描述中首先從程序規(guī)格說(shuō)明書(shū)的描述中,找出找出(輸入條件輸入條件)和和(輸出結(jié)輸出結(jié)果或者程序狀態(tài)的改變果或者程序狀態(tài)的改變),然后通過(guò)因果圖轉(zhuǎn)換為判定表然后通過(guò)因果圖轉(zhuǎn)換為判定表,最后為判定表中的每一列設(shè)計(jì)一最后為判定表中的每一列設(shè)計(jì)一個(gè)測(cè)試用例個(gè)測(cè)試用例.因果圖法設(shè)計(jì)測(cè)試用例步驟：因果圖法設(shè)計(jì)測(cè)試用例步驟：分析程序規(guī)格說(shuō)明書(shū)描述的語(yǔ)義內(nèi)容，找出分析程序規(guī)格說(shuō)明書(shū)描述的語(yǔ)義內(nèi)容，找出“原因原因”和和“結(jié)果結(jié)果”，將其表示成連接各個(gè)原因，將其表示成連接各個(gè)原因與各個(gè)結(jié)果的與各個(gè)結(jié)果的“因果圖因果圖”。由于語(yǔ)法或環(huán)境限制，有些原因與原因之間或由于語(yǔ)法或環(huán)境限制，有些原因與原因之間或

7、與結(jié)果之間的組合情況不能出現(xiàn)，用記號(hào)標(biāo)明與結(jié)果之間的組合情況不能出現(xiàn)，用記號(hào)標(biāo)明約束或限制條件；約束或限制條件；將因果圖轉(zhuǎn)換成判定表；將因果圖轉(zhuǎn)換成判定表；根據(jù)判定表中每一列設(shè)計(jì)測(cè)試用例根據(jù)判定表中每一列設(shè)計(jì)測(cè)試用例因果圖法舉例因果圖法舉例程序的規(guī)格說(shuō)明要求：輸入的第一個(gè)字符必須程序的規(guī)格說(shuō)明要求：輸入的第一個(gè)字符必須是是“#”或或“* *”，第二個(gè)字符必須是一個(gè)數(shù)字，第二個(gè)字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改；如果第一個(gè)字符在此情況下進(jìn)行文件的修改；如果第一個(gè)字符不是不是“#”或或“* *”，則給出信息，則給出信息N；如果第二個(gè)；如果第二個(gè)字符不是數(shù)字，則給出信息字符不是數(shù)字，則給出

8、信息M。步驟：步驟：分析程序的規(guī)格說(shuō)明，列出原因和結(jié)果；分析程序的規(guī)格說(shuō)明，列出原因和結(jié)果；找出原因與結(jié)果之間的因果關(guān)系、原因與原找出原因與結(jié)果之間的因果關(guān)系、原因與原因之間的約束關(guān)系，畫(huà)出因果圖。因之間的約束關(guān)系，畫(huà)出因果圖。將因果圖轉(zhuǎn)換成決策表；將因果圖轉(zhuǎn)換成決策表；根據(jù)根據(jù)3中的決策表，設(shè)計(jì)測(cè)試用例的輸入數(shù)據(jù)中的決策表，設(shè)計(jì)測(cè)試用例的輸入數(shù)據(jù)和預(yù)期輸出。和預(yù)期輸出。解法如下：解法如下：（1）在明確了上述要求后，可以明確地將原）在明確了上述要求后，可以明確地將原因和結(jié)果分開(kāi)。因和結(jié)果分開(kāi)。原因：原因：c1第一個(gè)字符是第一個(gè)字符是“#” c2第一個(gè)字符是第一個(gè)字符是“* *” c3第二個(gè)字符

9、是一個(gè)數(shù)字第二個(gè)字符是一個(gè)數(shù)字結(jié)果：結(jié)果：a1給出信息給出信息N a2修改文件修改文件 a3給出信息給出信息M（2）因果圖）因果圖c1c2c310a3a2a1VV因果圖表示因果圖表示10為導(dǎo)出結(jié)果的中間原因?yàn)閷?dǎo)出結(jié)果的中間原因帶有帶有E約束的因果圖約束的因果圖c1c2c310a3a2a1VVE具有具有E約束的因果圖表示約束的因果圖表示（3）將因果圖轉(zhuǎn)換成決策表）將因果圖轉(zhuǎn)換成決策表 規(guī)則規(guī)則 選項(xiàng)選項(xiàng)12345678條件條件c1c2c310111110101110010111010100100000動(dòng)作動(dòng)作a1a2a3不可能不可能測(cè)試用例測(cè)試用例#3#A*6*BA1GT(4)設(shè)計(jì)測(cè)試用例設(shè)計(jì)測(cè)

10、試用例最左邊兩列，原因最左邊兩列，原因c1和和c2同時(shí)為同時(shí)為1不可能，排除掉，不可能，排除掉，根據(jù)表可設(shè)計(jì)出根據(jù)表可設(shè)計(jì)出6個(gè)測(cè)試用例。個(gè)測(cè)試用例。Test1：輸入數(shù)據(jù)：輸入數(shù)據(jù)#3 預(yù)期輸出修改文件預(yù)期輸出修改文件Test2：輸入數(shù)據(jù)：輸入數(shù)據(jù)#B 預(yù)期輸出給出信息預(yù)期輸出給出信息MTest3：輸入數(shù)據(jù)：輸入數(shù)據(jù)* *7 預(yù)期輸出修改文件預(yù)期輸出修改文件Test4：輸入數(shù)據(jù)：輸入數(shù)據(jù)* *M 預(yù)期輸出給出信息預(yù)期輸出給出信息MTest5：輸入數(shù)據(jù)：輸入數(shù)據(jù)C2 預(yù)期輸出給出信息預(yù)期輸出給出信息NTest6：輸入數(shù)據(jù)：輸入數(shù)據(jù)CM 預(yù)期輸出給出信息預(yù)期輸出給出信息M和和N使用因果圖法的優(yōu)點(diǎn)：

11、使用因果圖法的優(yōu)點(diǎn)：（1）考慮到了輸入情況的各種組合以及各個(gè)）考慮到了輸入情況的各種組合以及各個(gè)輸入情況之間的相互制約關(guān)系。輸入情況之間的相互制約關(guān)系。（2）能夠幫助測(cè)試人員按照一定的步驟，高）能夠幫助測(cè)試人員按照一定的步驟，高效率的開(kāi)發(fā)測(cè)試用例。效率的開(kāi)發(fā)測(cè)試用例。（3）因果圖法是將自然語(yǔ)言規(guī)格說(shuō)明轉(zhuǎn)化成）因果圖法是將自然語(yǔ)言規(guī)格說(shuō)明轉(zhuǎn)化成形式語(yǔ)言規(guī)格說(shuō)明的一種嚴(yán)格的方法，可以形式語(yǔ)言規(guī)格說(shuō)明的一種嚴(yán)格的方法，可以指出規(guī)格說(shuō)明存在的不完整性和二義性。指出規(guī)格說(shuō)明存在的不完整性和二義性。因果圖法案例分析因果圖法案例分析有一個(gè)處理單價(jià)為有一個(gè)處理單價(jià)為1元元5角的盒裝飲料的自動(dòng)售角的盒裝飲料的自

12、動(dòng)售貨機(jī)軟件。若投入貨機(jī)軟件。若投入1元元5角硬幣，按下角硬幣，按下“可樂(lè)可樂(lè)”，“雪碧雪碧”或或“紅茶紅茶”按鈕，相應(yīng)的飲料就送出按鈕，相應(yīng)的飲料就送出來(lái)。若投入的是兩元硬幣，在送出飲料的同時(shí)來(lái)。若投入的是兩元硬幣，在送出飲料的同時(shí)退還退還5角硬幣。角硬幣。原因及結(jié)果原因及結(jié)果原因c1:投入1元5角硬幣；c2:投入2元硬幣；c3:按“可樂(lè)”按鈕；c4:按“雪碧”按鈕；c5:按“紅茶”按鈕;中間狀態(tài)11：已投幣12：已按鈕結(jié)果a1:退還5角硬幣；a2:送出“可樂(lè)”飲料；a3:送出“雪碧”飲料；a4:送出“紅茶”飲料;因果圖因果圖決策表決策表1 12 23 34 45 56 67 78 89 9

13、10101111c1:c1:投入投入1 1元元5 5角硬幣角硬幣c2:c2:投入投入2 2元硬幣元硬幣c3:c3:按按“可樂(lè)可樂(lè)”按鈕按鈕c4:c4:按按“雪碧雪碧”按鈕按鈕c5:c5:按按“紅茶紅茶”按鈕按鈕1 10 01 10 00 01 10 00 01 10 01 10 00 00 01 11 10 00 00 00 00 01 11 10 00 00 01 10 01 10 00 01 10 00 01 10 01 10 00 00 00 00 01 10 00 00 00 00 01 10 00 00 00 00 01 11111：已投幣：已投幣1212：已按鈕：已按鈕1 11 1

14、1 11 11 11 11 10 01 11 11 11 11 11 11 10 00 01 10 01 10 01 1a1:a1:退還退還5 5角硬幣角硬幣a2:a2:送出送出“可樂(lè)可樂(lè)”飲料飲料a3:a3:送出送出“雪碧雪碧”飲料飲料a4:a4:送出送出“紅茶紅茶”飲料飲料習(xí)題習(xí)題某軟件的一個(gè)模塊的需求規(guī)格說(shuō)明書(shū)中描述：某軟件的一個(gè)模塊的需求規(guī)格說(shuō)明書(shū)中描述：（1）年薪制員工：嚴(yán)重過(guò)失，扣年終風(fēng)險(xiǎn)金的）年薪制員工：嚴(yán)重過(guò)失，扣年終風(fēng)險(xiǎn)金的4%；過(guò)失，扣年終風(fēng)險(xiǎn)金的；過(guò)失，扣年終風(fēng)險(xiǎn)金的2%。（2）非年薪制員工：嚴(yán)重過(guò)失，扣當(dāng)月薪資的）非年薪制員工：嚴(yán)重過(guò)失，扣當(dāng)月薪資的8%；過(guò)失，扣當(dāng)月薪

15、資的；過(guò)失，扣當(dāng)月薪資的4%。請(qǐng)繪制出因果圖和判定表，并給出相應(yīng)的測(cè)試用請(qǐng)繪制出因果圖和判定表，并給出相應(yīng)的測(cè)試用例。例。分析中國(guó)象棋中走馬的實(shí)際情況分析中國(guó)象棋中走馬的實(shí)際情況如果落點(diǎn)在棋盤(pán)外如果落點(diǎn)在棋盤(pán)外, ,則不移動(dòng)棋子；則不移動(dòng)棋子；如果落點(diǎn)與起點(diǎn)不構(gòu)成日字型如果落點(diǎn)與起點(diǎn)不構(gòu)成日字型, ,則不移動(dòng)棋子；則不移動(dòng)棋子；如果在落點(diǎn)方向的鄰近交叉點(diǎn)有棋子如果在落點(diǎn)方向的鄰近交叉點(diǎn)有棋子( (絆馬腿絆馬腿), ),則不移動(dòng)棋子；則不移動(dòng)棋子；落點(diǎn)處有己方棋子落點(diǎn)處有己方棋子, ,則不移動(dòng)棋子則不移動(dòng)棋子; ;如果不屬于如果不屬于1-41-4條條, , 落點(diǎn)處無(wú)棋子落點(diǎn)處無(wú)棋子, ,則移動(dòng)棋

16、子；則移動(dòng)棋子；如果不屬于如果不屬于1-41-4條條, , 落點(diǎn)處為對(duì)方棋子落點(diǎn)處為對(duì)方棋子( (非老將非老將), ),則移動(dòng)棋子并除去對(duì)方棋子；則移動(dòng)棋子并除去對(duì)方棋子；如果不屬于如果不屬于1-41-4條條, ,且落點(diǎn)處為對(duì)方老將且落點(diǎn)處為對(duì)方老將, ,則移動(dòng)則移動(dòng)棋子棋子, ,并提示戰(zhàn)勝對(duì)方并提示戰(zhàn)勝對(duì)方, ,游戲結(jié)束。游戲結(jié)束。 根據(jù)分析明確原因和結(jié)果根據(jù)分析明確原因和結(jié)果 原因：原因：落點(diǎn)在棋盤(pán)上；落點(diǎn)在棋盤(pán)上；落點(diǎn)與起點(diǎn)構(gòu)成日字；落點(diǎn)與起點(diǎn)構(gòu)成日字；落點(diǎn)方向的鄰近交叉點(diǎn)落點(diǎn)方向的鄰近交叉點(diǎn)無(wú)棋子；無(wú)棋子；落點(diǎn)處為自己方棋子；落點(diǎn)處為自己方棋子；落點(diǎn)處無(wú)棋子；落點(diǎn)處無(wú)棋子；落點(diǎn)處為對(duì)方

17、棋子落點(diǎn)處為對(duì)方棋子( (非非老將老將) )；1. 1.落點(diǎn)處為對(duì)方老將落點(diǎn)處為對(duì)方老將。 結(jié)果：結(jié)果：E1E1、不移動(dòng)棋子；、不移動(dòng)棋子；E2E2、移動(dòng)棋子；、移動(dòng)棋子；E3E3、移動(dòng)棋子、移動(dòng)棋子, ,并除去對(duì)并除去對(duì)方棋子；方棋子；E4E4、移動(dòng)棋子，并提示、移動(dòng)棋子，并提示戰(zhàn)勝對(duì)方，結(jié)束游戲戰(zhàn)勝對(duì)方，結(jié)束游戲。 添加中間節(jié)點(diǎn)添加中間節(jié)點(diǎn)11,目的是作為導(dǎo)出結(jié)果的進(jìn)一步原因目的是作為導(dǎo)出結(jié)果的進(jìn)一步原因,簡(jiǎn)化因果圖導(dǎo)出的判定表簡(jiǎn)化因果圖導(dǎo)出的判定表1345E1762E2E3E411VVVVVE 決策表分解決策表分解 規(guī)則選項(xiàng)123456789101112131415161234111111101101110010111010100110000111011001010100001100100001000011E101100101010101010101010101010101 規(guī)則規(guī)則 選項(xiàng)選項(xiàng)12345678910111213141516 11 5 6 7111111101101110010111010100110000111011