首页 期刊 计算机研究与发展 一种基于约束的变异测试数据生成方法 【正文】

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

作者:刘新忠 徐高潮 胡亮 付晓东 董玉双 吉林大学计算机科学与技术学院 长春130012 符号计算与知识工程教育部重点实验室吉林大学 长春130012
变异测试   约束系统   软件自动化测试   测试数据生成   面向路径测试  

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

学术咨询 免费咨询 杂志订阅