软件测试——判定表图
分析 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 送出啤酒饮料
- E21
-
建立中间结点,表示处理的中间状态
- 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列实现上述输入-输出过程所应用的判定规则
-
C1 T11 T13
-
C2 T12 T11
-
C4 C5 T12
-
C3 T13 T14
-
C4 T14 E24
-
T13 E23
演算过程:
以C1, C2, C4 为前提,应用上述规则, 可以证明逻辑结论 E23 和 E24。
已知:C1, C2, C4
C4 C5 T12
结果:T12
C2 T12 T11
结果:T11
C1 T11 T13
结果:T13
C3 T13 T14
结果:T14
C4 T14 E24
结果:E24
T13 E23
结果:E23
第23列实现上述输入-输出过程所应用的判定规则
- C2 T12 T11
- C4 C5 T12
- C1 T11 E21
- T11 E21 E22
演算过程:
以 C2, C5 为前提,应用上述规则, 可以证明逻辑结论 E21和 E22。
已知:C2, C5
C4 C5 T12
结果:T12
C2 T12 T11
结果:T11
C1 T11 E21
结果:E21
T11 E21 E22
结果:E22