期刊文献+
共找到55篇文章
< 1 2 3 >
每页显示 20 50 100
基于SOM神经网络的二阶变异体约简方法 预览
1
作者 宋利 刘靖 《软件学报》 EI CSCD 北大核心 2019年第5期1464-1480,共17页
二阶变异测试通过向源程序中人工注入两个缺陷来模拟程序实际的复杂缺陷,在软件测试中具有重要意义.但由一阶变异体组合形成二阶变异体后数量会急剧增长,极大地增加了程序的执行开销.为了减少二阶变异体数量,降低程序的执行开销,提出一... 二阶变异测试通过向源程序中人工注入两个缺陷来模拟程序实际的复杂缺陷,在软件测试中具有重要意义.但由一阶变异体组合形成二阶变异体后数量会急剧增长,极大地增加了程序的执行开销.为了减少二阶变异体数量,降低程序的执行开销,提出一种基于SOM神经网络的二阶变异体约简方法.该方法首先采用较为全面的二阶变异体错误组合策略,对一阶变异体组合形成二阶变异体;然后,根据二阶变异体执行过程中的中间值相似性,进行基于SOM神经网络的变异体聚类.使用经典的基准程序和开源程序进行了方法的验证,实验结果表明,一方面,使用错误覆盖更为全面的组合策略能够充分模拟程序的复杂缺陷,聚类约简后,二阶变异体的个数在极大减少的同时,二阶变异充分度和一阶变异充分度更加接近,但是因为执行的二阶变异体数目明显降低,从而使得运行聚类后的二阶变异体时间开销明显比执行全部二阶变异体降低;另一方面,实验过程发现了有利于增加测试组件的隐藏二阶变异体. 展开更多
关键词 变异测试 二阶变异 SOM神经网络 变异体聚类 变异体约简
在线阅读 下载PDF
一种基于数据流分析的冗余变异体识别方法 预览
2
作者 孙昌爱 郭新玲 +1 位作者 张翔宇 陈宗岳 《计算机学报》 EI CSCD 北大核心 2019年第1期44-60,共17页
变异测试是一种基于故障的软件测试技术,广泛用来评估测试用例集的充分性与软件测试技术的有效性.尽管变异测试具有较强的故障检测能力,但由于数量庞大的变异体导致了计算开销大的问题,阻碍了变异测试在实践中的广泛应用.为了增强变异... 变异测试是一种基于故障的软件测试技术,广泛用来评估测试用例集的充分性与软件测试技术的有效性.尽管变异测试具有较强的故障检测能力,但由于数量庞大的变异体导致了计算开销大的问题,阻碍了变异测试在实践中的广泛应用.为了增强变异测试的实用性,该文从减少变异体数量和缩短变异测试执行时间的角度出发研究变异测试的优化技术,提出冗余变异体的概念和一种基于数据流分析的冗余变异体识别方法.采用11个C程序以经验研究的方式评估了所提冗余变异体识别方法的可行性与有效性.实验结果表明,该文提出的冗余变异体识别方法不仅可以识别出大量的冗余变异体,有效地减少了变异测试执行时间,还提供了一种评价变异算子质量的方法.该文提出的冗余变异体概念及其识别方法可以有效地提高变异测试的效率,并为资源受限的情况下如何选择变异算子进行变异测试提供了指导方针. 展开更多
关键词 软件测试 变异测试 冗余变异 数据流分析 变异优化
在线阅读 下载PDF
面向WS-BPEL程序的变异测试优化技术 预览
3
作者 孙昌爱 王真 潘琳 《计算机研究与发展》 EI CSCD 北大核心 2019年第4期895-905,共11页
WS-BPEL(business process execution language for Web service)是一种基于XML的、面向过程的可执行服务组装语言.由于Web服务的动态性、松耦合特性、部署与运行于开放的网络环境,如何保证WS-BPEL程序的可靠性尤显重要.尽管变异测试具... WS-BPEL(business process execution language for Web service)是一种基于XML的、面向过程的可执行服务组装语言.由于Web服务的动态性、松耦合特性、部署与运行于开放的网络环境,如何保证WS-BPEL程序的可靠性尤显重要.尽管变异测试具有较强的故障检测能力,但由于变异体数量大、执行时间长、计算开销大,不利于在实践中广泛应用.为了增强变异测试的实用性,针对如何降低面向WS-BPEL程序的变异测试开销问题,从二阶变异和变异算子优先级角度提出了2种面向WS-BPEL程序的变异测试优化技术,开发了相应的集成化支持工具μBPEL.使用6个WS-BPEL程序实例对提出的优化技术的有效性进行验证.实验结果表明:提出的优化技术可以有效地减少变异体数目而并不显著降低变异测试有效性,提高了变异测试的效率. 展开更多
关键词 WS-BPEL语言 变异测试 性能优化 二阶变异测试 变异算子优先级
在线阅读 下载PDF
基于变异测试的错误定位研究进展 预览
4
作者 姚毅文 姜淑娟 薄莉莉 《计算机工程与应用》 CSCD 北大核心 2019年第20期1-12,共12页
随着软件规模和复杂度的不断提高,软件的质量问题成为了关注的焦点,如何高效地找出软件中的错误成为一个亟需解决的问题。错误定位是软件质量保证的重要途径之一,近年来已经成为软件工程中一个非常重要的研究课题。基于变异测试的错误... 随着软件规模和复杂度的不断提高,软件的质量问题成为了关注的焦点,如何高效地找出软件中的错误成为一个亟需解决的问题。错误定位是软件质量保证的重要途径之一,近年来已经成为软件工程中一个非常重要的研究课题。基于变异测试的错误定位通过比较原程序和对应变异体的差异来计算每条语句的怀疑度,再由怀疑度大小进行排序,程序员根据排序逐个检查找出错误语句。汇总近7 年(2012-2018)国内外的基于变异测试的错误定位技术的研究成果,介绍了错误定位的基本方法,介绍基于变异测试的错误定位思想,从变异算子、变异体及等价变异体3个方面对已有的研究工作进行分类归纳和总结,探讨了基于变异测试的错误定位未来可能的研究方向、机遇和挑战。 展开更多
关键词 变异测试 变异算子 等价变异 错误定位
在线阅读 下载PDF
一种针对Java程序的充分变异算子集 预览
5
作者 杜畇岐 潘娅 甘佳 《西南科技大学学报》 CAS 2018年第3期69-75,共7页
为减少变异测试中生成变异体的数量,可用一个较小的充分变异算子子集替换原本的全集,针对Java程序,选择Mu Java工具中的19个常用类级别变异算子来研究应用变异算子子集对生成变异体数量和变异得分的影响。实验结果表明,5个变异算子AOIU,... 为减少变异测试中生成变异体的数量,可用一个较小的充分变异算子子集替换原本的全集,针对Java程序,选择Mu Java工具中的19个常用类级别变异算子来研究应用变异算子子集对生成变异体数量和变异得分的影响。实验结果表明,5个变异算子AOIU,AOIS,ROR,AORS,AORB组成的子集,能够在平均变异得分95.01的情况下,减少1~2倍数量的变异体。在Java类级别的变异测试中,使用上述变异算子子集替代全集能够降低变异测试的开销。 展开更多
关键词 变异测试 变异 充分变异算子集 变异得分
在线阅读 下载PDF
基于变异点的选择性变异测试 预览
6
作者 刘海陆 《现代计算机:上下旬》 2018年第5期29-32,36共5页
变异测试是一种基于错误的软件测试方法,相对于路径分析等其他测试技术,能够更为有效地发现软件错误,但由于变异体的数量巨大,极大地提高了测试成本,严重制约变异测试的广泛应用。因此,提出一种基于变异点的选择性变异测试方法,... 变异测试是一种基于错误的软件测试方法,相对于路径分析等其他测试技术,能够更为有效地发现软件错误,但由于变异体的数量巨大,极大地提高了测试成本,严重制约变异测试的广泛应用。因此,提出一种基于变异点的选择性变异测试方法,通过分析变异体之间的冗余关系,发现非冗余变异体通常出现在条件和循环等关键语句,仅对控制语句进行变异,能够降低45.02%的测试成本,仅牺牲7.93%的测试有效性。另外提出一种更为有效的变异测试评估方法。 展开更多
关键词 变异测试 选择性变异 变异 测试有效性
在线阅读 免费下载
基于模型检测技术的变异测试用例生成方法 预览
7
作者 杨红 洪玫 屈媛媛 《计算机科学》 CSCD 北大核心 2018年第B11期488-493,共6页
为了进行基于模型的软件测试变异分析,文中提出了一种基于模型检测的变异测试用例生成方法。基于模型检测工具UPPAAL的形式化分析与测试框架,首先用符合规范的时间自动机模型描述被测系统;然后基于时间自动机模型的基本结构和语法,对系... 为了进行基于模型的软件测试变异分析,文中提出了一种基于模型检测的变异测试用例生成方法。基于模型检测工具UPPAAL的形式化分析与测试框架,首先用符合规范的时间自动机模型描述被测系统;然后基于时间自动机模型的基本结构和语法,对系统模型进行一组变异操作,并模拟实现时可能出现的一些错误;对变异后的模型分别使用UPPAAL Yggdrasil工具,生成一组能覆盖变异区域的测试用例;在系统变异模型上执行生成的测试用例,根据测试执行结果(是否能“杀死”变异体)筛选出一组有效的测试用例。通过实例验证,所提方案生成的测试用例是有效的,且测试用例集变异分数优于现有的基于状态机复制的变异测试用例自动生成方法和基于模型中变换覆盖的变异测试用例生成方法。 展开更多
关键词 变异测试 变异测试用例 测试用例生成 模型检测 时间自动机
在线阅读 免费下载
一种结合数据流约束的变异测试用例生成方法 预览
8
作者 杜小智 强倩瑶 黄琳婷 《软件工程与应用》 2018年第2期99-109,共11页
变异测试是一种高效的软件测试方法。作为发现故障和发现测试用例缺陷的一种手段,测试用例生成方法至关重要。如果测试用例能有效地生成并获得较高的变异评分,则有助于变异测试的广泛应用。目前大部分变异测试用例生成方法都是通过分析... 变异测试是一种高效的软件测试方法。作为发现故障和发现测试用例缺陷的一种手段,测试用例生成方法至关重要。如果测试用例能有效地生成并获得较高的变异评分,则有助于变异测试的广泛应用。目前大部分变异测试用例生成方法都是通过分析控制流图,仅使用语句间的控制流约束指导用例的生成,而未考虑语句间数据流约束的影响。本文提出一种结合数据流约束的变异测试用例生成方法,首先,将控制流约束和数据流约束二者结合对适应度函数进行建模;其次,将该模型应用于遗传算法指导测试用例的进化和选择。实验表明,与HGA相比,本方法在生成同样规模的测试集时平均迭代次数减少了60.5%;并且生成的测试用例获得的变异评分比随机方法平均高出了27.9%,表现出了更优的错误检测能力。 展开更多
关键词 变异测试 测试用例生成 适应度函数 变异评分
在线阅读 下载PDF
基于Markov模型的Web服务软件测试用例生成 预览
9
作者 申珅 党向盈 《电脑知识与技术:学术交流》 2018年第10期265-267,共3页
软件测试是保证Web服务软件质量的重要技术之一。变异测试是一种面向缺陷的测试技术,变异测试用例生成效率将影响Web服务测试的效率和成本。该文针对Web服务软件,基于Markov模型高效生成变异测试用例。首先,随机生成一定样本容量的测试... 软件测试是保证Web服务软件质量的重要技术之一。变异测试是一种面向缺陷的测试技术,变异测试用例生成效率将影响Web服务测试的效率和成本。该文针对Web服务软件,基于Markov模型高效生成变异测试用例。首先,随机生成一定样本容量的测试数据,针对每一个合约变异体,基于弱变异测试准则,执行Web服务方法及其变异体,根据合约变异预言来判断变异体是否被杀死;然后基于Markov链预测模型,计算变异体之间的关联度;再根据变异体之间关联度,生成变异体序列,即与其他变异体关联度大的变异体排在序列的前面;最后,采用遗传算法,依次序列顺序,生成杀死合约变异体的测试用例。 展开更多
关键词 MARKOV模型 Web服务软件 测试用例生成 变异测试
在线阅读 下载PDF
一种变异测试中冗余变异体的寻找方法 预览
10
作者 钱茛南 王雅文 +1 位作者 宫云战 孟凡荣 《电子学报》 CSCD 北大核心 2017年第8期1970-1975,共6页
变异测试是一种有效的基于故障的测试方法,但大量冗余变异体所带来的昂贵的测试成本问题,阻碍了它在实际工程开发中的应用.为解决该问题,本文针对程序中的顺序语句所产生的变异体,基于故障的可达-感染-传播模型,提出了使用区间抽象域来... 变异测试是一种有效的基于故障的测试方法,但大量冗余变异体所带来的昂贵的测试成本问题,阻碍了它在实际工程开发中的应用.为解决该问题,本文针对程序中的顺序语句所产生的变异体,基于故障的可达-感染-传播模型,提出了使用区间抽象域来表示程序状态,通过区间运算判断变异体之间冗余关系的算法;针对程序中的条件语句,基于谓词故障层级,分别给出了面向简单谓词和复合谓词的冗余变异体选择算法.并对这两种算法对冗余变异体的判定效果进行了分析,最后给出了在分层抽样背景下,非冗余变异体生成的约束边界条件.对Siemens和开源项目等共8个工程进行了实验,并与随机选择法进行了对比.结果表明,本文所提方法在减少变异测试时间成本的同时,可以保持较高的变异得分. 展开更多
关键词 变异测试 变异算子 冗余变异 变异成本 变异体约减
在线阅读 下载PDF
等价变异体的弱变异分析方法 预览
11
作者 张功杰 谢春丽 《计算机工程与应用》 CSCD 北大核心 2017年第12期21-24,30共5页
变异测试通过执行变异体评价给定测试用例集的质量。然而,一定比例的等价变异体,不仅增加变异测试成本,也影响测试用例评价结果的准确性。鉴于此,提出基于弱变异分析的方法,以有效检测等价变异体。所提方法将变异前后语句组合为条... 变异测试通过执行变异体评价给定测试用例集的质量。然而,一定比例的等价变异体,不仅增加变异测试成本,也影响测试用例评价结果的准确性。鉴于此,提出基于弱变异分析的方法,以有效检测等价变异体。所提方法将变异前后语句组合为条件语句,以反映杀死变异体的必要性条件,并构造变异分支;将所有变异分支集成到原程序中;通过分析变异分支的可满足性,判定等价变异体。将所提方法用于6个程序的实验,结果表明,所提方法能够有效检测等价变异体。 展开更多
关键词 变异测试 变异测试 等价变异 变异分支
在线阅读 下载PDF
基于语句重要度的变异测试对象选择方法 预览 被引量:1
12
作者 巩敦卫 秦备 田甜 《电子学报》 CSCD 北大核心 2017年第6期1518-1522,共5页
本文基于语句重要度,提出一种新的变异测试对象选择方法,以减少变异体的数量.首先,给出反映变异测试对象重要性的3个因素;然后,基于这些因素的重要性,建立评价所选测试对象重要性的指标;最后,基于这些指标的值,选出重要度高的语句作为... 本文基于语句重要度,提出一种新的变异测试对象选择方法,以减少变异体的数量.首先,给出反映变异测试对象重要性的3个因素;然后,基于这些因素的重要性,建立评价所选测试对象重要性的指标;最后,基于这些指标的值,选出重要度高的语句作为变异测试对象.将所提方法应用于8个基准和工业程序的变异测试,实验结果表明,所提方法在维持很高变异测试充分度的同时,显著提高了变异测试的效率. 展开更多
关键词 软件测试 变异测试 变异体约简 测试对象选择 重要语句
在线阅读 下载PDF
针对JavaScript浏览器兼容性的变异测试方法 预览 被引量:3
13
作者 程勇 秦丹 杨光 《计算机应用》 CSCD 北大核心 2017年第4期1143-1148,1173共7页
针对JavaScript浏览器兼容性问题缺乏有效的测试方法的问题,基于变异测试技术,对Web应用程序中的JavaScript语言在主流浏览器中的兼容性进行了分析,设计了18个针对浏览器兼容性错误的变异算子并开发了自动化的测试工具Compatibility Mut... 针对JavaScript浏览器兼容性问题缺乏有效的测试方法的问题,基于变异测试技术,对Web应用程序中的JavaScript语言在主流浏览器中的兼容性进行了分析,设计了18个针对浏览器兼容性错误的变异算子并开发了自动化的测试工具Compatibility Mutator。该程序使用抽象语法树(AST)分析JavaScript语法,使用Selenium WebDriver自动调用多个浏览器核心并行执行变异测试。通过对7个广泛使用的JavaScript框架的实验,验证了此方法对每一个框架都能够生成一定数量的变异体,其中对j Query和YUI框架的变异测试的变异得分分别为43.06%和7.69%,表明了所设计的变异算子能够触发浏览器兼容性方面的错误,并且能够评估测试用例集的完备性。 展开更多
关键词 变异测试 JAVASCRIPT 兼容性 变异算子 测试工具
在线阅读 下载PDF
基于改进粒子群算法的变异体选择优化 预览 被引量:5
14
作者 王曙燕 杨悦 孙家泽 《计算机应用研究》 CSCD 北大核心 2017年第3期752-755,共4页
变异测试是常用的测试方法之一,变异测试分析的过程中计算开销会比较大,问题主要集中于测试过程中会产生大量的变异体。为了减少变异体的数量,提出用标准粒子群聚类算法进行选择优化,但标准粒子群算法在被测数据量增加到一定数量的时候... 变异测试是常用的测试方法之一,变异测试分析的过程中计算开销会比较大,问题主要集中于测试过程中会产生大量的变异体。为了减少变异体的数量,提出用标准粒子群聚类算法进行选择优化,但标准粒子群算法在被测数据量增加到一定数量的时候,它的迭代次数就会增加、收敛速度就会下降。针对以上问题提出基于改进的粒子群算法对变异体进行选择优化。通过对变异体集合进行聚类分区,增强变异体集合的多态性,从而对粒子群算法进行改进优化。实验结果表明,在不影响测试充分度的前提下,使变异体的数量大幅度减少,同时与K-means算法以及标准粒子群算法相比之下,改进后的方法具有更好的优化效果。 展开更多
关键词 软件测试 变异测试 变异体选择优化 粒子群优化算法
在线阅读 下载PDF
基于缺陷检测难度的测试用例检错能力模型
15
作者 谭立力 王雅文 +1 位作者 邢颖 王前 《北京邮电大学学报》 CSCD 北大核心 2017年第5期67-74,共8页
在经典的变异评分计算过程中,因为不考虑被播种软件缺陷的检测难度而使得变异评分的可信性受到质疑.因此提出一种基于缺陷检测难度评价测试用例集合的方法.以logistic回归为基础,利用经验回归方程建立缺陷的识别概率与缺陷检测难度之间... 在经典的变异评分计算过程中,因为不考虑被播种软件缺陷的检测难度而使得变异评分的可信性受到质疑.因此提出一种基于缺陷检测难度评价测试用例集合的方法.以logistic回归为基础,利用经验回归方程建立缺陷的识别概率与缺陷检测难度之间的数量关系.借助关系曲线下的面积,变异评分被重新定义.新定义的变异评分不但不受缺陷样本的检测难度影响,而且规避了因等价变异体的出现而使得经典变异评分的计算不准确的问题. 展开更多
关键词 软件可测试 变异测试 随机测试用例生成 LOGISTIC回归
运用变异测试的并行程序测试用例最小化算法 预览
16
作者 郑炜 冯晨 +2 位作者 吴潇雪 黄月明 方靓芸 《计算机科学》 CSCD 北大核心 2017年第11期109-113,共5页
在并行程序测试中,测试输入和线程交互时序是影响并行错误检测的两个关键因素。以缩减并行错误检测的输入空间为目标,给出一种基于变异测试的测试用例最小化算法。首先对并行程序进行研究,选取与并行错误密切相关的9个变异算子,并以此... 在并行程序测试中,测试输入和线程交互时序是影响并行错误检测的两个关键因素。以缩减并行错误检测的输入空间为目标,给出一种基于变异测试的测试用例最小化算法。首先对并行程序进行研究,选取与并行错误密切相关的9个变异算子,并以此为基础为待测程序生成多种变异体;采用JPF作为线程调度工具来执行测试用例,根据变异评分与平均时间成本对测试用例进行排序,在优化后的测试用例集中选取检测能力不重复的测试用例,从而得到面向并行错误检测的最小测试用例集。实验结果证明,该方法能有效减小测试用例集的规模,并大幅缩短运行时间,从而提高了并行程序的测试效率。 展开更多
关键词 并行程序 变异测试 测试用例优化 测试用例最小化
在线阅读 免费下载
面向对象程序蜕变关系构造方法 预览 被引量:1
17
作者 张兴隆 于磊 +1 位作者 侯雪梅 侯韶凡 《计算机科学》 CSCD 北大核心 2017年第B11期485-489,515共6页
针对面向对象软件类级测试中蜕变关系构造不充分的问题,提出一种由错误类型指导面向对象程序蜕变关系构造的方法。首先分析类方法中包含的基本操作,根据错误发生位置和作用效果将错误分成3类;其次按照执行效果的不同将类中方法分成两类... 针对面向对象软件类级测试中蜕变关系构造不充分的问题,提出一种由错误类型指导面向对象程序蜕变关系构造的方法。首先分析类方法中包含的基本操作,根据错误发生位置和作用效果将错误分成3类;其次按照执行效果的不同将类中方法分成两类;再针对错误类型对每个方法分别构造蜕变关系;最后通过Rectangle类的实验对比该方法与其他方法。实验证明提出的由错误类型指导蜕变关系构造的方法的检错率有所提高,并且有助于错误定位。 展开更多
关键词 软件测试 蜕变测试 蜕变关系 变异测试
在线阅读 免费下载
基于差异度分析的蜕变关系选取方法 预览
18
作者 张兴隆 于磊 +2 位作者 侯雪梅 李志博 李刚 《计算机工程与设计》 北大核心 2017年第1期103-109,共7页
针对如何选取检错能力优良蜕变关系的问题,提出一种基于差异度分析的蜕变关系选取方法。从程序结构出发,分析每条蜕变关系能达到的路径对,利用路径覆盖距离度量蜕变关系中路径对之间的差异度,对于输入为多元组的程序还须考虑蜕变关系中... 针对如何选取检错能力优良蜕变关系的问题,提出一种基于差异度分析的蜕变关系选取方法。从程序结构出发,分析每条蜕变关系能达到的路径对,利用路径覆盖距离度量蜕变关系中路径对之间的差异度,对于输入为多元组的程序还须考虑蜕变关系中参数间差异对蜕变关系检错率的影响,得出每条蜕变关系差异度值。通过多个不同类型实验对该方法进行验证,实验结果表明,蜕变关系差异度值越大的蜕变关系检错能力越强,验证了该方法的正确性。 展开更多
关键词 软件测试 蜕变测试 蜕变关系 变异测试 差异度分析
在线阅读 下载PDF
基于变异测试的RESTful Web服务测试数据优化生成方法 预览 被引量:2
19
作者 刘靖 陈文杰 《东南大学学报:自然科学版》 CSCD 北大核心 2017年第3期472-477,共6页
为提升基于REST的Web服务系统测试数据生成效率及可用性,提出了一种基于变异测试的测试数据优化生成方法.将RESTfulWeb服务对应的Web应用描述语言(WADL)增加数据类型约束,并利用该约束生成初始测试数据.对约束关系进行变异生成变异... 为提升基于REST的Web服务系统测试数据生成效率及可用性,提出了一种基于变异测试的测试数据优化生成方法.将RESTfulWeb服务对应的Web应用描述语言(WADL)增加数据类型约束,并利用该约束生成初始测试数据.对约束关系进行变异生成变异体,在消除等价变异体并利用聚类实现变异体集约简的基础上,结合贪心算法优化筛选初始测试数据,生成无冗佘的RESTfulWeb服务可用测试数据集.基于Hadoop平台技术,实现了针对RESTfulWeb服务系统测试数据自动生成的支撑软件.测试执行结果表明,在有效保证测试数据可用且无冗佘的基础上,极大缩减了测试数据集规模和测试数据生成时间,完成了针对RESTfulWeb服务系统的自动化测试数据优化生成,提升了测试生成效率. 展开更多
关键词 测试数据生成 RESTfulWeb服务 WADL 变异测试
在线阅读 下载PDF
基于统计分析的弱变异测试可执行路径生成 预览
20
作者 党向盈 巩敦卫 姚香娟 《计算机学报》 EI CSCD 北大核心 2016年第11期2355-2371,共17页
变异测试是一种面向缺陷的软件测试技术,然而高昂的测试代价,影响了其在实际程序测试的应用.Papadakis等人将某一程序的弱变异测试问题,转化为另一程序的变异语句真分支覆盖问题,以期采用已有的分支覆盖方法,生成变异测试数据.但是,上... 变异测试是一种面向缺陷的软件测试技术,然而高昂的测试代价,影响了其在实际程序测试的应用.Papadakis等人将某一程序的弱变异测试问题,转化为另一程序的变异语句真分支覆盖问题,以期采用已有的分支覆盖方法,生成变异测试数据.但是,上述方法使得转化后程序包含大量的变异分支,增加了分支覆盖测试数据生成的难度.如果采用合适的方法,约简转化后程序中包含的变异分支,并依所属的路径,对约简之后的变异分支分组,那么,将能够利用已有的路径覆盖测试方法,生成高质量的变异测试数据,从而提高弱变异测试的效率.但是,如何基于某一程序和变异体,生成可执行路径,至今缺乏有效的方法.鉴于此,文中通过考察变异语句真分支之间的相关性,提出了一种用于弱变异测试的可执行路径生成方法,使得覆盖这些路径的测试数据,能够杀死所有的变异体.该方法首先考察变异语句真分支之间的占优关系,约简被占优的变异分支,从而减少变异分支的数量;然后,将非被占优的变异分支插人到该程序,转化为另一被测程序,并基于转化之后的程序,考察同一语句形成的多个变异分支的相关性;通过组合相关变异分支,形成新的变异语句真分支;接着,利用被测语句与新变异语句真分支的相关性,生成包含新变异语句真分支和被测语句的可执行子路径;最后,采用统计分析,基于子路径之间的执行关系,构建并约简相关矩阵,将相关的子路径组合,生成一条或多条可执行路径.将所提方法应用于9 个基准和工业程序测试中,并与传统方法进行了比较.实验结果表明,所提方法生成了为数较少的可执行路径,且运行时间短;更重要的是,这些可执行路径能够覆盖所有的变异分支.此外,所提方法涉及的样本容量,对生成的可执行路径数有一定的影响,但对程序的运行时间影响较小. 展开更多
关键词 变异测试 变异测试 变异分支 路径覆盖 可执行路径
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部 意见反馈