面向自动程序修复的人机交互式补丁审核系统的设计与实现

来源 :南京大学 | 被引量 : 0次 | 上传用户:zxypost
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件规模和复杂性的日益增大,程序代码中的错误和缺陷层出不穷,给软件测试和程序调试带来了新的挑战,自动程序修复成了解决测试和调试成本的有效手段之一。但是当前自动程序修复技术仍存在正确率不高等问题,不正确的补丁极易成为干扰因素,不仅增大了测试和调试的成本,甚至会导致错误或缺陷无法解决。为了提高自动程序修复工具所生成补丁的正确率,本文面向自动程序修复提出一种人机交互式补丁审核的方法。该方法涉及到开发者和机器两类参与者,针对自动程序修复工具提出的候选补丁,机器的职责是通过为代码构建抽象语法树,实现对程序的代码分析,提取代码的动静态特征,并采用自动化测试工具为补丁和程序扩增测试用例;开发者的职责是通过交互信息认识和理解程序,结合代码特征设计测试预言,对机器生成的测试用例进行完善。通过本文的设计,在开发者与机器二者的交互下,旨在构建充分性较高的测试用例,借此对候选补丁进行审核,过滤掉不正确的补丁,完成对缺陷项目的修复。基于对当前对程序修复领域问题的分析,以及对人机交互式补丁审核方法的讨论和设计,本文将该方法实现成一个自动化插件,集成到本地IDE中。系统的总体设计划分为数据分析模块、测试管理模块和人机交互模块,数据分析模块用于对原始数据的分析,构建人机交互过程中所需的信息,测试管理模块支持系统对缺陷程序的测试和数据扩增,人机交互模块负责处理开发者与机器的交互。多模块相互协作,共同完成本系统的具体实现。最后,本文从系统测试和实验两方面对人机交互式补丁审核系统进行检查。通过系统测试,验证了系统功能测试和非功能测试是符合预期的。通过在De-fects4J通用缺陷数据集上开展实验,数据结果表明,人机交互式补丁审核方法能够过滤掉82.61%的不正确补丁,使得补丁的准确率提高了25%,并在用户调研中得到了参与者的积极评价。人机交互式补丁审核方法能够有效提升程序测试和调试的效率,具有一定的实用性。
其他文献
近年来,溶解性有机质(dissolved organic matter,DOM)的研究还停留在表观上,对DOM组成结构仍缺乏深入的了解,此外沉积物DOM与重金属的相互作用的微观机制需要进一步研究。本文以湿地沉积物DOM与重金属为研究对象,通过室内干湿交替模拟实验,结合光谱、质谱和化学计量学等方法分析了干湿交替下湿地沉积物DOM的结构特征,揭示了湿地沉积物DOM组成对重金属赋存形态的影响,深入探讨了
随着我国社会经济水平的不断提高和发展,人口压力与日俱增,人们对于淡水鱼类的需求也日益增多。需求量的增大使得精养鱼池集约化养殖规模加大,养殖密度不断增加,也因此鱼类病害频繁爆发。为了防止鱼类病害的频繁发生,抗生素被大量使用,使得水产养殖生态环境遭到破坏,鱼类健康养殖受到更加广泛的威胁。目前对大部分鱼类病原致病机理的研究还不够深入,同时还迫切需要发现更安全环保且有效的鱼类病害防治措施。香鱼假单胞菌(P
随着当今社会科学技术的飞速进步,各种矛盾和问题也日渐显现,社会生态,环境保护,科技创新等各类综合性问题是无法运用某单一学科的知识内容,采取单一的方式来解决的,需要结合不同学科的知识,从多角度多方面进行研究,才能系统地解决问题。但是,目前我国中学阶段普遍实行分科教学,为了学生能够得到综合发展,教师应该在日常的教学活动中以本学科知识为中心,发散扩展进行多学科知识融合的跨学科教学。显然,教材是课程教学的
近年来,科学家成功地将量子理论和信息科学结合起来,于是“量子信息”作为一种新兴的学科分支便应运而生,而且已经成为当下的研究热点,并取得重要进展.本文运用了算子代数和矩阵论的方法对极大不相干量子运算,不相干量子运算,真正不相干量子运算以及完全不相干量子运算进行了探究.首先给出了极大不相干量子运算,不相干量子运算,真正不相干量子运算以及完全不相干量子运算的具体形式;然后得到了 一些与极大不相干量子运算
本文主要研究了因子von Neumann代数上的非线性混合ξ-Jordan三重可导映射和双局部Lie导子的问题.主要内容如下:第一章主要介绍了本文常用的符号,定义(非线性(斜)Jordan三重可导映射,可加*-导子,因子von Neumann代数)以及文中涉及的已知定理.第二章主要在因子von Neumann代数上研究了非线性混合ξ-Jordan三重可导映射.设A是复Hilbert空间H上的因子v
草鱼(Ctenopharyngodon idellus,2n=48)具有生长速度快、草食性以及易于养殖等优点,在我国淡水经济养殖中占有重要地位。近年来,连续的人工自交繁育导致草鱼种质资源明显退化,生长速度减慢,病害严重,因此积极开展草鱼种质资源创新和良种选育工作具有重大意义。以锦鲤(Cyprinus carpio haematopterus,2n=100)遗传灭活精子刺激草鱼卵子,通过温度休克处理
印刷电路板(PCB)是电子设备的关键组件,但其生产制造过程中受到多种因素的影响,容易导致缺陷的产生,使得PCB无法使用。自动光学检测技术是辅助生产人员进行缺陷检测的常用方法,已广泛用于PCB生产中。但是该方法定位出缺陷后仍需要人眼进行验证。这个过程人工成本较高,且效率较低。本文针对PCB缺陷检测技术展开研究,旨在实现一种基于深度学习的自动PCB缺陷检测方法,减少人工操作,提高生产效率。本文主要工作
水力侵蚀引起的土壤有机碳(soil organic carbon,SOC)动态变化对陆地、河流和海洋生态系统的碳循环有着巨大影响,但在区域尺度上侵蚀引起的SOC通量变化的影响因素还不够明确,针对水力侵蚀影响下区域SOC通量的估算方面还存在较大的不确定性。本研究以典型红壤丘陵区—江西省为研究对象,利用地形地貌、气象和土壤等数据,结合水土流失经验模型和土壤有机碳通量模型,定量估算江西省1995年到20
近年来,机器学习在线服务以其便捷实用的优点吸引了众多数据研究者的关注,改变了人们对机器学习模型搭建难成本高的固有认识。其数据驱动服务这一特性使得大量用户数据被应用于训练各种服务模型,其中不乏用户的敏感信息。然而不可信的机器学习云端服务并不能对在线用户的隐私信息提供有力的隐私保障,存在用户隐私信息恶意推理、模型反演攻击和成员推理攻击等隐私威胁,对在线用户和服务提供商造成严重的损害,因此保护机器学习模
用户在网络中进行互动时会采用多种多样的方式来表达自己的情感和态度,其中以文本评论为主。对文本评论进行情感分析,可以为企业提供有价值的情感信息。早期的文本情感分析主要采用情感词典方法和传统的浅层机器学习方法。随着文本数据的快速增长,用户表达情感的方式越来越丰富,使用传统的文本情感分析方法需要付出较高的人力成本,却很难达到较高的准确率,且泛化能力较差。近年来,利用深度学习技术进行文本情感分析得到快速发