检索结果-内蒙古大学图书馆

作者：何正浩河南工业大学

学位级别：硕士

缺陷修复是软件维护的一个重要组成部分,是降低软件开发成本和提高软件质量的关键。软件缺陷自动修复在软件开发过程中降低调试和维护成本等方面具有很大的潜力。近年来,许多软件缺陷自动修复方法被证明在软件开发中是有用的,然而如何... 详细信息

缺陷修复是软件维护的一个重要组成部分,是降低软件开发成本和提高软件质量的关键。软件缺陷自动修复在软件开发过程中降低调试和维护成本等方面具有很大的潜力。近年来,许多软件缺陷自动修复方法被证明在软件开发中是有用的,然而如何减少对巨大搜索空间的搜索,提高补丁质量进而提高软件缺陷自动修复方法的成功率和效率仍然是具有挑战性的问题。针对上述问题,本文研究了两种基于修复模板的软件缺陷自动修复方法,并将两种软件缺陷修复方法集成为一个修复工具,主要研究内容如下:(1)针对软件缺陷自动修复中修复材料选取随机和导航的问题,提出了基于预定义模板和上下文感知的软件缺陷自动修复方法(Pre-defined Template and Context Aware based Automatic Software Repair),并实现了缺陷修复工具PCRepair。首先,该方法采用Ochiai缺陷定位技术定位到可疑缺陷语句,并生成可疑缺陷语句列表。其次,将可疑语句的上下文与修复模板的上下文相匹配,采用上下文感知缩小对搜索空间的搜索,为可疑语句生成候选补丁。然后,使用加权融合相似度的补丁优先级排序技术对候选补丁排序,将排序过后的候选补丁依次通过配套的测试用例。最后,直到生成了一个合理的补丁或验证完所有的候选补丁。在Defects4J数据集上的六个项目中的395个缺陷进行实验,实验结果表明,PCRepair正确修复了38个缺陷,并与j Gen Prog、Historical Fix、JAID、ACS、KPAR、ELIXIR、AVATAR、Nopol、Fix Miner、Sketch Fix、CODIT和Tufano19等方法相比较,PCRepair在缺陷修复成功率和效率上优于现有方法。(2)针对软件缺陷自动修复中修复粒度太粗和补丁质量较差的问题,提出了基于图挖掘模板和遗传编程的软件缺陷自动修复方法(Graph Mining Template and Genetic Programming based Automatic Software Repair),并实现了缺陷修复工具MGRepair。首先,该方法采用Ochiai缺陷定位技术定位到可疑缺陷语句,并生成可疑缺陷语句列表。其次,将可疑语句的上下文与图挖掘模板的上下文相匹配,为可疑语句生成初始化种群,根据遗传编程的变异和交叉操作对缺陷程序进行演化,生成新个体。然后,将候选补丁依次通过配套的测试用例,使用测试用例的优先级排序技术对测试用例进行降序排列。最后,过滤掉未能通过测试用例的补丁并将通过测试用例的补丁进行输出。在Defects4J数据集上的六个项目中的395个缺陷进行实验,实验结果表明,MGRepair正确修复了41个缺陷,并与j Gen Prog、Historical Fix、JAID、ACS、KPAR、ELIXIR、AVATAR、Nopol、Fix Miner、Sketch Fix、CODIT和Tufano19等方法相比较,MGRepair在缺陷修复成功率和效率上优于现有方法。(3)本文将PCRepair与MGRepair两种软件缺陷自动修复方法集成为一个修复工具Bug Fix。该修复工具主要由缺陷定位模块、补丁生成模块以及补丁验证模块三大模块组成。该修复工具使用方法简明,只需要根据该工具的说明执行即可,具有相应的应用价值。

关键词：软件缺陷自动修复修复模板上下文遗传编程代码相似性

来源：评论

学校读者我要写书评

暂无评论

智能合约漏洞检测及自动化修复方法

引用

计算机工程与设计 2025年第1期46卷 107-116页

作者：王嘉诚蒋佳佳张玉书赵佳豪南京航空航天大学计算机科学与技术学院/人工智能学院/软件学院江苏南京211106

为解决智能合约存在的安全漏洞问题,研究智能合约漏洞检测及自动化修复方法。对智能合约进行漏洞检测,获得包含漏洞类别及位置等关键信息的检测报告,将智能合约源代码解析为抽象语法树格式,根据检测报告提供的漏洞信息,结合预定义漏洞... 详细信息

