软件测试作业6

文章目录 Assignment 6. 分析 Chap.5.1 (Lec.17) 自动售货机软件例子生成的判定表图例的第6列和第23列，分别给出： (1) 输入条件的自然语义陈述； (2) 输出结果的自然语义陈述； (3) 用命题逻辑形式描述实现上述输入-输出过程所应用的判定规则，并写出获得输出结果的推理演算过程。 Assignment 6. 分析 Chap.5.1 (Lec.17) 自动售货机软件

>>阅读原文<<