期刊文献+
共找到274篇文章
< 1 2 14 >
每页显示 20 50 100
面向软件质量的Bug等级评价算法 被引量:1
1
作者 吕林涛 安存召 李翠 《计算机工程与设计》 CSCD 北大核心 2008年第23期6033-6036,共4页
无论是系统软件还是应用软件都存在一定的缺陷(bug),所以如何利用已有的bug信息指导软件开发和保证软件质量,从而最大程度上降低bug给软件带来的隐患,成为普遍研究的课题。通过对功能需求与开发周期中bug等级分类的研究,进一步分析了bu... 无论是系统软件还是应用软件都存在一定的缺陷(bug),所以如何利用已有的bug信息指导软件开发和保证软件质量,从而最大程度上降低bug给软件带来的隐患,成为普遍研究的课题。通过对功能需求与开发周期中bug等级分类的研究,进一步分析了bug的访问控制和bug的生命周期。并充分结合已有的bug数据库,采用离散数据的最小二乘拟合法进行数值处理,提出了一种面向软件质量的bug等级评价算法。实际应用表明该算法在软件开发过程中具有一定的理论和实用价值。 展开更多
关键词 bug bug等级评价 访问控制 bug生命周期 最小二乘拟合
在线阅读 下载PDF
基于知识图谱的bug问题探索性搜索方法 被引量:8
2
作者 孙小兵 王璐 +2 位作者 王经纬 李斌 李宇 《电子学报》 EI CAS CSCD 北大核心 2018年第7期1578-1583,共6页
软件bug问题在软件开发与维护过程中不可避免.然而软件历史库中的bug库与commit库之间没有直接的对应关系,并且随着bug信息、commit提交信息量的增长,搜索bug变得更加繁琐.本文提出一种基于知识图谱对bug问题进行探索性搜索的方法.通过... 软件bug问题在软件开发与维护过程中不可避免.然而软件历史库中的bug库与commit库之间没有直接的对应关系,并且随着bug信息、commit提交信息量的增长,搜索bug变得更加繁琐.本文提出一种基于知识图谱对bug问题进行探索性搜索的方法.通过建立bug报告、commit提交信息及相关人员(如:bug报告人、commit提交者等)信息的bug知识图谱,并结合探索性搜索的思想,不仅能准确搜索bug问题,还能提供相关辅助信息对bug问题进行探索性搜索,帮助软件开发人员更有效地理解和解决bug问题. 展开更多
关键词 bug报告 commit提交 知识图谱 探索性搜索
在线阅读 下载PDF
DBugHelper:分布式系统Debug协助工具
3
作者 张燕飞 张春熙 +1 位作者 李宇明 张蓉 《华东师范大学学报(自然科学版)》 CAS CSCD 北大核心 2016年第5期153-164,共12页
对于大规模分布式系统的开发而言,其开发周期比较漫长,包括前期的开发、过程中的Debug、后期的维护和测试等.在整个开发周期中,Debug是一个非常关键和重要的环节,如何才能在短时间内找到最可靠的方法来解除bug成为一个重要的挑战.对于... 对于大规模分布式系统的开发而言,其开发周期比较漫长,包括前期的开发、过程中的Debug、后期的维护和测试等.在整个开发周期中,Debug是一个非常关键和重要的环节,如何才能在短时间内找到最可靠的方法来解除bug成为一个重要的挑战.对于系统开发人员来说,bug报告能非常有效地帮助其了解bug的所有特征信息,并找到能修复bug的方法.通过研究发现,许多大规模分布式系统之间具有较强的相关性和相似性,因而其bug的产生情况和修复方法也具有类似特征.开发人员可以利用已存在的修复bug的方案来协助修复与其一致或相近的bug.本文提出一个适用于大规模分布式系统的Debug协助工具——DBugHelper,能为某些大规模分布式系统的开发人员的bug修复提供比较有效、正确的帮助.DBugHelper将最新的bug报告进行文本处理,形成查询向量,并将大量已被修复的bug及其相关信息进行离线处理和缓存,从而为在线查询提供索引机制.通过将大量已修复的bug报告进行离线处理并同时减少在线处理的数据量,从而使其准确并快速地为系统开发人员提供必要的Debug协助工作,以此减少系统开发的周期与成本. 展开更多
关键词 大规模分布式系统 DEbug bug报告 协助
在线阅读 下载PDF
Multi-Bug全局路径规划算法研究 被引量:10
4
作者 彭艳 鲍凌志 +1 位作者 瞿栋 解杨敏 《农业机械学报》 EI CAS CSCD 北大核心 2020年第6期375-384,共10页
提出一种基于Multi-Bug思想的非搜索全局路径规划算法。在Multi-Bug算法中,借用传统Bug算法的寻路逻辑,加入遇到障碍物时的爬虫分裂规则及爬虫死亡条件判断规则,直至其中一只爬虫以相对最优路径抵达终点,从而实现多路径并行运算的局部... 提出一种基于Multi-Bug思想的非搜索全局路径规划算法。在Multi-Bug算法中,借用传统Bug算法的寻路逻辑,加入遇到障碍物时的爬虫分裂规则及爬虫死亡条件判断规则,直至其中一只爬虫以相对最优路径抵达终点,从而实现多路径并行运算的局部最优寻路策略。利用栅格法对多类障碍物、迷宫类地图等环境进行建模,并与Dist-Bug算法、RRT*和A*算法进行路径长度及运算时间的对比仿真实验,结果表明,采用Multi-Bug算法获得的路径长度和用时都表现得更加稳定;与获得最短路径的A*算法相比,Multi-Bug算法获得的平均路径长度仅增加了16.8%,平均用时减少了86.5%。经理论分析及仿真验证,Multi-Bug算法时间复杂度为O(n),具有路径较短、时效性强、算法通用性和稳定性好的路径规划性能。 展开更多
关键词 路径规划 Multi-bug算法 Dist-bug算法 栅格法
在线阅读 下载PDF
BP人工神经网络在bug分析中的应用
5
作者 王雷 杨小虎 《计算机应用》 CSCD 北大核心 2010年第1期153-155,共3页
应用于金融领域的软件系统,由于其包含复杂的商业逻辑导致此类系统不但庞大而且逻辑复杂。在此类系统的开发和升级过程中,系统缺陷及错误的寻找、分析常常非常困难且费时,在通常情况下,它往往成为整个项目中后期的瓶颈。运用BP人工神经... 应用于金融领域的软件系统,由于其包含复杂的商业逻辑导致此类系统不但庞大而且逻辑复杂。在此类系统的开发和升级过程中,系统缺陷及错误的寻找、分析常常非常困难且费时,在通常情况下,它往往成为整个项目中后期的瓶颈。运用BP人工神经网络的算法,设计并实现了针对某银行网上交易系统的缺陷及错误分析系统,并且通过实验证实该系统能帮助开发人员提高寻找、分析系统缺陷及错误的效率,进而加快整个项目的进度。 展开更多
关键词 BP人工神经网络 系统升级 bug分析 金融软件系统
在线阅读 下载PDF
Bug localization based on syntactical and semantic information of source code
6
作者 YAN Xuefeng CHENG Shasha GUO Liqin 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2023年第1期236-246,共11页
The existing software bug localization models treat the source file as natural language, which leads to the loss of syntactical and structure information of the source file. A bug localization model based on syntactic... The existing software bug localization models treat the source file as natural language, which leads to the loss of syntactical and structure information of the source file. A bug localization model based on syntactical and semantic information of source code is proposed. Firstly, abstract syntax tree(AST) is divided based on node category to obtain statement sequence. The statement tree is encoded into vectors to capture lexical and syntactical knowledge at the statement level.Secondly, the source code is transformed into vector representation by the sequence naturalness of the statement. Therefore,the problem of gradient vanishing and explosion caused by a large AST size is obviated when using AST to the represent source code. Finally, the correlation between bug reports and source files are comprehensively analyzed from three aspects of syntax, semantics and text to locate the buggy code. Experiments show that compared with other standard models, the proposed model improves the performance of bug localization, and it has good advantages in mean reciprocal rank(MRR), mean average precision(MAP) and Top N Rank. 展开更多
关键词 bug report abstract syntax tree code representation software bug localization
在线阅读 下载PDF
基于bugs的克隆代码稳定性评估方法 被引量:1
7
作者 赵玉武 翟晔 刘东升 《计算机应用研究》 CSCD 北大核心 2017年第4期1109-1113,共5页
针对克隆代码稳定性评价方法少且准确度低等问题,提出了一种以含bugs的代码文件修改频度为标准的评价克隆代码稳定性的方法。首先从软件版本管理系统中获取软件bugs的修复日志并进行标准化处理;其次从bugs管理系统中获取软件bugs的详细... 针对克隆代码稳定性评价方法少且准确度低等问题,提出了一种以含bugs的代码文件修改频度为标准的评价克隆代码稳定性的方法。首先从软件版本管理系统中获取软件bugs的修复日志并进行标准化处理;其次从bugs管理系统中获取软件bugs的详细描述信息,并利用bug的ID号和修复日志中bug的ID号进行关联提取含bugs的代码文件;然后通过克隆检测工具检测获取软件系统中的克隆代码,并与含bugs的代码文件路径进行关联,提取出含bugs的克隆与非克隆代码;最后利用SVN diff工具统计含bugs的克隆代码和非克隆代码的修改频度,并对克隆代码的稳定性进行评估。对五款不同语言开发的软件系统进行实验,实验结果表明克隆代码修改频度较非克隆代码更少,且引起的bugs严重程度相对较低,同时表明此评估方法的可行性,为克隆代码的管理和维护提供了依据。 展开更多
关键词 克隆代码 bugs 修改频度 稳定性 SVN
在线阅读 下载PDF
一种快速定位bug的记录-回放调试系统 被引量:2
8
作者 江山 王维维 +1 位作者 蒋龙 尚云海 《计算机应用与软件》 CSCD 2016年第10期219-222,237,共5页
嵌入式程序调试中,程序行为的不确定性加大了bug复现的难度,而多线程程序调试中此问题尤为严重。记录-回放调试技术能有效地解决该问题,但是目前它仍然存在许多技术缺陷,比如会使程序性能下降、调试效率低等,对此提出并实现了一种快速定... 嵌入式程序调试中,程序行为的不确定性加大了bug复现的难度,而多线程程序调试中此问题尤为严重。记录-回放调试技术能有效地解决该问题,但是目前它仍然存在许多技术缺陷,比如会使程序性能下降、调试效率低等,对此提出并实现了一种快速定位bug的记录-回放调试系统。该系统通过记录多线程程序的调度事件,在整体调试时运行性能损耗不高于10%的情况下,实现多线程程序运行顺序的精确回放功能。并且该系统结合进程快照技术,在回放模式下从快照点开始回放程序,能够有效地加速bug的定位,提高调试效率,对于长运行时间的大型程序的调试帮助尤为有效。 展开更多
关键词 嵌入式 多线程 可逆调试器 进程快照 线程调度 bug定位
在线阅读 下载PDF
基于改进型Bug算法的林间移动平台避障方法研究 被引量:7
9
作者 蔡存成 姚立健 +2 位作者 曾松伟 柴善鹏 王露露 《西北农林科技大学学报(自然科学版)》 CSCD 北大核心 2021年第7期145-154,共10页
[目的]提出一种基于改进型Bug算法的自动导航避障方法,为提高林间移动平台作业时的避障能力提供参考.[方法]通过6个超声波传感器将林间移动平台四周分为9个探测区域,根据各区域内的车-障距离确定相应的避障策略;改进传统Bug算法,将避障... [目的]提出一种基于改进型Bug算法的自动导航避障方法,为提高林间移动平台作业时的避障能力提供参考.[方法]通过6个超声波传感器将林间移动平台四周分为9个探测区域,根据各区域内的车-障距离确定相应的避障策略;改进传统Bug算法,将避障过程分成路径追踪、避行和绕行3个阶段;在避行阶段,建立避障转向角索引图,同时根据转向延迟试验获得转向时机的提前量,将该提前量与索引图结合,使林间移动平台在合适的时机使用最大转向角避障;在绕行阶段,通过设计带自调节函数的模糊控制器,控制林间移动平台绕障碍物边缘行驶.最后根据林间环境特点,设计大、小2种障碍物试验,分别对避障时机、绕行偏差和总路程等参数进行统计与分析.[结果]林间环境大、小障碍物避障试验表明:林间移动平台提前避障距离分别为93.9和81.7 cm,平台前方的2个传感器的探测距离在索引图范围内,可以精准实现提前避障;大、小障碍物避障总路程与理论路程之差分别占理论值的0.64%和0.42%,平均绕行偏差分别为-15.2和-7.9 cm,绕行标准差分别为7.7和12.5 cm,可以实现稳定绕障.[结论]所建立的基于改进型Bug算法的自动导航避障方法,避障路径冗余小且行驶稳定,满足了林间环境运输及其他移动作业的要求. 展开更多
关键词 林间移动平台 移动作业 超声波避障 自调节模糊控制 自动导航 bug算法
在线阅读 下载PDF
基于演化模式克隆代码Bugs倾向性分析
10
作者 葛广帅 闫盛 +1 位作者 刘东升 张丽萍 《计算机工程与应用》 CSCD 北大核心 2018年第13期59-66,共8页
针对当前克隆代码管理不科学,没有侧重点,提出基于演化模式克隆代码Bugs倾向性分析方法。首先使用自主研发工具CloneCodeTracker跟踪克隆演化,然后结合克隆代码Bugs修复数据分视角讨论不同演化模式下克隆代码Bugs倾向性。经过对12款软件... 针对当前克隆代码管理不科学,没有侧重点,提出基于演化模式克隆代码Bugs倾向性分析方法。首先使用自主研发工具CloneCodeTracker跟踪克隆演化,然后结合克隆代码Bugs修复数据分视角讨论不同演化模式下克隆代码Bugs倾向性。经过对12款软件近2万个版本实验,结果表明:克隆群视角下复杂演化模式Bugs倾向性最高,合并演化模式Bugs倾向性较高;克隆片段视角下去除演化模式Bug倾向性明显高于其他演化模式;克隆代码内容视角下一致变化演化模式与不一致变化模式Bugs倾向性差别不明显。这些结论可以为克隆重构、克隆管理提供建议,例如,选择复杂演化模式,合并演化模式,去除演化模式的克隆代码优先重构。 展开更多
关键词 克隆代码 bugs倾向性 演化模式 克隆管理
在线阅读 下载PDF
基于BUG理论的一种改进算法
11
作者 盛宗生 胡永才 《河南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第3期172-174,共3页
BUG理论是解决未知环境下机器人路径规划问题的一种简单而实用的方法,但它的不足之处是冗余度大,用两点法改进BUG理论,从而很好的弥补了BUG理论的不足,仿真实验表明,该方法是可行的,对环境的适用性强、效果好.
关键词 bug理论 两点法 算法
在线阅读 下载PDF
TRIBON系统在船体设计中的BUG分析 被引量:1
12
作者 叶宏 吴强 《船海工程》 北大核心 2019年第S02期75-79,共5页
通过对生产过程中遇到的实际问题进行研究,发现TRIBON系统存在的BUG,介绍和分析了这些BUG,并对如何进行BUG管理提出建议。
关键词 数字化造船 TRIBON 系统bug
在线阅读 下载PDF
基础软件性能缺陷检测研究综述 被引量:1
13
作者 何浩辰 李姗姗 +4 位作者 贾周阳 姚懿恒 张元良 王戟 廖湘科 《计算机学报》 北大核心 2025年第1期210-233,共24页
一直以来,软件性能缺陷给企业造成了巨大的经济损失。在性能缺陷流入生产环境之前,及时检测和修复缺陷可以有效预防性能故障,降低经济损失。然而,不同于一般软件缺陷,性能缺陷更加难以检测,具体表现为触发条件更加苛刻、表现症状更加隐... 一直以来,软件性能缺陷给企业造成了巨大的经济损失。在性能缺陷流入生产环境之前,及时检测和修复缺陷可以有效预防性能故障,降低经济损失。然而,不同于一般软件缺陷,性能缺陷更加难以检测,具体表现为触发条件更加苛刻、表现症状更加隐蔽、缺陷类型更加多样等方面。当前已有研究从多个方面提出自动化的性能缺陷检测方法,形成了三个流派:一是基于特定模式的性能缺陷检测,首先调研特定类型性能缺陷的特征,然后设计针对性的模式匹配方法检测缺陷;二是基于性能测试的缺陷检测,从对性能缺陷触发条件以及其症状特征的理解出发,一方面提高触发缺陷的概率,另一方面挖掘有效的性能测试预言;三是基于Profiling的传统缺陷检测,首先假设程序执行最慢的代码段可能是性能缺陷,采用各种程序分析技术定位软件性能瓶颈,预测潜在的性能缺陷。本文系统性研究了104篇相关高水平论文,对现有研究工作进行归类和分析,总结了现有研究的不足和面临的挑战,归纳出性能检测实践中的一些通用共识,并对未来的研究趋势进行了展望,总结了7个未来可能的研究方向,对下一步工作具有一定指导意义。 展开更多
关键词 基础软件 测试预言 性能分析 软件性能缺陷 软件缺陷检测
在线阅读 下载PDF
BiGCN-TL:软件错误部分定位场景下二分图图卷积神经网络Transformer定位模型 被引量:1
14
作者 施恩译 常舒予 +2 位作者 陈可佳 张扬 黄海平 《计算机科学》 北大核心 2025年第S1期862-872,共11页
在现代复杂软件项目中,软件错误与代码呈现“多对多”的对应关系,一个软件错误往往由多个代码变更集引起,一个代码变更集也会引起多个软件错误。因此,对于软件错误往往只能实现部分定位,难以追溯全部的相关代码。传统架构对于代码变更... 在现代复杂软件项目中,软件错误与代码呈现“多对多”的对应关系,一个软件错误往往由多个代码变更集引起,一个代码变更集也会引起多个软件错误。因此,对于软件错误往往只能实现部分定位,难以追溯全部的相关代码。传统架构对于代码变更集或软件错误语义特征的提取,往往只分别独立地依赖各自的上下文。现代软件项目规模庞大,代码依赖错综复杂、这样分别独立的语义提取方式,降低了单个文本语义特征的质量与鲁棒性,导致最终的定位性能下滑。为实现对软件错误相关代码的全面追溯,提出了BiGCN-TL模型。BiGCN-TL重点聚焦训练模型促进不同文本之间信息交互的能力,旨在降低对单个文本语义特征质量的依赖,使得在现代软件项目规模庞大、代码依赖错综复杂、单个文本语义特征提取困难的场景下,仍能通过高效的信息交互,提取到高质量语义特征,提高定位准确率。首先根据已知的部分定位关系,微调基于Transformer的预训练模型。然后,创新性地将软件错误和代码变更集建模成二分图的数据结构,借此充分利用已知的“多对多”关系,并使用微调后的编码器得到节点特征的初始表示。之后,基于二分图设计链接预测任务,训练GCN与二分类鉴别器。借助图卷积操作和注意力机制动态更新节点特征,重点训练模型促进文本信息的交互,动态更新节点特征的能力,从而得到高质量全局分类特征,最终输出匹配预测得分。在多个数据集上开展了对比实验,结果验证了BiGCN-TL相比传统方案的优越性,并通过消融实验确认了各模块的有效性。此外,通过探索多种预训练模型与GCN的组合,并结合具体案例和可视化分析,进一步验证了BiGCN-TL的通用性与鲁棒性。 展开更多
关键词 错误定位 预训练模型 链接预测 二分图 图神经网络
在线阅读 下载PDF
分布式系统动态测试技术研究综述 被引量:2
15
作者 陈元亮 马福辰 +3 位作者 周远航 颜臻 姜宇 孙家广 《软件学报》 北大核心 2025年第7期2964-3002,共39页
分布式系统是当今计算生态系统的支柱,它使得现代计算更加强大、可靠和灵活,覆盖了从云计算、大数据处理到物联网等多个关键领域.然而,由于系统的复杂性,分布式系统在代码实现过程中总是不可避免地引入一些代码缺陷,从而对系统的可用性... 分布式系统是当今计算生态系统的支柱,它使得现代计算更加强大、可靠和灵活,覆盖了从云计算、大数据处理到物联网等多个关键领域.然而,由于系统的复杂性,分布式系统在代码实现过程中总是不可避免地引入一些代码缺陷,从而对系统的可用性、鲁棒性以及安全性造成巨大威胁.因此,分布式系统的测试以及缺陷挖掘工作十分重要.动态测试技术在系统运行中进行实时分析,以挖掘其缺陷,评估其行为和功能,被广泛用于各种系统应用的缺陷检测中,并成功发现了许多代码缺陷.首先提出了分布式系统4层缺陷威胁模型,并基于它分析了分布式系统测试需求与主要挑战,提出了对分布式系统进行动态测试的一般框架.从挖掘不同类型系统缺陷的角度介绍了典型的分布式系统动态测试工具.总结了包括不同维度测试输入生成、系统关键状态感知、缺陷判定准则构建在内的分布式动态测试的关键技术.对当前主流分布式系统动态测试工具的覆盖率和缺陷发现能力进行了评估,从初步实验结果中可以看出多维度测试输入技术能有效提高分布式系统测试效率.最后,讨论了分布式系统动态测试的新趋势以及可能的未来发展方向. 展开更多
关键词 分布式系统 动态测试 缺陷挖掘 模糊测试 故障注入
在线阅读 下载PDF
最长公共子序列嵌入支持下的代码相似性检测
16
作者 弓媛君 黄建军 +4 位作者 游伟 石文昌 梁彬 边攀 张健 《软件学报》 北大核心 2025年第11期4975-4989,共15页
最长公共子序列(longest common subsequence,LCS)是一种衡量代码相似度的可行指标.然而,经典LCS算法的时间复杂度较高,难以应对大型数据集,并且,由于代码文本序列中的词(token)本质为一种基于离散表示的编码,直接使用LCS算法无法有效... 最长公共子序列(longest common subsequence,LCS)是一种衡量代码相似度的可行指标.然而,经典LCS算法的时间复杂度较高,难以应对大型数据集,并且,由于代码文本序列中的词(token)本质为一种基于离散表示的编码,直接使用LCS算法无法有效识别文本不同但语义相似的代码片段中的关键语义.针对这两方面的不足,提出一种面向LCS的嵌入方法,将代码间的LCS计算转换为代码低维稠密嵌入向量间的数值运算,并可以利用近似最近邻算法进一步加速其计算.为此,设计了一个可嵌入的基于LCS的距离度量方法,实验证明这种代码度量在提取函数关键语义的表现上优于对比嵌入工具使用的基于文本的距离或基于树的距离.同时,为了在嵌入过程中有重点地保留代码的关键语义,构建了两种损失函数和相应的训练集,识别文本上不同但语义上相似的代码元素,使模型在检测复杂代码克隆时有更好的表现.实验证明了该方法拥有很强的可扩展性,且其对复杂克隆的检测能力也保持在很高水平.将该技术应用于相似缺陷的识别,上报了23个未知缺陷,这些缺陷已被开发人员在实际项目中确认,其中有些复杂缺陷是难以被基于文本的LCS算法检出的. 展开更多
关键词 最长公共子序列(LCS) 代码相似性检测 代码嵌入 缺陷检测 克隆检测
在线阅读 下载PDF
捕食蝽滞育的研究进展
17
作者 徐博文 李玉艳 +5 位作者 贺玮玮 薛传振 申忠健 毛建军 张礼生 吴惠惠 《中国生物防治学报》 北大核心 2025年第1期193-206,共14页
捕食蝽是一类重要的天敌昆虫,在农林害虫的生物防治中防效显著,具有重要应用价值。滞育是昆虫为躲避不利环境而延缓发育的一种生理适应机制,许多捕食蝽种类能以成虫或卵进行滞育,研究明确捕食蝽的滞育特征及滞育调控机理,不仅有助于解... 捕食蝽是一类重要的天敌昆虫,在农林害虫的生物防治中防效显著,具有重要应用价值。滞育是昆虫为躲避不利环境而延缓发育的一种生理适应机制,许多捕食蝽种类能以成虫或卵进行滞育,研究明确捕食蝽的滞育特征及滞育调控机理,不仅有助于解析昆虫发育的环境适应性机制,也可通过调控滞育进程延长天敌昆虫的贮存期、促进其周年扩繁和提升防控效果,对促进天敌昆虫的规模扩繁和保护利用具有重要意义。本文总结归纳了27种捕食蝽的滞育特征,分析了捕食蝽滞育期间的生物学、生态学及生理特征,概述了捕食蝽滞育的分子调控机制及滞育解除后生物学,讨论了滞育在捕食蝽扩繁和生物防治中的应用前景,为深入开展捕食蝽滞育调控技术及机理研究,促进其规模化扩繁、贮存和应用提供参考依据。 展开更多
关键词 捕食蝽 滞育 贮存 扩繁 生物防治
在线阅读 下载PDF
深度学习编译器缺陷实证研究:现状与演化分析
18
作者 沈庆超 田家硕 +3 位作者 陈俊洁 陈翔 陈庆燕 王赞 《软件学报》 北大核心 2025年第7期3022-3040,共19页
深度学习编译器已被广泛应用于深度学习模型的性能优化和部署.与传统编译器类似,深度学习编译器也存在缺陷.存在缺陷的深度学习编译器会导致编译失败或者产生错误的编译结果,甚至有时会带来灾难性的后果.为了深入理解深度学习编译器缺... 深度学习编译器已被广泛应用于深度学习模型的性能优化和部署.与传统编译器类似,深度学习编译器也存在缺陷.存在缺陷的深度学习编译器会导致编译失败或者产生错误的编译结果,甚至有时会带来灾难性的后果.为了深入理解深度学习编译器缺陷的特性,已有工作针对深度学习编译器早期的603个缺陷进行研究分析.近年来,深度学习编译器在快速迭代更新,伴随着大量新特性的引入和旧特性的弃用.与此同时,一些针对深度学习编译器缺陷的检测工具已被开发出来.因此,需要分析之前对深度学习编译器缺陷的研究结论是否依然适用.此外,缺乏对缺陷症状、根因、位置三者之间关系的深入挖掘,并且缺乏对触发缺陷的回归测试用例特征和修复缺陷的补丁特征的研究.为了深入分析当下深度学习编译器缺陷特征和缺陷分布随时间的演化过程,收集当前3款主流深度学习编译器(即Apache的TVM、Facebook的Glow和华为的AKG)中的613个近期修复的缺陷,并对缺陷的根因、症状、位置等特征进行人工标注.基于标注结果,从多个不同角度深入挖掘缺陷的分布特征,并与已有研究进行对比分析.同时,对触发缺陷的回归测试用例和修复缺陷的补丁进行研究.最终获得12个主要研究发现,以全面了解深度学习编译器缺陷现状与演变过程,并为深度学习编译器缺陷的检测、定位、修复提供一系列可行的指导方案.最后,为了验证这些研究发现的有效性,开发了一款基于优化配置的测试工具CfgFuzz.CfgFuzz通过对编译配置选项进行组合测试,最终检测到8个TVM缺陷,其中7个缺陷已被开发人员确认或修复. 展开更多
关键词 深度学习编译器 缺陷分析 实证研究 缺陷检测 缺陷特征
在线阅读 下载PDF
深度学习在基于信息检索的缺陷定位中的应用综述
19
作者 曹帅 牛菲菲 +4 位作者 李传艺 陈俊洁 刘逵 葛季栋 骆斌 《软件学报》 北大核心 2025年第4期1530-1556,共27页
缺陷自动定位方法可以极大程度减轻开发人员调试和维护软件程序的负担.基于信息检索的缺陷定位方法是广泛研究的缺陷自动定位方法之一,并已取得了较好的成果.随着深度学习的普及,将深度学习应用于基于信息检索的缺陷定位成为近年来的研... 缺陷自动定位方法可以极大程度减轻开发人员调试和维护软件程序的负担.基于信息检索的缺陷定位方法是广泛研究的缺陷自动定位方法之一,并已取得了较好的成果.随着深度学习的普及,将深度学习应用于基于信息检索的缺陷定位成为近年来的研究趋势之一.系统梳理和总结了52篇近年来将深度学习引入基于信息检索缺陷定位的工作.首先,总结该类缺陷定位的数据集和评价指标,接着从不同粒度和可迁移性分析了该类技术的定位效果,随后着重梳理了相关工作中信息编码表征方法和特征提取方法.最后总结对比分析了各领域最先进的定位方法,并展望了使用深度学习的基于信息检索的缺陷定位方法的未来发展方向. 展开更多
关键词 深度学习 缺陷定位 信息检索 特征编码 代码表示
在线阅读 下载PDF
呼伦贝尔草原植食性盲蝽与寄主植物种间互作网络分析
20
作者 郭艳奇 石凯 +3 位作者 兴安 黄保祥 令玉 李媛媛 《生态与农村环境学报》 北大核心 2025年第6期770-780,I0001,I0002,共13页
为了解植食性盲蝽与其取食的寄主植物之间的互作关系,于2019年7月至9月在额尔古纳市恩和俄罗斯族民族乡天然草地进行调查,明确当地植食性盲蝽及其寄主植物的物种多样性组成,构建并分析两者互作网络。结果表明,研究地分布有15属40种植食... 为了解植食性盲蝽与其取食的寄主植物之间的互作关系,于2019年7月至9月在额尔古纳市恩和俄罗斯族民族乡天然草地进行调查,明确当地植食性盲蝽及其寄主植物的物种多样性组成,构建并分析两者互作网络。结果表明,研究地分布有15属40种植食性盲蝽和22科50属61种植物;构建了32种植食性盲蝽与22种寄主植物的互作网络,分析发现该网络呈现低嵌套高模块化结构(连接度为0.20,不对称度为0.58,嵌套性为39.01,模块度为0.49);植食性盲蝽和寄主植物的物种度均呈右偏态分布,两者主要由泛化物种构成;确定西伯利亚草盲蝽为该网络的关键物种。深入分析植食性盲蝽与寄主植物间互作关系,可以更好地理解不同植食性盲蝽物种在草地生态系统中的角色和地位;通过监测盲蝽关键物种的发生情况,对维护草地生态系统平衡和稳定具有重要指导价值。 展开更多
关键词 植食性盲蝽 寄主植物 种间互作网络 关键种
在线阅读 下载PDF
上一页 1 2 14 下一页 到第
使用帮助 返回顶部