黑箱測試(四)——因果圖測試

一、基本概念：   因果圖是從用自然語言書寫的程式規格說明的描述中找到因（輸入條件）和果（輸出或程式狀態的改變），通過因果圖轉化為決策表。等價類別劃分法和邊界值分析方法都是著重考慮輸入條件，但沒有考慮輸入條件的各種組合、輸入條件之間的相互制約關係。這樣雖然各種輸入條件可能出錯的情況已經測試到了，但多個輸入條件組合起來可能出錯的情況卻被忽視了。如果在測試時必須考慮輸入條件的各種組合，則可能的組合數目將是天文數字，因此必須考慮採用一種適合於描述多種條件的組合、相應產生多個動作的形式來進行測試案例的設計，這就需要利用因果圖（邏輯模型）。 二、因果圖的基本邏輯符號：  三、因果圖的約束符號：   

E互斥：a和b 不能同時出現；00,10,01I包含：a和b至少一個出現。10,01,11O唯一: 必須切只有一個出現。10,01R要求：a出現，b必須出現。11,00,01

M屏蔽：a出現，b必須不出現。10,00,01

 四、因果圖產生測試案例的步驟：

• 把程式的規格劃分解成可以工作的片斷；
• 確定規格中的原因和結果；
• l分析規格以確定原因和結果之間的邏輯關係，並且使用因果圖表示出來；
• 確定句法或環境的約束，這些約束使得某些組合不能產生；
• l把因果圖轉化成有限入口決策表；
• l從決策表的每一列選取一個測試案例。

五、舉例。1.第一列字元必須Ａ或Ｂ，第二列字元必須是數字，在此情況下檔案被更新。但如果第一個字元不正確，那麼資訊Ｘ１２被產生；如果第二個字元不是數字，則資訊Ｘ１３產生。 原因：１——第一個字元是“Ａ”　　　２——第一個字元是“Ｂ”　　　　３——第二個字元是一個數字結果：　　　７０——進行更新　　　７１——產生資訊Ｘ１２　　　　７２——產生資訊Ｘ１３簡單因果圖  帶約束的因果圖 決策表2.有一個處理單價為1元5角錢的盒裝飲料的自動售貨機軟體。若投入1元5角硬幣，按下“可樂”、“雪碧”和 “紅茶”按鈕，相應的飲料就送出來。若投入的是兩元硬幣，在送出飲料的同時退還５角硬幣。因果圖決策表