| 一种基于约束的变异测试数据生成方法 |
| |
| 引用本文： | 刘新忠,徐高潮,胡亮,付晓东,董玉双.一种基于约束的变异测试数据生成方法[J].计算机研究与发展,2011,48(4). |
| |
| 作者姓名： | 刘新忠 徐高潮 胡亮 付晓东 董玉双 |
| |
| 作者单位： | 1. 吉林大学计算机科学与技术学院,长春,130012
2. 吉林大学计算机科学与技术学院,长春,130012;符号计算与知识工程教育部重点实验室(吉林大学),长春,130012 |
| |
| 基金项目： | 国家"八六三"高技术研究发展计划基金 |
| |
| 摘 要： | 作为衡量测试用例集完备性的测试策略,变异测试是一种"面向缺陷"的单元测试技术,主要用来生成完备的测试用例集.其中面向路径测试数据生成技术通过约束系统构造和求解过程实现用例集生成,是一种高效的测试用例生成技术.但目前大部分面向路径测试用例生成技术只考虑了程序语句间的控制依赖,即通过对控制流图的分析来构建约束系统,而忽略了语句间的数据依赖对约束系统的影响.充分考虑两种依赖关系,针对域削减的测试数据生成技术进行了改进,提出了一种考虑数据依赖的域削减方法.实验表明,这种方法在变异测试数据生成的成功率和执行效率上都有较大程度的提高.
|
| 关 键 词： | 变异测试 约束系统 软件自动化测试 测试数据生成 面向路径测试 |
An Approach for Constraint-Based Test Data Generation in Mutation Testing |
| |
| Liu Xinzhong,Xu Gaochao,Hu Liang,Fu Xiaodong,Dong Yushuang.An Approach for Constraint-Based Test Data Generation in Mutation Testing[J].Journal of Computer Research and Development,2011,48(4). |
| |
| Authors: | Liu Xinzhong Xu Gaochao Hu Liang Fu Xiaodong Dong Yushuang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
