软件测试实用技术与常用模板——因果图法

因果图法也是较常用的一种黑盒测试方法，也是一种家化了的逻辑图。因果图能直观地表明输入条件和输出动作之间的因果关系，能帮助测试人员把注意力集中到与程序功能相关的输入组合上，比采用是一种合适于描述对于多种输入条件等价分类法的测试效率更高，但这种方法的操作步骤比较复杂。

因果图法是一种适合于描述对于多种输入条件组合的测试方法，根据输入条件的组合、约束关系和输出条件的因果关系，分析输入条件的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件设计的各种组合情况。因果图法一般和判定表结合使用，通过映射同时发生相互影响的多个输入来确定判定条件。因果图法最终生成的就是判定表，它适合于检查程序输入条件的各种组合情况。

采用因果图法能帮助我们按照一定步骤选择一组高效的测试用例，同时，还能指出程序规范中存在什么问题，鉴别和制作因果图。

下面介绍因果图的基本关系符 和约束。

1、关系符

（1）恒等

恒等关系符 如图3-1所示。

（2）非

非关系符 如图3-2所示。

（3）或

或关系符 如图3-3所示。

（4）与

与关系符 如图3-4所示。

通常在因果图中，用Ci表示原因，ei表示结果，Ci和ei的状态可用0或1表示，0表示某状态不出现，1表示某状态出现。

2、约束

输入状态还存在着某些依赖关系，这种关系成为约束。约束符 如图3-5所示。

●E约束（异）：a和b中最多有一个可能为1，即a和b不能同时为1。

●I约束 （或）：a、b、c中至少有一个必须为1，即a、b、c不能同时为0.

●O约束（唯一）：a和b必须有一个且仅有一个为1.

●R约束（要求）：a是1时，b必须为1，即a为1时，b不能为0。

●M约束（强制）：若结果a为1，则结果b强制为0。

3、利用因果图导出测试用例的基本步骤

利用因果图导出测试用例一般要经过以下几个步骤：

1）分析软件规格说明的描述中哪些是原因，哪些是结果。原因是输入或输出条件的等价类，结果是输出条件。给每个原因和结果并赋予一个标识符，根据这些关系，画出因果图。

2）因果图上用一些记 表明约束条件或限制条件。

3）对需求加以分析并把它们表示为因果关系图之间的关系图。

4）把因果图转换成判定表。

5）将判定表的每一列作为依据，设计测试用例。