測試方法因果圖法

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

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

c3－第二個字符是一個數(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不可能√√√√√√√√√測試用例＃3＃B*7*MC2CM第25頁，課件共40頁，創(chuàng)作于2023年2月(4)設(shè)計測試用例最左邊兩列，原因c1和c2同時為1不可能，排除掉，根據(jù)表可設(shè)計出6個測試用例。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)點：（1）考慮到了輸入情況的各種組合以及各個輸入情況之間的相互制約關(guān)系。（2）能夠幫助測試人員按照一定的步驟，高效率的開發(fā)測試用例。（3）因果圖法是將自然語言規(guī)格說明轉(zhuǎn)化成形式語言規(guī)格說明的一種嚴(yán)格的方法，可以指出規(guī)格說明存在的不完整性和二義性。第27頁，課件共40頁，創(chuàng)作于2023年2月案例分析1有一個處理單價為1元5角的盒裝飲料的自動售貨機軟件。若投入1元5角硬幣，按下“可樂”，“雪碧”或“紅茶”按鈕，相應(yīng)的飲料就送出來。若投入的是兩元硬幣，在送出飲料的同時退還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è)計測試用例用例編號測試用例預(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某軟件的一個模塊的需求規(guī)格說明書中描述：（1）年薪制員工：嚴(yán)重過失，扣年終風(fēng)險金的4%；過失，扣年終風(fēng)險金的2%。（2）非年薪制員工：嚴(yán)重過失，扣當(dāng)月薪資的8%；過失，扣當(dāng)月薪資的4%。請繪制出因果圖和判定表，并給出相應(yīng)的測試用例。第33頁，課件共40頁，創(chuàng)作于2023年2月習(xí)題2中國象棋中走馬的測試用例設(shè)計為例學(xué)習(xí)因果圖的使用方法（下面未注明的均指的是對馬的說明）第34頁，課件共40頁，創(chuàng)作于2023年2月一、分析中國象棋中走馬的實際情況如果落點在棋盤外,則不移動棋子；如果落點與起點不構(gòu)成日字型,則不移動棋子；如果在落點方向的鄰近交叉點有棋子(絆馬腿),則不移動棋子；如果不屬于1-3條,落點處有己方棋子,則不移動棋子;如果不屬于1-3條,落點處無棋子,則移動棋子；如果不屬于1-3條,落點處為對方棋子(非老將),則移動棋子并除去對方棋子；如果不屬于1-3條,且落點處為對方老將,則移動棋子,并提示戰(zhàn)勝對方,游戲結(jié)束。

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

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

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

規(guī)則選項12345678910111213141