【摘 要】
:
随着软件行业的快速发展和软件规模的持续扩大,依靠人工进行错误定位耗时耗力,已经不能满足现今软件开发需求。为了降低软件错误检测开销,提高开发效率,近年来提出自动化错误定位技术以及相关研究,基于变异的错误定位(Mutation-Based Fault Localization,MBFL)是一种被广泛研究的自动化错误定位技术,但主要基于程序一阶变异开展研究。由于一阶变异仅适用于单错误情况,而在真实场景下
论文部分内容阅读
随着软件行业的快速发展和软件规模的持续扩大,依靠人工进行错误定位耗时耗力,已经不能满足现今软件开发需求。为了降低软件错误检测开销,提高开发效率,近年来提出自动化错误定位技术以及相关研究,基于变异的错误定位(Mutation-Based Fault Localization,MBFL)是一种被广泛研究的自动化错误定位技术,但主要基于程序一阶变异开展研究。由于一阶变异仅适用于单错误情况,而在真实场景下,程序中的错误多为复杂错误,所以基于一阶变异的错误定位技术在真实错误程序中的定位精度相对不高。高阶变异是指在程序中多个位置同时做出修改,相比一阶变异可更好地模拟真实场景下的错误。但高阶变异体的数量随阶数增加呈指数增长,巨大数量的变异体带来的巨大执行成本是高阶变异错误定位所面临的挑战,找到有效的高阶变异体集合是研究的重点和难点。本文基于高阶变异错误定位技术展开研究,首先对高阶变异体生成和语句怀疑度计算分别提出优化方法,并进一步结合高阶变异和搜索算法,提出一种基于搜索的高阶变异错误定位技术。在对高阶变异错误定位进行优化研究时,针对全集高阶变异体数量巨大且无效变异体占比高的问题,本文提出一种基于语句出错概率计算语句变异权重的方法,可显著减少在正确语句上生成变异体的数量。同时,本文提出一种基于最大值频次的语句怀疑度计算方法,改善语句怀疑度计算。实验结果表明,经过优化的高阶变异错误定位技术可以仅生成全集8.73%的高阶变异体,同时保持定位精度优于一阶变异错误定位技术。本文进一步结合多目标优化遗传算法筛选有效高阶变异体,提出一种基于搜索的高阶变异错误定位方法。通过设计合理的高阶变异体基因编码方式,构造多目标函数引导搜索方向,该方法可搜索有利于提高定位精度的高阶变异体。通过实验结果分析发现,使用搜索方法得到的高阶变异体集合,在保持与一阶变异体数量级相同的情况下,具有更高的错误定位精度。本文同时介绍了基于高阶变异的错误定位工具的原型设计,展示了高阶变异进行错误定位技术的具体实现步骤和算法,使本文研究的技术从理论研究进一步拓展到实际应用。
其他文献
臭氧正逐步成为我国空气污染首要“杀手”,研究高效臭氧降解的催化剂材料是解决臭氧污染的重要一环。锰基层状双金属氢氧化物(Mn-LDH)其层板上具有丰富的活性羟基,为臭氧降解提供大量的活性位点,因此在臭氧降解中有着良好的应用前景。然而,粉体催化剂材料容易流失和回收困难的缺点使得臭氧降解催化剂在应用过程中遇到极大的阻碍。水滑石负载型纤维膜材料作为一种新颖的催化剂其开孔结构,较大的比表面积能够充分暴露催化
对研究对象进行快速、实时且有效的无损检测在食品、农业等众多领域中都有重要意义,一般检测方式有感官检测、精密仪器检测等,感官检测易受个人等外界环境的影响存在一定的不公平性,而使用精密仪器虽然可以进行公平有效的检测,但检测过程繁复且费用很高。这些都无法满足快速、实时等的监测目标。电子鼻技术是自上世纪90年代出现的一种新型的用于对复杂气体进行检测的技术。电子鼻是通过模拟生物体气味识别系统而制造出来的一种
遥感图像目标检测作为遥感图像重要的应用领域以及研究方向,已经被广泛应用于资源勘探、自然灾害应急、国防军工等领域。遥感技术的飞速发展为遥感目标检测与识别提供了丰富的数据资源。近年来,深度学习方法在目标检测领域得到了广泛的应用,并且推动了目标检测方法的发展。由于遥感图像往往含有大量小目标,小目标的面积较小,包含的信息更少,因此,检测小目标是遥感图像目标检测任务的一个难点。目前已提出的遥感图像目标检测方
4-烷基酚是一类重要的有机化合物,在许多药物分子以及生物活性物质中都存在这种结构。然而,目前获取烷基酚的方法主要是通过酚的C-H烷基化,这需要依托于经典的Friedel–Crafts烷基化反应,一般需要特意控制底物的反应位点,在实际使用过程中限制较大;或者使用卤代苯酚进行过渡金属催化的偶联反应,这常需要使用保护的苯酚作为底物。通过脱氧的方法来获得烷基化合物是一种有效的策略。由于酚类的广泛分布,该方
教育、科技、人才是全面建设社会主义现代化国家的基础性、战略性支撑,高校学生资助工作是优化教育资源的重要手段,资助育人与中国式现代化的要求紧密对接。高校学生资助工作应契合中国式现代化的发展需求,破除资助认定不够精准、帮扶不够全面、管理体系不够完善的现实困境,明确发展的逻辑进路,进一步强调以人为本,持续坚持精准扶贫,更加注重精神帮扶,促进学生全面发展,并完成从救济到成长、从单一到协同、从人工到智能、从
行人重识别是计算机视觉领域中图像识别与检索的分支,即给定一个探测行人图像,在图像库中搜索跨镜头模式下包含的同一身份行人的图像。随着该技术在公共安全、智能设备、监控等领域的广泛使用,行人重识别技术引起了人们的广泛关注。但是,由于拍摄时间、拍摄角度、摄像参数、场景变化等的不同,导致行人重识别的研究面临着诸如图像分辨率低、行人姿势、背景杂乱、视角、光线、遮挡等变化引起的诸多挑战。因此,目前行人重识别研究
从聚氨酯软泡的各原材料成分、化学副反应和老化降解等几个方面对聚氨酯软泡的挥发性有机物来源和解决方案进行综述,并对该领域的技术发展方向进行了展望。
采用4组份浇注机对混技术实现异氰酸酯与组合聚醚A、B、C以任意比例对混,研究了水含量、接枝聚醚含量、反应指数、开孔次数及制品密度方面对丰田体系座椅泡沫应力松弛率的影响。结果表明,在满足产品特性要求下,降低水含量、减少接枝聚醚投入量、增加异氰酸酯指数、增加开孔次数和增加制品泡沫密度能够达到减小应力松弛率的目标。
<正>据环球聚氨酯网2022年11月2日报道,2022年11月1日德国BASF股份公司(以下简称“BASF”)推出了全新优化等级的热塑性聚氨酯(以下简称“TPU”)牌号■1180 A 10 WDM,可用于生产电动汽车快速充电用电缆。目前,大功率充电桩改善了消费者的电动汽车充电体验,在市场上大受欢迎。然而,快速充电桩的大型电缆很硬且易磨损和老化。为了满足消费者的使用需求,BASF适时推出一款全新优化
单细胞测序技术不同于第一、第二或第三代测序技术,这是一项针对单个细胞进行扩增与测序的技术。正是依托这项技术的发展,人类对于基因组学的研究达到了前所未有的新高度,也正是因为单细胞测序技术的蓬勃发展,对单细胞数据的下游分析也被广泛开展起来,其中包括了细胞异质性分析、细胞亚群分类、分化发育分析等诸多研究方向。然而,单细胞测序数据受限于测序深度等因素的影响,数据非常稀疏且存在较多的噪声,特别是dropou