软件测试-自动售货机测试报告

一、设计的背景：
1.题目：
自动售货机
处理单价为5角钱的饮料自动售货机软件的规格说明：
投入5角或1元的硬币，压下[橙汁]或[啤酒]的按钮。
如果投入1元硬币并压下按钮后，若售货机没有零钱找，则[零钱找完]红灯亮，饮料不送出并将1元硬币退出来。
若有零钱找，则[零钱找完]红灯灭，送出饮料同时还退还5角硬币。
2.设计思路和测试方法分析：
决策表最突出的优点是，它能把复杂的问题按各种可能的情况一一列举出来，简明而易于理解同时避免纰漏。同时既考虑数据又考虑逻辑依赖关系，所以选择了决策表技术，因为边界值测试方法不考虑数据或逻辑依赖关系。

(1)分析自动售货机软件的规格说明，找出原因和结果。
原因：c1:投入5角硬币
c2:投入1元硬币
c3:压下橙汁
c4:压下啤酒
c5:售货机有零钱
c6:售货机没有零钱

结果：e1:送出橙汁
e2:送出啤酒
e3:退还5角硬币
e4:退还1元硬币
e5: [零钱找完]红灯灭:
e6:[零钱找完]红灯亮

(2)找出原因与结果之间的因果关系、原因与原因之间的约束关系，画出因果图。
讲原因和结果用相应的逻辑符号连接起来，可得到其因果图，其中10中间的结点是导出结果的进一步原因。因为原因c1和 c2、c3和c4不可能同时为1，即第一个操作不能是即投入5角并压下按钮又投入1元并压下按钮，第二个操作不能是即按压下橙汁按钮又按下啤酒按钮，因此在因果图上可对其施加E约束，这样便可得到了具有约束得因果图，如1.0所示。

(3)将因果图转化成决策表。
根据因果图建立其第一次试用决策表，共有如下表所示。








通过上述的64个规则，我们发现存在大量不符合条件的规则，我们把这些不符合条件的规则中两条规则的动作项相同，则至少有一个条件能够把两条规则用不关心条件合并，建立一个突出不符合规则的表



在接下来的规则中凡是出现以上类似的规则，都会被判定为不可能。

通过上述的两种测试的表，我们得出下列简化后的决策表。

二.使用测试用例完成测试：
结合以上的决策表，设置测试用例如下表所示：



三.结论：
在这次自动售货机的测试中，我们可以知道在这种较为复杂的问题上，根据因果图建立决策表这种方法非常有效，它能够帮助我们检查输入条件的组合，设计出非冗余，高效的测试用例，比如这次测试中，把64个测试规则简化到27个测试规则，有效的检测出自动售货机在实际运用中可能会出现的问题。从这次实验中，我相信在今后的测试工作中，运用根据因果图建立决策表这种方法能够更高效，更科学的进行软件测试工作。