作業(yè)8

1、分析 Chap.5 (Lec.19) 自動(dòng)售貨機(jī)軟件例子生成的判定表圖例的第6列和第23列，分別給出：

（1）、輸入條件的自然語義陳述；
（2）、輸出結(jié)果的自然語義陳述；
（3）、用命題邏輯形式描述實(shí)現(xiàn)上述輸入-輸出過程所應(yīng)用的判定規(guī)則，并寫出獲得輸出結(jié)果的推理演算過程。

自動(dòng)售貨機(jī)軟件例子：

• 設(shè)計(jì)處理單價(jià)為5角的飲料的自動(dòng)售貨機(jī)軟件的測(cè)試用例。軟件規(guī)格說明如下：
  • (1) 常規(guī)情況下，操作者投入5角或1元的硬幣，按下 橙汁 或 啤酒 的按鈕，售貨機(jī)送出相應(yīng)的飲料 (不考慮飲料不足的情況)。
  • (2) 若售貨機(jī)沒有零錢找，則一個(gè)顯示 零錢找完 的紅燈亮。
    • 此時(shí)操作者投入1元硬幣并按下按鈕后，不送出飲料，而是退還1元硬幣。
  • (3) 若售貨機(jī)有零錢找，則顯示 零錢找完 的紅燈滅。
    • 此時(shí)操作者投入1元硬幣并按下按鈕后，售貨機(jī)送出飲料，退還5角硬幣。

原因和結(jié)果清單：

• 原因清單 (輸入條件)
  • C1 售貨機(jī)可找零
  • C2 投入1元硬幣
  • C3 投入5角硬幣
  • C4 按下 橙汁 按鈕
  • C5 按下 啤酒 按鈕
• 結(jié)果清單 (輸出結(jié)果)
  • E21 零錢找完 燈亮
  • E22 退還1元硬幣
  • E23 退還5角硬幣
  • E24 送出橙汁飲料
  • E25 送出啤酒飲料

處理的中間狀態(tài)：

• T11 投入1元硬幣且按下飲料按鈕
• T12 按下 橙汁 或 啤酒 按鈕
• T13 應(yīng)當(dāng)找5角零錢并且售貨機(jī)有零錢找
• T14 錢已付清

因果圖：

判定表圖例：

答：

（1）、輸入條件的自然語義陳述

第6列：輸入條件的C1、C2、C4為真，C3、C5為假，自然語義陳述為當(dāng)售貨機(jī)可找零時(shí)，投入1元硬幣并按下橙汁按鈕。

第23列：輸入條件的C2、C5為真，C1、C3、C4為假，自然語義陳述為當(dāng)售貨機(jī)不能找零時(shí)，投入1元硬幣并按下啤酒按鈕。

（2）、輸出結(jié)果的自然語義陳述

第6列：輸出結(jié)果的E23和E24為真，E21、E22、E25為假，自然語義陳述為售貨機(jī)零錢找完燈滅，退還5角硬幣并且送出橙汁飲料。

第23列：輸出結(jié)果的E21和E22為真，E23、E24、E25為假，自然語義陳述為售貨機(jī)零錢找完燈亮，退還1元硬幣并不送出飲料。

（3）、用命題邏輯形式描述實(shí)現(xiàn)上述輸入-輸出過程所應(yīng)用的判定規(guī)則，并寫出獲得輸出結(jié)果的推理演算過程

第6列：

判定規(guī)則：

C4 ∨ C5 ? T12
C2 ∧ T12 ? T11
C1 ∧ T11 ? T13
C3 ∨ T13 ? T14
T13 ? E23
C4 ∧ T14 ? E24

推演過程：

以C1、C2、C4為前提，應(yīng)用上述規(guī)則：

∵ C4 ∨ C5 ? T12，C4為真
∴ T12為真
∵ C2為真，T12為真，C2 ∧ T12 ? T11
∴ T11為真
∵ C1為真，T11為真，C1 ∧ T11 ? T13
∴ T13為真
∵ T13為真，C3 ∨ T13 ? T14，T13 ? E23
∴ T14、E23為真
∵ C4為真，T14為真，C4 ∧ T14 ? E24
∴ E24為真

從而E23、E24得證

第23列：

判定規(guī)則：

C4 ∨ C5 ? T12
C2 ∧ T12 ? T11
﹁C1 ? E21
﹁C1 ∧ T11 ? E22

推演過程：

以C2、C5為前提，應(yīng)用上述規(guī)則：

∵ C5為真，C4 ∨ C5 ? T12
∴ T12為真
∵ C2為真，T12為真，C2 ∧ T12 ? T11
∴ T11為真
∵ ﹁C1為真，﹁C1 ? E21
∴ E21為真
∵ ﹁C1為真，T11為真，﹁C1 ∧ T11 ? E22
∴ E22為真

從而E21、E22得證

總結(jié)

以上是生活随笔為你收集整理的软件测试作业8：分析自动售货机软件例子生成的判定表图例的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。