[黑盒测试基本方法]之因果图与判定表.pdfVIP

测试用例设计方法

之因果图法与判定表

1.因果图法

1.1.前言

从用自然语言书写的程序规格说明的描述中找出因（输入条件）和果（输出或程序状态

的改变），可以通过因果图转换为判定表。

因果图法即因果分析图，又叫特性要因图、石川图或鱼翅图，它是由日本东京大学教授

石川馨提出的一种通过带箭头的线，将质量问题与原因之间的关系表示出来，是分析影响产

品质量的诸因素之间关系的一种工具。

1.2.定义

因果图法是一种适合于描述对于多种输入条件组合的测试方法，根据输入条件的组合、

约束关系和输出条件的因果关系，分析输入条件的各种组合情况，从而设计测试用例的方法，

它适合于检查程序输入条件涉及的各种组合情况。因果图法一般和判定表结合使用，通过

映射同时发生相互影响的多个输入来确定判定条件。因果图法最终生成的就是判定表，它适

合于检查程序输入条件的各种组合情况。采用因果图法能帮助我们按照一定的步骤选择一组

高效的测试用例，同时，还能指出程序规范中存在什么问题，鉴别和制作因果图。

因果图法着重分析输入条件的各种组合，每种组合条件就是“因”，它必然有一个输出的

结果，这就是“果”。

1.3.因果关系

因果图的表示中输入与输出间的因果关系有四种：

1）恒等关系：当输入条件发生，会产生对应输出，当输入条件不发生时，不会产

生都会应输出。

2）非关系：与恒等关系相反。

3）或关系：多个输入条件中，只要有一个发生，则会产生对应输出。

4）与关系：多个输入条件中，只有所有输入项发生时，才会产生对应输出。

特定的符号标明因果关系如下（图1.3.1）:

图1.3.1

因果图的表示中输入与输入间的约束关系有四种：

1）异(E)：所有输入中至多一个输入条件发生。

2）或(I)：所有输入中至少一个输入条件发生。

3）唯一(O)：所有输入中有且只有一个输入条件发生。

4）要求(R)：所有输入中只有一个输入条件发生，则其它输入也会发生。

特定的符号标明输入与输入间约束关系如下（图1.3.2）:

图1.3.2

因果图的表示中输出条件约束类型（见图1.3.2）：

1）输出条件的约束只有M约束(强制)：若结果a是1，则结果b强制为0。

1.4.方法应用

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

1）画出因果图。

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

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

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

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

1.4.1.画出因果图

分析软件规格说明的描述中哪些是原因，哪些是结果。原因是输入或输入条件的等价类，结

果是输出条件。给每个原因和结果并赋予一个标识符，找出原因与结果之间，原因与原因之

间对应的关系，根据这些关系，画出因果图。左边表示输入，右边表示输出。

因果图例：

C1E1

E

V

C2^E2

C3E3

1.4.2.建立中间节点

对于某些条件的多次使用，可以建立中间节点，以提高因果图的逻辑清晰。

C1

E1

EVM

^

C2