基于数据流约简的测试用例生成策略研究

摘要

目前的测试用例生成技术生成的测试用例集对程序中的定义使用对的覆盖率很低.为了提高测试用例集对程序中定义使用对的覆盖率,本文提出了一种基于数据流约简的测试用例生成策略.该策略首先利用静态分析工具DaTeC与多态定义使用对DUP对源码进行分析,构建出源码中全部定义使用对;然后,结合控制流图对上述定义使用对进行覆盖约简并根据覆盖约简后的定义使用对的路径谓词生成测试用例.实验结果表明,该方法可以提高测试用例集对程序中定义使用对的覆盖率,进而可以提高测试用例集的质量,更加彻底地对面向对象程序进行测试.