軟件測試作業6

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

>>阅读原文<<