软件测试 ——判定表图，命题逻辑推理

软件测试——判定表图

---

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

自动售货机软件的测试用例

设计处理单价为5角的饮料的自动售货机软件的测试用例。

软件规格说明如下：

• 操作者投入5角或1元的硬币，按下 橙汁 或 啤酒 的按钮， 售货机送出相应的饮料 (不考虑饮料不足的情况)。

• 若售货机没有零钱找，则一个显示零钱找完的红灯亮。

  • 此时操作者投入1元硬币并按下按钮后，不送出饮料，而是退还1元硬币。

• 若售货机有零钱找，则显示零钱找完的红灯灭。

  • 此时操作者投入1元硬币并按下按钮后，售货机送出饮料，退还5角硬币

分析需求说明，列明原因和结果清单

• 原因清单 (输入条件)

  • C1 售货机可找零
  • C2 投入1元硬币
  • C3 投入5角硬币
  • C4 按下 橙汁 按钮
  • C5 按下 啤酒 按钮

• 结果清单 (输出结果)

  • E21 零钱找完灯亮
  • E22 退还1元硬币
  • E23 退还5角硬币
  • E24 送出橙汁饮料
  • E25 送出啤酒饮料

• 建立中间结点，表示处理的中间状态

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

(1) 输入条件的自然语义陈述

第6列

条件为：11010

自然语义表示：C1 在售货机可找零的情况下，C2 顾客投入1元硬币，C4 按下橙汁按钮

第23列

条件为：01001

自然语义表示：在售货机不可找零的情况下，C2 顾客投入1元硬币，C5 按下啤酒按钮

(2) 输出结果的自然语义陈述

第6列

结果为：00110

自然语义表示：E23 退还5角硬币，E24 送出橙汁饮料

第23列

条件为：11000

自然语义表示：E21 零钱找完灯亮，E22 退还1元硬币

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

第6列实现上述输入-输出过程所应用的判定规则

1. C1 $\wedge$ T11 $\Rightarrow$ T13

2. C2 $\wedge$ T12 $\Rightarrow$ T11

3. C4 $\vee$ C5 $\Rightarrow$ T12

4. C3 $\vee$ T13 $\Rightarrow$ T14

5. C4 $\wedge$ T14 $\Rightarrow$ E24

6. T13 $\Rightarrow$ E23

演算过程：

以C1, C2, C4 为前提，应用上述规则， 可以证明逻辑结论 E23 和 E24。

已知：C1, C2, C4

C4 $\vee$ C5 $\Rightarrow$ T12

结果：T12

C2 $\wedge$ T12 $\Rightarrow$ T11

结果：T11

C1 $\wedge$ T11 $\Rightarrow$ T13

结果：T13

C3 $\vee$ T13 $\Rightarrow$ T14

结果：T14

C4 $\wedge$ T14 $\Rightarrow$ E24

结果：E24

T13 $\Rightarrow$ E23

结果：E23

第23列实现上述输入-输出过程所应用的判定规则

1. C2 $\wedge$ T12 $\Rightarrow$ T11
2. C4 $\vee$ C5 $\Rightarrow$ T12
3. $\neg$C1 $\wedge$ T11 $\Rightarrow$ E21
4. T11 $\wedge$ E21 $\Rightarrow$ E22

演算过程：

以 C2, C5 为前提，应用上述规则， 可以证明逻辑结论 E21和 E22。

已知：C2, C5

C4 $\vee$ C5 $\Rightarrow$ T12

结果：T12

C2 $\wedge$ T12 $\Rightarrow$ T11

结果：T11

$\neg$C1 $\wedge$ T11 $\Rightarrow$ E21

结果：E21

T11 $\wedge$ E21 $\Rightarrow$ E22

结果：E22