基于路径比较的变异测试方法

姚香娟; 巩敦卫

doi:10.3969/j.issn.0372-2112.2012.01.017

您当前的位置：

首页 >

文章列表页 >

基于路径比较的变异测试方法

学术论文 | 更新时间：2025-07-16

- 基于路径比较的变异测试方法
- Mutation Testing Based on Comparison of Paths
- 电子学报 2012年40卷第1期页码：103-107
- 作者机构：
  
  1. 中国矿业大学信息与电气工程学院,江苏,徐州,221116
  2. 中国矿业大学理学院,江苏,徐州,221116
  3. 武汉大学软件工程国家重点实验室,湖北,武汉,430072
  4. 中国矿业大学信息与电气工程学院江苏徐州,221116
  5. 中国矿业大学理学院江苏徐州,221116
  6. 武汉大学软件工程国家重点实验室湖北武汉,430072
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.61075061);高等学校博士学科点专项科研基金 (博士生导师类) (No.201000951100006);江苏省自然科学基金 (No.BK2010187);武汉大学软件工程国家重点实验室开放基金 (No.SKLSE2010-08-19);中国矿业大学青年科技基金 (No.2008A034)
- DOI：10.3969/j.issn.0372-2112.2012.01.017
  中图分类号： TP311
- 纸质出版：2012
- 稿件说明：
移动端阅览
姚香娟, 巩敦卫. 基于路径比较的变异测试方法[J]. 电子学报, 2012,40(1):103-107.

YAO Xiang-juan, GONG Dun-wei. Mutation Testing Based on Comparison of Paths[J]. Acta Electronica Sinica, 2012, 40(1): 103-107.
姚香娟, 巩敦卫. 基于路径比较的变异测试方法[J]. 电子学报, 2012,40(1):103-107. DOI： 10.3969/j.issn.0372-2112.2012.01.017.

YAO Xiang-juan, GONG Dun-wei. Mutation Testing Based on Comparison of Paths[J]. Acta Electronica Sinica, 2012, 40(1): 103-107. DOI： 10.3969/j.issn.0372-2112.2012.01.017.

摘要

提出基于路径比较的变异测试方法.首先

通过比较穿越路径判定变异体是否被杀死;然后

建立基于路径覆盖的变异测试数据生成模型

该模型把杀死变异体作为目标

把满足特定路径覆盖作为约束;最后

采用遗传算法求解该模型.将本文方法应用于典型被测程序

结果表明

该方法可以降低变异测试的难度

并提高测试数据的生成效率.

Abstract

This study proposed a mutation testing method based on comparison of paths.First

whether a mutation is killed is determined by comparing the traversed paths;then

a model of test data generation for mutation testing based on path coverage is proposed.In the mathematic model

the objective is to kill the mutation and the constraint is to traverse the chosen path.Finally

we applied the proposed method to some typical programs.The experimental results show that the proposed method can not only reduce the difficulty of mutation testing

but also improve the efficiency of generating test data.

关键词

Keywords

references

浏览量

1326

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于均衡优化理论的路径覆盖测试数据进化生成

基于否定选择遗传算法的路径覆盖测试数据生成

分布存储并行程序变异算子有效性评估

面向模分复用系统的遗传-MIMO均衡参数优化技术

覆盖整个UHF频段的吸波结构