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

• 作者: 宫云战 李峰 黄俊飞
• 来源期刊: 北京邮电大学学报
• 学科: 工学
• 关键词: 测试用例生成 非四则运算 区间运算 等价变换
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 论文
• 页码范围: 63-67
• 页数: 5页
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.13190/j.jbupt.2015.04.014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宫云战	北京邮电大学网络与交换技术国家重点实验室	50	577	15.0	23.0
2	黄俊飞	北京邮电大学网络与交换技术国家重点实验室	18	160	6.0	12.0
3	李峰	北京邮电大学网络与交换技术国家重点实验室	9	30	4.0	5.0