因果图判定表综合示例1-自动售货机

题目：有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。

其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。

若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。

1.分析这一段说明，列出原因和结果原因：1.售货机有零钱找2.投入1元硬币3.投入5角硬币4.押下橙汁按钮5.押下啤酒按钮结果：21."售货机〖零钱找完〗灯亮22."退还1元硬币23."退还5角硬币24."送出橙汁饮料25."送出啤酒饮料2.画出因果图如图所示。

所有原因结点列在左边，所有结果结点列在右边。

建立中间结点，表示处理的中间状态。

中间结点：11."投入1元硬币且押下饮料按钮12."押下〖橙汁〗或〖啤酒〗的按钮13."应当找5角零钱并且售货机有零钱找14."钱已付清3.转换成判定表：4.设计测试用例1)在售货机有零钱找的情况下，投入1元硬币，押下橙汁按钮，找回5角硬币并送出橙汁饮料。

2)在售货机有零钱找的情况下，投入1元硬币，押下啤酒按钮，找回5角硬币并送出啤酒饮料。

3)在售货机有零钱找的情况下，投入1元硬币，系统不做任何处理。

4)在售货机有零钱找的情况下，投入5角硬币，押下橙汁按钮，送出橙汁饮料。

5)在售货机有零钱找的情况下，投入5角硬币，押下啤酒按钮，送出啤酒饮料。

6)在售货机有零钱找的情况下，投入5角硬币，系统不做任何处理。

7)在售货机有零钱找的情况下，押下橙汁按钮，系统不做任何处理。

8)在售货机有零钱找的情况下，押下啤酒按钮，系统不做任何处理。

9)在售货机没有零钱找的情况下，投入1元硬币，押下橙汁按钮，售货机“零钱找完”灯亮，并退还1元硬币。

10)在售货机没有零钱找的情况下，投入1元硬币，押下啤酒按钮，售货机“零钱找完”灯亮，并退还1元硬币。

1.引言等价类划分方法和边界值分析方法，都是着重考虑输入条件，但未考虑输入条件之间的联系、相互组合等。

考虑输入条件之间的相互组合，可能会产生一些新的情况。

但要检查输入条件的组合不是一件容易的事情，即使把所有输入条件划分成等价类，他们之间的组合情况也相当多。

因此必须考虑采用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来考虑设计测试用例。

这就需要利用因果图（逻辑模型）。

因果图（Cause-EffectGraphing）提供了一个把规格转化为判定表的系统化方法，从该图中可以产生测试数据。

其中原因是表示输入条件，结果是对输入执行的一系列计算后得到的输出。

因果图方法最终生成的就是判定表，它适合于检查程序输入条件的各种组合情况。

2.因果图介绍2.1图例说明1、4种符号分别表示了规格说明中向4种因果关系。

如图2-1所示。

图2-1 因果图关系2、因果图中使用了简单的逻辑符号，以直线联接左右结点。

左结点表示输入状态（或称原因），右结点表示输出状态（或称结果）。

3、ci表示原因，通常置于图的左部；ei表示结果，通常在图的右部。

ci和ei均可取值0或1，0表示某状态不出现，1表示某状态出现。

2.2因果图概念1、关系（图2-1 因果图关系）①恒等：若ci是1，则ei也是1；否则ei为0。

②非：若ci是1，则ei是0；否则ei是1。

③或：若c1或c2或c3是1，则ei是1；否则ei为0。

“或”可有任意个输入。

④与：若c1和c2都是1，则ei为1；否则ei为0。

“与”也可有任意个输入。

2、约束输入状态相互之间还可能存在某些依赖关系，称为约束。

例如，某些输入条件本身不可能同时出现。

输出状态之间也往往存在约束。

在因果图中，用特定的符号标明这些约束。

如图2-2所示。

图2-2因果图约束A.输入条件的约束有以下4类：①E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。

②I约束（或）：a、b和c中至少有一个必须是1，即a、b 和c不能同时为0。

1单选在黑盒测试方法中，设计测试用例的主要根据是（）3单选凭经验或直觉推测可能的错误，列出程序中可能有的错误和容易发生错误的特殊情况，选择测试用例的测试方法叫（）4单选2元地铁票售票软件：投币2元时，按下“2元”按钮，弹出相应地铁票；投币5元，则弹出地铁票同时退还3元，若对该功能进行测试用例设计最宜选择哪种方法5单选黑盒测试技术，使用最广的用例设计技术是等值分析测试边界值分析测试错误推测法逻辑覆盖测试6单选既可以用于黑盒测试，也可以用于白盒测试的方法的是逻辑覆盖法边界值法基本路径法正交试验设计法7单选某购物中心电梯限坐15人。