为解决智能合约存在的安全漏洞问题,研究智能合约漏洞检测及自动化修复方法。对智能合约进行漏洞检测,获得包含漏洞类别及位置等关键信息的检测报告,将智能合约源代码解析为抽象语法树格式,根据检测报告提供的漏洞信息,结合预定义漏洞修复模板,在抽象语法树层面对智能合约进行修复,根据抽象语法树反向解析获得修复后的智能合约源代码,实现智能合约的漏洞检测及自动化修复。实验结果表明,所研究的方法能够以较高的成功率修复智能合约漏洞,增强智能合约的正确性。

关键词：区块链智能合约安全漏洞漏洞检测自动化修复抽象语法树修复模板

来源：评论

学校读者我要写书评

暂无评论

基于模板的软件缺陷修复推荐方法

引用

小型微型计算机系统 2022年第5期43卷 1096-1101页

作者：薄莉莉朱轩锐孙小兵扬州大学信息工程学院江苏扬州225127 江苏省知识管理与智能服务工程研究中心江苏扬州225127 计算机软件新技术国家重点实验室(南京大学) 南京210023

软件中长期累积的历史遗留问题导致软件产品的规模和复杂性逐渐增大.为了有效提高软件缺陷修复的效率,本文针对源代码文件中的修复前代码版本和修复后代码版本之间的差异,根据预定义的细粒度更改操作提取缺陷修复模板,并基于此修复模板... 详细信息

软件中长期累积的历史遗留问题导致软件产品的规模和复杂性逐渐增大.为了有效提高软件缺陷修复的效率,本文针对源代码文件中的修复前代码版本和修复后代码版本之间的差异,根据预定义的细粒度更改操作提取缺陷修复模板,并基于此修复模板提出了一种缺陷修复推荐方法.结果表明,模板的覆盖范围可达67.11%,并且5位参评者评估其有效,认为此修复模板适用于软件缺陷并且能够解决部分缺陷问题.

关键词：软件缺陷修复修复模板修复推荐

来源：评论

学校读者我要写书评

暂无评论

汽车挡风玻璃加热丝模板检验修复装置

汽车挡风玻璃加热丝模板检验修复装置

引用

作者：张凯汤潜梁荣耀韩晓男陈一鸣 130025 吉林省长春市人民大街5988号吉林大学机械学院

本实用新型公开了一种汽车挡风玻璃加热丝模板检验修复装置，是由支撑传动装置、检测修复装置和控制器组成，控制器控制整个装置的自动运行，检测修复模板时，模板放在底架上，通过CCD检测头和红外测距传感器对加热丝模板上条状缝隙宽... 详细信息

标准号: CN204329901U

本实用新型公开了一种汽车挡风玻璃加热丝模板检验修复装置，是由支撑传动装置、检测修复装置和控制器组成，控制器控制整个装置的自动运行，检测修复模板时，模板放在底架上，通过CCD检测头和红外测距传感器对加热丝模板上条状缝隙宽度、形状等参数的检测，CCD检测头检测到模板缺陷之后，由清洗头喷出高压水雾，冲洗模板上的残留物，再由烘干头将潮湿的模板烘干以，之后由涂胶头喷出厚度均匀的胶液，待胶液凝固之后，再由开缝头划出宽度合格的缝隙，系统自动回位，完成对模板的检测和修复。本实用新型实现了对汽车挡风玻璃加热丝模板检验修复的自动一体化，能快速对模板的检测和修复、降低模板检测和修复费用、提高模板检测修复的效率和精度。

关键词：检测加热丝修复汽车挡风玻璃模板检测修复装置控制器检测头烘干胶液红外测距传感器传动装置高压水雾条状缝隙修复费用修复模板清洗头底架回位头喷涂胶冲洗检验潮湿凝固一体化支撑

来源：评论

学校读者我要写书评

暂无评论

基于错误根因的Linux驱动移植接口补丁推荐

引用

计算机研究与发展 2022年第6期59卷 1388-1408页

作者：李斌贺也平马恒太芮建武李晓卓中国科学院大学北京100049 中国科学院软件研究所基础软件国家工程研究中心北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

Linux内核版本变更带来驱动程序调用内核接口的不一致性错误非常频繁,其通过手工修复不仅工作量繁重,还可能引入新的错误.针对这个问题,驱动移植中间库辅助适配和驱动移植辅助信息等方面的已有研究提供了辅助示例,但是还需要人工分析和... 详细信息

