作業8

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

（1）、輸入條件的自然語義陳述；
（2）、輸出結果的自然語義陳述；
（3）、用命題邏輯形式描述實現上述輸入-輸出過程所應用的判定規則，并寫出獲得輸出結果的推理演算過程。

自動售貨機軟件例子：

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

原因和結果清單：

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

處理的中間狀態：

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

因果圖：

判定表圖例：

答：

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

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

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

（2）、輸出結果的自然語義陳述

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

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

（3）、用命題邏輯形式描述實現上述輸入-輸出過程所應用的判定規則，并寫出獲得輸出結果的推理演算過程

第6列：

判定規則：

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

推演過程：

以C1、C2、C4為前提，應用上述規則：

∵ 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列：

判定規則：

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

推演過程：

以C2、C5為前提，應用上述規則：

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

從而E21、E22得證

總結

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

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。