面向错误定位的变异模式挖掘和变异算子推荐

来源 :哈尔滨工业大学 | 被引量 : 0次 | 上传用户:shangxiao15
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着软件产品的日益复杂,软件故障无法避免。人工寻找软件故障会耗费大量时间与精力,且最终能否找出错误还要依赖于程序人员的经验。如果能够自动的进行错误定位,则会大大降低软件调试过程的时间与难度。基于变异分析的错误定位方法与已有的自动错误定位方法相比,拥有较高的定位精度。但由于变异算子的多样性,该方法会产生大量的变异体,变异体执行开销巨大。目前,选择变异是降低变异测试开销的重要方法,已有的选择变异方法通常是依据特定应用背景下的经验固定地选用某些变异算子,虽然能够在一定程度上降低变异测试的成本,但是由于缺少对真实错误修正模式的分析,导致所选变异算子生成的变异体不能有效地代表真实错误,降低了变异测试的有效性,更不利于定位软件错误。针对以上的这些问题,本文主要完成了以下工作:首先,从版本控制系统中挖掘大量的错误文件与对应的修正文件对,并分别为它们生成抽象语法树。然后使用Gum Tree工具比对错误文件语法树与修正文件语法树,获得错误语句及修正错误语句执行的编辑操作。其次,得到变异模式并映射到相应变异算子,构建变异算子-修正模式库。对每一类已知的变异算子,找到所有使用其进行修正的错误实例,进而获取修正错误的编辑操作,提取最大公共编辑操作作为变异模式,并映射到相应变异算子。本文还在一阶变异算子中使用频繁序列挖掘算法Prefix Span来挖掘频繁操作组成高阶变异算子。然后,使用变异算子推荐的方式来实现选择变异,先寻找与目标语相似的错误语句并获取修正错误的编辑操作,将得到的编辑操作与变异模式进行匹配来找到其中蕴含的变异算子进行推荐。最后,为了验证方法的有效性,本文使用Defects4j作为测试数据集进行了测试,验证了变异算子推荐的有效性,进一步将变异算子推荐方法应用在错误定位中,与固定的选用某些变异算子相比,本文的错误定位方法平均精度较高。此外,使用高阶变异算子来替代一阶变异算子进一步提高了错误定位的精度。
其他文献
手势作为一种人与人之间简便、直观的交互形式,随着人工智能和计算机视觉的迅速发展,对手势的识别也从过去的利用各种外界辅助设备到基于计算机视觉的研究阶段。而增强现实作
随着无线通信技术近年来迅速发展,通信服务的质量和数据传输速度不断地得到提升。安全问题依旧是无线通信理论的一个重要问题。物理层安全根据无线信道的特性,以信息论的角度
大跨度桥梁通常使用缆索承重体系,包括各种吊(系)杆拱桥、斜拉桥和悬索桥等。国内外近年来有多座桥梁的拉索(或缆索)因为耐久性不足而更换,经济损失巨大。而大跨拉吊索桥换索
写作作为一门综合性语言技能,反映了学习者综合的认知水平和思维能力。在写作学习中,学习者掌握相关的语篇知识以及衔接手段是学习者的基本要求之一。语篇衔接手段的运用,有
单向度教育是教育现代性危机的深层体现,面对这种使人的批判性、否定性与创造性逐渐消退的单向度化危机,我们有必要深入探讨如何将这种发展危机转化为发展的可能。因此,本研
计算机网络的迅速发展导致数据产生爆炸式的增长,知识图谱为这些网络上异构、海量、动态数据的表示、组织、管理和利用提供了一种高效的方式,提高了网络的智能化水平。本体是
大气中的气溶胶是造成雾霾最主要的原因之一,其中亚微米级气溶胶(PM1)的影响更为严重,一方面是由于PM1富含大量的有毒、有害物质,进入人类肺泡血液后,严重影响人体健康,另一
论文着重探讨日本女子教育家鸠山春子的女子教育思想及其实践活动,并以此为切入点,解析近代日本社会对女性“职业”的定位及内涵。文章之初对鸠山春子的个人经历进行了梳理。
网络购物作为一种新型的交易方式,为人们的生活带来了一定便利,但网络交易的相关法律问题也日益增多,其中网站标价错误引起的合同纠纷十分普遍,侵犯消费者合法权益,阻碍了电
随着仿真模型的日益复杂,仿真系统的可信度研究已经成为系统仿真的重要组成部分,其主要内容包括仿真模型的校核、验证和确认。本文将对仿真模型验证的方法进行探究,总结和创