Linux内核版本变更带来驱动程序调用内核接口的不一致性错误非常频繁,其通过手工修复不仅工作量繁重,还可能引入新的错误.针对这个问题,驱动移植中间库辅助适配和驱动移植辅助信息等方面的已有研究提供了辅助示例,但是还需要人工分析和手工构造补丁,人工修复的工作量依然较大并且效率较低.为此,通过推荐高质量补丁降低人工修复的工作量并提高修复效率.与传统方法通过错误代码形式的相似性识别同类错误不同,提出依据错误发生的相同原因和来源识别同类错误.提出了一种分层搜索算法用于获取待修复错误对应的错误根因,通过错误根因识别同类错误的修复实例,从其中提取并选择针对性修复模板实现同类未修复错误的高质量补丁推荐.在收集的19个真实驱动程序数据集上的实验表明,所提方法相比传统方法的补丁推荐正确率有显著提高.

关键词：驱动移植修复实例引入错误变更修复模板补丁推荐错误根因

来源：评论

学校读者我要写书评

暂无评论

一种大型塑料造粒模板工作面的修复方法

一种大型塑料造粒模板工作面的修复方法

引用

作者：张均 200343 上海市虹口区凉城路1201弄11号302室

本发明公开了一种大型塑料造粒模板工作面的修复方法，具体方法如下：将垫板放置在最下层，再将待修复模板放置在垫板的上方；将焊料粉末压制片放置在待修复工作面上，并详细记录待修复工作面上的工作孔膛的分布情况；将耐磨复层片放置... 详细信息

标准号: CN104772597A

本发明公开了一种大型塑料造粒模板工作面的修复方法，具体方法如下：将垫板放置在最下层，再将待修复模板放置在垫板的上方；将焊料粉末压制片放置在待修复工作面上，并详细记录待修复工作面上的工作孔膛的分布情况；将耐磨复层片放置在焊料粉末压制片上；将托盘带有圆环槽的一面朝下，倒扣在耐磨复层片的上方；用多个定位螺栓将托盘和待修复模板固定，再将组装件翻转180°；取下胶带，将组装件进行保温熔焊2。本发明可以将待修复模板7倒置于焊料上，也可以将焊料放置在待修复模板7的工作面上，能够使焊料在待修复模板7的工作孔膛中充分熔焊，使耐磨复层片和待修复模板7的工作面牢固致密的结合在一起，修复后的模板能够长期、正常的使用。

关键词：修复模板焊料耐磨复层托盘焊料粉末修复工作组装件垫板孔膛压制致密大型塑料定位螺栓分布情况修复方法造粒模板胶带倒扣圆环下层保温修复固定牢固

来源：评论

学校读者我要写书评

暂无评论

基于辅助信息的驱动移植接口补丁推荐技术研究

基于辅助信息的驱动移植接口补丁推荐技术研究

引用

作者：李斌中国科学院大学

学位级别：博士

补丁推荐技术是近年来的研究热点，是降低人工修复错误的工作量和提高修复效率的重要途径。该技术针对具体错误生成补丁并建议合适的补丁，由人工判定补丁质量。补丁推荐主要包括基于修复模板的补丁推荐技术和基于相似信息的补丁推荐技... 详细信息

