《軟件質(zhì)量保證與測試》07 因果圖法

因果圖法因果圖法什么是因果圖為什么使用因果圖法因果圖法的使用方法小結(jié)因果圖源于需求分析的一種常用表示用圖示的方式表示:原因與結(jié)果之間的關(guān)系各原因之間的約束關(guān)系各原因間的先后關(guān)系各結(jié)果之前的先后關(guān)系因果圖的基本關(guān)系符號和連接關(guān)系C1E1恒等關(guān)系C1E1非關(guān)系C1E1或關(guān)系C2C3∨C1E1與關(guān)系C2C3∧因果圖的基本關(guān)系符號和連接約束abEa和b，至多一個為真abIa和b，至少一個為真bOa和b，有且只有一個為真abRa->babMa->~ba例某程序要求：

文件中的第一個字符必須是A或B；第二個字符必須是數(shù)字字符；若第一個字符不是A或B，輸出信息L；若第二個字符不正確，則輸出信息M；否則，對文件進行修改。例：原因與結(jié)果原因C1：第一個字符是AC2：第一個字符是BC3：第二個字符是數(shù)字結(jié)果E1：輸出信息LE2：修改文件E3：輸出信息M例：因果圖C1C2C3E1E2E310V~~E∧為什么使用因果圖法對比等價類劃分法原因必須是一種劃分等價關(guān)系不易確定對比決策表法條件樁的各條件具有一定的獨立性假設(shè)難以體現(xiàn)邏輯過程因果圖：強調(diào)合理輸入，有合理輸出；可以增加適當?shù)募s束可以體現(xiàn)邏輯過程和輸出過程例：所有男同學(xué)去踢球，所有班級干部開會等價類劃分男班干部、女班干部、普通男同學(xué)、普通女同學(xué)決策表是男同學(xué)(T、F)是班干部(T、F)因果圖男班干部女班干部男同學(xué)女同學(xué)EERR因果圖法的使用構(gòu)造因果圖形成決策表簡化決策表設(shè)計測試用例及數(shù)據(jù)例1某程序要求：

文件中的第一個字符必須是A或B；第二個字符必須是數(shù)字字符；若第一個字符不是A或B，輸出信息L；若第二個字符不正確，則輸出信息M；否則，對文件進行修改。例1：原因與結(jié)果原因C1：第一個字符是AC2：第一個字符是BC3：第二個字符是數(shù)字結(jié)果E1：輸出信息LE2：修改文件E3：輸出信息M例1：因果圖C1C2C3E1E2E310V~~E∧例1：形成決策表12345678C111110000原因C211001100C31010101010XX111100E1√√結(jié)果E2√√E3√√√用例A3A9AKABB7B8BMBAC5X5DUPK例1形成測試用例(數(shù)據(jù))集c1c2c3輸入預(yù)期輸出1TFTA3修改文件2TFFAK信息M3FTTB5修改文件4FTFBW信息M5FFTC6信息L6FFFPK信息LM例2：自動售貨機一次只能售賣一瓶飲料，飲料分“橙汁”和“啤酒”兩種，每種飲料均為5角，售貨機每次只接收一個5角或一個1元的硬幣。用戶使用售貨機的方法如下：

若投入5角錢，按下“橙汁”或“啤酒”的按鈕，則相應(yīng)的飲料就送出去。若投入1元錢，按下“橙汁”或“啤酒”的按鈕，但售貨機沒有零錢找，則一個點亮“零錢找完”的紅燈，并退出投入的1元硬幣；并按下按鈕后，飲料不送出來而且1元硬幣也退出來；若有零錢找，則顯示“零錢找完”的紅燈滅，在送出飲料的同時找回零錢。例2：列出原因和結(jié)果原因投入5角投入1圓按橙汁按鈕按啤酒按鈕機內(nèi)有零錢機內(nèi)無零錢結(jié)果出橙汁出啤酒找零5角退回1圓“零錢找完”燈亮“零錢找完”燈滅小結(jié)-因果圖法