自动测试用例生成中非四则运算的等价变换方法

摘要：

C工程中的非四则运算在所有数值运算中出现的比例为23%。在使用搜索技术进行测试用例生成时，非四则运算的求解效率很低，因为非四则运算没有对应的区间运算法则以提高搜索效率。为此，提出一种等价变换方法，将非四则运算分解为多个四则运算，再应用四则运算的区间运算来提高整体的求解效率。实验表明，此方法能提高非四则运算的测试用例生成效率。

关键词：测试用例生成、非四则运算、区间运算、等价变换

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

资助基金：国家自然科学基金项目61202080,91318301;国家高技术研究发展计划863计划项目2012AA011201

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

页数：共5页

页码：63-67