[软件测试]Assignment6
课程名称 | 软件测试 | 任课老师 | 蔡国扬 |
---|---|---|---|
年级 | 大三 | 专业(方向) | 计应 |
学号 | 16340015 | 姓名 | 陈彬彬 |
专业(方向) | 软件工程(计应) | 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 、 ¬ C 3 、 C 4 、 ¬ C 5 C_1、C_2、\lnot C_3、C_4、\lnot C_5 C1、C2、¬C3、C4、¬C5
代表的自然语义陈述为:在售货机可找零的情况下,投入1元硬币,按下橙汁按钮
-
第23列:01001
01001表示条件为: ¬ C 1 、 C 2 、 ¬ C 3 、 ¬ C 4 、 C 5 \lnot C_1、C_2、\lnot C_3、\lnot C_4、 C_5 ¬C1、C2、¬C3、¬C4、C5
代表的自然语义陈述为:在售货机不可找零的情况下,投入1元硬币,按下啤酒按钮
(2) 输出结果的自然语义陈述
-
第6列:00110
00110表示条件为: E 23 、 E 24 E_{23}、E_{24} E23、E24
代表的自然语义陈述为:售货机退还5角硬币,并送出橙汁饮料
-
第23列:11000
11000表示条件为: E 21 、 E 22 E_{21}、E_{22} E21、E22
代表的自然语义陈述为:售货机零钱已找完,"零钱找完"灯亮,退还1元硬币
(3) 用命题逻辑形式描述实现上述输入-输出过程所应用的判定规则,并写出获得输出结果的推理演算过程
第6列实现上述输入-输出过程所应用的判定规则为:
- C 4 ∨ C 5 ⇒ T 12 C_4 \lor C_5 \Rightarrow T_{12} C4∨C5⇒T12
- C 2 ∧ T 12 ⇒ T 11 C_2 \land T_{12} \Rightarrow T_{11} C2∧T12⇒T11
- C 1 ∧ T 11 ⇒ T 13 C_1 \land T_{11} \Rightarrow T_{13} C1∧T11⇒T13
- C 3 ∨ T 13 ⇒ T 14 C_{3} \lor T_{13} \Rightarrow T_{14} C3∨T13⇒T14
- T 13 ⇒ E 23 T_{13} \Rightarrow E_{23} T13⇒E23
- C 4 ∧ T 14 ⇒ E 24 C_{4} \land T_{14} \Rightarrow E_{24} C4∧T14⇒E24
第6列获得输出结果的推理演算过程为:
已知条件: C 1 、 C 2 、 ¬ C 3 、 C 4 、 ¬ C 5 C_1、C_2、\lnot C_3、C_4、\lnot C_5 C1、C2、¬C3、C4、¬C5,应用以上判定规则,得到论证 E 23 、 E 24 E_{23}、E_{24} E23、E24 :
-
由: C 4 C_4 C4 、 C 4 ∨ C 5 ⇒ T 12 C_4 \lor C_5 \Rightarrow T_{12} C4∨C5⇒T12 得 T 12 T_{12} T12
-
由: C 2 C_2 C2、 T 12 T_{12} T12 、 C 2 ∧ T 12 ⇒ T 11 C_2 \land T_{12} \Rightarrow T_{11} C2∧T12⇒T11 得 T 11 T_{11} T11
-
由: C 1 C_1 C1、 T 11 T_{11} T11 、 C 1 ∧ T 11 ⇒ T 13 C_1 \land T_{11} \Rightarrow T_{13} C1∧T11⇒T13 得 T 13 T_{13} T13
-
由: T 13 T_{13} T13 、 C 3 ∨ T 13 ⇒ T 14 C_{3} \lor T_{13} \Rightarrow T_{14} C3∨T13⇒T14 得 T 14 T_{14} T14
-
由: T 13 T_{13} T13 、 T 13 ⇒ E 23 T_{13} \Rightarrow E_{23} T13⇒E23 得 E 23 E_{23} E23
-
由: C 4 C_4 C4、 T 14 T_{14} T14 、 C 4 ∧ T 14 ⇒ E 24 C_{4} \land T_{14} \Rightarrow E_{24} C4∧T14⇒E24得 E 24 E_{24} E24
第23列实现上述输入-输出过程所应用的判定规则为:
- ¬ C 1 ⇒ E 21 \lnot C_{1} \Rightarrow E_{21} ¬C1⇒E21
- C 4 ∨ C 5 ⇒ T 12 C_4 \lor C_5 \Rightarrow T_{12} C4∨C5⇒T12
- C 2 ∧ T 12 ⇒ T 11 C_2 \land T_{12} \Rightarrow T_{11} C2∧T12⇒T11
- ¬ C 1 ∧ T 11 ⇒ E 22 \lnot C_1 \land T_{11} \Rightarrow E_{22} ¬C1∧T11⇒E22
第23列获得输出结果的推理演算过程为:
已知条件: ¬ C 1 、 C 2 、 ¬ C 3 、 ¬ C 4 、 C 5 \lnot C_1、C_2、\lnot C_3、\lnot C_4、 C_5 ¬C1、C2、¬C3、¬C4、C5,应用以上判定规则,得到论证 E 21 、 E 22 E_{21}、E_{22} E21、E22:
- 由: ¬ C 1 \lnot C_1 ¬C1、 ¬ C 1 ⇒ E 21 \lnot C_{1} \Rightarrow E_{21} ¬C1⇒E21 得 E 21 E_{21} E21
- 由: C 5 C_5 C5、 C 4 ∨ C 5 ⇒ T 12 C_4 \lor C_5 \Rightarrow T_{12} C4∨C5⇒T12 得 T 12 T_{12} T12
- 由: C 2 C_2 C2、 T 12 T_{12} T12 、 C 2 ∧ T 12 ⇒ T 11 C_2 \land T_{12} \Rightarrow T_{11} C2∧T12⇒T11 得 T 11 T_{11} T11
- 由: ¬ C 1 \lnot C_1 ¬C1、 T 11 T_{11} T11、 ¬ C 1 ∧ T 11 ⇒ E 22 \lnot C_1 \land T_{11} \Rightarrow E_{22} ¬C1∧T11⇒E22 得 E 22 E_{22} E22