在电梯中安装计数器来统计乘客数量。

如出现超出规定人数以外的任何情况，会有不同的警示音。

软件编写后进行边界值测试，应选取的边界值是：（）1，15，16.1 1510，1515，208单选关于等价类划分法，下面说法不正确的是（9单选某系统对每个员工一年的出勤天数进行核算和存储（按每月22个工作日计算），使用文本框的模式进行填写，在此文本框的测试用例编写中使用了等价类。

下列关于等价类划分法，划分错误的是（）无效等价类，出勤日＞264无效等价类，出勤日＜0有效等价类，0＜ =出勤日＜ =264有效等价类，0＜出勤日＜26410单选若一个通讯录最多可以输入100条记录，则下列哪组测试用例最优？分别输入1、50、100条记录分别输入0、1、50、99、100条记录分别输入0、1、99、100、101条记录分别输入0、1、50、99、100、101条记录11单诜对于功率大于50马力的机器、维修记录不全或已运行10年以上的机器，应优先维修单选处理。

根据这段话，使用判定表法设计测试用例，以下说法不正确的是（）12单选以下不属于因果图约束中的输入约束的是（）要求强制13单选因果图中，关系符号“V”代表的是（恒等14单选现有一个处理单价为1元的盒装饮料的自动售货机软件，若投入1元币，按下“可乐”、“雪碧”或“红茶”按钮，相应的饮料就送出来，若投入的是2元币，在送出饮料的同时还退还1元币。

题目：有一个处理单价为1元5角钱的盒装饮料的自动售货机软件。

其规格说明如下：若投入1元5角钱硬币，押下〖可乐〗或〖雪碧〗或〖红茶〗的按钮，则相应的饮料就送出来。

若投入的2元硬币，在送出饮料的同时退还5角硬币。

1.分析这一段说明，列出原因和结果
原因：
1.投入1元5角硬币
2.投入2元硬币
3.押下可乐按钮
4.押下雪碧按钮
5.押下红茶按钮
结果：
21.退还5角硬币
22. 送出可乐饮料
23. 送出雪碧饮料
24.送出红茶饮料
2.画出因果图
如图所示。

所有原因结点列在左边，所有结果结点列在右边。

建立中间结点，表示处理的中间状态。

中间结点：
11. 已投币
12. 押下〖可乐〗或〖雪碧〗或〖红茶〗的按钮
(1) 因果图
3.转换成判定表：
4.设计测试用例
1)只押下可乐按钮不投币，系统不做任何处理。

2)只押下雪碧按钮不投币，系统不做任何处理。

3)只押下红茶按钮不投币，系统不做任何处理。

4)只投入2元硬币不按钮，系统不做任何处理。

5)投入2元硬币并押下红茶按钮，找回5角硬币并送出红茶饮料。

6)投入2元硬币并押下雪碧按钮，找回5角硬币并送出雪碧饮料。

7)投入2元硬币并押下可乐按钮，找回5角硬币并送出可乐饮料。

8)只投入1元5角硬币不按钮，系统不做任何处理。

9)只投入1元5角硬币并押下红茶按钮，送出红茶饮料。

10)只投入1元5角硬币并押下雪碧按钮，送出雪碧饮料。

11)只投入1元5角硬币并押下可乐按钮，送出可乐饮料。

第三部分任务3-3附2因果图法附2作业：因果图法测试作业.1、象棋游戏规则（针对棋子“馬”）：1)如果落点在棋盘外，则不移动棋子2)如果落点与起点不构成日字型，则不移动棋子。

3)如果落点处有自己方棋子，则不移动棋子。

4)如果落点方向的临近交叉点有棋子（绊马腿），则不移动棋子。

5)如果不属于1-4条，且落点处无棋子，则移动棋子。

6)如果不属于1-4条，且落点处为对方棋子（非老将），则移动棋子并除去对方棋子。

7)如果不属于1-4条，且落点处为对方老将，则移动棋子，并提示战胜对方，游戏结束。

（1）使用因果图法列出原因和结果（2）画出因果图，修改为最简洁的图。

