判定表法
判定表(Desision table)用于表示和分析复杂的逻辑关系，描述了在不同条件(Condition)下执行的动作(Action)集合。判定表本质上就是真值表的扩展，每个条件由两种可能的赋值扩展到多种可能的赋值，并且可以通过将多值条件拆分成多个二值条件转为真值表。
题目
设计自动售货机的测试用例，因果图和判定表如下，以判定表第6列和第23列为例，描述输入条件与输出结果并写出推理演算过程。
其中结点C 1 , C 2 , C 3 , C 4 , C 5 C1, C2, C3, C4, C5C1,C2,C3,C4,C5表示原因(Cause)，结点E 21 , E 22 , E 23 , E 24 , E 25 E21, E22, E23, E24, E25E21,E22,E23,E24,E25表示结果(Effect)，结点T 11 , T 12 , T 13 , T 14 T11, T12, T13, T14T11,T12,T13,T14表示中间状态(Middle status)，结点之间的连线表示结点之间的关系。
解答
第6列
- 输入条件：11010
表示在售货机有零钱找的情况下，投入1元硬币并按下【橙汁】按钮 - 输出结果：00110
表示售货机找回5角硬币并送出橙汁饮料 - 推理演算过程
条件：C 1 , C 2 , C 4 C1, C2, C4C1,C2,C4
C 4 ∨ C 5 ⇒ T 12 C4 \lor C5 \Rightarrow T12C4∨C5⇒T12
T 12 ∧ C 2 ⇒ T 11 T12 \land C2 \Rightarrow T11T12∧C2⇒T11
T 11 ∧ C 1 ⇒ T 13 T11 \land C1 \Rightarrow T13T11∧C1⇒T13
T 13 ⇒ E 23 T13 \Rightarrow E23T13⇒E23
T 13 ∨ T 3 ⇒ T 14 T13 \lor T3 \Rightarrow T14T13∨T3⇒T14
T 14 ∧ C 5 ⇒ E 25 T14 \land C5 \Rightarrow E25T14∧C5⇒E25
结果：E 23 , E 25 E23,E25E23,E25
第23列
- 输入条件：01001
表示在售货机没有零钱找的情况下，投入1元硬币并按下【啤酒】按钮 - 输出结果：11000
表示售货机【零钱找完】灯亮并退还1元硬币 - 推理演算过程
条件：¬ C 1 , C 2 , C 5 \neg C1, C2, C5¬C1,C2,C5
¬ C 1 ⇒ E 21 \neg C1 \Rightarrow E21¬C1⇒E21
C 4 ∨ C 5 ⇒ T 12 C4 \lor C5 \Rightarrow T12C4∨C5⇒T12
T 12 ∧ C 2 ⇒ T 11 T12 \land C2 \Rightarrow T11T12∧C2⇒T11
T 11 ∧ ¬ C 1 ⇒ E 22 T11 \land \neg C1 \Rightarrow E22T11∧¬C1⇒E22
结果：E 21 , E 22 E21, E22E21,E22
版权声明：本文为Fast_G原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接和本声明。