补丁推荐技术是近年来的研究热点，是降低人工修复错误的工作量和提高修复效率的重要途径。该技术针对具体错误生成补丁并建议合适的补丁，由人工判定补丁质量。补丁推荐主要包括基于修复模板的补丁推荐技术和基于相似信息的补丁推荐技术。基于修复模板的补丁推荐技术通过识别同类错误提取和选择抽象的修复模板，然后确定代码元素基于修复模板生成具体补丁。基于相似信息的补丁推荐技术，不依赖于修复实例或者修复模板，其研究的关键问题是相似性的刻画，通过获取对标的相似代码生成补丁并推荐。　　本文研究驱动移植场景下的接口补丁推荐技术，通过深入分析多款驱动程序实例，发现已有补丁推荐方法还存在一些不足:在提取和选择修复模板方面，现有技术主要通过错误所在语句的语法、错误所在上下文等信息的相似性识别同类错误，仅考虑了错误代码的相似性特点，对本质是同类错误而错误代码不相似的问题考虑不足，存在识别同类错误范围狭窄的问题，影响补丁推荐的正确率;在基于修复模板生成补丁方面，现有技术主要通过统计分析、枚举技术等方式确定具体代码元素，对代码元素的共性和个性差异考虑不足，实际上侧重于共性元素，无法应对多样性的错误;在基于相似信息的补丁推荐研究中，现有技术主要集中在基于标识符的相似性、基于控制流以及变量使用的相似性、利用克隆检测技术等不同粒度的直接相似性刻画，难以处理对标代码形式变化较大的错误问题。　　针对已有补丁推荐方法存在的上述不足，本文结合驱动移植场景的特点开展了研究。通过深入研究错误发生的因果关系、代码元素的不同属性差异，针对传统方法识别同类错误范围狭窄的问题、基于修复模板生成补丁时无法应对错误多样性的问题，分别提出基于错误根因识别同类错误、以及区分共性和个性代码元素的补丁推荐方法。针对基于相似信息的补丁推荐方法，无法处理对标代码形式变化较大的错误问题，研究代码的间接相似性刻画，提出基于相似链的补丁推荐方法。本文的主要工作和贡献总结如下:　　1)针对传统方法通过错误代码的相似性识别同类错误，存在识别范围狭窄和补丁推荐正确率较低的问题，提出一种基于错误根因识别同类错误的补丁推荐方法。相比传统方法，本文通过错误根因能够更好地识别本质是同类错误但错误代码不相似的问题。实验表明，本方法相比传统方法推荐补丁的正确率有显著提高。　　2)针对基于模板生成补丁时无法应对错误多样性的问题，提出一种区分共性和个性类型提取代码元素的补丁推荐方法。传统方法依靠统计分析和枚举方式确定的代码元素侧重于共性元素，存在对个性代码元素相对考虑不足的问题。本文通过区分共性和个性两种类型属性，分别从两种不同特点的数据源提取代码元素，能够较好的处理错误的多样性。实验表明，本方法能够针对错误的个性特点生成有效补丁。　　3)针对基于相似信息的补丁推荐方法，无法处理对标代码形式变化较大的错误问题，提出一种基于相似链的接口补丁推荐方法。不同于已有研究刻画的直接相似性，本文通过相似链刻画了间接相似性。虽然在较大演化区间两个代码对象并不直接相似，但是通过连续演化版本的相似性传递则形成了相似链，通过相似链扩展辅助信息实现补丁推荐。实验表明，本方法能够对变化较大的驱动移植接口不一致错误推荐有效补丁。

关键词：补丁推荐修复模板相似信息驱动移植接口错误

来源：评论

学校读者我要写书评

暂无评论

一种基于StackOverflow分析的程序自动修复方法

引用

计算机工程 2018年第10期44卷 95-100页

作者：刘旭亮钟浩上海交通大学电子信息与电气工程学院上海200240

现有程序缺陷修复方法缺乏充足的修复模板,多数只能修复小部分程序缺陷。为此,提出一种从StackOverflow中获取示例代码,并从示例代码中挖掘出修复样品的方法。从程序员日常开发讨论中获取与修复有关的代码对,并从中生成修复模板,该模板... 详细信息

现有程序缺陷修复方法缺乏充足的修复模板,多数只能修复小部分程序缺陷。为此,提出一种从StackOverflow中获取示例代码,并从示例代码中挖掘出修复样品的方法。从程序员日常开发讨论中获取与修复有关的代码对,并从中生成修复模板,该模板丰富了自动修复工具已有的操作,能够修复更多缺陷。对Defects4J数据集进行实验验证,结果表明,该方法能够修复23个程序缺陷,优于GenProg和Nopol等工具。

关键词：程序自动修复真实缺陷修复修复模板示例代码修复样品

来源：评论

学校读者我要写书评

暂无评论

软件缺陷修复推荐技术研究与系统实现

软件缺陷修复推荐技术研究与系统实现

引用

作者：朱轩锐扬州大学

学位级别：硕士

软件系统中的缺陷(bug)不可避免,修复bug需要耗费大量的人力、物力以及时间。随着软件产品的规模和复杂性爆炸式增长,软件中包含的历史遗留问题导致代码量变得越来越大,越来越复杂。因此,当开发人员在面对一个bug问题时,不仅耗费大量的... 详细信息

