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

作者：倪壮大连理工大学

学位级别：硕士

在创建和编辑CAD复杂曲面模型时，曲面偏置（Offset）是使用和失败次数均较多的几何操作之一。在汽车车身设计领域，曲面模型的表示形式和连接方式是复杂多样的，同时设计时还要考虑多种工程约束。因此，车身复杂曲面模型在曲面偏置操... 详细信息

在创建和编辑CAD复杂曲面模型时，曲面偏置（Offset）是使用和失败次数均较多的几何操作之一。在汽车车身设计领域，曲面模型的表示形式和连接方式是复杂多样的，同时设计时还要考虑多种工程约束。因此，车身复杂曲面模型在曲面偏置操作过程中不得不面临着偏置成功率和曲面质量的双重挑战，亟需更有效的解决方案。　　本文结合专家知识和相关行业标准，将曲面缺陷检测与修复方法嵌入组合曲面偏置前后处理，提出一种基于缺陷修复的复杂曲面偏置方法，并基于Siemens NX平台开发完成一套组合曲面偏置工具，实现曲面偏置缺陷修复的自动化。针对曲面缺陷识别问题，提出了基于Swin Transformer网络的曲面缺陷自动识别方法。本文主要工作如下：　　依据车身CAD建模相关标准（如《GB/T18784-2002CAD-CAM数据质量》）和资深车身工程师的专家经验等，对造成组合曲面偏置失败或不满足工程需求的曲面缺陷进行分类并分析原因。通过收集、整理汽车车身复杂曲面模型，构建了较大规模的曲面测试案例库，包含单一曲面缺陷和组合曲面缺陷1408个设计模型。　　基于车身设计领域的工程标准和专家知识，提出了一种定义曲面缺陷的方法：对于退化曲面，通过曲面边界控制点间最远距离和角点角度进行判定，对于畸形曲面，通过曲面多项式次数、控制点数量和曲面间控制点分布系数进行判定，对于G1非连续缺陷曲面，通过偏置曲面与基曲面交线间的距离进行判定。然后，针对三类曲面缺陷提出了的不同的曲面缺陷修复方案：对于退化曲面，采用四边域修剪曲面进行曲面重构;对于畸形曲面，采用车身工程约束进行拟合曲面的方法，对多项式次数、控制点的数量和距离分布进行优化;对于G1级非连续缺陷曲面，采用创建过渡曲面的方法进行修复。　　本研究利用Siemens NX软件的二次开发技术和知识融合技术，完成AutoMorpher-CSOffset软件模块及对应数值实验。实验结果表明，本文提出的基于缺陷修复的复杂曲面偏置方法较好地提高了组合曲面偏置的成功率，减少了人工干预。　　针对退化曲面和畸形曲面的自动识别问题，提出了基于Swin Transformer网络的曲面缺陷识别方法。首先，针对原始曲面的控制网格进行图像采集及数据增强，生成包含10215张图片的不同性态的曲面缺陷数据集;采用具有自注意力机制的Swin Transformer神经网络进行训练。实验结果表明，相比于传统的ResNet、ConvNeXt等网络，本文提出的曲面缺陷识别方法对单一曲面缺陷预测的准确率达到97.85%，为CAD曲面缺陷的智能化修复提供了参考依据。

关键词：汽车车身结构设计曲面偏置缺陷自动修复

来源：评论

学校读者我要写书评

暂无评论

基于搜索的软件缺陷自动修复关键技术研究

基于搜索的软件缺陷自动修复关键技术研究

引用

作者：刘桂壮北京交通大学

学位级别：硕士

随着软件需求和规模的不断增长,软件缺陷成为了影响软件质量的重要因素。然而在软件开发的过程中,软件缺陷是不可避免的。研究表明,软件缺陷的修复占据了软件开发一半以上的时间以及约90%的经济成本。因此,为了降低人员负担和维护成本,... 详细信息

