基于统计分析的弱变异测试可执行路径生成

	基于统计分析的弱变异测试可执行路径生成
	党向盈 ; 巩敦卫 ; 姚香娟
	2016
发表期刊	计算机学报
ISSN	ISSN：0254-4164
期号	2016年11期页码:2355-2371
摘要	变异测试是一种面向缺陷的软件测试技术,然而高昂的测试代价,影响了其在实际程序测试的应用.Papadakis等人将某一程序的弱变异测试问题,转化为另一程序的变异语句真分支覆盖问题,以期采用已有的分支覆盖方法,生成变异测试数据.但是,上述方法使得转化后程序包含大量的变异分支,增加了分支覆盖测试数据生成的难度.如果采用合适的方法,约简转化后程序中包含的变异分支,并依所属的路径,对约简之后的变异分支分组,那么,将能够利用已有的路径覆盖测试方法,生成高质量的变异测试数据,从而提高弱变异测试的效率.但是,如何基于某一程序和变异体,生成可执行路径,至今缺乏有效的方法.鉴于此,文中通过考察变异语句真分支之间的相关性,提出了一种用于弱变异测试的可执行路径生成方法,使得覆盖这些路径的测试数据,能够杀死所有的变异体.该方法首先考察变异语句真分支之间的占优关系,约简被占优的变异分支,从而减少变异分支的数量;然后,将非被占优的变异分支插入到该程序,转化为另一被测程序,并基于转化之后的程序,考察同一语句形成的多个变异分支的相关性;通过组合相关变异分支,形成新的变异语句真分支;接着,利用被测语句与新变异语句真分支的... 更多
关键词	变异测试弱变异测试变异分支路径覆盖可执行路径
URL	查看原文
收录类别	CNKI
语种	中文
文献类型	期刊论文
条目标识符	https://ir.lut.edu.cn/handle/2XXMBERH/5977
专题	兰州理工大学电气工程与信息工程学院
作者单位	1.中国矿业大学信息与电气工程学院 2.徐州工程学院信电工程学院 3.兰州理工大学电气工程与信息工程学院 4.中国矿业大学理学院
推荐引用方式 GB/T 7714	党向盈,巩敦卫,姚香娟. 基于统计分析的弱变异测试可执行路径生成[J]. 计算机学报,2016(2016年11期):2355-2371.
APA	党向盈,巩敦卫,&姚香娟.(2016).基于统计分析的弱变异测试可执行路径生成.计算机学报(2016年11期),2355-2371.
MLA	党向盈,et al."基于统计分析的弱变异测试可执行路径生成".计算机学报 .2016年11期(2016):2355-2371.

条目包含的文件		下载所有文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
基于统计分析的弱变异测试可执行路径生成.（668KB）	期刊论文	出版稿	开放获取	CC BY-NC-SA	浏览下载