软件测试 Assignment 6

文章目录 1. 题目 2. 答案 Chap.5.1 (Lec.17) 自动售货机软件例子生成的判定表图例 原因清单 (输入条件) 结果清单 (输出结果) 建立中间结点，表示处理的中间状态 1. 输入条件的自然语义陈述 2. 输出结果的自然语义陈述 3. 用命题逻辑形式描述实现上述输入-输出过程所应用的判定规则，并写出获得输出结果的推理演算过程 1. 题目 分析 Chap.5.1 (Lec.17)

>>阅读原文<<