随着软件需求和规模的不断增长,软件缺陷成为了影响软件质量的重要因素。然而在软件开发的过程中,软件缺陷是不可避免的。研究表明,软件缺陷的修复占据了软件开发一半以上的时间以及约90%的经济成本。因此,为了降低人员负担和维护成本,对缺陷自动修复技术的研究显得尤为重要。为了研究高效的缺陷自动修复方法,研究者从缺陷定位、补丁生成以及验证等方面展开研究。然而,缺陷自动修复技术仍然面临着以下两大挑战:修复粒度过粗问题和搜索效率过低问题。现有的缺陷自动修复方法主要是基于语句级别,通过复用程序中的语句达到修复的目的。已有研究表明,该类方法修复粒度过粗,可能无法找到正确的修复成分。正确的修复成分往往以比语句更细的粒度存在(例如:表达式)。此外,当以细粒度修复时,搜索空间急剧膨胀(约400倍)。此时算法的搜索能力明显不足,难以直接应用。为解决上述挑战,本文基于程序语法树和遗传编程展开研究。主要研究内容如下:1.针对修复粒度过粗问题,提出了基于表达式的补丁生成方法(Tiny Repair)。该方法对已有的缺陷定位技术进行改进,将缺陷分批次处理。利用语法树将程序进行分解,定义了16种数据结构提取修复材料,并设计了类型过滤、上下文感知策略以分配修复成分。本文提出了动态补丁合成方法,该方法直接在语法树上合成补丁,实现细粒度修复,同时引入了第三方数据源指导修复。2.针对搜索效率过低问题,提出了基于细粒度补丁搜索的自动修复方法。本文根据补丁表示选择了适应细粒度修复的算法:多目标进化算法和随机算法。并基于两种算法,提出了自动修复方法MSRepair和RSRepair。在实验表明MSRepair明显优于RSRepair的基础上,融合其它多目标进化算法实现了扩展方法MSRepair。此外,本文提出了基于最长公共子序列(LCS)的排序技术,用于候选补丁的预处理。3.为验证细粒度修复的有效性,本文共设计了5个实验,在数据集Defects4j上,对所提出的方法进行了系统性验证。实验表明,Tiny Repair方法生成了36个正确补丁,准确率高达73.5%;MSRepair方法正确修复了26处错误,准确率为62%;相较修复方法Gen Prog,MSRepair在修复数量和准确率方面分别提高了4.2倍和2.3倍。

关键词：细粒度缺陷自动修复补丁生成多目标进化遗传编程补丁搜索

来源：评论

学校读者我要写书评

暂无评论

基于静态分析警告的程序语义缺陷自动修复技术

基于静态分析警告的程序语义缺陷自动修复技术

引用

作者：张靖棠南京航空航天大学

学位级别：硕士

程序缺陷自动修复(APR)是用于解决随着程序规模庞大化、逻辑复杂化后带来大量缺陷的有效解决方法。在APR的整体流程中,缺陷定位模块产生疑似缺陷代码的位置,作为补丁生成模块的基本输入;补丁生成模块根据策略产生补丁修复缺陷。已有研... 详细信息

程序缺陷自动修复(APR)是用于解决随着程序规模庞大化、逻辑复杂化后带来大量缺陷的有效解决方法。在APR的整体流程中,缺陷定位模块产生疑似缺陷代码的位置,作为补丁生成模块的基本输入;补丁生成模块根据策略产生补丁修复缺陷。已有研究表明,缺陷定位的准确性直接影响到补丁生成的质量。现有的缺陷定位工具依赖测试用例(test case)计算每行代码的缺陷疑似度,但已有研究并没有深入探究测试用例的特性对缺陷定位准确率有何种程度的影响。本文探究了测试用例的失败行为、预期值类型对缺陷定位准确率进而对APR工具修复效果的影响,并提出使用失败测试用例的调用栈信息来优化缺陷定位的结果。本文在四种最先进的APR工具上进行了验证,结果表明,该优化方法能够显著提升缺陷定位的准确率和补丁生成的正确率,同时显著减少候选补丁的生成数量。在众多补丁生成技术中,基于修复模板(fix pattern)的补丁生成技术因能够产生更多正确的补丁而被广泛使用,其修复模板来源于对已有代码仓库中的代码变更记录进行挖掘。由于代码提交信息的不准确性,上述方法无法保证采集到的修复模板是准确而有效的。本文提出使用静态分析工具警告的修复变更记录来挖掘可靠修复模板的方法,并实现了利用这些修复模板进行补丁生成APR工具AVATAR。本文在四个数据集(Defects4J,***,BEARS和Quix Bugs)上进行了实验,证明了AVATAR能够正确修复程序中的语义缺陷;此外,AVATAR还能够修复其它最新的APR工具无法修复的缺陷,从而能够与其它APR工具形成互补。进而印证了从静态分析工具警告的修复记录中挖掘出的修复模板是可靠且有效的。

