測試用例設(shè)計—自動售貨機因果圖分析

1、命題命題有一個處理單價為5角錢的飲料的自動售貨機軟件測試用例的設(shè)計。其規(guī)格說明如下：若投入5角錢或1元錢的硬幣，押下〖橙汁〗或〖啤酒〗的按鈕，則相應(yīng)的飲料就送出來。若售貨機沒有零錢找，則一個顯示〖零錢找完〗的紅燈亮，這時在投入1元硬幣并押下按鈕后，飲料不送出來而且1元硬幣也退出來；若有零錢找，則顯示〖零錢找完〗的紅燈滅，在送出飲料的同時退還5角硬幣。分析分析根據(jù)該命題，我們可以分析出，自動售貨機的業(yè)務(wù)中一共存在5個條件和5個結(jié)果，分別是

2、：條件：1.售貨機有零錢找2.投入1元硬幣3.投入5角硬幣4.押下橙汁按鈕5.押下啤酒按鈕結(jié)果：1.售貨機〖零錢找完〗燈亮當售貨機中沒有零錢的時候就有亮紅燈2.退還1元硬幣當投入1元，而且售貨機中沒有沒有零錢可找的時候3.退還5角硬幣當投入1元，而且售貨機中有零錢可找的時候4.送出橙汁飲料5.送出啤酒飲料因果圖－畫條件和結(jié)果因果圖－畫條件和結(jié)果有零錢選橙汁選啤酒投5角投1元紅燈亮出橙汁出啤酒找5角找1元因果圖－畫簡單關(guān)系因果圖－畫簡單關(guān)

3、系在畫完空白的條件和結(jié)果之后，我們可以將題目中最直接和簡單的因果條件標出1、條件“有零錢”和結(jié)果“紅燈亮”是一個“非”的關(guān)系，當“有零錢”的時候，紅燈是不亮的，而當售貨機中“沒有零錢”的時候，紅燈必須要亮的。2、條件“投1元”和條件“投5角”是一個“E”的關(guān)系，這兩個動作不可能同時發(fā)生，即同時投入1元錢和5角錢（不能同時為真）；但是我們允許即“不投入1元錢”也“不投入5角錢”（可以同時為假）。3、條件“選啤酒”和條件“選橙汁”是一個“E

4、”的關(guān)系，這兩個動作不可能同時發(fā)生，即同時“選擇啤酒”和“選擇橙汁”（不能同時為真）；但是我們允許即“不選擇啤酒”也“不選擇橙汁”（可以同時為假）。4、條件“選啤酒”和條件“選橙汁”對于程序處理過程是等價的，即二者無論是價格還是系統(tǒng)的處理方法都條件“投1元”和條件（中間節(jié)點）“選商品”與結(jié)果（中間）“應(yīng)該找零錢”是“與”的關(guān)系，即這兩個條件必須同時滿足。有零錢選橙汁選啤酒投5角投1元紅燈亮出橙汁出啤酒找5角找1元EE選商品錢付清VVV應(yīng)

5、該找零錢V因果圖－能夠找零錢因果圖－能夠找零錢上面已經(jīng)確定了“投入1元錢”并且“選商品”，系統(tǒng)應(yīng)該找給客戶5角錢，那么接下來就要看當前售貨機中是否有零錢可找了，慶幸的是，存在“有零錢”的條件；現(xiàn)在系統(tǒng)“應(yīng)該找零錢”給客戶，而且恰恰又“有零錢”找給客戶，那么就可以確定系統(tǒng)“能夠找零錢”給客戶了，所以這里我們又可以增加一個中間節(jié)點“能夠找零錢”。條件“有零錢”和條件（中間節(jié)點）“應(yīng)該找零錢”與結(jié)果“能夠找零錢”之間是“與”的關(guān)系。有零錢選橙