Lanzhou University of Technology Institutional Repository （LUT_IR）
| 基于统计分析的弱变异测试可执行路径生成 | |
| 党向盈; 巩敦卫; 姚香娟 | |
| 2016 | |
| Source Publication | 计算机学报
 |
| ISSN | ISSN：0254-4164 |
| Issue | 2016年11期Pages:2355-2371 |
| Abstract | 变异测试是一种面向缺陷的软件测试技术,然而高昂的测试代价,影响了其在实际程序测试的应用.Papadakis等人将某一程序的弱变异测试问题,转化为另一程序的变异语句真分支覆盖问题,以期采用已有的分支覆盖方法,生成变异测试数据.但是,上述方法使得转化后程序包含大量的变异分支,增加了分支覆盖测试数据生成的难度.如果采用合适的方法,约简转化后程序中包含的变异分支,并依所属的路径,对约简之后的变异分支分组,那么,将能够利用已有的路径覆盖测试方法,生成高质量的变异测试数据,从而提高弱变异测试的效率.但是,如何基于某一程序和变异体,生成可执行路径,至今缺乏有效的方法.鉴于此,文中通过考察变异语句真分支之间的相关性,提出了一种用于弱变异测试的可执行路径生成方法,使得覆盖这些路径的测试数据,能够杀死所有的变异体.该方法首先考察变异语句真分支之间的占优关系,约简被占优的变异分支,从而减少变异分支的数量;然后,将非被占优的变异分支插入到该程序,转化为另一被测程序,并基于转化之后的程序,考察同一语句形成的多个变异分支的相关性;通过组合相关变异分支,形成新的变异语句真分支;接着,利用被测语句与新变异语句真分支的... 更多 |
| Keyword | 变异测试 弱变异测试 变异分支 路径覆盖 可执行路径 |
| URL | 查看原文 |
| Indexed By | CNKI |
| Language | 中文 |
| Document Type | 期刊论文 |
| Identifier | https://ir.lut.edu.cn/handle/2XXMBERH/5977 |
| Collection | 兰州理工大学 电气工程与信息工程学院 |
| Affiliation | 1.中国矿业大学信息与电气工程学院 2.徐州工程学院信电工程学院 3.兰州理工大学电气工程与信息工程学院 4.中国矿业大学理学院 |
| Recommended Citation GB/T 7714 | 党向盈,巩敦卫,姚香娟. 基于统计分析的弱变异测试可执行路径生成[J]. 计算机学报,2016(2016年11期):2355-2371. |
| APA | 党向盈,巩敦卫,&姚香娟.(2016).基于统计分析的弱变异测试可执行路径生成.计算机学报(2016年11期),2355-2371. |
| MLA | 党向盈,et al."基于统计分析的弱变异测试可执行路径生成".计算机学报 .2016年11期(2016):2355-2371. |
| Files in This Item: | Download All | |||||
| File Name/Size | DocType | Version | Access | License | ||
| 基于统计分析的弱变异测试可执行路径生成.（668KB） | 期刊论文 | 出版稿 | 开放获取 | CC BY-NC-SA | View Download | |
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment