軟件測試技術(shù)：因果圖

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

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

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

有可能會有一些中間節(jié)點，用AND和OR這些邏輯操作符連接?；具壿嫹霞s束符號約束符合-----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為真，那么結(jié)果b為假。原因和結(jié)果不能同時為真。(1,0)(0,1)(0,0)約束符合-----M設(shè)計測試用例的過程把程序的規(guī)格劃分解成可以工作的片斷識別出需求說明中的原因和結(jié)果分析原因和結(jié)果之間的邏輯關(guān)系，使用因果圖表示出來通過約束符合來描述原因和結(jié)果之間不可能出現(xiàn)的情況。把因果圖轉(zhuǎn)化成有限決條目決策表從決策表中的每一列設(shè)計一個測試用例.例:因果圖第一個列表必須是A或者B。第二個列表必須是一個數(shù)字。文件在這種條件下更新。如果第一個列表不正確，信息“X12”會顯示在屏幕上。如果第二個列表不正確，信息“X13”會顯示在屏幕上。定義原因和結(jié)果原因：１——第一個列表是“Ａ”

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

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

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

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