自动售货机问题因果图

 分析这一段说明，列出原因和结果

3.投入5角硬币 5.押下啤酒按钮 原因： 1.售货机有零钱找

2.投入1元硬币 4.押下橙汁按钮

24. 送出橙汁饮料 结果： 21. 售货机〖零钱找完〗灯亮

22. 退还1元硬币 25. 送出啤酒饮料

23. 退还5角硬币

 画出因果图，如图5.17所示。所有原因结点列在左边，所有结果结点列在右边。 建立两个中间结点，表示处理的中间状态。

中间结点： 11. 投入1元硬币且押下饮料按钮

12. 押下〖橙汁〗或〖啤酒〗的按钮

13. 应当找5角零钱并且售货机有零钱找

14. 钱已付清

图5.17 因果图

 由于 2 与 3 ，4 与 5 不能同时发生，分别加上约束条件E。  转换成判定表：

图5.18 由因果图得到的判定表

在判定表中，阴影部分表示因违反约束条件的不可能出现的情况，删去。第16列与第32列因什么动作也没做，也删去。最后可根据剩下的16列作为确定测试用例的依据。 因果图方法是一个非常有效的黑盒测试方法，它能够生成没有重复性的且发现错误能力强的测试用例，而且对输入、输出同时进行了分析。

测试方法选择的综合策略

Myers提出了使用各种测试方法的综合策略:

 首先进行等价类划分，包括输入条件和输出条件的等价划分，将无限测试变成有限测试，这是减少工作量和提高测试效率的最有效的方法。

 在任何情况下都必须采用边界值分析法。这种方法设计出的测试用例发现程序错误的能力最强。

 采用错误推断法再追加测试用例，这需要依靠测试工程师的智慧和经验。

 对照程序逻辑，检查已设计出的测试用例的逻辑覆盖程度。如果没有达到要求的覆盖标准，则应当再补充更多的测试用例。

 如果程序的功能说明中含有输入条件的组合情况，则应考虑选用决策表法或因果图法。