測(cè)試用例設(shè)計(jì)—自動(dòng)售貨機(jī)因果圖分析

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

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

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

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

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