測(cè)試方法因果圖法

關(guān)于測(cè)試方法因果圖法第1頁，課件共40頁，創(chuàng)作于2023年2月因果圖法產(chǎn)生的背景

等價(jià)類劃分法和邊界值分析方法都是著重考慮輸入條件，但沒有考慮輸入條件的各種組合、輸入條件之間的相互制約關(guān)系。這樣雖然各種輸入條件可能出錯(cuò)的情況已經(jīng)測(cè)試到了，但多個(gè)輸入條件組合起來可能出錯(cuò)的情況卻被忽視了。第2頁，課件共40頁，創(chuàng)作于2023年2月因果圖法設(shè)計(jì)測(cè)試用例思想首先從程序規(guī)格說明書的描述中,找出因(輸入條件)和果(輸出結(jié)果或者程序狀態(tài)的改變),然后通過因果圖轉(zhuǎn)換為判定表,最后為判定表中的每一列設(shè)計(jì)一個(gè)測(cè)試用例.第3頁，課件共40頁，創(chuàng)作于2023年2月因果圖法的定義：是一種利用圖解法分析輸入的各種組合情況，從而設(shè)計(jì)測(cè)試用例的方法，它適合于檢查程序輸入條件的各種組合情況。第4頁，課件共40頁，創(chuàng)作于2023年2月因果圖中出現(xiàn)的基本符號(hào)原因結(jié)果通常在因果圖中用Ci表示原因，用Ei表示結(jié)果，各結(jié)點(diǎn)表示狀態(tài)，可取值“0”或“1”?！?”表示某狀態(tài)不出現(xiàn)，“1”表示某狀態(tài)出現(xiàn)。第5頁，課件共40頁，創(chuàng)作于2023年2月主要的原因與結(jié)果之間的關(guān)系c1e1c1e1～c2e1c1c3Vc2e1c1V（a）恒等（b）非（c）或（d）與第6頁，課件共40頁，創(chuàng)作于2023年2月恒等：若c1是1，則e1也為1，否則e1為0；c1e1第7頁，課件共40頁，創(chuàng)作于2023年2月非：若c1是1，則e1為0，否則e1為1；c1e1～第8頁，課件共40頁，創(chuàng)作于2023年2月或：若c1或c2或c3是1，則e1是1，否則e1為0，“或”可有任意個(gè)輸入；c2e1c1c3V第9頁，課件共40頁，創(chuàng)作于2023年2月與：若c1和c2都是1，則e1為1，否則e1為0，“與”也可有任意個(gè)輸入。c2e1c1V第10頁，課件共40頁，創(chuàng)作于2023年2月恒等：若c1是1，則e1也為1，否則e1為0；非：若c1是1，則e1為0，否則e1為1；或：若c1或c2或c3是1，則e1是1，否則e1為0，“或”可有任意個(gè)輸入；與：若c1和c2都是1，則e1為1，否則e1為0，“與”也可有任意個(gè)輸入。第11頁，課件共40頁，創(chuàng)作于2023年2月在實(shí)際問題當(dāng)中輸入狀態(tài)相互之間還可能存在某些依賴關(guān)系，稱為“約束”abE異(a)acI或babO唯一abR要求ab強(qiáng)制M(b)(c)(d)(e)第12頁，課件共40頁，創(chuàng)作于2023年2月E約束（異）：a和b中最多有一個(gè)可能為1，即a和b不能同時(shí)為1；abE異第13頁，課件共40頁，創(chuàng)作于2023年2月I約束（或）：a、b、c中至少有一個(gè)必須是1，即a、b、c不能同時(shí)為0；acI或b第14頁，課件共40頁，創(chuàng)作于2023年2月O約束（唯一）：a和b必須有一個(gè)且僅有一個(gè)為1；abO唯一第15頁，課件共40頁，創(chuàng)作于2023年2月R約束（要求）：a是1時(shí)，b必須是1；abR要求第16頁，課件共40頁，創(chuàng)作于2023年2月M約束（強(qiáng)制）：若結(jié)果a是1，則結(jié)果b強(qiáng)制為0。ab強(qiáng)制M第17頁，課件共40頁，創(chuàng)作于2023年2月對(duì)于輸入條件的約束有4種：E約束（異）：a和b中最多有一個(gè)可能為1，即a和b不能同時(shí)為1；I約束（或）：a、b、c中至少有一個(gè)必須是1，即a、b、c不能同時(shí)為0；O約束（唯一）：a和b必須有一個(gè)且僅有一個(gè)為1；R約束（要求）：a是1時(shí)，b必須是1；對(duì)于輸出條件的約束只有M約束M約束（強(qiáng)制）：若結(jié)果a是1，則結(jié)果b強(qiáng)制為0。第18頁，課件共40頁，創(chuàng)作于2023年2月因果圖法設(shè)計(jì)測(cè)試用例步驟：分析程序規(guī)格說明書描述的語義內(nèi)容，找出“原因”和“結(jié)果”，將其表示成連接各個(gè)原因與各個(gè)結(jié)果的“因果圖”。由于語法或環(huán)境限制，有些原因與原因之間或與結(jié)果之間的組合情況不能出現(xiàn)，用記號(hào)標(biāo)明約束或限制條件；將因果圖轉(zhuǎn)換成決策表；根據(jù)決策表中每一列設(shè)計(jì)測(cè)試用例第19頁，課件共40頁，創(chuàng)作于2023年2月因果圖法舉例程序的規(guī)格說明要求：輸入的第一個(gè)字符必須是“#”或“*”，第二個(gè)字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改；如果第一個(gè)字符不是“#”或“*”，則給出信息N；如果第二個(gè)字符不是數(shù)字，則給出信息M。第20頁，課件共40頁，創(chuàng)作于2023年2月步驟：分析程序的規(guī)格說明，列出原因和結(jié)果；找出原因與結(jié)果之間的因果關(guān)系、原因與原因之間的約束關(guān)系，畫出因果圖。將因果圖轉(zhuǎn)換成決策表；根據(jù)3中的決策表，設(shè)計(jì)測(cè)試用例的輸入數(shù)據(jù)和預(yù)期輸出。第21頁，課件共40頁，創(chuàng)作于2023年2月解法如下：（1）在明確了上述要求后，可以明確地將原因和結(jié)果分開。原因：c1－第一個(gè)字符是“#”c2－第一個(gè)字符是“*”