关键词：缺陷自动修复缺陷定位测试用例静态分析修复模板

来源：评论

学校读者我要写书评

暂无评论

大模型在软件缺陷检测与修复的应用发展综述

引用

软件学报 2025年第4期36卷 1489-1529页

作者：香佳宏徐霄阳孔繁初彭湃张钊张煜群南方科技大学斯发基斯可信自主系统研究院广东深圳518055 南方科技大学计算机科学与工程系广东深圳518055 深圳艾提亚科技有限公司广东深圳518067

随着信息化的深入,大量应用程序的开发和功能迭代不可避免引入软件缺陷,并潜在地对程序可靠性和安全性造成了严重的威胁.检测与修复软件漏洞,已经成为开发者维护软件质量必要的任务,同时也是沉重的负担.对此,软件工程的研究者在过去的... 详细信息

随着信息化的深入,大量应用程序的开发和功能迭代不可避免引入软件缺陷,并潜在地对程序可靠性和安全性造成了严重的威胁.检测与修复软件漏洞,已经成为开发者维护软件质量必要的任务,同时也是沉重的负担.对此,软件工程的研究者在过去的数十年中提出大量相关技术,帮助开发者解决缺陷相关问题.然而这些技术都面对着一些严峻的挑战,在工业实践落地上鲜有进展.大模型,如代码大模型CodeX和对话大模型ChatGPT,通过在海量数据集上进行训练,能够捕捉代码中的复杂模式和结构,处理大量上下文信息并灵活地适应各种任务,以其优秀的性能吸引了大量研究人员的关注.在诸多软件工程任务中,基于大模型的技术展现出显著的优势,有望解决不同领域过去所面对的关键挑战.因此,尝试对目前已经存在基于大模型相关成熟技术的3个缺陷检测领域:深度学习库的缺陷检测、GUI自动化测试、测试用例的自动生成,与软件缺陷修复的成熟领域:缺陷自动化修复,进行分析和探究,在阐述其发展脉络的同时对不同技术流派的特性和挑战进行深入的探讨.最后,基于对已有研究的分析,总结这些领域和技术所面临的关键挑战及对未来研究的启示.

关键词：大模型缺陷检测深度学习库缺陷检测测试用例自动生成 GUI自动化测试缺陷自动修复

来源：评论

学校读者我要写书评

暂无评论

基于思维链的软件漏洞自动修复

引用

软件学报 2025年第3期36卷 1131-1151页

作者：林博王尚文毛晓光国防科技大学计算机学院湖南长沙410073

随着软件漏洞的类型、数量和复杂性日渐增长,研究人员提出了诸多自动化的手段来帮助开发人员发现、检测和定位漏洞,但研究人员仍需花费大量精力对漏洞进行修复.近年来,一些研究者开始关注软件漏洞自动修复技术,然而当前的先进技术仅将... 详细信息

随着软件漏洞的类型、数量和复杂性日渐增长,研究人员提出了诸多自动化的手段来帮助开发人员发现、检测和定位漏洞,但研究人员仍需花费大量精力对漏洞进行修复.近年来,一些研究者开始关注软件漏洞自动修复技术,然而当前的先进技术仅将软件漏洞修复规约为通用的文本生成问题,没有对缺陷修复位置进行定位,导致修复程序的生成空间较大,使得生成的修复程序质量较低,将其提供给开发人员反而影响漏洞修复的效率和效果.针对上述问题,提出一种基于思维链的通用类型漏洞修复方法CotRepair,利用思维链技术,模型首先对产生漏洞概率较高的位置进行预测,而后依托预测结果,更加准确地生成修复程序.实验结果表明提出的方法在评价生成修复程序的各项指标上均显著优于基线方法,从多个维度验证所提方法的有效性.

