分析 chap.5.1 (lec.17) 自動售貨機軟體例子生成的判定表圖例的第6列和第23列，分別給出：
設計處理單價為5角的飲料的自動售貨機軟體的測試用例。軟體規格說明如下：
第6列：售貨機可找零，顧客投入一元硬幣並按下 「橙汁」 按鈕。
第23列：售貨機不可找零，顧客投入一元硬幣並按下 「啤酒」 按鈕。
第6列：售貨機退還5角硬幣並送出橙汁。
第23列：售貨機「零錢找完」燈亮並退還1元。
第6列實現上述輸入-輸出的規則描述：
c1 ^ t11 -> t13
c2 ^ t12 -> t11
c4 v c5 -> t12
c3 v t13 -> t14
t13 -> e23
c4 ^ t14 -> e24
第6列推理演算過程：
已知c1 = 1, c2 = 1, c4 = 1:
由 c4 v c5 -> t12 得到t12 = 1。
再由 c2 ^ t12 -> t11得到t11 = 1。
再由 c1 ^ t11 -> t13得到t13 = 1。
再由t13 -> e23 得到e23 = 1。
再由c3 v t13 -> t14 得到 t14 = 1。
最後由c4 ^ t14 -> e24得到e24 = 1。
第23列實現上述輸入-輸出的規則描述：
c4 v c5 -> t12
c2 ^ t12 -> t11
~c1 -> e21
~c1 ^ t11 -> e22
第23列推理演算過程：
已知c1 = 0， c2 = 1， c5 = 1：
由~c1 -> e21 得 e21 = 1
由c4 v c5 -> t12 得 t12 = 1
由c2 ^ t12 -> t11 得 t11 = 1
由~c1 ^ t11 -> e22 得e22 = 1
軟體測試 Assignment7
課程名稱 軟體測試 任課老師 蔡國揚年級 大三專業 方向 計應學號 16340015 姓名陳彬彬 專業 方向 軟體工程 計應 email 944131226 qq.com 構造下述三角形問題的弱健壯的等價類測試用例 健壯性測試包含兩層含義 根據測試用例的完整性可以劃分為 弱一般等價類 遵循單缺陷原則...
軟體測試 缺陷管理（6）
注意不得站在自己主觀意識去判斷缺陷 缺陷出現的原因 常見軟體缺陷術語 功能遺漏 規定的時間或功能未在產品系統中體驗，如缺少忘記密碼功能 程式錯誤沒有按照使用者需求正確實現，可能需求理解出錯，可能編碼出錯 額外的功能 單位時間內，盡早引入測試，可以更早的發現缺陷，減少修復成本 可以重現的缺陷，存在一系...
關於軟體測試 6 白盒測試
一 什麼是白盒測試 二 白盒測試vs黑盒測試 一般軟體開發人員和測試人員對白盒測試和黑盒測試的感念都有一定的認識，但認為是編 所做的測試是白盒測試，黑盒測試不用編寫 這其實是一種誤解。任何工程產品 注意是任何工程產品 都可以使用以下兩種方法之一進行測試。黑盒測試 已知產品的功能設計規格，可以進行測試...