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

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

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

3、為假）。3、條件“選啤酒”和條件“選橙汁”是一個(gè)“E”的關(guān)系，這兩個(gè)動作不可能同時(shí)發(fā)生，即同時(shí)“選擇啤酒”和“選擇橙汁”（不能同時(shí)為真）；但是我們允許即“不選擇啤酒”也“不選擇橙汁”（可以同時(shí)為假）。4、條件“選啤酒”和條件“選橙汁”對于程序處理過程是等價(jià)的，即二者無論是價(jià)格還是系統(tǒng)的處理方法都是相同的，因此這兩個(gè)條件可以合并為一個(gè)中間節(jié)點(diǎn)。而且這兩個(gè)條件之間使用“或”的關(guān)系。5、注意，條件“投1元”和條件“投5角”不是等價(jià)關(guān)系，表面上看，他們都是“錢”，好像差不多，但是對于程序的處理過程確實(shí)完全不同的，“投5角”后完全不用判斷當(dāng)前售貨機(jī)中是否有零錢（因?yàn)轭}目中規(guī)定所有的商品都是5角錢），而“

4、投1元”就不行了。有零錢紅燈亮E找1元找5角E出啤酒出橙汁因果圖送出商品現(xiàn)在我們從結(jié)果的角度考慮，要想“出啤酒”或者“出橙汁”，從現(xiàn)實(shí)買賣中分析必須要有什么先決條件呢？是的，就是“你的錢要付清”，而且你一定要選擇了“啤酒”或者“橙汁”才行。而在上面的已有因果圖中，我們無法找到“錢付清”的因素，因此這時(shí)候我們可以試著再加一個(gè)中間節(jié)點(diǎn)，就叫“錢付清”吧。要想獲得選中的商品，則條件“錢付清”和條件“選啤酒/選橙汁”必須要同時(shí)成立，因此是“與”的關(guān)系。有零錢紅燈亮E找1元找5角E因果圖應(yīng)該找零錢根據(jù)題意，當(dāng)投入1元錢，而且又選中了某一種商品的時(shí)候，系統(tǒng)是需要找零錢的。而現(xiàn)有條件和結(jié)果中并沒有涉及到“應(yīng)

5、該找零錢”這種情況，因此我們還需要增加一個(gè)中間節(jié)點(diǎn)“應(yīng)該找零錢”。 出啤酒出橙汁條件“投1元”和條件（中間節(jié)點(diǎn)）“選商品”與結(jié)果（中間）“應(yīng)該找零錢”是“與”的關(guān)系，即這兩個(gè)條件必須同時(shí)滿足。有零錢紅燈亮找1元E因果圖能夠找零錢上面已經(jīng)確定了“投入1元錢”并且“選商品”，系統(tǒng)應(yīng)該找給客戶5角錢，那么接下來就要看當(dāng)前售貨機(jī)中是否有零錢可找了，慶幸的是，存在“有零錢”的條件；現(xiàn)在系統(tǒng)“應(yīng)該找零錢”給客戶，而且恰恰又“有零錢”找給客戶，那么就可以確定系統(tǒng)“能夠找零錢”給客戶了，所以這里我們又可以增加一個(gè)中間節(jié)點(diǎn)“能夠找零錢”。條件“有零錢”和條件（中間節(jié)點(diǎn)）“應(yīng)該找零錢”與結(jié)果“能夠找零錢”之間是“

6、與”的關(guān)系。E因果圖1元錢付清現(xiàn)在已經(jīng)確定客戶“投入1元錢”并且“選商品”后，系統(tǒng)“有零錢”可找，那么緊接著就可以找錢給客戶了。 條件“能夠找零錢”和結(jié)果“找5角”是“恒等”的關(guān)系； 條件“能夠找零錢”和結(jié)果（中間節(jié)點(diǎn)）“錢付清”也是“恒等”的關(guān)系；EE找5角出啤酒出橙汁紅燈亮找1元找5角出啤酒出橙汁紅燈亮找1元E因果圖5角錢付清考慮完投入1元錢后系統(tǒng)的處理情況，我們再來看投入5角錢后系統(tǒng)是如何處理的。因?yàn)槭圬洐C(jī)中的全部商品都是5角錢的，因此就不存在找零的問題了，只要客戶“投入5角”并且按下相應(yīng)的商品選擇按鈕就好了。所以，條件“投5角”和結(jié)果（中間節(jié)點(diǎn)）“錢付清”直接是“恒等”的關(guān)系。 另外，條件“投5角”和條件（中間節(jié)點(diǎn)）“能夠找零錢”都代表金額的計(jì)算已經(jīng)結(jié)束，即“錢付清”，因此條件“投5角”和條件（中間節(jié)點(diǎn)）“能夠找零錢”與結(jié)果（中間節(jié)點(diǎn)）“錢付清”之間是“或”的關(guān)系。E因果圖退還1元我們考慮完了投入5角錢及投入1元錢并找零后，最后在考慮一下退還1元錢的情況。毫無疑問，當(dāng)投入1元錢，并且選擇了某種商品的時(shí)候，如果當(dāng)前售貨機(jī)中沒有零錢可找，那么只能退還用戶這1元錢了。因此，條件“沒零錢”和條件“應(yīng)該找零錢”與結(jié)果“找1元”之間應(yīng)該是“與”的關(guān)系，而且