【摘 要】
:
软件缺陷修复作为软件开发过程中最为耗时和繁琐的阶段占据了大部分开发成本。近些年研究者对于自动程序修复(Automated Program Repair)领域给予了极大的关注,希望通过算法使程序自动感知缺陷并生成相对应的补丁而无需过多的人工干预。现有的修复技术大多是基于生成和验证技术模式。修复技术首先通过缺陷定位模块对可能包含程序错误的可疑语句进行排序,然后操纵列表中的语句按照一定规则生成补丁,最后
论文部分内容阅读
软件缺陷修复作为软件开发过程中最为耗时和繁琐的阶段占据了大部分开发成本。近些年研究者对于自动程序修复(Automated Program Repair)领域给予了极大的关注,希望通过算法使程序自动感知缺陷并生成相对应的补丁而无需过多的人工干预。现有的修复技术大多是基于生成和验证技术模式。修复技术首先通过缺陷定位模块对可能包含程序错误的可疑语句进行排序,然后操纵列表中的语句按照一定规则生成补丁,最后修复程序通过测试套件来验证补丁的有效性,如果测试用例全部通过则代表缺陷修复成功并将补丁报告给用户,否则代表修复失败。然而在实际应用中,自动程序修复技术没有灵活的探索机制来应对庞大的搜索空间,补丁的评判标准仅通过用测试用例通过率来衡量也不足以证实候选补丁的正确性,同时补丁程序的编译执行过程严重拖累了修复的效率。本文针对自动程序修复方法中存在的问题展开研究,具体内容如下:(1)提出了基于动态反馈策略的补丁生成方法。该方法利用缺陷程序与补丁程序的语法相似性与测试用例执行信息加强补丁适应度计算,提高不同质量补丁的筛选性能。然后利用遗传编程的特点构建一套反馈机制,通过评价当前种群中优秀补丁的进化位置给予奖励和记录,实时调整修复算法的探索方向,对候选补丁的进化做出指导。实验表明基于动态反馈的方法相比原始方法能够更有效的区分不同质量补丁加快搜索进度。(2)提出了基于需求与缺陷记录的测试用例优先级排序方法。针对传统Additional策略在自动程序修复领域方面的应用进行改良,利用语句可疑度推导出测试用例的需求覆盖能力,用此能力对基于缺陷记录的测试用例优先级排序方法(FRTP)进行补充,然后结合补丁的否决数量对测试用例优先级进行调整,使优秀的测试用例更快否决无效补丁从而提高补丁验证效率。最后进行了对比实验表明本方法的有效性。(3)基于以上提出的程序修复技术,本文实现了基于搜索的自动程序修复平台DFGenProg。通过运行IntroClass缺陷程序集说明了平台的主要模块和运作过程,增加了自动程序修复技术的实用性与有效性,证实了 DFGenProg的研究论点可以作为自动程序修复今后的研究方向。
其他文献
随着虚拟化技术,云计算框架技术的逐步成熟以及IT企业的飞速发展,对云上的分布式存储和计算的需求也越来越大,云计算技术就是出于这种需求而诞生的。云计算通过网络中的海量数据资源形成了大规模的共享虚拟资源池,极大地方便了云用户的资源使用,降低了使用存储资源的消耗成本。但是,这使得网络中的用户可以使用任何企业和个人的核心和私有数据,并且还为某些非法用户破坏云资源提供了机会。因此,在云计算的发展中,云计算的
随着计算机网络和信息技术的发展,互联网在当今社会扮演着越来越重要的角色,而信息安全也自然而然成为关注的焦点。研究者在过去的网络安全领域中,研究者使用防火墙、入侵检
幼儿园作为幼儿时期普遍生活的基础环境之一,园内规则的建立和实施在很大程度上都会影响到幼儿对社会规范的认同,这些规则将会成为影响幼儿未来社会化认同程度和参与能力的重要因素。如果幼儿时期对于幼儿园规则的理解及遵守能力出现问题,或者幼儿园建立实施的规则无法准确向幼儿传达应有的范式,则很有可能让幼儿成长后的价值观念出现偏差。毫无疑问,对幼儿园而言,如何制定并利用规则来帮助幼儿完成社会规范内化的过程已经成为
煤化工废水成分复杂,处理难度大,在输送和处理过程中对设备和管道腐蚀严重。随着我国煤化工产业的发展,废水排放带来的污染越来越严重,废水回收利用成为煤化工企业降低环境污染的必要手段,成分复杂的煤化工废水在流动过程中容易造成管道和设备的腐蚀。由于煤化工废水处理工程中工序复杂,流动形式不稳定,相关研究很少,在腐蚀机理,耐蚀性等方面遇到一些亟待解决的问题。本文围绕上述问题,以宁夏神华宁煤废水回收工段的水质—
稀土掺杂透明陶瓷(以高荧光量子效率的YAG:Ce3+为主)凭借优异的发光性能、热传导和物理化学稳定性等优势,在照明与显示领域脱颖而出,成为高功率密度光源驱动发光的优选材料,在发光材料研究与应用领域获得了广泛关注。YAG:Ce3+荧光陶瓷在450 nm蓝色激光激发下具有高的量子效率,但其光谱中红光成分较低,当用于白光LED照明时,器件显色指数较低,色温偏高;当用于显示领域时,红光提取效率低。因此提高
随着LED照明产业和数字通信技术的高速发展,可见光通信(visible light communication,VLC)得益于其同时实现数据传输和照明、频谱资源丰富、速度快、安全性高、成本低等特点,被认为是有效拓展无线通信频谱的最具发展潜力的无线通信技术。信道编码是有效提升通信系统性能的关键技术环节,其中,级联码是通过串联或并联两个较短成员码组合的新型编码方案。在成员码的选择上,极化码作为唯一一类
多元金属氧化物特定的结构,会快速吸附特定的气体而发生选择性氧化。这一特性可以解决简单金属氧化物响应-恢复慢和选择性差等问题。本文采用溶剂热合成法制备NaBi(MoO_4)_2纳米材料,并进行XRD,SEM,TEM,BET和Raman等测试技术,系统的研究了NaBi(MoO_4)_2纳米材料的形貌和结构等对NaBi(MoO_4)_2纳米材料气敏性能的影响。首先研究了NaBi(MoO_4)_2溶剂热法
涡轮叶片是航空发动机的重要部件,其振动引发的高周疲劳失效是导致发动机故障的主要原因之一,并可导致严重的事故发生。目前叶片减振是已成为航空发动机涡轮叶片动力学研究设计的一个重要研究方向。缘板干摩擦阻尼器结构简单,且对温度不敏感,在叶片干摩擦减振的设计中被广泛应用。工程实践和研究结果表明,给涡轮叶片附加缘板阻尼器可以有效降低叶片的振动。目前针对缘板阻尼器开展了大量的研究,取得了显著的研究进展。但由于干
随着人民生活水平的改善和工业化进程的快速发展,对天然气需求的用户逐渐增多。然而,传统的煤化工技术存在能量利用率低,环境污染严重等问题。合成天然气技术(SNG)是一种通过煤制备天然气的技术,它的产品不仅可以解决我国天然气供不应求的问题,还能对我国的资源、节能减排、绿色化学品的充分利用具有重要意义。目前国内并没有完全掌握SNG工艺技术,其技术依旧停留在低温甲烷化的研制中,因此,高性能高温甲烷化镍系催化
白光发光二极管(White Light Emitting Diode,WLED)作为第四代固体照明光源,因其在环保和性能等方面具有突出的经济与技术优势,彰显出广阔的应用前景。荧光粉作为实现白光发射的核心工作材料,开发出一种荧光能力强、物理化学性质稳定的绿色荧光粉,对三基色WLED的发展具有重要的现实意义。本课题选用近几年被广泛研究的溴铅铯钙钛矿(Cs_4PbBr_6/CsPbBr_3)材料作为研究