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

一、测试项要求如下：

有一个处理单价为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不能同时为1

12345678910

1有零钱找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=13

24=and(4,14)

五、将这16条规则分别转化测试用例

其它用例略

1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。当售货机没有零钱找，则一个显示〖零零钱找，则显示〖零钱找完〗的红灯不会亮，在送出饮料的同时退还5角硬币。

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

1234567892012345678

111111000000000000

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