注意分析原因之间、结果之间是否有约束关系。

（3）根据因果图列出判定表（4）根据判定表的中得出的输入数据，写出规范的。

参考步骤：（1）分析数据原因：1————2————。

结果：A————B————。

（2）因果图（3）判定表（4）测试用例测试用例格式可参照下表2（附加）、有一个处理单价为5角钱的饮料的自动售货机，相应规格说明如下：若投入5角钱或1元钱的硬币，按下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。

（每次只投入一个硬币，只押下一种饮料的按钮）如投入5角的硬币，按下按钮后，总有饮料送出。

若售货机没有零钱找，则一个显示〖零钱找完〗的红灯会亮，这时再投入1元硬币并按下按钮后，饮料不送出来而且1元硬币也退出来。

若有零钱找，则显示〖零钱找完〗的红灯不会亮，若投入 1元硬币及按饮料按钮，则送出饮料的同时找回5角硬币。

（1）使用因果图法列出原因和结果（2）画出因果图，修改为最简洁的图。

注意分析原因之间、结果之间是否有约束关系。

（3）根据因果图列出判定表（4）根据判定表的中得出的输入数据，写出规范的测试用例。

参考步骤：（1）分析数据原因：1————2————。

结果：A————B————。

（5）因果图（6）判定表（7）测试用例测试用例格式可参照下表。

因果图法设计测试⽤例等价类划分法、边界值分析法及错误推断法在对输⼊条件的考虑中并未重视输⼊条件的组合。

事实上，当输⼊条件存在若⼲种可能的组合时，必须对这些组合加以考虑，以证实测试程序在某种输⼊组合的情况下恩能否完成规格说明书中预先规定的功能，否则所做的测试是不充分的。

因果图（Cuase-effect Graph）是⼀种描述输⼊条件的组合及每种组合对应的输出的图形化⼯具。

在因果图的基础上可以设计测试⽤例。

因果图的画法：(a)恒等。

若原因出现，则结果出现；若原因不出现，则结果不出现。

(b)⾮。

若原因出现，则结果不出现；若原因不出现，则结果出现。

(c)或。

若⼏个原因中有⼀个出现，则结果出现；若⼏个原因均不出现，则结果不出现。

(d)与。

若⼏个原因都出现，结果才出现；若⼏个原因中有⼀个不出现，则结果不出现。

为了表⽰因果图中的约束条件，可⽤⼀些符号在因果图中加以标识。

从原因⽅⾯考虑主要有4种约束条件：(a)E(互斥、排他)。

a、b两个原因不会同时出现，最多只有⼀个出现。

(b)I(包含、或)。

a、b、c三个原因⾄少有⼀个出现。

(c)O(唯⼀)。

a、b两个原因必须有⼀个出现，且仅有⼀个出现。

(d)R(需求)。

a出现时b必定出现。

从结果⽅⾯考虑主要有1种约束条件：(a)M(屏蔽)。

a出现时，b必定不出现；a不出现时，b则不确定。

利⽤因果图设计测试⽤例应遵循的步骤：1)分析程序的规格说明书中哪些事原因，哪些是结果。

所谓原因，是指输⼊条件或输⼊条件的等价类，⽽结果是指输出条件。

给每⼀个原因和结果赋⼀个标识符。

2)分析程序规格说明书中的语义，确定原因与原因，原因与结果之间的关系，画出因果图。

3)由于语法环境的限制，⼀些原因与原因之间，原因与结果之间的组合不能出现。

对于这些特殊情况，在因果图中⽤⼀些记号标明约束或限制条件。

4)将因果图转化为判定表。

5)根据判定表的没⼀列设计测试⽤例。

当然，若能直接得到判定表，可以直接根据判定表设计测试⽤例。

测试用例设计方法2——因果图判定表判定表法判定表是分析和表达多种输入情况下执行不同动作的工具，判定表方法主要用于处理程序输入条件的不同组合，但是要求条件的组合必须是bool类型，而且条件和预期的结果都是可以分析出来的。

判定表能够有效地弥补等价类和边界值方法的不足，使得输入条件之间的组合和相互影响得到充分的测试。

使用判定表的一般思路是：1、需求分析，分析出条件和结果之间的各种组合2、将条件和结果分别填入判定表3、讲条件和结果进行二进制排列4、针对每一项组合，分析出结果，并去除无效项，是判定表得到简化。

