测试用例自动生成中等式约束处理算法

摘要：

为了解决测试用例自动生成中等式约束的求解问题,提出一种加入等式处理策略的分支限界搜索算法.首先将线性代数中判定线性方程组是否有解的方法引入分支限界测试用例生成框架之中;然后在已有算法模型的基础上提出集成等式处理分支限界搜索算法,以支持多种变量类型的等式处理;最后将等式约束分为等式无解、等式多解和等式唯一解三大类进行处理,包含了等式约束求解问题的所有情况.实验结果表明,文中算法可以实现对一部分不可达路径的检测,在很大程度上减少测试用例生成的时间并提高覆盖率;对大工程的测试以及同开源约束求解工具Choco的对比实验,也证明了该算法可以提升测试效率.

关键词：约束满足问题、线性代数、不可达路径、分支限界

所属期刊栏目：29

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划2012AA011201;国家自然科学基金91318301

在线出版日期：2017-09-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：1740-1749