软件测试作业8：分析自动售货机软件例子生成的判定表图例

作业8

1、分析 Chap.5 (Lec.19) 自动售货机软件例子生成的判定表图例的第6列和第23列，分别给出：

（1）、输入条件的自然语义陈述；
（2）、输出结果的自然语义陈述；
（3）、用命题逻辑形式描述实现上述输入-输出过程所应用的判定规则，并写出获得输出结果的推理演算过程。

自动售货机软件例子：

• 设计处理单价为5角的饮料的自动售货机软件的测试用例。软件规格说明如下：
  • (1) 常规情况下，操作者投入5角或1元的硬币，按下 橙汁 或 啤酒 的按钮，售货机送出相应的饮料 (不考虑饮料不足的情况)。
  • (2) 若售货机没有零钱找，则一个显示 零钱找完 的红灯亮。
    • 此时操作者投入1元硬币并按下按钮后，不送出饮料，而是退还1元硬币。
  • (3) 若售货机有零钱找，则显示 零钱找完 的红灯灭。
    • 此时操作者投入1元硬币并按下按钮后，售货机送出饮料，退还5角硬币。

原因和结果清单：

• 原因清单 (输入条件)
  • C1 售货机可找零
  • C2 投入1元硬币
  • C3 投入5角硬币
  • C4 按下 橙汁 按钮
  • C5 按下 啤酒 按钮
• 结果清单 (输出结果)
  • E21 零钱找完 灯亮
  • E22 退还1元硬币
  • E23 退还5角硬币
  • E24 送出橙汁饮料
  • E25 送出啤酒饮料