在合并判定表时，如果条件之中只有一个不同，则可以合并。

如果判定表的组合不够多，建议不要进行合并，这样可以测试的充分一些。

5、每一列生成一个测试用例以阅读指南的例子来设计一个判定表：从例子中可以看到，不同的条件组合使用判定表方法可以充分弥补等价类边界值得不足，但是当输入条件过多时，使用判定表会产生大量测试用例。

而其无效用例不易发现，更不能覆盖条件之间的先后关系。

因此，在一定情况下，使用判定表还需要因果图的帮忙。

--------------------------------------------------------------------------------因果图因果图用于描述系统之间的输入输出，输入输出之间的约束关系和因果关系。

因果图与判定表往往结合使用，使用因果图可以得到判定表。

使用因果图的方法：1、分析输入输出并进行标识2、分析输入和输入、输入和输出之间的关系3、将得到的关系使用因果图的方法表示出来4、根据因果图得到判定表5、依据判定表生成测试用例这里分析一个自动售货机的因果图分析方法：条件：有一个处理单价为5角的自动售货机，当投入5角或1元硬币时，选择橙汁或啤酒，饮料出来；若自动售货机没有零钱，则显示零钱照完，亮红灯，这时候投入的1元被退出来，饮料不送出来。

如果有零钱，则出饮料并找5角钱。

题目：有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。

其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。

若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。

1.分析这一段说明，列出原因和结果原因：1.售货机有零钱找2.投入1元硬币3.投入5角硬币4.押下橙汁按钮5.押下啤酒按钮结果：21.售货机〖零钱找完〗灯亮22.退还1元硬币23.退还5角硬币24.送出橙汁饮料25.送出啤酒饮料2.画出因果图如图所示。

所有原因结点列在左边，所有结果结点列在右边。

建立中间结点，表示处理的中间状态。

中间结点：11. 投入1元硬币且押下饮料按钮12. 押下〖橙汁〗或〖啤酒〗的按钮13. 应当找5角零钱并且售货机有零钱找14. 钱已付清3.转换成判定表：4.设计测试用例1)在售货机有零钱找的情况下，投入1元硬币，押下橙汁按钮，找回5角硬币并送出橙汁饮料。

2)在售货机有零钱找的情况下，投入1元硬币，押下啤酒按钮，找回5角硬币并送出啤酒饮料。

3)在售货机有零钱找的情况下，投入1元硬币，系统不做任何处理。

4)在售货机有零钱找的情况下，投入5角硬币，押下橙汁按钮，送出橙汁饮料。

5)在售货机有零钱找的情况下，投入5角硬币，押下啤酒按钮，送出啤酒饮料。

6)在售货机有零钱找的情况下，投入5角硬币，系统不做任何处理。

7)在售货机有零钱找的情况下，押下橙汁按钮，系统不做任何处理。

8)在售货机有零钱找的情况下，押下啤酒按钮，系统不做任何处理。

9)在售货机没有零钱找的情况下，投入1元硬币，押下橙汁按钮，售货机“零钱找完”灯亮，并退还1元硬币。

10)在售货机没有零钱找的情况下，投入1元硬币，押下啤酒按钮，售货机“零钱找完”灯亮，并退还1元硬币。

11)在售货机没有零钱找的情况下，投入1元硬币，售货机“零钱找完”灯亮。

题目：有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。

其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。

若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。

1.分析这一段说明，列出原因和结果原因：1.售货机有零钱找2.投入1元硬币3.投入5角硬币4.押下橙汁按钮5.押下啤酒按钮结果：21.售货机〖零钱找完〗灯亮22.退还1元硬币23.退还5角硬币24.送出橙汁饮料25.送出啤酒饮料2.画出因果图如图所示。

所有原因结点列在左边，所有结果结点列在右边。

建立中间结点，表示处理的中间状态。

中间结点：11. 投入1元硬币且押下饮料按钮12. 押下〖橙汁〗或〖啤酒〗的按钮13. 应当找5角零钱并且售货机有零钱找14. 钱已付清3.转换成判定表：4.设计测试用例1)在售货机有零钱找的情况下，投入1元硬币，押下橙汁按钮，找回5角硬币并送出橙汁饮料。

2)在售货机有零钱找的情况下，投入1元硬币，押下啤酒按钮，找回5角硬币并送出啤酒饮料。

3)在售货机有零钱找的情况下，投入1元硬币，系统不做任何处理。

