一种基于约束的变异测试数据生成方法

• 作者: 付晓东 刘新忠 徐高潮 胡亮 董玉双
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 变异测试 约束系统 软件自动化测试 测试数据生成 面向路径测试
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 软件工程
• 页码范围: 617-626
• 分类号: TP311.5
• 字数: 7165字
• 语种: 中文

摘要

作为衡量测试用例集完备性的测试策略,变异测试是一种"面向缺陷"的单元测试技术,主要用来生成完备的测试用例集.其中面向路径测试数据生成技术通过约束系统构造和求解过程实现用例集生成,是一种高效的测试用例生成技术.但目前大部分面向路径测试用例生成技术只考虑了程序语句间的控制依赖,即通过对控制流图的分析来构建约束系统,而忽略了语句间的数据依赖对约束系统的影响.充分考虑两种依赖关系,针对域削减的测试数据生成技术进行了改进,提出了一种考虑数据依赖的域削减方法.实验表明,这种方法在变异测试数据生成的成功率和执行效率上都有较大程度的提高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘新忠	吉林大学计算机科学与技术学院	2	33	2.0	2.0
2	付晓东	吉林大学计算机科学与技术学院	8	55	5.0	7.0
3	董玉双	吉林大学计算机科学与技术学院	2	33	2.0	2.0