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

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

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

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

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

２——第一個(gè)列表是“Ｂ”

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

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

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