软件测试作业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 送出啤酒饮料

处理的中间状态：

• T11 投入1元硬币且按下饮料按钮
• T12 按下 橙汁 或 啤酒 按钮
• T13 应当找5角零钱并且售货机有零钱找
• T14 钱已付清

因果图：

判定表图例：

答：

（1）、输入条件的自然语义陈述

第6列：输入条件的C1、C2、C4为真，C3、C5为假，自然语义陈述为当售货机可找零时，投入1元硬币并按下橙汁按钮。

第23列：输入条件的C2、C5为真，C1、C3、C4为假，自然语义陈述为当售货机不能找零时，投入1元硬币并按下啤酒按钮。

（2）、输出结果的自然语义陈述

第6列：输出结果的E23和E24为真，E21、E22、E25为假，自然语义陈述为售货机零钱找完灯灭，退还5角硬币并且送出橙汁饮料。

第23列：输出结果的E21和E22为真，E23、E24、E25为假，自然语义陈述为售货机零钱找完灯亮，退还1元硬币并不送出饮料。

（3）、用命题逻辑形式描述实现上述输入-输出过程所应用的判定规则，并写出获得输出结果的推理演算过程

第6列：

判定规则：

C4 ∨ C5 ⇒ T12
C2 ∧ T12 ⇒ T11
C1 ∧ T11 ⇒ T13
C3 ∨ T13 ⇒ T14
T13 ⇒ E23
C4 ∧ T14 ⇒ E24

推演过程：

以C1、C2、C4为前提，应用上述规则：

∵ C4 ∨ C5 ⇒ T12，C4为真
∴ T12为真
∵ C2为真，T12为真，C2 ∧ T12 ⇒ T11
∴ T11为真
∵ C1为真，T11为真，C1 ∧ T11 ⇒ T13
∴ T13为真
∵ T13为真，C3 ∨ T13 ⇒ T14，T13 ⇒ E23
∴ T14、E23为真
∵ C4为真，T14为真，C4 ∧ T14 ⇒ E24
∴ E24为真

从而E23、E24得证

第23列：

判定规则：

C4 ∨ C5 ⇒ T12
C2 ∧ T12 ⇒ T11
﹁C1 ⇒ E21
﹁C1 ∧ T11 ⇒ E22

推演过程：

以C2、C5为前提，应用上述规则：

∵ C5为真，C4 ∨ C5 ⇒ T12
∴ T12为真
∵ C2为真，T12为真，C2 ∧ T12 ⇒ T11
∴ T11为真
∵ ﹁C1为真，﹁C1 ⇒ E21
∴ E21为真
∵ ﹁C1为真，T11为真，﹁C1 ∧ T11 ⇒ E22
∴ E22为真

从而E21、E22得证