c3－第二個(gè)字符是一個(gè)數(shù)字結(jié)果：a1－給出信息Na2－修改文件

a3－給出信息M第22頁，課件共40頁，創(chuàng)作于2023年2月（2）因果圖c1c2c310a3a2a1V~~V因果圖表示10為導(dǎo)出結(jié)果的中間原因第23頁，課件共40頁，創(chuàng)作于2023年2月帶有E約束的因果圖c1c2c310a3a2a1V~~VE具有E約束的因果圖表示第24頁，課件共40頁，創(chuàng)作于2023年2月將因果圖轉(zhuǎn)化為判定表12345678C1C2C310111110101110010111010100100000a1a2a3不可能√√√√√√√√√測(cè)試用例＃3＃B*7*MC2CM第25頁，課件共40頁，創(chuàng)作于2023年2月(4)設(shè)計(jì)測(cè)試用例最左邊兩列，原因c1和c2同時(shí)為1不可能，排除掉，根據(jù)表可設(shè)計(jì)出6個(gè)測(cè)試用例。Test1：輸入數(shù)據(jù)－#3預(yù)期輸出－－修改文件Test2：輸入數(shù)據(jù)－#B預(yù)期輸出－－給出信息MTest3：輸入數(shù)據(jù)－*7預(yù)期輸出－－修改文件Test4：輸入數(shù)據(jù)－*M預(yù)期輸出－－給出信息MTest5：輸入數(shù)據(jù)－C2預(yù)期輸出－－給出信息NTest6：輸入數(shù)據(jù)－CM預(yù)期輸出－－給出信息M和N第26頁，課件共40頁，創(chuàng)作于2023年2月使用因果圖法的優(yōu)點(diǎn)：（1）考慮到了輸入情況的各種組合以及各個(gè)輸入情況之間的相互制約關(guān)系。（2）能夠幫助測(cè)試人員按照一定的步驟，高效率的開發(fā)測(cè)試用例。（3）因果圖法是將自然語言規(guī)格說明轉(zhuǎn)化成形式語言規(guī)格說明的一種嚴(yán)格的方法，可以指出規(guī)格說明存在的不完整性和二義性。第27頁，課件共40頁，創(chuàng)作于2023年2月案例分析1有一個(gè)處理單價(jià)為1元5角的盒裝飲料的自動(dòng)售貨機(jī)軟件。若投入1元5角硬幣，按下“可樂”，“雪碧”或“紅茶”按鈕，相應(yīng)的飲料就送出來。若投入的是兩元硬幣，在送出飲料的同時(shí)退還5角硬幣。第28頁，課件共40頁，創(chuàng)作于2023年2月（1）分析原因及結(jié)果原因c1:投入1元5角硬幣；c2:投入2元硬幣；c3:按“可樂”按鈕；c4:按“雪碧”按鈕；c5:按“紅茶”按鈕;中間狀態(tài)11：已投幣12：已按鈕結(jié)果a1:退還5角硬幣；a2:送出“可樂”飲料；a3:送出“雪碧”飲料；a4:送出“紅茶”飲料;第29頁，課件共40頁，創(chuàng)作于2023年2月（2）畫出因果圖第30頁，課件共40頁，創(chuàng)作于2023年2月（3）決策表1234567891011c1:投入1元5角硬幣c2:投入2元硬幣c3:按“可樂”按鈕c4:按“雪碧”按鈕c5:按“紅茶”按鈕101001001010001100000110001010010010100000100000100000111：已投幣12：已按鈕1111111011111110010101a1:退還5角硬幣a2:送出“可樂”飲料a3:送出“雪碧”飲料a4:送出“紅茶”飲料√√√√√√√√√第31頁，課件共40頁，創(chuàng)作于2023年2月（4）設(shè)計(jì)測(cè)試用例用例編號(hào)測(cè)試用例預(yù)期輸出1投入1元5角，按“可樂”送出“可樂”飲料2投入1元5角，按“雪碧”送出“雪碧”飲料3投入1元5角，按“紅茶”送出“紅茶”飲料4投入2元，按“可樂”找5角，送出“可樂”5投入2元，按“雪碧”找5角，送出“雪碧”6投入2元，按“紅茶”找5角，送出“紅茶”第32頁，課件共40頁，創(chuàng)作于2023年2月習(xí)題1某軟件的一個(gè)模塊的需求規(guī)格說明書中描述：（1）年薪制員工：嚴(yán)重過失，扣年終風(fēng)險(xiǎn)金的4%；過失，扣年終風(fēng)險(xiǎn)金的2%。（2）非年薪制員工：嚴(yán)重過失，扣當(dāng)月薪資的8%；過失，扣當(dāng)月薪資的4%。請(qǐng)繪制出因果圖和判定表，并給出相應(yīng)的測(cè)試用例。第33頁，課件共40頁，創(chuàng)作于2023年2月習(xí)題2中國象棋中走馬的測(cè)試用例設(shè)計(jì)為例學(xué)習(xí)因果圖的使用方法（下面未注明的均指的是對(duì)馬的說明）第34頁，課件共40頁，創(chuàng)作于2023年2月一、分析中國象棋中走馬的實(shí)際情況如果落點(diǎn)在棋盤外,則不移動(dòng)棋子；如果落點(diǎn)與起點(diǎn)不構(gòu)成日字型,則不移動(dòng)棋子；如果在落點(diǎn)方向的鄰近交叉點(diǎn)有棋子(絆馬腿),則不移動(dòng)棋子；如果不屬于1-3條,落點(diǎn)處有己方棋子,則不移動(dòng)棋子;如果不屬于1-3條,落點(diǎn)處無棋子,則移動(dòng)棋子；如果不屬于1-3條,落點(diǎn)處為對(duì)方棋子(非老將),則移動(dòng)棋子并除去對(duì)方棋子；如果不屬于1-3條,且落點(diǎn)處為對(duì)方老將,則移動(dòng)棋子,并提示戰(zhàn)勝對(duì)方,游戲結(jié)束。