4)在售货机有零钱找的情况下，投入5角硬币，押下橙汁按钮，送出橙汁饮料。

5)在售货机有零钱找的情况下，投入5角硬币，押下啤酒按钮，送出啤酒饮料。

6)在售货机有零钱找的情况下，投入5角硬币，系统不做任何处理。

7)在售货机有零钱找的情况下，押下橙汁按钮，系统不做任何处理。

8)在售货机有零钱找的情况下，押下啤酒按钮，系统不做任何处理。

9)在售货机没有零钱找的情况下，投入1元硬币，押下橙汁按钮，售货机“零钱找完”灯亮，并退还1元硬币。

10)在售货机没有零钱找的情况下，投入1元硬币，押下啤酒按钮，售货机“零钱找完”灯亮，并退还1元硬币。

11)在售货机没有零钱找的情况下，投入1元硬币，售货机“零钱找完”灯亮。

题目：有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。

其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。

若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。

1.分析这一段说明，列出原因和结果原因：1.售货机有零钱找2.投入1元硬币3.投入5角硬币4.押下橙汁按钮5.押下啤酒按钮结果：21.售货机〖零钱找完〗灯亮22.退还1元硬币23.退还5角硬币24.送出橙汁饮料25.送出啤酒饮料2.画出因果图如图所示。

所有原因结点列在左边，所有结果结点列在右边。

建立中间结点，表示处理的中间状态。

中间结点：11.投入1元硬币且押下饮料按钮12.押下〖橙汁〗或〖啤酒〗的按钮13.应当找5角零钱并且售货机有零钱找14.钱已付清3.转换成判定表：4.设计测试用例1)在售货机有零钱找的情况下，投入1元硬币，押下橙汁按钮，找回5角硬币并送出橙汁饮料。

2)在售货机有零钱找的情况下，投入1元硬币，押下啤酒按钮，找回5角硬币并送出啤酒饮料。

3)在售货机有零钱找的情况下，投入1元硬币，系统不做任何处理。

4)在售货机有零钱找的情况下，投入5角硬币，押下橙汁按钮，送出橙汁饮料。

5)在售货机有零钱找的情况下，投入5角硬币，押下啤酒按钮，送出啤酒饮料。

6)在售货机有零钱找的情况下，投入5角硬币，系统不做任何处理。

7)在售货机有零钱找的情况下，押下橙汁按钮，系统不做任何处理。

8)在售货机有零钱找的情况下，押下啤酒按钮，系统不做任何处理。

9)在售货机没有零钱找的情况下，投入1元硬币，押下橙汁按钮，售货机“零钱找完”灯亮，并退还1元硬币。

10)在售货机没有零钱找的情况下，投入1元硬币，押下啤酒按钮，售货机“零钱找完”灯亮，并退还1元硬币。

11)在售货机没有零钱找的情况下，投入1元硬币，售货机“零钱找完”灯亮。

题目：有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。

其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。

若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。

1.分析这一段说明，列出原因和结果原因：1.售货机有零钱找2.投入1元硬币3.投入5角硬币4.押下橙汁按钮5.押下啤酒按钮结果：21.售货机〖零钱找完〗灯亮22.退还1元硬币23.退还5角硬币24.送出橙汁饮料25.送出啤酒饮料2.画出因果图如图所示。

所有原因结点列在左边，所有结果结点列在右边。

建立中间结点，表示处理的中间状态。

中间结点：11. 投入1元硬币且押下饮料按钮12. 押下〖橙汁〗或〖啤酒〗的按钮13. 应当找5角零钱并且售货机有零钱找14. 钱已付清3.转换成判定表：4.设计测试用例1)在售货机有零钱找的情况下，投入1元硬币，押下橙汁按钮，找回5角硬币并送出橙汁饮料。

2)在售货机有零钱找的情况下，投入1元硬币，押下啤酒按钮，找回5角硬币并送出啤酒饮料。

3)在售货机有零钱找的情况下，投入1元硬币，系统不做任何处理。

4)在售货机有零钱找的情况下，投入5角硬币，押下橙汁按钮，送出橙汁饮料。

5)在售货机有零钱找的情况下，投入5角硬币，押下啤酒按钮，送出啤酒饮料。

6)在售货机有零钱找的情况下，投入5角硬币，系统不做任何处理。

7)在售货机有零钱找的情况下，押下橙汁按钮，系统不做任何处理。

