测试用例设计—自动售货机因果图分析

测试用例设计—自动售货机因果图分析

命题

设计了一个自动售货机软件测试用例，用于处理单价为50美分的饮料。规格如下:如果你放入50美分或1元硬币，并按下按钮[橙汁]或[啤酒]，相应的饮料将交付如果自动售货机没有零钱，红灯将显示[零钱已经被换了]，然后在放入1元硬币并按下按钮后，饮料将不会被递送，并且1元硬币将退出。如果有零钱，显示“换出”的红灯将熄灭，50美分将在饮料交付时返还。

分析

根据这个命题，我们可以分析自动售货机业务中存在5个条件和5个结果。条件如下:

1。自动售货机有零钱。投入1元硬币3。投入50美分硬币4。按下橙汁按钮5。按下啤酒按钮结果:

1。自动售货机[换出]灯亮着。当自动售货机没有变化时，会出现红灯

2。当硬币投入1元并且自动售货机没有零钱时，返还1元硬币。3.当硬币投入1元时，返还50美分。当自动售货机4有变化时。发送橙汁饮料5。发送啤酒饮料

因果图-绘制条件和结果

有变化红灯亮1元1元50美分，啤酒50美分，橙汁

因果图-绘制简单关系

在绘制空白条件和结果后，我们可以标记

1为主题中最直接和最简单的因果条件。条件“有变化”和结果“红灯亮”之间的关系是“没有”。当“有零钱”时，红灯不亮，而当自动售货机“没有零钱”时，红灯必须亮。

2年，有条件的“投1元”和有条件的“投50分”是一种“E”关系。这两个动作不能同时发生，即1元钱和50美分(不能同时发生)；但是，我们允许“没有1元钱”和“没有50美分”(同时可能是假的)

3，“啤酒选择”条件和“橙汁选择”条件为“e”关系，这两个动作不能同时发生，即“啤酒选择”和“橙汁选择”(不能同时为真)；但是我们允许“不喝啤酒”和“不喝橙汁”(这可能同时是错误的)

4，条件“啤酒选择”和条件“橙汁选择”相当于程序处理过程，即价格和系统处理方法都是相同的

，因此这两个条件可以组合成一个中间节点此外，在两个条件之间使用“或”的关系

5。请注意，有条件的“1元”和有条件的“50美分”不是等价关系。从表面上看，他们都是“钱”，这似乎是相似的。然而，程序的处理是完全不同的。在“50美分”(因为标题规定所有商品都是50美分)之后，完全没有必要判断当前的自动售货机是否有任何变化，但是“1元”不是

有小变化，红灯亮，1元E投50美分选择商品，1元找50美分选择啤酒E选择橙汁V给啤酒给橙汁

因果图-给商品

现在我们从结果的角度考虑，如果我们想“给啤酒”或“给橙汁”，我们必须从实际销售中分析哪些先决条件？是的，它意味着“你的钱必须付清”，你必须选择“啤酒”或“橙汁”但是，在上述现有的因果图中，我们找不到“放线”的因素，所以此时我们可以尝试添加一个中间节点，称为“放线”

为了获得所选择的商品，必须同时建立“现金支付”和“啤酒/橙汁选择”的条件，因此它是“和”的关系

变化不大。红灯亮，1元E投50美分选择商品。付钱吧。找到1元找到50分选择啤酒E选择橙汁

因果图-应该改变

。根据问题的含义，当投入1元钱并选择某种商品时，系统需要很小的改变。然而，现有的条件和结果并没有解决“应该给出改变”的情况，所以我们需要添加一个中间节点“应该给出改变”

VVV啤酒出和橙汁出

条件“投1元钱”和条件(中间节点)“选择商品”和结果(中间节点)“应该改变”是“与”的关系，即两个条件必须同时满足

变化不大。红灯亮着。1元应该换成50美分来支付货款。啤酒E橙汁

因果图——可以改变

。上面已经确定了“1元钱”和“商品选择”。系统应该给顾客50美分。接下来，它将看看自动售货机里有没有零钱。幸运的是，有一个“小

变化”的条件。

现在系统“应该改变”给客户，而只是“已经改变”给客户，那么就可以确定系统“可以改变”给客户，所以这里我们可以添加一个中间节点“可以改变”

条件”有变化”和条件(中间节点)”应该变化”和结果”可以变化”是”和”

已更改为1元投50美分选择商品和支付啤酒e选择橙汁

因果图-1元支付

现已确认，在客户“投资1元钱”和“选择商品”后，系统“已更改”查找，然后客户可以立即更改。“能够改变”的条件和“寻找50美分”的结果是“相等的”。“能够改变”的条件和结果(中间节点)“回报”也是“相等的”。

VVVVVE应该能找到零钱VVVE应该能找到零钱50美分啤酒橙汁

红灯亮是在找50美分啤酒橙汁

红灯亮是在找零钱1元找1元50美分商品钱付啤酒e

因果图-50美分付

考虑到系统的处理后投资1元因为自动售货机中的所有商品都是50美分，所以只要顾客“投入50美分”并按下相应的商品选择按钮，就没有零钱的问题

因此，“50分”的条件和结果(中间节点)“支付的钱”直接与“平等”有关此外，条件“50美分”和条件(中间节点)“可以改变”都表示金额的计算

已经完成，即“钱已经付清”。因此，条件“50美分”和条件(中间节点)“可以改变”之间的关系以及结果(中间节点)“钱付清”是“或”

有小的变化为1元，50美分为商品，啤酒，e为橙汁，

因果图-退款为1元

在我们考虑了50美分和1元的变化后，我们最后考虑退款为1元毫无疑问，当将1元钱放入自动售货机并选择某一商品时，如果自动售货机中没有零钱，1元钱只能返还给用户。

因此，条件“不变”与条件“应变”的关系，结果“1元变化”应为“和”。此外，我们用一个明确的描述来描述我们状态的变化，即“有变化”。为了表示没有变化，我们可以直接使用“否”键

VVVVEV应该能够给零钱付VVVVVEV应该能够给零钱50美分从啤酒中拿出橙汁

红灯找到1元从啤酒中拿出橙汁

红灯扔零钱1元50美分从商品中拿出啤酒

决定表

删除无效用例

VVVEV应该更改可以更改支付方式支付方式找到1元50美分啤酒橙汁