第35頁，課件共40頁，創(chuàng)作于2023年2月二、根據(jù)分析明確原因和結(jié)果原因：C1.落點(diǎn)在棋盤上；C2.落點(diǎn)與起點(diǎn)構(gòu)成日字；C3.落點(diǎn)方向的鄰近交叉點(diǎn)無棋子；C4.落點(diǎn)處為自己方棋子；C5.落點(diǎn)處無棋子；C6.落點(diǎn)處為對(duì)方棋子(非老將)；C7.落點(diǎn)處為對(duì)方老將。

結(jié)果：E1.不移動(dòng)棋子；E2.移動(dòng)棋子；E3.移動(dòng)棋子,并除去對(duì)方棋子；E4.移動(dòng)棋子，并提示戰(zhàn)勝對(duì)方，結(jié)束游戲。中間狀態(tài)：11–落點(diǎn)合理且無半馬腿，可以前進(jìn)第36頁，課件共40頁，創(chuàng)作于2023年2月添加中間節(jié)點(diǎn)11,目的是作為導(dǎo)出結(jié)果的進(jìn)一步原因,簡(jiǎn)化因果圖導(dǎo)出的判定表一c1c3c4c5E1c7c6c2E2E3E411～～～VVVVVE～第37頁，課件共40頁，創(chuàng)作于2023年2月決策表分解

規(guī)則選項(xiàng)12345678910111213141516C1C2C3C41111111011011100101110101001100001110110010101000011001000010000110100000000000000E11011111111111111第38頁，課件共40頁，創(chuàng)作于2023年2月

規(guī)則選項(xiàng)12345678910111213141