推荐星级:
  • 1
  • 2
  • 3
  • 4
  • 5

基于语句重要度的变异测试对象选择方法

更新时间:2019-12-24 15:48:08 大小:1M 上传用户:zhiyao6查看TA发布的资源 标签:变异测试 下载积分:1分 评价赚积分 (如何评价?) 打赏 收藏 评论(0) 举报

资料介绍

本文基于语句重要度,提出一种新的变异测试对象选择方法,以减少变异体的数量.首先,给出反映变异测试对象重要性的3个因素;然后,基于这些因素的重要性,建立评价所选测试对象重要性的指标;最后,基于这些指标的值,选出重要度高的语句作为变异测试对象.将所提方法应用于8个基准和工业程序的变异测试,实验结果表明,所提方法在维持很高变异测试充分度的同时,显著提高了变异测试的效率.


部分文件列表

文件名 大小
基于语句重要度的变异测试对象选择方法.pdf 1M

部分页面预览

(完整内容请下载后查看)
6
Vol. 45 No. 6  
Jun. 2017  
2017  
6
ACTA ELECTRONICA SINICA  
基于选择方法  
12  
1
3
, ,  
巩敦卫 甜  
( 1.  
大学工程学院 江苏徐州  
221116; 2.  
工大学电工程工程学甘肃州  
730050;  
3.  
大学计科学与技术院 山南  
250101)  
:
, , ,  
本文基于种新选择方的数首先 给出变  
3 ; , , ; ,  
性的 基于的重所选性的基于些  
. 8 ,  
高的作为应用结果表  
, ,  
明 所同时 提高率  
:
;
;
;
;
关键词  
中图分类号  
URL: http: / /www. ejournal. org. cn  
选择 句  
TP311 0372-2112 ( 2017) 06-1518-05  
DOI: 10. 3969 /j. issn. 0372-2112. 2017. 06. 034  
:
:
A
:
文章编号  
文献标识码  
电子学报  
Selecting Objects to be Mutated Based on Statement Importance  
12  
1
3
GONG Dun-wei QIN Bei TIAN Tian  
( 1. College of Information and Electrical EngineeringChina University of Mining and TechnologyXuzhouJiangsu 221116China;  
2. College of Electrical and Information EngineeringLanzhou University of TechnologyLanzhouGansu 730050China;  
3. College of Computer Science and TechnologyShandong Jianzhu UniversityJinanShandong 250101China)  
Abstract: Based on the importance of the statementa novel method of selecting mutation object is proposed so as to  
reduce mutants. In this methodthree factors that reflect the importance of an object are givenand then an index system of e-  
valuating the importance of an object is established based on the importance of these factors. Finallystatements with high  
importance are selected as the objects to be mutated according to the values of these indexes. The proposed method is applied  
to test eight benchmark or industrial programsand the experimental results suggest that the proposed method significantly  
improves the efficiency of mutation testing with high mutation sufficiency.  
Key words: software testing; mutation testing; mutant reduction; test object selection; important statement  
,  
杀死必须分的  
1
引言  
, ,  
反复低了试  
1 ~ 3]  
异  
是保证软性的重段  
应用范围  
种面向评  
本文提基于选择方  
4]  
量  
通过序  
, ,  
不同 通过分析及  
.  
人为模拟实陷  
选择作  
.  
称为示  
杀死提高率  
够从结果序  
2
作  
, ,  
那么 称该体被杀死  
作为技术 分析能实  
Zhang  
Gopinath  
等生成所有通过  
5]  
常包含庞  
陷  
, ,  
随机方选择定比体 用测  
, ,  
大的码行 复杂以及著增加了可  
67]  
试  
位置和可生为数  
基于通过分析后  
: 2015-10-24;  
: 2016-04-23;  
:
责任编辑 梅志强  
收稿日期  
修回日期  
:
基金项目 国家  
973  
( No. 2014CB046306-2) ;  
( No. 61375067; No. 61503220)  
国家自然科学基金  
基础研究计划  
1519  
6
:
巩敦基于选择方法  
支之的  
o,  
包含量个  
对应施  
( o) , ,  
那么 包含量个  
β  
8]  
( o) .  
试  
数的重β  
Kinits  
图中生  
后 考虑变包含的  
9]  
阶变体 以的数量  
, , 2  
量个具体而言 于程量  
u
Delamaro  
vv u, , v  
的赋用了 那么 于  
基于增长选  
, ,  
择方增加变子数到生成例  
u.  
u = x + 1v = u - 4.  
如  
杀死所有而得变  
于一量  
10]  
集  
, , ,  
它 那么 影  
4 ,  
了评覆盖给  
, , ,  
量所在的因此 为 该变  
的计以选择最容覆盖句  
影响大  
作为提高覆盖数据生成的  
o,  
为  
11]  
率  
v v v ,  
赖  
m
v i = 12m  
i
( v ) ,  
量个γ  
i
1
2
Ghiduk  
研究覆盖的  
那么 数的重为  
m
作为据  
( o) =  
( v ) .  
γ
i
Υ
并选择作为覆  
i = 1  
12]  
3. 2  
价  
的数量  
O = { o o o } ,  
合  
n
为  
后  
1
2
n , ,  
包含 重  
体 有选择变  
.  
影响 我从  
O
.  
生成对  
O'n'  
集包含 个最测  
选择集  
, , ,  
基于对  
o' o' o' n' n.  
被选择象  
n'  
象  
的工入  
1
2
o' i = 12n'3  
于上的重  
i
3
选择法  
为  
I( o' ) , O' :  
那么 所选的重为  
i
n'  
3  
首先 给出性的 素  
:
I( O') =  
I( o' )  
i
( 1)  
, ,  
基于的重象  
i = 1  
I( o' ) , 3 .  
考虑们  
i
算  
; ,  
性的选择法  
3 ,  
在上中 变类  
3. 1  
要性素  
, ,  
是最包含之 再包含  
总体要  
, ,  
量个针对给  
3
现在下 个方面  
: ( 1)  
类  
( 3)  
性的重 分为  
w w w w  
3
w
≥ ≥  
2
; ( 2)  
;
包含以及  
1
2
1
w
0w + w + w = 1, ,  
那么  
2
包含量个数  
3
1
3
I( o' ) = w ( o' ) + w ( o' ) + w ( o' )  
Υ
3
( 2)  
α
β
.  
首先 考虑变的  
i
1
i
i
2
i
i
3. 3  
选择  
, , ,  
条件影响之 影响  
O  
首先 随机选择集  
,  
最小句  
O', ; O  
的重选取数  
的重的  
O' .  
象 替相同果  
o{ ,  
句  
, ,  
换后的重大于来的子那么 更新该子  
, , , ,  
条件语  
; , O .  
后 将选取上  
} .  
o i , ,  
于第 型中 那么 试  
O .  
过程 此  
( o) .  
的重α  
i
的子具有大重象  
.  
后 考虑变包含鉴  
选择算法的步下  
:
, ,  
条件或在程的重因此 影响  
1: ,  
设置算法括  
: O  
O'  
包  
条件或称为关包含关  
n
mO  
选取对  
, ,  
那么 影响越  
数  
k;  
数  
,  
因此 通过包含的重度  
2:  
O m ,  
随机选择 个对变  
分合的  
骤  

全部评论(0)

暂无评论

上传资源 上传优质资源有赏金

  • 打赏
  • 30日榜单

推荐下载