软件测试-因果图与判定表「建议收藏」

等价类划分法和边界值法都是着重考虑到了输入条件，但是没有考虑到输入条件的组合与输入条件的相互制约关系。这样有可能忽视了很多错误
如果测试时考虑到了各种组合，测试所有组合将是一个天文数字，因此需要考虑采用一种适用与多种条件组合相应产生多种动作的形式来进行测试用例的设计，这就需要因果图（逻辑模型）

一些程序的功能可以用判定表的形式来表示，根据输入条件的组合情况来规定相应的操作

1 根据程序规格说明书，分析因和果，画出因果图
2 将得到的因果图转换为判定表
3 为判定表的每一列表示的情况设计一个测试用例

与计算机中的与或非相识：
在这里插入图片描述
图片来源网络！

E约束（Exclusive，异或）：ab不能同时为1，可以同时为0；
I约束（Inclusive，或）：abc至少一个为1，不能同时为0；
O约束（Only，唯一）：ab有且只有一个为1；
R约束（Require，要求）：a是1时，b必须是1；

M约束（Mask，强制）：若a是1，b必须是0；

以下是网上找到很常见的例子
饮料售货机：有一个处理单价为1元5角钱的盒装饮料的自动售货机软件。若投入1元5角硬币，按下“可乐”、“雪碧”、或“红茶”按钮，相应的饮料就送出来。若投入的是2元硬币，在送出饮料的同时退还5角硬币。

分析输入输出
输入：

输出：

分析输入之间的关系

1）C1与C2为异或关系

2）C3、C4、C5因投入硬币最多为2元所以分析为异或关系

3）C1(C2)与C3（C4、C5）为且的关系

4）EF2、EF3、EF4为异或关系

5）EF1与EF2（3、4）没关系

分析什么原因导致结果

1）EF1：C2与C3（4、5）导致EF1

2）EF2（3、4）：C1(2)与C3（4、5）导致EF2（3,4）
因果图

图片来自网络
写出判定表
在这里插入图片描述
图片还是来自网络

最后根据判定表设计测试用例

什么叫判定表法？
就是指把所有的输入条件、所有可能采取的动作按表格列出来，每一种条件和动作的组合构成一条规则，也即一条用例。

桩	规则
条件桩（列出所有的输入条件，顺序不重要）	条件项（列出各个条件所有可能的取值）
动作桩（列出问题规定的所有可能采取的动作，顺序不重要）	动作项（列出所有可能采取的动作）