【軟件測試】HW6

Assignment Assignment 6. 分析 Chap.5.1 (Lec.17) 自動售貨機軟件例子生成的判定表圖例的第6列和第23列，分別給出: (1) 輸入條件的自然語義陳述; (2) 輸出結果的自然語義陳述; (3) 用命題邏輯形式描述實現上述輸入-輸出過程所應用的判定規則，並寫出獲得輸出結果的推理演算過程。 Answer 分析需求說明，列出原因和結果清單 原因清單 (輸入條件)

>>阅读原文<<