軟件測試技術-4因果圖因果圖需求中的每個原因（輸入）都會在因果圖中表示為條件，它的取值是真或假。

每一個結果（輸出）都表示成為動作，它的取值是真或假。因果圖因果圖是從用自然語言書寫的程序規格說明的描述中找到因（輸入條件）和果（輸出或程序狀態的改變），通過因果圖轉化為判別表。因果圖原因可能是程序的輸入，結果可能是程序的輸出。

通常情況下，圖中左邊的節點表示原因，右邊的節點表示結果。

有可能會有一些中間節點，用AND和OR這些邏輯操作符連接。基本邏輯符合約束符號約束符合-----E“E”(Exclusive)表示約束a和b不能同時為真(0,1)(1,0)(0,0)約束符合-----I“I”(Inclusive(atleastone))表示a，b，c中至少有一個為真（a,b,c不能同時為假）。(1,0,0)(0,1,0)(0,0,1)(1,1,0)(1,0,1)(0,1,1)(1,1,1)約束符合-----O“O”(OneandOnlyOne)表示a，b中只有一個為真。(1,0)(0,1)約束符合-----R“R”(Requires)表示如果a為真，那么b一定為真。換句話說，不可能a為真而b為假。(1,1)(0,1)(0,0)“M”(Mask)表示如果原因a為真，那么結果b為假。原因和結果不能同時為真。(1,0)(0,1)(0,0)約束符合-----M設計測試用例的過程把程序的規格劃分解成可以工作的片斷識別出需求說明中的原因和結果分析原因和結果之間的邏輯關系，使用因果圖表示出來通過約束符合來描述原因和結果之間不可能出現的情況。把因果圖轉化成有限決條目決策表從決策表中的每一列設計一個測試用例.例:因果圖第一個列表必須是A或者B。第二個列表必須是一個數字。文件在這種條件下更新。如果第一個列表不正確，信息“X12”會顯示在屏幕上。如果第二個列表不正確，信息“X13”會顯示在屏幕上。定義原因和結果原因：１——第一個列表是“Ａ”

２——第一個列表是“Ｂ”

３——第二個列表是一個數字結果：７０——更新７１——顯示信息Ｘ１２７２——顯示信息Ｘ１３簡單因果圖題目有約束的因果圖題目因果圖得到的決策表測試1測試2測試3測試4測試5測試6測試7測試8原因111110000原因211001100原因310101010中間原因11111100結果1nono101000結果2nono000011結果3nono010101練習:因果圖

有一個自動售貨機軟件程序來出售裝入的各種飲料，飲料價格1.5元。如果放入了1.5元的硬幣，然后按“可樂”，“雪碧”或者“紅茶”按鈕，那么相應的飲料就會售出。如果投入2元的硬幣，那么售出飲料的同時，會找回0.5元

練習:創建一個因果圖，并將其轉化為決策表。練習:確定原因原因1:投入1.5元硬幣原因2:投入2元硬幣原因3:按“可樂”按鈕原因4:按“雪碧”按鈕原因5:按“紅茶”按鈕練習:確定結果結果1:找回0.5元硬幣結果2:售出一瓶可樂結果3:售出一瓶雪碧結果4:售出一瓶紅茶練習：因果圖EEC2C5C4C3C1M2M1E4E3E2E1∨∧∨∧∧∧練習:決策表T1T2T3T4T5T6T7T8T9T10T11C111110000000C200001111000C310001000100C401000100010C500100010001M111111111000M211101110111E100001110000E210001000000E301000100000E400100010000二義性測試該設計方法用于軟件開發的需求階段，用于確定功能性需求的二義性；二義性測試的意圖是明確需求中不清楚的地方；去除這些二義性將提高需求的質量。總結根據需求規格說明書，分析因