关键词：软件漏洞缺陷自动修复深度学习

来源：评论

学校读者我要写书评

暂无评论

基于指针神经网络的细粒度缺陷定位

引用

软件学报 2024年第4期35卷 1841-1860页

作者：王尚文刘逵林博黎立 Jacques KLEIN TegawendéFrançois BISSYANDÉ 毛晓光国防科技大学计算机学院湖南长沙410073 南京航空航天大学计算机科学与技术学院江苏南京210016 Monash University Clayton VIC 3800Australia University of Luxembourg Luxembourg L-1359Luxembourg

软件缺陷定位是指找出与软件失效相关的程序元素.当前的缺陷定位技术仅能产生函数级或语句级的定位结果.这种粗粒度的定位结果会影响人工调试程序和软件缺陷自动修复的效率和效果.专注于细粒度地识别导致软件缺陷的具体代码令牌,为代码... 详细信息

软件缺陷定位是指找出与软件失效相关的程序元素.当前的缺陷定位技术仅能产生函数级或语句级的定位结果.这种粗粒度的定位结果会影响人工调试程序和软件缺陷自动修复的效率和效果.专注于细粒度地识别导致软件缺陷的具体代码令牌,为代码令牌建立抽象语法树路径,提出基于指针神经网络的细粒度缺陷定位模型来预测出具体的缺陷代码令牌和修复该令牌的具体操作行为.开源项目中的大量缺陷补丁数据集包含大量可供训练的数据,且基于抽象语法树构建的路径可以有效捕获程序结构信息.实验结果表明所训练出的模型能够准确预测缺陷代码令牌并显著优于基于统计的与基于机器学习的基线方法.另外,为了验证细粒度的缺陷定位结果可以贡献于缺陷自动修复,基于细粒度的缺陷定位结果设计两种程序修复流程,即代码补全工具去预测正确令牌的方法和启发式规则寻找合适代码修复元素的方法,结果表明两种方法都能有效解决软件缺陷自动修复中的过拟合问题.

关键词：缺陷定位缺陷自动修复神经网络

来源：评论

学校读者我要写书评

暂无评论

基于监督式主题模型和深度学习的API缺陷定位与修复技术

基于监督式主题模型和深度学习的API缺陷定位与修复技术

引用

作者：张晓飞南京大学

学位级别：硕士

开源软件开发过程中,缺乏专门的测试人员、开发人员流动性大、大量集成第三方库和框架等特点,使其缺陷修复、尤其是应用编程接口(Application Programming Interfaces,API)相关缺陷修复面临巨大挑战。具体而言,上述特点导致:1)大部分缺... 详细信息

开源软件开发过程中,缺乏专门的测试人员、开发人员流动性大、大量集成第三方库和框架等特点,使其缺陷修复、尤其是应用编程接口(Application Programming Interfaces,API)相关缺陷修复面临巨大挑战。具体而言,上述特点导致:1)大部分缺陷报告通常只包含功能失效描述,缺乏功能实现代码线索;2)参于项目的开发人员往往缺乏必要的业务功能与实现代码关联知识;3)开发人员较难掌握种类繁多的第三方库或框架提供的API正确使用知识。这些因素最终导致,当开发人员试图处理缺陷报告时,难以定位相关实现代码,而对于API相关缺陷,即使确定了代码范围,也难以理解代码并找到缺陷产生的原因。为此,需要提供一种基于缺陷报告的API缺陷自动修复技术帮助开源软件开发人员提高缺陷修复效率。开源代码托管平台为开源软件开发提供了缺陷跟踪和代码库管理等功能,其缺陷跟踪系统中积累了大量已修复缺陷报告和对应的代码变动信息,而其代码库中也积累了大量各类API使用代码。为此,本文基于机器学习的相关技术首先从缺陷跟踪系统积累的数据中学习出业务功能与实现代码关联知识,帮助开发人员定位缺陷报告关联的代码,接着从代码库中积累的大量代码中学习出正确的API使用知识,帮助开发人员理解缺陷代码,并对API缺失类缺陷提供修复建议。本文的主要工作包括:1.提出了一个综合缺陷报告文本和元信息的缺陷定位技术,基于扩展的监督式文本主题模型,利用了缺陷报告中的标签子串词以及元信息进一步提高了缺陷代码定位的准确率。2.提出了一个基于深度学习的API缺失缺陷检测和修复技术,使用双向循环神经网络和注意力机制构造一个定位和缺失API预测的多任务学习模型,完整解决API缺失缺陷的检测和修复任务,并进一步提高了 API缺失缺陷检测效果。3.基于上述方法和技术,实现了一个原型系统,初步验证了本文所提方法和技术的合理性。

