【软件测试】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 T13(1)\to T14(1)$ (4)

    $C4(1)\bigwedge T14(1)\to E24(1)$ (5)

    $T13(1)\to E23(1)$ (6)

  • 以$C1,C2,C4$为前提，应用上述规则，可以证明逻辑结论$E23$ 和 $E24$。

    可以证明结论$\neg E21,\neg E22,\neg E25$为真：

    $C1(1)\to \neg E21(0)$

    $C1(1)\bigvee \neg T11(1)\to \neg E22(0)$

    $\neg C5(0)\bigvee \neg T14(1)\to \neg E25(0)$

• 第23列

  • 输入01001，表示C1售货机不可找零、C2 投入1元硬币、C5按下啤酒按钮。输出 11000，表示 E21 零钱找完灯亮 、E22 退还1元硬币。

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

    $\neg C1(0)\to E21(1)$ (4)

    $\neg C1(0)\bigwedge T11(1)\to E22(1)$ (3)

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

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

  • 以$C2,C5$为前提，应用上述规则，可以证明逻辑结论$ E21$ 和 $E22$。

    可以证明结论$\neg E23,\neg E24,\neg E25$为真：

    $\neg C1(0)\bigvee \neg T11(1)\to \neg T13(0)$

    $\neg T13(0)\leftrightarrow \neg E24(0)$

    $\neg C3(0)\bigwedge T13(0)\to \neg T14(0)$

    $\neg C4(0)\bigvee \neg T14(0)\to \neg E24(0)$

    $\neg C5(1)\bigvee \neg T14(0)\to \neg E25(0)$