自动售货机问题因果图

一、测试项要求如下：有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。

其规格说明如下：若投入5角钱或1元钱灯是亮的，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红二、分析以上要求，得出原因和结果：原因：1、售货机有零钱找2、投入1元钱3、投入5角钱4、选择橙汁5、选择啤酒结果：21、售货机“零钱找完”灯亮22、退还1元钱23、找回5角钱24、送出橙汁饮料25、送出啤酒饮料三、因果图如下：思路：逐个分析条件，看它与其它哪些条件之间有制约关系，都会影响哪些结果，把这种制约影响关系画出四个角度着手画因果图。

又由于条件1为真和为假时导致的结果不同，所以为真和为假两种情况下的因果图都要画出来，否因果图中出现的中间节点为：11、需要找回5角钱12、选择了橙汁或啤酒13、售货机能够找出5角钱14、钱已结清，可以送出饮料四、根据因果图画出判定表1、条件2、3不能同时为1123456789101有零钱找1111111111四、根据状态图完成判定表12=or(4,5)11=and(2,12)13=and(1,11)14=or(3,13)21=not(1)22=and(11,not(1))23=1324=and(4,14)五、将这16条规则分别转化测试用例其它用例略1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。

当售货机没有零钱找，则一个显示〖零零钱找，则显示〖零钱找完〗的红灯不会亮，在送出饮料的同时退还5角硬币。

系画出来，直到所有条件都被分析、所有结果都被覆盖。

本例中，条件1、2、4；1、2、5；3，4；3，5之间存在情况下的因果图都要画出来，否则覆盖不到所有结果。

1234567892012345678111111000000000000示〖零钱找完〗的红间存在制约关系，从这。

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。

测试用例设计技术之----因果图上次讲了因果图法的基本原理，这种方法是有因必有果，正是由于多个原因的不同组合，使得结果也不尽相同。

由于组合情况很多，才用因果图法能大大简化测试用例的数量。

我们来看一个例子：有一个饮料自动售货机（处理单价为5角钱）的控制处理软件，它的软件规格说明如下：若投入5角钱的硬币，按下“橙汁”或“啤酒”的按钮，则相应的饮料就送出来。

若投入1元钱的硬币，同样也是按“橙汁”或“啤酒”的按钮，则自动售货机在送出相应饮料的同时退回5角钱的硬币。

怎么分析这种具有一定实际意义的情况呢？按照因果图的说法，我们先分析一下，把原因与结果先找出来：原因是输入条件，在自动售货机里，硬币的投入、按钮的按下，都是输入，这样的话就有以下几个原因：（1）投入5角硬币（2）投入1元硬币（3）按下“橙汁”按钮（4）按下“啤酒”按钮结果有哪些呢？（1）送出“橙汁”饮料（2）送出“啤酒”饮料（3）找5角硬币按照因果关系，把因果图的雏形画出来：再加上因果图的约束关系，那么图形就成为以下：根据最终的因果图生成判定表：最后把测试用例写出来：用例编号用例说明输入数据预期结果SHJ-001 （1）投入硬币（2）按下按钮1元点击“橙汁”按钮退还5角硬币送出“橙汁”饮料SHJ-002 （1）投入硬币（2）按下按钮1元点击“啤酒”按钮退还5角硬币送出“啤酒”饮料SHJ-003 （1）投入硬币1元给出提示信息SHJ-004 （1）投入硬币（2）按下按钮5角点击“橙汁”按钮送出“橙汁”饮料SHJ-005 （1）投入硬币（2）按下按钮5角点击“啤酒”按钮送出“啤酒”饮料SHJ-006 （1）投入硬币5角给出提示信息SHJ-007 （1）按下按钮“橙汁”按钮给出提示信息SHJ-008 （1）按下按钮“啤酒”按钮给出提示信息。

测试用例设计—自动售货机因果图分析命题设计了一个自动售货机软件测试用例，用于处理单价为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美分”不是等价关系。