軟件測試assignment6

分析 Chap.5.1 (Lec.17) 自動售貨機軟件例子生成的判定表圖例的第6列和第 23列，分別給出： 輸入條件的自然語義陳述 輸出結果的自然語義陳述 用命題邏輯形式描述實現上述輸入-輸出過程所應用的判定規則，並寫 出獲得輸出結果的推理演算過程 解答 輸入條件的自然語義陳述 第六列的輸入是11010，代表售貨機可以找零，已經投入1元硬幣，按下橙汁按鈕。 第23列的輸入是01001，代表售貨機

>>阅读原文<<