[开发测试]因果图法测试实例：一个处理单价为1元5角钱的盒装饮料的自动售货机软件。

因果图法测试知识回顾???????

实例分析

? ?产品说明书：有一个处理单价为1元5角钱的盒装饮料的自动售货机软件。若投入1元5角硬币，按下“可乐”、“雪碧”、或“红茶”按钮，相应的饮料就送出来。若投入的是2元硬币，在送出饮料的同时退还5角硬币。

（1）确定需求中的原因与结果

?（2）确定原因与结果?的逻辑关系

? ? ? ? ?C1 与 C2 需要一个中间结果Cm1, C3、C4、C5 需要一个中间结果Cm2.

? （3）确定因果图中的约束

? ? ? ? ?C1 与 C2 是或的关系, C3、C4、C5 是或的关系。

? （4）画出因果图并转化为决策表

决策表

将原因C1、C2、C3、C4、C5按二进制由小到大分别取值，并分析中间结果的成立与否，进而得出下面的简化版（即中间结果Cm1、Cm2成立的情况）

简化版

? ?（5）根据决策表设计测试用例