軟件測試技術-8黑盒測試因果圖法教材

黑盒測試因果圖康玲四、因果圖法基于決策表的測試是最嚴格的功能性測試，因為決策表具有邏輯嚴格性。與之相關連的方法：

因果圖法、決策表格法。缺點：使用麻煩，冗余多。自從20世紀60年代初以來，決策表一直被用來表示和分析復雜邏輯關系。決策表很適合描述不同條件集合下采取行動的若干組合的情況。因果圖，是一種形式語言（有嚴格語法限制的語言，計算機語言都是形式語言），是將自然語言描述的規(guī)格說明轉換為因果圖。實質上，是一種數(shù)字邏輯電路（一個組合的邏輯網絡），但沒有使用標準的電子學符號，而是使用了稍微簡單點的符號。因果圖法(Cause/EffectGraphing)一些程序的功能可以用判定表的形式來表示，并根據輸入條件的組合情況規(guī)定相應的操作。從程序規(guī)格說明書的描述中找出因（輸入條件）和果（輸出結果或程序狀態(tài)的改變）的關系，通過因果圖轉換為判定表，最后為判定表的每一列設計一個測試用例考慮到輸入情況的各種組合以及各個輸入情況之間的相互制約關系。因果圖法使用了簡單的邏輯符號，以直線連接左右節(jié)點。左節(jié)點表示輸入狀態(tài)（或稱原因），右節(jié)點表示輸出狀態(tài)（結果）。c1e1（a）恒等c1e1～（b）非c2e1c1c3V（c）或c2e1c1V（d）與圖中，ci表示原因，通常位于圖的左部，ei表示結果，位于圖的右部。ci與ei取值0或1，0表示某狀態(tài)不出現(xiàn)，1表示某狀態(tài)出現(xiàn)恒等：若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，“與”也可有任意個輸入。在實際問題當中輸入狀態(tài)相互之間還可能存在某些依賴關系，稱為“約束”abE異(a)acI或babO唯一abR要求ab強制M(b)(c)(d)(e)對于輸入條件的約束有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。因果圖導出測試用例步驟：分析程序規(guī)格說明中的原因及結果。分析程序規(guī)格說明中語義的內容，找出原因與結果之間、原因與原因之間的對應關系，將其表示成連接各原因與各結果的“因果圖”。由于語法或環(huán)境限制，有些原因與原因之間或與結果之間的組合情況不能出現(xiàn)，用記號標明約束或限制條件；將因果圖轉換成決策表；根據決策表中每一列設計測試用例因果圖法舉例程序的規(guī)格說明要求：輸入的第一個字符必須是“#”或“*”，第二個字符必須是一個數(shù)字，在此情況下進行文件的修改；如果第一個字符不是“#”或“*”，則給出信息N；如果第二個字符不是數(shù)字，則給出信息M。步驟：分析程序的規(guī)格說明，列出原因和結果；找出原因與結果之間的因果關系、原因與原因之間的約束關系，畫出因果圖。將因果圖轉換成決策表；根據3中的決策表，設計測試用例的輸入數(shù)據和預期輸出。解法如下：在明確了上述要求后，可以明確地將原因和結果分開。原因：c1－第一個字符是“#”c2－第一個字符是“*”

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

a3－給出信息M（2）因果圖c1c2c310a3a2a1V~~V因果圖表示c1c2c310a3a2a1V~~VE具有E約束的因果圖表示10－導出結果的進一步原因（3）將因果圖轉換成決策表

規(guī)則選項12345678條件c1c2c310111110101110010111010100100000動作a1a2a3不可能√√√√√√√√√測試用例#3#A*6*BA1GT(4)設計測試用例最左邊兩列，原因c1和c2同時為1不可能，排除掉，根據表可設計出6個測試用例。Test1：輸入數(shù)據－#3預期輸出－修改文件Test2：輸入數(shù)據－#A預期輸出－給出信息MTest3：輸入數(shù)據－*6預期輸出－修改文件Test4：輸入數(shù)據－*B預期輸出－給出信息MTest5：輸入數(shù)據－A1預期輸出－給出信息NTest6：輸入數(shù)據－GT預期輸出－給出信息M和N使用因果圖法的優(yōu)點考慮了多個輸入之間的相互組合、相互制約關系；能夠幫助我們按一定步驟，高效率地選擇測試用例，同時還能為我們指出，程序規(guī)格說明描述中存在著什么問題因果圖法案例分析有一個處理單價為1元5角的盒裝飲料的自動售貨機軟件。若投入1元5角硬幣，按下“可樂”，“雪碧”或“紅茶”按鈕，相應的飲料就送出來。若投入的是兩元硬幣，在送出飲料的同時退還5角硬幣。原因及結果原因c1:投入1元5角硬幣；c2:投入2元硬幣；c3:按“可樂”按鈕；c4:按“雪碧”按鈕；c5:按“紅茶”按鈕;中間狀態(tài)11：已投幣12：已按鈕結果a1:退還5角硬幣；a2:送出“可樂”飲料；a3:送出“雪碧”飲料；a4:送出“紅茶”飲料;因果圖決策表1234567891011c1:投入1元5角硬幣c2:投入2元硬幣c3:按“可樂”按鈕c4:按“雪碧”按鈕c5:按“紅茶”按鈕101001001010001100000110001010010010100000100000100000111：已投幣12：已按鈕1111111011111110010101a1:退還5角硬幣a2:送出“可樂”飲料a3:送出“雪碧”飲料a4:送出“紅茶”飲料√√√√√√√√√作業(yè)例如，有一個處理單價為5角錢的飲料的自動售貨機軟件測試用例的設計。其規(guī)格說明如下：若投入5角錢或1元錢的硬幣，按下〖橙汁〗或〖啤酒〗的按鈕，則相應的飲料就送出來。若售貨機沒有零錢找，則一個顯示〖零錢找完〗的紅燈亮，這時在投入1元硬幣并按下按鈕后，飲料不送出來而且1元硬幣也退出來；若有零錢找，則顯示〖零錢