[软件测试] Assignment6

[软件测试]Assignment6

课程名称	软件测试	任课老师	蔡国扬
年级	大三	专业（方向）	计应
学号	16340015	姓名	陈彬彬
专业(方向)	软件工程(计应)	Email	944131226@qq.com

---

0.问题描述

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

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

以下分析需求说明列出原因和结果清单：

• 原因清单（输入条件）

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

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

  • T11 投入1元硬币且按下饮料按钮

  • T12按下橙汁或啤酒按钮

  • T13 应当找5角零钱并且售货机有零钱找

  • T14 钱已付清

• 结果清单（输出结果）

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

---

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

• 第6列：11010

  11010表示条件为：$C_1、C_2、\neg C_3、C_4、\neg C_5$

  代表的自然语义陈述为：在售货机可找零的情况下，投入1元硬币，按下橙汁按钮

• 第23列：01001

  01001表示条件为：$\neg C_1、C_2、\neg C_3、\neg C_4、C_5$

  代表的自然语义陈述为：在售货机不可找零的情况下，投入1元硬币，按下啤酒按钮

---

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

• 第6列：00110

  00110表示条件为：$E_{23}、E_{24}$

  代表的自然语义陈述为：售货机退还5角硬币，并送出橙汁饮料

• 第23列：11000

  11000表示条件为：$E_{21}、E_{22}$

  代表的自然语义陈述为：售货机零钱已找完，"零钱找完"灯亮，退还1元硬币

---

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

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

• $C_4\vee C_5\Rightarrow T_{12}$
• $C_2\wedge T_{12}\Rightarrow T_{11}$
• $C_1\wedge T_{11}\Rightarrow T_{13}$
• $C_3\vee T_{13}\Rightarrow T_{14}$
• $T_{13}\Rightarrow E_{23}$
• $C_4\wedge T_{14}\Rightarrow E_{24}$

第6列获得输出结果的推理演算过程为：

已知条件：$C_1、C_2、\neg C_3、C_4、\neg C_5$，应用以上判定规则，得到论证$E_{23}、E_{24}$ ：

1. 由：$C_4$ 、$C_4\vee C_5\Rightarrow T_{12}$ 得 $T_{12}$

2. 由：$C_2$、$T_{12}$ 、$C_2\wedge T_{12}\Rightarrow T_{11}$ 得 $T_{11}$

3. 由：$C_1$、$T_{11}$ 、$C_1\wedge T_{11}\Rightarrow T_{13}$ 得 $T_{13}$

4. 由：$T_{13}$ 、$C_3\vee T_{13}\Rightarrow T_{14}$ 得 $T_{14}$

5. 由：$T_{13}$ 、$T_{13}\Rightarrow E_{23}$ 得 $E_{23}$

6. 由：$C_4$、$T_{14}$ 、$C_4\wedge T_{14}\Rightarrow E_{24}$得 $E_{24}$

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

• $\neg C_1\Rightarrow E_{21}$
• $C_4\vee C_5\Rightarrow T_{12}$
• $C_2\wedge T_{12}\Rightarrow T_{11}$
• $\neg C_1\wedge T_{11}\Rightarrow E_{22}$

第23列获得输出结果的推理演算过程为：

已知条件：$\neg C_1、C_2、\neg C_3、\neg C_4、C_5$，应用以上判定规则，得到论证 $E_{21}、E_{22}$：

1. 由：$\neg C_1$、$\neg C_1\Rightarrow E_{21}$ 得 $E_{21}$
2. 由：$C_5$、$C_4\vee C_5\Rightarrow T_{12}$ 得 $T_{12}$
3. 由：$C_2$、$T_{12}$ 、$C_2\wedge T_{12}\Rightarrow T_{11}$ 得 $T_{11}$
4. 由：$\neg C_1$、$T_{11}$、$\neg C_1\wedge T_{11}\Rightarrow E_{22}$ 得 $E_{22}$