马艳

(中国人民解放军92941部队，辽宁葫芦岛125001)

0 引言

软件测试作为软件生命周期的一个重要环节，对软件质量起着至关重要的作用。影响软件测试质量和效率的因素很多，如测试环境的搭建、测试人员的素质、测试工具和测试方法等，其中测试用例的设计和执行是核心步骤[1]。常用的黑盒测试用例设计方法中，等价类划分法和边界值分析法都是着重考虑输入条件，但没有考虑输入条件的各种组合、输入条件之间的相互制约关系，这样虽然各种输入条件可能出错的情况已经测试到了，但多个输入条件组合可能出错的情况却被忽视了。如果在测试时全面考虑输入条件的各种组合，则可能的组合数目将是天文数字。而因果图法能够根据输入条件之间的相互依赖和制约关系，准确、全面地覆盖各种条件组合，高效生成无遗漏、不重复的测试数据条件，因此受到越来越多的关注[2-5]。

1 因果图法的基本概念

因果图法是一种利用图解法分析输入（原因）和输出（结果）的各种情况，画出因果图，转换为判定表，从而设计测试用例的方法，适合于检查程序输入条件的各种组合情况[6]。

1.1 因果图的图形符号

因果图法的4种图形符号分别表示了软件需求规格说明书中的恒等、非、或、与4种因果关系（见图1所示）。

图1因果图的4种基本符号

1.2 因果图的约束关系

状态相互之间可能存在某些依赖关系，称为约束。输入条件的约束有E（异）、I（或）、O（唯一）和R（要求）4类。输出条件的约束只有M约束（强制），见图2所示。……