軟件測試第11講測試用例設計方法

——因果圖法目錄測試申請1測試計劃2測試需求3測試環境4測試用例5目錄因果圖法設計測試用例思想1因果圖的定義2因果圖法設計測試用例步驟3使用因果圖法的優點4案例分析5什么是因果關系？？拿破侖說：“失一個釘子，壞了一只蹄鐵；壞了一只蹄鐵，折了一匹戰馬；折了一匹戰馬，傷了一位騎士；傷了一位騎士，輸了一場戰斗；輸了一場戰斗，亡了一個帝國。”這就是因果關系

因果圖法產生的背景

等價類劃分法和邊界值分析方法都是著重考慮輸入條件，但沒有考慮輸入條件的各種組合、輸入條件之間的相互制約關系。這樣雖然各種輸入條件可能出錯的情況已經測試到了，但多個輸入條件組合起來可能出錯的情況卻被忽視了。因果圖法設計測試用例思想首先從程序規格說明書的描述中,找出因(輸入條件)和果(輸出結果或者程序狀態的改變),然后通過因果圖轉換為判定表,最后為判定表中的每一列設計一個測試用例.因果圖中出現的基本符號原因結果通常在因果圖中用Ci表示原因，用Ei表示結果，各結點表示狀態，可取值“0”或“1”。“0”表示某狀態不出現，“1”表示某狀態出現。恒等：若c1是1，則e1也為1，否則e1為0；c1e1

或：若c1或c2或c3是1，則e1是1，否則e1為0，“或”可有任意個輸入；用符號“V”表示。c2e1c1c3V與：若c1和c2都是1，則e1為1，否則e1為0，“與”也可有任意個輸入。用符號“∧”表示。c2e1c1V恒等：若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，“與”也可有任意個輸入。在實際問題當中輸入狀態相互之間還可能存在某些依賴關系，稱為“約束”abE異(a)acI或babO唯一abR要求ab強制M(b)(c)(d)(e)E約束（異）：a和b中最多有一個可能為1，即a和b不能同時為1；abE異O約束（唯一）：a和b必須有一個且僅有一個為1；abO唯一R約束（要求）：a是1時，b必須是1；abR要求對于輸入條件的約束有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約束（強制）：若結果a是1，則結果b強制為0。因果圖法設計測試用例步驟：分析程序規格說明書描述的語義內容，找出“原因”和“結果”，將其表示成連接各個原因與各個結果的“因果圖”。由于語法或環境限制，有些原因與原因之間或與結果之間的組合情況不能出現，用記號標明約束或限制條件；將因果圖轉換成決策表；根據決策表中每一列設計測試用例課堂回顧：abEabIcabORabMab2、以下五種圖例又分別表示什么關系？？

實戰演習

2.有一個處理單價為5角錢的飲料的自動售貨機軟件測試用例的設計。其規格說明如下：若投入5角錢或1元錢的硬幣，押下〖橙汁〗或〖啤酒〗的按鈕，則相應的飲料就送出來。若售貨機沒有零錢找，則一個顯示〖零錢找完〗的紅燈亮，這時在投入1元硬幣并押下按鈕后，飲料不送出來而且1元硬幣也退出來；若有零錢找，則顯示〖零錢找完〗的紅燈滅，在送出飲料的同時退還5角硬幣。

實戰演習

1)分析這一段說明，列出原因和結果原因：

1.售貨機有零錢找

2.投入1元硬幣

3.投入5角硬幣

4.押下橙汁按鈕

5.押下啤酒按鈕結果：

21.售貨機〖零錢找完〗燈亮

22.退還1元