软件测试 | 因果图用例设计方法

因果图(Cause-Effect Graph)是用于描述系统的输入、输出以及输入输出之间的因果关系、输入和输出之间的约束关系。它提供了一个把规格转化为判定表的系统化方法，从该图中可以产生测试数据。其中，原因是表示输入条件，结果是对输入执行的一系列计算后得到的输出。

根据系统输入和输出的关系可以得到判定表。

---

1.因果关系

表示输入与输出之间的因果关系有以下几种：

(1) 恒等：当输入发生时，会产生对应输出

(2) 非：与恒等相反

(3) 或：只要有一个输出产生就会输出

(4) 与：只有输入项全部产生才会输出

2.约束关系

表示 输入输出之间的约束关系有以下几种：

(1) 异：所有输入中至多有一项发生

(2) 或：所有输入中至少有一项发生

(3) 唯一：所有输入项有且只有一项发生

(4) 要求：所有输入中只要有一个发生，所有输入都会发生

3.步骤

1.  把大的系统规格划分