软件系统中的缺陷(bug)不可避免,修复bug需要耗费大量的人力、物力以及时间。随着软件产品的规模和复杂性爆炸式增长,软件中包含的历史遗留问题导致代码量变得越来越大,越来越复杂。因此,当开发人员在面对一个bug问题时,不仅耗费大量的时间在代码的理解上,bug修复也难以入手。现有的修复方法通常对bug采用历史相似的修复操作,但是经常会导致bug不能被正确修复甚至使得bug修复变得更加困难。本文针对bug修复问题,分析了修复代码中常使用的细粒度更改操作,并根据此类细粒度更改操作提出用于bug修复的修复模板。基于此修复模板进一步提出了一种bug修复推荐方法,帮助开发人员提高修复效率。本文工作主要包含以下几个方面:(1)针对bug报告和commit报告,挖掘软件缺陷的bug报告及修复方法中使用的代码细粒度更改操作进行经验研究。研究结果表明,修复代码中的细粒度更改操作和历史相似bug并没有明显相似关系,大多数的修复都会使用常用的细粒度修复操作。(2)针对源代码文件中的修复前代码版本和修复后代码版本之间的差异,分析代码的细粒度更改操作,构建用于完成bug修复的更大粒度的修复模板。为bug代码修复提供有效的修复模板,进而提高修复效果。通过验证模板的使用频率以及模板的覆盖范围表明,该修复模板能够适用于bug并且解决部分bug问题的修复。(3)针对大量的bug问题,基于修复模板,结合基于树的循环神经网络的深度学习技术为其提供修复方案的建议。本文结合基于信息检索的bug定位技术,利用bug报告为bug问题推荐修复模板建议,通过验证模板的精确度和五位参评人员的反馈说明了推荐的修复模板是有效的。

关键词：软件缺陷修复更改操作修复模板修复推荐 bug修复

来源：评论

学校读者我要写书评

暂无评论

面向Java的软件自动修复与补丁增强技术

面向Java的软件自动修复与补丁增强技术

引用

作者：吴喆杭州电子科技大学

学位级别：硕士

在程序开发过程中,由于人工编写产生的代码缺陷往往无法避免,严重影响软件质量,而通过测试人员手工修复代码缺陷既耗时又效率低下,严重制约软件产业发展。因此,探索自动、高效的软件缺陷修复方法是目前软件工程领域的一个重要课题。目前... 详细信息

在程序开发过程中,由于人工编写产生的代码缺陷往往无法避免,严重影响软件质量,而通过测试人员手工修复代码缺陷既耗时又效率低下,严重制约软件产业发展。因此,探索自动、高效的软件缺陷修复方法是目前软件工程领域的一个重要课题。目前,软件自动修复(Automatic Program Repair,APR)技术在学术界以及工业界已经取得了巨大进展,但该领域仍有很多难题需要解决,尤其是针对面向Java的APR方法。一方面,大部分研究者关注的是基于源码的软件自动修复,但事实上,Java字节码比源码更能反映代码语义信息;另一方面,由于APR方法自身的局限性,目前生成的补丁整体正确率偏低,生成的补丁包含大量的近似修复补丁。基于上述问题,本文围绕面向Java的软件自动修复与补丁增强技术展开研究,具体工作包含以下两个方面:(1)针对缺少Java程序在字节码层次的软件自动修复方法的问题,本文提出了基于字节码模板的软件自动修复方法(Byte Code Pattern Auto Program Repair,BCPAPR),通过对真实Java项目中代码缺陷修复过程的挖掘与解析,得到字节码修复模板,从而实现在字节码层次的软件自动修复。首先,方法收集字节码层次的缺陷和修复指令集,并根据真实指令集构建抽象字节码时序链和抽象字节码时序链编辑脚本,用于简化字节码指令的表示和两段字节码指令集差异的表示,然后对编辑脚本进一步抽象生成抽象字节码时序链编辑模板,解决了缺陷修复模板的表示问题。在此过程中,提出了一种新颖的层次聚类算法和最大化缺陷模板匹配规则以提高方法的模板匹配能力,进而产生更多正确补丁。实验表明,BCPAPR方法在缺陷修复能力与修复时间上均有一定改善,尤其是在缺失源码数据时,可以作为面向Java进行软件自动修复的一个有效解决手段。(2)针对目前APR方法生成的补丁整体正确率偏低的问题,本文提出了软件自动修复生成补丁的增强方法(APR Patch Enhancing Method,APRPEM),通过深度学习技术对补丁代码在抽象语法树层次进行节点修正预测(修改、回滚、增加、删除),最终产生对补丁的修正预测信息,实现对APR方法生成的近似修复补丁的增强。在方法的实现中,本文提出了基于孪生网络的分类预测模型(Siamese Code Network for Repatching,SCN4R)解决预测模型构建问题,通过图注意力网络对错误代码、目标代码以及补丁代码向量化,解决代码的向量表示问题,并提出改进的L距离和L距离范数解决代码差异表示的问题,APRPEM方法最终在抽象语法树层面生成对APR生成补丁的修正操作信息,方便后续开发人员或研究人员对软件的改进。

关键词：程序自动修复修复模板层次聚类补丁增强深度学习

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：