資源描述：
《軟件測試8黑盒測試因果圖法.ppt》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在PPT專區(qū)-天天文庫。
1、黑盒測試因果圖康玲因果圖法產(chǎn)生的背景等價類劃分法和邊界值分析方法都是著重考慮輸入條件，但沒有考慮輸入條件的各種組合、輸入條件之間的相互制約關(guān)系。這樣雖然各種輸入條件可能出錯的情況已經(jīng)測試到了，但多個輸入條件組合起來可能出錯的情況卻被忽視了。什么是因果關(guān)系？？拿破侖說：“失一個釘子，壞了一只蹄鐵；壞了一只蹄鐵，折了一匹戰(zhàn)馬；折了一匹戰(zhàn)馬，傷了一位騎士；傷了一位騎士，輸了一場戰(zhàn)斗；輸了一場戰(zhàn)斗，亡了一個帝國?！边@就是因果關(guān)系因果圖法的定義：是一種利用圖解法分析輸入的各種組合情況，從而設(shè)計測試用例的方法，它適合于檢查程序輸入條件的各種組合情況。因果圖中出現(xiàn)的基本符號
2、原因結(jié)果通常在因果圖中用Ci表示原因，用Ei表示結(jié)果，各結(jié)點表示狀態(tài)，可取值“0”或“1”。“0”表示某狀態(tài)不出現(xiàn)，“1”表示某狀態(tài)出現(xiàn)。主要的原因與結(jié)果之間的關(guān)系c1e1c1e1～c2e1c1c3Vc2e1c1V（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，“或”可有任意個輸入；c2e1c1c3V與：若c1和c2都是1，則e1為1，否則e1為0，“與”也可有任意個輸入。c2e1c1V恒等：若c1是1，則e1也為1
3、，否則e1為0；非：若c1是1，則e1為0，否則e1為1；或：若c1或c2或c3是1，則e1是1，否則e1為0，“或”可有任意個輸入；與：若c1和c2都是1，則e1為1，否則e1為0，“與”也可有任意個輸入。在實際問題當(dāng)中輸入狀態(tài)相互之間還可能存在某些依賴關(guān)系，稱為“約束”abE異(a)acI或babO唯一abR要求ab強制M(b)(c)(d)(e)E約束（異）：a和b中最多有一個可能為1，即a和b不能同時為1；abE異I約束（或）：a、b、c中至少有一個必須是1，即a、b、c不能同時為0；acI或bO約束（唯一）：a和b必須有一個且僅有一個為1；abO唯一R
4、約束（要求）：a是1時，b必須是1；abR要求M約束（強制）：若結(jié)果a是1，則結(jié)果b強制為0。ab強制M對于輸入條件的約束有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。課堂回顧：c1e1c1e1～c1e1c2c3∨c1e1c2∧1、以下四個圖例分別表示什么關(guān)系：課堂回顧：abEabIcabORabMab2
5、、以下五種圖例又分別表示什么關(guān)系？？因果圖法設(shè)計測試用例思想首先從程序規(guī)格說明書的描述中,找出因(輸入條件)和果(輸出結(jié)果或者程序狀態(tài)的改變),然后通過因果圖轉(zhuǎn)換為判定表,最后為判定表中的每一列設(shè)計一個測試用例.因果圖法設(shè)計測試用例步驟：分析程序規(guī)格說明書描述的語義內(nèi)容，找出“原因”和“結(jié)果”，將其表示成連接各個原因與各個結(jié)果的“因果圖”。由于語法或環(huán)境限制，有些原因與原因之間或與結(jié)果之間的組合情況不能出現(xiàn)，用記號標(biāo)明約束或限制條件；將因果圖轉(zhuǎn)換成判定表；根據(jù)判定表中每一列設(shè)計測試用例因果圖法舉例程序的規(guī)格說明要求：輸入的第一個字符必須是“#”或“*”，第二個
6、字符必須是一個數(shù)字，在此情況下進行文件的修改；如果第一個字符不是“#”或“*”，則給出信息N；如果第二個字符不是數(shù)字，則給出信息M。步驟：分析程序的規(guī)格說明，列出原因和結(jié)果；找出原因與結(jié)果之間的因果關(guān)系、原因與原因之間的約束關(guān)系，畫出因果圖。將因果圖轉(zhuǎn)換成決策表；根據(jù)3中的決策表，設(shè)計測試用例的輸入數(shù)據(jù)和預(yù)期輸出。解法如下：（1）在明確了上述要求后，可以明確地將原因和結(jié)果分開。原因：c1－第一個字符是“#”c2－第一個字符是“*”c3－第二個字符是一個數(shù)字結(jié)果：a1－給出信息Na2－修改文件a3－給出信息M（2）因果圖c1c2c310a3a2a1V~~V因果圖
7、表示10為導(dǎo)出結(jié)果的中間原因帶有E約束的因果圖c1c2c310a3a2a1V~~VE具有E約束的因果圖表示（3）將因果圖轉(zhuǎn)換成決策表規(guī)則選項12345678條件c1c2c310111110101110010111010100100000動作a1a2a3不可能√√√√√√√√√測試用例#3#A*6*BA1GT(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ù)－
8、*M預(yù)期輸出－－給出信息MTest5：
