TA的每日心情 | 怒
2019-11-20 15:22 |
|---|
签到天数: 2 天 [LV.1]初来乍到
|
EDA365欢迎您登录！
您需要 登录 才可以下载或查看，没有帐号？注册
x
一种变异测试中冗余变异体的寻找方法 7 y4 Q; N; d7 x ?/ m+ {! ~/ V
摘要:变异测试是一种有效的基于故障的测试方法,但大量冗余变异体所带来的昂贵的测试成本问题,阻碍了它在实际工程开发中的应用.为解决该问题,本文针对程序中的顺序语句所产生的变异体,基于故障的可达-感染-传播模型,提出了使用区间抽象域来表示程序状态,通过区间运算判断变异体之间冗余关系的算法;针对程序中的条件语句,基于谓词故障层级,分别给出了面向简单谓词和复合谓词的冗余变异体选择算法.并对这两种算法对冗余变异体的判定效果进行了分析，最后给出了在分层抽样背景下,非冗余变异体生成的约束边界条件.对 Siemens和开源项目等共8个工程进行了实验,并与随机选择法进行了对比.结果表明,本文所提方法在减少变异测试时间成本的同时,可以保持较高的变异得分.2 A9 F. l8 P t4 A! K5 F8 M; p
关键词:变异测试;变异算子;冗余变异体;变异成本;变异体约减
. M; m3 n3 `; v1 m t; I u7 G0 n( _6 A+ d2 \6 [
8 ]( R# E* m2 u4 ]% m
/ p9 ]+ v! e- ]" P |
|
/1 
发表于 2021-9-8 15:15
收藏
淘帖
支持！
反对！