关键词：缺陷报告缺陷定位缺陷自动修复 API误用检测

来源：评论

学校读者我要写书评

暂无评论

融合缺陷修复动态信息的补丁正确性验证方法研究

融合缺陷修复动态信息的补丁正确性验证方法研究

引用

作者：蒋志文北京交通大学

学位级别：硕士

软件缺陷是影响软件质量的关键因素,使用包含缺陷的软件会给社会带来巨大经济损失。缺陷自动修复技术能自动修复软件缺陷,极大地降低了软件维护的成本,因此也引起了研究人员的广泛关注。但是,现有的缺陷自动修复技术也面临着补丁过拟合... 详细信息

软件缺陷是影响软件质量的关键因素,使用包含缺陷的软件会给社会带来巨大经济损失。缺陷自动修复技术能自动修复软件缺陷,极大地降低了软件维护的成本,因此也引起了研究人员的广泛关注。但是,现有的缺陷自动修复技术也面临着补丁过拟合问题,即:通过测试的补丁并不符合程序的预期行为。为了客观地验证补丁正确性,目前最先进的技术通过提取补丁的动态特征或静态特征来判断补丁正确性。基于动态特征的方法中收集的动态信息粒度较粗,而基于静态特征的方法只提取文本上的语义特征而没有考虑程序的运行时信息。针对现有方法存在的问题,本文从细粒度动态特征和动静态特征融合两个角度进行研究,设计并实现了一种基于细粒度动态特征的补丁正确性验证方法,并基于此动态特征提出了一种融合动静态特征的补丁正确性验证方法。本文的主要研究内容如下: (1)通过构建细粒度动态特征矩阵的方式来验证补丁的正确性。本文首先收集现有的修复工具生成的补丁来构建一个平衡的补丁数据集;接下来在补丁程序上运行相关测试方法并收集测试覆盖信息;然后从覆盖信息中提取测试效能矩阵和测试覆盖矩阵(从补丁增加代码位置及其上下文中提取)作为补丁的细粒度动态特征;最后将动态特征输入到五个分类器中验证补丁正确性。基于提出的方法,本文设计了非跨项目实验和跨项目实验来验证该方法的效果。实验结果表明,在非跨项目实验中,使用测试覆盖矩阵对应的补丁动态特征进行补丁正确性分类的效果高于最先进的Cache方法(在五折交叉验证的补丁数据集上F1值比Cache方法高1.7%);在跨项目实验中,本文提出的方法在多数指标上也达到了最好的效果。 (2)通过动静态特征融合的方式来验证补丁的正确性。本文首先融合Cache方法中生成的静态特征和本文提出的细粒度动态特征,然后再训练分类器,最后使用融合后的特征训练的模型进行补丁正确性验证。基于提出的融合动静态特征的方法,本文设计了非跨项目实验和跨项目实验来验证特征融合前后的效果。实验结果表明,在非跨项目实验中,融合动静态特征的方法的分类效果要高于特征融合前的分类效果(在五折交叉验证的补丁数据集上,F1值比单独使用动态特征高4.5%,比单独使用静态特征高6.2%);在跨项目实验中,本文提出的动静态特征融合方法在跨Chart、Lang、Time三个项目上达到了最好的效果,在跨Math项目上多数指标也达到了最好的效果。

关键词：缺陷自动修复补丁正确性验证动态特征静态特征特征融合

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：