测试用例自动生成中约束求解策略的选择

作者：赖思佳; 王雅文; 宫云战

来源：内蒙古大学学报(自然科学版), 2011, (05): 540-546.

• 软件测试
• 测试用例
• 约束求解
• 覆盖测试 software testing
• test case
• constraint programming
• coverage testing

在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨了通过约束求解的方法,通过分析程序路径中所有的约束表达式,逆推得到测试用例的过程;然后调查了不同类型的C语言工程的待测源码的统计结果,同时针对其特征,引入了不同的约束求解算法策略;最后通过各种策略的组合与配置,给出了一种具有普遍性的测试用例自动生成的约束求解方法.

• 单位
  网络与交换技术国家重点实验室; 北京邮电大学