软件测试assignment6

分析 Chap.5.1 (Lec.17) 自动售货机软件例子生成的判定表图例的第6列和第 23列，分别给出： 输入条件的自然语义陈述 输出结果的自然语义陈述 用命题逻辑形式描述实现上述输入-输出过程所应用的判定规则，并写 出获得输出结果的推理演算过程 解答 输入条件的自然语义陈述 第六列的输入是11010，代表售货机可以找零，已经投入1元硬币，按下橙汁按钮。 第23列的输入是01001，代表售货机

>>阅读原文<<