软件测试 | Assignment 6

题目

---

分析

原因清单 (输入条件)
◌ C1 售货机可找零
◌ C2 投入1元硬币
◌ C3 投入5角硬币
◌ C4 按下 橙汁 按钮
◌ C5 按下 啤酒 按钮
结果清单 (输出结果)
◌ E21 灯亮
◌ E22 退还1元硬币
◌ E23 退还5角硬币
◌ E24 送出橙汁饮料
◌ E25 送出啤酒饮料
建立中间结点，表示处理的中间状态
◌ T11 投入1元硬币且按下饮料按钮
◌ T12 按下 橙汁 或 啤酒 按钮
◌ T13 应当找5角零钱并且售货机有零钱找
◌ T14 钱已付清

---

解答

第6列

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

输入 11010，表示 C1 售货机可找零、C2 投入1元硬币、C4 按下橙汁按钮。

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

输出 00110，表示 E23 退还5角硬币、E24 送出橙汁饮料。

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

1. 实现上述输入-输出过程的规则描述：
   
   C1 ∧ T11 => T13
   C2 ∧ T12 => T11
   C4 ∨ C5 => T12
   C3 ∨ T13 => T14
   C4 ∧ T14 => E24
   T13 => E23

2. 以 C1, C2, C4 为前提，应用上述规则，可以证明逻辑结论 E23 和 E24。
   
   T12 = C4 ∨ C5 = 1 ∨ 0 = 1
   T11 = C2 ∧ T12 = 1 ∧ 1 = 1
   T13 = C1 ∧ T11 = 1 ∧ 1 = 1
   T14 = C3 ∨ T13 = 0 ∨ 1 = 1
   E24 = C4 ∧ T14 = 1 ∧ 1 = 1
   E23 = T13 = 1

---

第23列

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

输入 01001，表示售货机不可找零、C2 投入1元硬币、C5 按下啤酒按钮。

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

输出 11000，表示 E21 灯亮、E22 退还1元硬币。

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

1. 实现上述输入-输出过程的规则描述：
   
   ¬C1 => E21
   ¬C1 ∧ T11 => E22
   C2 ∧ T12 => T11
   C4 ∨ C5 => T12

2. 以 C2, C5 为前提，应用上述规则，可以证明逻辑结论 E21 和 E22。
   
   E21 = ¬C1 = ¬0 = 1
   T12 = C4 ∨ C5 = 0 ∨ 1 = 1
   T11 = C2 ∧ T12 = 1 ∧ 1 = 1
   E22 = ¬C1 ∧ T11 = ¬0 ∧ 1 = 1