-
题名基于遗传算法聚类的变异体约简
被引量：2
- 1
-
-
作者
曾凡平
黄玉涵
张美超
潘能刚
-
机构
中国科学技术大学计算机科学与技术学院
-
出处
《计算机应用》
CSCD
北大核心
2011年第5期1314-1317,共4页
-
文摘
对导致变异测试高代价的原因之一——测试过程中容易产生数目庞大的变异体进行了研究,提出基于遗传算法聚类的变异体约简方法。把具有相似特征的变异体置于同一簇中,再从每个簇中随机选择一个作为代表,从而实现变异体的约简。实验表明:1)该方法可在不降低构造出的测试用例集的测试充分度的前提下,约简变异体;2)与K-means算法和凝聚型层次聚类算法相比,该方法能够在自动产生合适的聚类数目的同时,具有更优的约简效果。
-
关键词
变异测试
遗传算法
聚类技术
变异体约简
-
Keywords
mutation testing
genetic algorithm
clustering technique
mutants reduction
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于SOM神经网络的二阶变异体约简方法
被引量：6
- 2
-
-
作者
宋利
刘靖
-
机构
内蒙古大学计算机学院
-
出处
《软件学报》
EI
CSCD
北大核心
2019年第5期1464-1480,共17页
-
基金
国家自然科学基金(61662051
61262017)~~
-
文摘
二阶变异测试通过向源程序中人工注入两个缺陷来模拟程序实际的复杂缺陷,在软件测试中具有重要意义.但由一阶变异体组合形成二阶变异体后数量会急剧增长,极大地增加了程序的执行开销.为了减少二阶变异体数量,降低程序的执行开销,提出一种基于SOM神经网络的二阶变异体约简方法.该方法首先采用较为全面的二阶变异体错误组合策略,对一阶变异体组合形成二阶变异体;然后,根据二阶变异体执行过程中的中间值相似性,进行基于SOM神经网络的变异体聚类.使用经典的基准程序和开源程序进行了方法的验证,实验结果表明,一方面,使用错误覆盖更为全面的组合策略能够充分模拟程序的复杂缺陷,聚类约简后,二阶变异体的个数在极大减少的同时,二阶变异充分度和一阶变异充分度更加接近,但是因为执行的二阶变异体数目明显降低,从而使得运行聚类后的二阶变异体时间开销明显比执行全部二阶变异体降低;另一方面,实验过程发现了有利于增加测试组件的隐藏二阶变异体.
-
关键词
变异测试
二阶变异体
SOM神经网络
变异体聚类
变异体约简
-
Keywords
mutation testing
second-order mutant
SOM neutral network
mutant clustering
mutant reduction
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于变异的正则表达式反例测试串生成算法
被引量：1
- 3
-
-
作者
郑黎晓
余李林
陈海明
陈祖希
骆翔宇
汪小勇
-
机构
华侨大学计算机科学与技术学院
计算机科学国家重点实验室(中国科学院软件研究所)
卡斯柯信号有限公司
-
出处
《软件学报》
EI
CSCD
北大核心
2024年第7期3355-3376,共22页
-
基金
国家自然科学基金(61872339)
福建省自然科学基金(2021J01316,2021J01320)
+2 种基金
中央高校基本科研业务费专项资金(ZQN-1010)
厦门市自然科学基金(3502Z20227191)
上海市自然科学基金(22ZR1422200)。
-
文摘
正则表达式在计算机科学的许多领域具有广泛应用.然而,由于正则表达式语法比较复杂,并且允许使用大量元字符,导致开发人员在定义和使用时容易出错.测试是保证正则表达式语义正确性的实用和有效手段,常用的方法是根据被测表达式生成一些字符串,并检查它们是否符合预期.现有的测试数据生成大多只关注正例串,而研究表明,实际开发中存在的错误大部分在于定义的语言比预期语言小,这类错误只能通过反例串才能发现.研究基于变异的正则表达式反例测试串生成.首先通过变异向被测表达式中注入缺陷得到一组变异体,然后在被测表达式所定义语言的补集中选取反例字符串揭示相应变异体所模拟的错误.为了能够模拟复杂缺陷类型,以及避免出现变异体特化而无法获得反例串的问题,引入二阶变异机制.同时采取冗余变异体消除、变异算子选择等优化技术对变异体进行约简,从而控制最终生成的测试集规模.实验结果表明,与已有工具相比,所提算法生成的反例测试串规模适中,并且具有较强的揭示错误能力.
-
关键词
正则表达式
正则语言
字符串生成
变异测试
变异体约简
-
Keywords
regular expression
regular language
string generation
mutation testing
mutant reduction
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于统计占优分析的变异测试
被引量：7
- 4
-
-
作者
张功杰
巩敦卫
姚香娟
-
机构
中国矿业大学计算机科学与技术学院
江苏师范大学计算机科学与技术学院
中国矿业大学信息与电气工程学院
中国矿业大学理学院
-
出处
《软件学报》
EI
CSCD
北大核心
2015年第10期2504-2520,共17页
-
基金
国家自然科学基金(61375067
61203304)
+1 种基金
江苏省自然科学基金(BK2012566)
中央高校基本科研业务专项基金(2012QNA41)
-
文摘
为数众多的变异体产生的高昂测试代价严重影响了变异测试技术在实际程序中的应用.为了大幅度减少弱变异测试中变异体的数量,提出基于统计占优分析的变异体约简方法.该方法首先利用变异前后的语句构造变异分支,并将所有变异分支集成到原程序中,形成新的被测程序;然后,通过统计测试用例对各个变异分支的覆盖信息,确定变异分支之间的占优关系;最后得到非被占优分支集,其对应的变异体就是约简后的变异体.将该方法用于8个程序的测试,结果表明:该方法能够约简平均90%的变异体,从而显著提高了变异测试的效率.
-
关键词
软件测试
变异测试
变异体约简
占优关系
统计占优分析
-
Keywords
software testing
mutation testing
mutant reduction
dominance relation
statistical dominance analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于语句重要度的变异测试对象选择方法
被引量：2
- 5
-
-
作者
巩敦卫
秦备
田甜
-
机构
中国矿业大学信息与电气工程学院
兰州理工大学电气工程与信息工程学院
山东建筑大学计算机科学与技术学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2017年第6期1518-1522,共5页
-
基金
国家973重点基础研究发展计划(No.2014CB046306-2)
国家自然科学基金(No.61375067
No.61503220)
-
文摘
本文基于语句重要度,提出一种新的变异测试对象选择方法,以减少变异体的数量.首先,给出反映变异测试对象重要性的3个因素;然后,基于这些因素的重要性,建立评价所选测试对象重要性的指标;最后,基于这些指标的值,选出重要度高的语句作为变异测试对象.将所提方法应用于8个基准和工业程序的变异测试,实验结果表明,所提方法在维持很高变异测试充分度的同时,显著提高了变异测试的效率.
-
关键词
软件测试
变异测试
变异体约简
测试对象选择
重要语句
-
Keywords
software testing
mutation testing
mutant reduction
test object selection
important statement
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于程序变异的程序谱错误定位方法
被引量：1
- 6
-
-
作者
王曙燕
林敬
孙家泽
-
机构
西安邮电大学计算机学院
-
出处
《计算机应用研究》
CSCD
北大核心
2021年第5期1487-1490,1497,共5页
-
基金
陕西省重点研发计划资助项目(2020GY-010)
西安市科技计划资助项目(2019218114GXRC017CG018-GXYD17.10)。
-
文摘
针对基于程序谱错误定位方法完全依赖于测试用例的语句覆盖信息导致错误定位效率低下的问题,提出了一种基于变异测试技术的程序谱错误定位方法。在原有语句怀疑度计算方法的基础上,增加了程序变异后执行结果与原程序执行结果不同的测试用例变化情况的分析。此外,为解决程序变异后产生的变异体数量巨大而导致执行代价过大的问题,提出了根据变异位置约简变异体的策略。实验结果表明,与几种基于程序谱的程序错误定位方法相比,该方法的错误定位代价最低,能有效提高错误定位的效率。
-
关键词
错误定位
变异测试
测试用例
怀疑度计算公式
变异体约简
-
Keywords
fault location
mutation testing
test case
doubt degree calculation formula
mutation reduction
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