8)在售货机有零钱找的情况下，押下啤酒按钮，系统不做任何处理。

9)在售货机没有零钱找的情况下，投入1元硬币，押下橙汁按钮，售货机“零钱找完”灯亮，并退还1元硬币。

10)在售货机没有零钱找的情况下，投入1元硬币，押下啤酒按钮，售货机“零钱找完”灯亮，并退还1元硬币。

11)在售货机没有零钱找的情况下，投入1元硬币，售货机“零钱找完”灯亮。

测试用例设计—自动售货机因果图分析命题有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。

其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。

若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。

分析根据该命题，我们可以分析出，自动售货机的业务中一共存在5个条件和5个结果，分别是：条件：1.售货机有零钱找2.投入1元硬币3.投入5角硬币4.押下橙汁按钮5.押下啤酒按钮结果：1.售货机〖零钱找完〗灯亮当售货机中没有零钱的时候就有亮红灯2.退还1元硬币当投入1元，而且售货机中没有零钱可找的时候3.退还5角硬币 当投入1元，而且售货机中有零钱可找的时候4.送出橙汁饮料5.送出啤酒饮料因果图－画条件和结果有零钱选橙汁选啤酒投5角投1元红灯亮出橙汁出啤酒找5角找1元因果图－画简单关系在画完空白的条件和结果之后，我们可以将题目中最直接和简单的因果条件标出1、条件“有零钱”和结果“红灯亮”是一个“非”的关系，当“有零钱”的时候，红灯是不亮的，而当售货机中“没有零钱”的时候，红灯必须要亮的。

2、条件“投1元”和条件“投5角”是一个“E ”的关系，这两个动作不可能同时发生，即同时投入1元钱和5角钱（不能同时为真）；但是我们允许即“不投入1元钱”也“不投入5角钱”（可以同时为假）。

3、条件“选啤酒”和条件“选橙汁”是一个“E ”的关系，这两个动作不可能同时发生，即同时“选择啤酒”和“选择橙汁”（不能同时为真）；但是我们允许即“不选择啤酒”也“不选择橙汁”（可以同时为假）。

4、条件“选啤酒”和条件“选橙汁”对于程序处理过程是等价的，即二者无论是价格还是系统的处理方法都是相同的，因此这两个条件可以合并为一个中间节点。

而且这两个条件之间使用“或”的关系。

题目：有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。

其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。

若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。

1.分析这一段说明，列出原因和结果原因：1.售货机有零钱找2.投入1元硬币3.投入5角硬币4.押下橙汁按钮5.押下啤酒按钮结果：21.售货机〖零钱找完〗灯亮22.退还1元硬币23.退还5角硬币24.送出橙汁饮料25.送出啤酒饮料2.画出因果图如图所示。

所有原因结点列在左边，所有结果结点列在右边。

建立中间结点，表示处理的中间状态。

中间结点：11. 投入1元硬币且押下饮料按钮12. 押下〖橙汁〗或〖啤酒〗的按钮13. 应当找5角零钱并且售货机有零钱找14. 钱已付清3.转换成判定表：4.设计测试用例1)在售货机有零钱找的情况下，投入1元硬币，押下橙汁按钮，找回5角硬币并送出橙汁饮料。

2)在售货机有零钱找的情况下，投入1元硬币，押下啤酒按钮，找回5角硬币并送出啤酒饮料。

3)在售货机有零钱找的情况下，投入1元硬币，系统不做任何处理。

4)在售货机有零钱找的情况下，投入5角硬币，押下橙汁按钮，送出橙汁饮料。

5)在售货机有零钱找的情况下，投入5角硬币，押下啤酒按钮，送出啤酒饮料。

6)在售货机有零钱找的情况下，投入5角硬币，系统不做任何处理。

7)在售货机有零钱找的情况下，押下橙汁按钮，系统不做任何处理。

8)在售货机有零钱找的情况下，押下啤酒按钮，系统不做任何处理。

9)在售货机没有零钱找的情况下，投入1元硬币，押下橙汁按钮，售货机“零钱找完”灯亮，并退还1元硬币。

10)在售货机没有零钱找的情况下，投入1元硬币，押下啤酒按钮，售货机“零钱找完”灯亮，并退还1元硬币。

11)在售货机没有零钱找的情况下，投入1元硬币，售货机“零钱找完”灯亮。