【软件测试】HW6

Assignment

Assignment 6.

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

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

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

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

Answer

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

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

2. 画出因果图

   

3. 因果图转换成判定表

4. 判定表的分析

• 第6列

  • 输入11010，表示C1售货机可找零、C2投入1元硬币、C4按 下橙汁按钮。输出 00110，表示 E23 退还5角硬币、E24 送出橙汁饮料。

  • 实现上述输入-输出过程的规则描述:

    $C1(1)\bigwedge T11(1)\to T13(1)$ (3)

    $C2(1)\bigwedge T12(1)\to T11(1)$ (2)

    $C4(1)\bigvee C5(0)\to T12(1)$ (1)

    $C3(0)\bigvee$