CBFuzzer:基于执行上下文导向及保护突破的程序缺陷模糊检测

1

作者 唐成华 蔡维嘉 +1 位作者 杨萌萌 强保华 《计算机研究与发展》 北大核心 2025年第3期790-807,共18页

大量的应用实践证明了模糊测试用于检测程序脆弱性的有效性.现有的模糊测试方法缺少针对具体测试任务表现的差异性进行分析并适当地调整测试策略,更多的是采取统一流程导致测试结果差强人意.有必要根据测试过程中的具体信息对策略进行... 大量的应用实践证明了模糊测试用于检测程序脆弱性的有效性.现有的模糊测试方法缺少针对具体测试任务表现的差异性进行分析并适当地调整测试策略,更多的是采取统一流程导致测试结果差强人意.有必要根据测试过程中的具体信息对策略进行修正以达到更好的测试表现,提出了一种新的基于执行上下文导向的程序缺陷模糊测试方法,并能突破保护机制,通过捕获并分析受检程序对输入测试用例实际处理过程中的具体上下文信息,快速探索程序结构特征,对样本突变策略进行优化.同时,在相关算法的基础上实现了基于执行上下文导向的程序缺陷模糊检测原型工具CBFuzzer.实验结果表明,CBFuzzer能有效地实现对程序内部结构的快速探索(包括对保护机制的突破)、非常规程序状态转换的模拟以及更高效的脆弱点暴露.与对照方法相比,CBFuzzer在脆弱点暴露能力方面有6.8%~36.76%不同程度的提升,实际脆弱点的检出数量提升率最高达到66.67%.在可接受范围内的少量额外测试资源的投入下,CBFuzzer不仅在常规漏洞类型的检出效果上得到提高,并且对于隐匿性强的漏洞类型有更高的检测能力.截至2023年8月10日,通过CBFuzzer在13个测试任务中共发现了126个新的漏洞(已报告给软件开发者,并提交给CVE?组织). 展开更多

关键词 程序缺陷 执行上下文 保护机制 模糊测试 漏洞检测

在线阅读 下载PDF 职称材料

基于深度学习和遗传算法的方法调用缺陷自动修复方法

2

作者 宋青青 杨秋辉 +2 位作者 董兰 代声馨 赵明敏 《计算机工程与设计》 北大核心 2025年第1期237-242,共6页

为提高软件缺陷自动修复技术的修复效果,针对面向对象程序中出现概率较大的方法调用缺陷,提出一种基于深度学习和遗传算法的方法调用缺陷自动修复方法。基于深度学习构造方法调用缺陷修复模型,使用修复模型生成候选补丁并验证;若补丁无... 为提高软件缺陷自动修复技术的修复效果,针对面向对象程序中出现概率较大的方法调用缺陷,提出一种基于深度学习和遗传算法的方法调用缺陷自动修复方法。基于深度学习构造方法调用缺陷修复模型,使用修复模型生成候选补丁并验证;若补丁无效,则基于这些候选补丁,使用改进的基于遗传算法的缺陷修复方法生成候选补丁。实验结果表明,在Defects4 J数据集上,所提方法与DEAR、TBar、SequenceR和jGenProg自动化缺陷修复工具相比,缺陷修复率和补丁正确率都有提高。 展开更多

关键词 软件调试 软件缺陷自动修复 面向对象程序 方法调用缺陷 补丁生成与验证 深度学习 遗传算法

在线阅读 下载PDF 职称材料

基于CodeBERT和Stacking集成学习的补丁正确性验证方法

3

作者 韩威 姜淑娟 周伟 《计算机科学》 北大核心 2025年第1期250-258,共9页

近年来,自动程序修复已成为软件工程领域的重要研究课题。然而,现有的自动修复技术大多是基于补丁生成和测试的,在补丁验证环节时间成本很高。此外,由于测试套件的不完备,许多候选补丁虽然能通过测试,但实际上并不正确,从而导致补丁过... 近年来,自动程序修复已成为软件工程领域的重要研究课题。然而,现有的自动修复技术大多是基于补丁生成和测试的,在补丁验证环节时间成本很高。此外,由于测试套件的不完备,许多候选补丁虽然能通过测试,但实际上并不正确,从而导致补丁过拟合。为提高补丁验证的效率并缓解补丁过拟合的问题,提出了一种静态的补丁验证方法。该方法首先使用大型预训练模型CodeBERT自动提取缺陷代码片段和补丁代码片段的语义特征,然后使用历史缺陷修复补丁数据训练Stacking集成学习模型,训练之后的模型可以对新的缺陷修复补丁进行有效验证。在Defects4J缺陷数据集相关的1 000个补丁数据上对所提方法的验证能力进行评估。实验结果表明,该方法可以有效地验证补丁的正确性,从而提高补丁验证的效率。 展开更多

关键词 自动程序修复 补丁验证 预训练模型 集成学习 defects4J缺陷数据集

在线阅读 下载PDF 职称材料

面向天河新一代超算系统通用处理器的性能分析工具集

4

作者 冯文韬 栾钟治 +1 位作者 杨海龙 钱德沛 《计算机学报》 EI CSCD 北大核心 2024年第2期423-440,共18页

天河新一代超算系统是继天河2号后天河系列的新一代超算系统.该系统拟采用通用处理器配合加速器的混合异构架构,其中通用处理器采用ARM架构.目前,面向ARM架构处理器的性能分析工具仍不够完善,而面向新一代超算的性能分析工具更是较为匮... 天河新一代超算系统是继天河2号后天河系列的新一代超算系统.该系统拟采用通用处理器配合加速器的混合异构架构,其中通用处理器采用ARM架构.目前,面向ARM架构处理器的性能分析工具仍不够完善,而面向新一代超算的性能分析工具更是较为匮乏,实用性和效率还难以满足编程人员的需求.本文针对天河新一代超算系统的通用处理器,设计开发了一套性能分析工具集,包含缓存冲突检测、伪共享检测和内存缺陷检测三个子工具.工具集可以在天河新一代超算系统的普通用户权限下分析系统单节点内以及数据并行性较高的多节点程序的性能问题,并可以解决程序的内存问题.本文使用min-write、缓存行对齐填充、线程访问隔离等多种性能优化策略来提高工具性能,采用以上策略的工具的运行时间可至多减少至原先的1/20,同时使用新颖的红区检测法和红区隐藏与恢复机制来降低工具报告的假错误率.本文还开发了配套的可视化界面,使用户可以对程序的性能分析数据进行可视化的分析和处理,提高了工具的实用性和易用性.工具对程序执行带来的额外时间开销是40~100倍,额外内存开销是100~200倍,正确性和实用性得以保证,可以提高天河新一代超算系统的编程效率和程序性能. 展开更多

关键词 性能分析工具 天河新一代超算系统 伪共享检测 内存缺陷检测 程序优化

在线阅读 下载PDF 职称材料

SMT求解技术的发展及最新应用研究综述 被引量：11

5

作者 王翀 吕荫润 +2 位作者 陈力 王秀利 王永吉 《计算机研究与发展》 EI CSCD 北大核心 2017年第7期1405-1425,共21页

可满足性模理论(satisfiability modulo theories,SMT)是判定一阶逻辑公式在组合背景理论下的可满足性问题.SMT的背景理论使其能很好地描述实际领域中的各种问题,结合高效的可满足性判定算法,SMT在测试用例自动生成、程序缺陷检测、RTL(... 可满足性模理论(satisfiability modulo theories,SMT)是判定一阶逻辑公式在组合背景理论下的可满足性问题.SMT的背景理论使其能很好地描述实际领域中的各种问题,结合高效的可满足性判定算法,SMT在测试用例自动生成、程序缺陷检测、RTL(register transfer level)验证、程序分析与验证、线性逻辑约束公式优化问题求解等一些最新研究领域中有着突出的优势.首先阐述SMT问题的基础SAT(satisfiability)问题及判定算法;其次对SMT问题、判定算法进行了总结,分析了主流的SMT求解器,包括Z3,Yices2,CVC4等;然后着重介绍了SMT求解技术在典型领域中的实际应用,对目前的研究热点进行了阐述;最后对SMT未来的发展前景进行了展望,目的是试图推动SMT的发展,为此领域的相关人员提供有益的参考. 展开更多

关键词 可满足性模理论 SMT求解器 SMT求解算法 测试用例自动生成 程序缺陷检测 云计算

在线阅读 下载PDF 职称材料

基于C#与MATLAB混合编程的管道缺陷类型识别实验系统软件开发 被引量：18

6

作者 万勇 万莉 戴永寿 《实验技术与管理》 CAS 北大核心 2020年第5期52-57,共6页

金属磁记忆技术是一种能够对油气管道腐蚀缺陷和应力集中缺陷进行检测的新型非接触式检测技术。目前只能实现缺陷的检测,但是缺乏对缺陷类型识别的方法。针对该问题,设计并开发了一套基于C#与MATLAB混合编程的管道缺陷类型识别软件,软... 金属磁记忆技术是一种能够对油气管道腐蚀缺陷和应力集中缺陷进行检测的新型非接触式检测技术。目前只能实现缺陷的检测,但是缺乏对缺陷类型识别的方法。针对该问题,设计并开发了一套基于C#与MATLAB混合编程的管道缺陷类型识别软件,软件利用MATLAB进行数据处理、特征量计算及方法建模等工作,利用C#搭建面向用户的操作界面,发挥二者在软件开发上的独特优势,使用户能快速准确地实现数据特征量计算和缺陷判别实验等操作。 展开更多

关键词 混合编程 管道缺陷 C# MATLAB

在线阅读 下载PDF 职称材料

软件错误定位研究综述 被引量：16

7

作者 曹鹤玲 姜淑娟 鞠小林 《计算机科学》 CSCD 北大核心 2014年第2期1-6,14,共7页

错误定位是软件调试中的一个热点问题,旨在高效地检测出软件错误。首先根据研究方法的不同,将已有错误定位方法从轻量级和重量级两个角度进行分类并进行比较。轻量级错误定位技术不涉及程序依赖关系分析,在程序执行覆盖信息的基础上用... 错误定位是软件调试中的一个热点问题,旨在高效地检测出软件错误。首先根据研究方法的不同,将已有错误定位方法从轻量级和重量级两个角度进行分类并进行比较。轻量级错误定位技术不涉及程序依赖关系分析,在程序执行覆盖信息的基础上用统计学或数据挖掘等方法找出可疑错误代码的集合来定位错误;重量级错误定位技术涉及程序依赖关系分析,主要分析数据依赖、控制依赖关系或使用程序切片等来识别可疑代码。然后,总结了常用的评测数据集和评测标准。最后,对错误定位的未来研究趋势进行了展望。 展开更多

关键词 错误定位 软件调试 软件缺陷 程序依赖关系

在线阅读 下载PDF 职称材料

基于符号表达式的程序语义缺陷警报关联识别方法 被引量：4

8

作者 王淑栋 刘浩 +3 位作者 董玉坤 陈红旗 张莉 尹文静 《科学技术与工程》 北大核心 2020年第9期3648-3655,共8页

针对程序静态缺陷检测存在高误报需要耗费大量人力消除的问题,提出了一种程序语义缺陷警报关联的方法,通过挖掘警报间的深层次关联信息建立警报关联,有助于提升人工判定警报的效率。首先采用符号表达式与区间表示一个变量的取值,并基于... 针对程序静态缺陷检测存在高误报需要耗费大量人力消除的问题,提出了一种程序语义缺陷警报关联的方法,通过挖掘警报间的深层次关联信息建立警报关联,有助于提升人工判定警报的效率。首先采用符号表达式与区间表示一个变量的取值,并基于符号表达式的逻辑关系建立了警报间的关联推导规则,然后在缺陷检测阶段根据缺陷触发条件识别出警报并推导出不同警报间的关联,最后根据警报间的关联关系对警报进行自动判定。通过对5个实际C工程的测试结果表明,本文所提方法可以有效识别出警报间的关联关系,能够有效减轻人工判定警报的工作。 展开更多

关键词 静态分析 缺陷检测 程序语义缺陷 警报关联 符号表达式

在线阅读 下载PDF 职称材料

软件缺陷及其对软件可靠性的影响分析 被引量：6

9

作者 韦群 王珏 《计算机应用与软件》 CSCD 2011年第1期145-149,共5页

软件缺陷是软件失效的源头,是影响软件可靠性的重要因素。简述了几种典型的软件缺陷分类方法,结合C++语言,提出了面向程序代码的软件缺陷分类法。采用程序变异方法模拟各类软件缺陷,通过实验,归纳并总结了不同类型的软件缺陷对软件可靠... 软件缺陷是软件失效的源头,是影响软件可靠性的重要因素。简述了几种典型的软件缺陷分类方法,结合C++语言,提出了面向程序代码的软件缺陷分类法。采用程序变异方法模拟各类软件缺陷,通过实验,归纳并总结了不同类型的软件缺陷对软件可靠性的影响。 展开更多

关键词 软件缺陷 程序变异 软件可靠性

在线阅读 下载PDF 职称材料

二氧化钛(TiO2)表面能的理论研究 被引量：6

10

作者 魏志钢 张红星 +1 位作者 李前树 Lewis James P. 《高等学校化学学报》 SCIE EI CAS CSCD 北大核心 2008年第4期824-826,共3页

用密度泛函理论和虚拟原子轨道方法对二氧化钛-金红石(TiO2)(110)表面的表面能进行了理论计算.结果表明,二氧化钛的表面能与表面缺陷的百分率相关.完整的表面具有最低的表面能,表面能随着表面缺陷百分率的增大而升高,这与自然环境下二... 用密度泛函理论和虚拟原子轨道方法对二氧化钛-金红石(TiO2)(110)表面的表面能进行了理论计算.结果表明,二氧化钛的表面能与表面缺陷的百分率相关.完整的表面具有最低的表面能,表面能随着表面缺陷百分率的增大而升高,这与自然环境下二氧化钛-金红石(TiO2)具有规整的(110)表面一致.在光催化实验中利用二氧化钛表面的缺陷作催化剂需要考虑到表面的稳定性.另一方面,在完整的表面五配位Ti4+上填加氧原子与表面作用时,表面能起初变化很小,直到50%的五配位Ti4+被填充后表面能才开始升高. 展开更多

关键词 二氧化钛-金红石(TiO2)(110)表面 表面能 缺陷表面 火球程序

在线阅读 下载PDF 职称材料

航天嵌入式软件静态分析技术 被引量：8

11

作者 陈立前 吴国福 姜加红 《空间控制技术与应用》 CSCD 北大核心 2021年第2期86-92,共7页

软件故障已成为航天系统失败的重要因素.源代码级程序错误仍是航天嵌入式软件中最突出的问题之一,数组越界、算术溢出、除以零、指针错误、数据竞争等问题仍经常发生.静态分析能够在编译时通过分析源代码来推断程序运行时性质,是提高航... 软件故障已成为航天系统失败的重要因素.源代码级程序错误仍是航天嵌入式软件中最突出的问题之一,数组越界、算术溢出、除以零、指针错误、数据竞争等问题仍经常发生.静态分析能够在编译时通过分析源代码来推断程序运行时性质,是提高航天嵌入式软件安全性与可靠性的一种重要技术.首先将分析航天嵌入式软件的代码特征及常见错误.在此基础上,介绍了适合于航天嵌入式软件错误检测的静态分析技术,包括抽象解释、符号执行、数据竞争检测等.然后,介绍了国内近年来在面向航天嵌入式软件的静态分析技术与工具方面的研究进展.最后,对未来发展方向做了简单展望. 展开更多

关键词 嵌入式软件 程序分析 静态分析 缺陷检测

在线阅读 下载PDF 职称材料

基于约束的软件失效域识别与特征分析 被引量：1

12

作者 孙昌爱 《软件学报》 EI CSCD 北大核心 2012年第7期1688-1701,共14页

随机测试是实践中广泛采用的一种黑盒测试方法.近年来提出的适应性随机测试方法改进了随机测试的不足,仿真实验结果表明,改进效果取决于软件失效域的特征.提出以测试约束刻画软件失效域在输入域上的分布,探讨了基于现有的程序分析技术... 随机测试是实践中广泛采用的一种黑盒测试方法.近年来提出的适应性随机测试方法改进了随机测试的不足,仿真实验结果表明,改进效果取决于软件失效域的特征.提出以测试约束刻画软件失效域在输入域上的分布,探讨了基于现有的程序分析技术构造测试约束的过程,讨论了基于测试约束的软件失效域的特征分析方法.以一个实例软件验证所提出的测试约束构造过程及其软件失效域特征分析方法.测试约束揭示了软件故障的触发与传播的内在机制,基于测试约束的软件失效域的特征分析方法有助于改进测试用例的设计质量以及评价适应性随机测试方法的适用性. 展开更多

关键词 软件测试 测试用例 软件失效 软件缺陷 程序分析

在线阅读 下载PDF 职称材料

基于MATLAB编程的木质复合材料缺陷信号小波分析 被引量：1

13

作者 孙建平 王逢瑚 朱晓冬 《计算机应用与软件》 CSCD 2009年第1期47-49,共3页

介绍了小波理论的发展、小波变换处理信号的基本原理。结合MATLAB的小波工具箱、信号处理工具箱编写程序,在MATLAB环境中实现信号的小波与小波包分析,同时输出信号特征参数和相关的分析图形。利用该程序对木质复合材料缺陷信号进行分析... 介绍了小波理论的发展、小波变换处理信号的基本原理。结合MATLAB的小波工具箱、信号处理工具箱编写程序,在MATLAB环境中实现信号的小波与小波包分析,同时输出信号特征参数和相关的分析图形。利用该程序对木质复合材料缺陷信号进行分析处理,通过提取信号的特征值能量率实现木质复合材料左端、中部和右端缺陷定位无损检测。 展开更多

关键词 MATLAB编程 小波分析 木质复合材料 缺陷检测

在线阅读 下载PDF 职称材料

基于导波检测的管道缺陷扩展趋势预测

14

作者 申传俊 宋奂寰 +2 位作者 刘燕 王悦民 孙丰瑞 《振动．测试与诊断》 EI CSCD 北大核心 2013年第6期1008-1013,1095,共6页

将基于t算子的进化规划算法（tEP）应用于匹配追踪方法以提高计算效率并降低复杂性，利用匹配追踪方法分解一根含有不同深度槽陷的钢管导波检测信号，提取缺陷回波信号的幅值。将幅值作为原始序列，利用改进的灰色系统预测缺陷导波信号... 将基于t算子的进化规划算法（tEP）应用于匹配追踪方法以提高计算效率并降低复杂性，利用匹配追踪方法分解一根含有不同深度槽陷的钢管导波检测信号，提取缺陷回波信号的幅值。将幅值作为原始序列，利用改进的灰色系统预测缺陷导波信号幅度，得出预测误差在2％～5％。该方法能够较准确地预测管道缺陷导波回波信号幅度，实现管道缺陷尺寸的扩展趋势预测。 展开更多

关键词 匹配追踪 进化规划 灰色系统 缺陷 预测

在线阅读 下载PDF 职称材料

复合纤维缠绕模型的缺陷仿真设计

15

作者 方舟 马保吉 +1 位作者 曹岩 姚慧 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2014年第10期1894-1899,1908,共7页

为解决复合纤维缠绕制品三维设计仿真、应力和变形分析问题,以复杂三维模型构造方法为研究对象,提出基于三维模型数据重构的程序驱动方法创建三维大型缠绕纤维模型.首先以网格化的数据结构作为三维模型中心线上控制点坐标信息的组织形式... 为解决复合纤维缠绕制品三维设计仿真、应力和变形分析问题,以复杂三维模型构造方法为研究对象,提出基于三维模型数据重构的程序驱动方法创建三维大型缠绕纤维模型.首先以网格化的数据结构作为三维模型中心线上控制点坐标信息的组织形式;然后以圆柱形螺旋方程为基础,结合几何图形变换的方法生成全部控制点坐标;再根据用户输入的缺陷参数,由缠绕于芯轴上的第1层纤维起逐层向外查找缺陷产生的位置并依次修正控制点的坐标参数,生成有缺陷的纤维缠绕模型.该方法将较为复杂的圆锥螺旋线缺陷计算问题转变为对三维圆柱螺旋线上点坐标计算和几何图形变换问题,简化了中心线上控制点的定位坐标计算和逻辑关系判定.实验结果表明,文中方法可以创建任意长度纤维缠绕时具有多个缠绕缺陷,且单层轴向累计误差小于等于1.5倍纤维直径的复合缠绕缺陷模型. 展开更多

关键词 纤维缠绕 参数模型 程序驱动法 缺陷仿真

在线阅读 下载PDF 职称材料

一种路径敏感的静态缺陷检测方法 被引量：29

16

作者 肖庆 宫云战 +2 位作者 杨朝红 金大海 王雅文 《软件学报》 EI CSCD 北大核心 2010年第2期209-217,共9页

提出一种多项式复杂度的路径敏感静态缺陷检测算法.该方法采用变量的抽象取值范围来表示属性状态条件,通过属性状态条件中的变量抽象取值范围为空来判断不可达路径.在控制流图(control flow graph,简称CFG)中的汇合节点上合并相同属性... 提出一种多项式复杂度的路径敏感静态缺陷检测算法.该方法采用变量的抽象取值范围来表示属性状态条件,通过属性状态条件中的变量抽象取值范围为空来判断不可达路径.在控制流图(control flow graph,简称CFG)中的汇合节点上合并相同属性状态的状态条件,从而避免完整路径上下文分析的组合爆炸问题.该算法已应用于缺陷检测系统DTS(defect testing system).实际测试结果表明,该方法能够减少误报. 展开更多

关键词 缺陷检测 静态分析 路径敏感 数据流分析 程序分析

在线阅读 下载PDF 职称材料

芯片验证分析及测试流程优化技术 被引量：4

17

作者 韩银和 李晓维 +3 位作者 罗飞茵 林建京 陈宇川 朱小荣 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第10期2227-2231,共5页

分析了不同测试项目对于一款采用0.18μm工艺流片的高性能通用处理器芯片失效的发现能力.以失效分析的数据作为基本数据结构,提出了测试项目有效性和测试项目耗费时间的折中作为启发式信息的优化算法,利用该算法生成的测试流程可以减少... 分析了不同测试项目对于一款采用0.18μm工艺流片的高性能通用处理器芯片失效的发现能力.以失效分析的数据作为基本数据结构,提出了测试项目有效性和测试项目耗费时间的折中作为启发式信息的优化算法,利用该算法生成的测试流程可以减少失效芯片的测试时间.该算法和动态规划算法相比,计算复杂度从O(dn2n)降低到O(dn3).最后用实验数据证明了该算法的有效性. 展开更多

关键词 失效分析 实速测试 动态规划算法 启发式搜索算法

在线阅读 下载PDF 职称材料

R语言及其核心包缺陷的实证研究 被引量：1

18

作者 王子元 卜德欣 +1 位作者 李凌菱 张霞 《计算机科学》 CSCD 北大核心 2022年第12期89-98,共10页

R语言提供了多种统计计算的功能,并被认为是最适合人工智能领域的程序设计语言之一。语言功能的正确实现是R语言程序正确运行的必要前提,但R语言中不可避免地存在着诸多软件缺陷。文中对R语言及其核心包中的历史缺陷进行了实证研究。通... R语言提供了多种统计计算的功能,并被认为是最适合人工智能领域的程序设计语言之一。语言功能的正确实现是R语言程序正确运行的必要前提,但R语言中不可避免地存在着诸多软件缺陷。文中对R语言及其核心包中的历史缺陷进行了实证研究。通过分析R语言及其核心包中的7020个缺陷报告发现:1)缺陷所涉及的35个R语言版本中R 3.1.2,R 3.0.2,R 3.5.0所含缺陷的数量较多,这些缺陷大量分布于Documentation,Graphics,Language等少数组件中;2)缺陷优先级整体较高的组件依次是Startup,Installation和Analyses,缺陷严重程度整体较高的组件依次是I/O,Installation和Accuracy,缺陷的优先级和严重性之间存在中等强度的秩相关;3)约78%的缺陷可在一年之内被修复;4)语义错误是缺陷最常见的根本原因,其中缺少功能和数据处理错误在各个阶段均占有较高的比例。这些发现揭示了R语言及其核心包中历史缺陷的一些基本规律,可在一定程度上帮助R语言开发人员提高开发质量,帮助R语言维护人员更高效地检测和修复缺陷,并帮助R语言的使用者规避潜在风险。 展开更多

关键词 R语言 实证研究 软件缺陷 缺陷分布 缺陷修复 缺陷的根本原因

在线阅读 下载PDF 职称材料

红枣典型瑕疵图像识别算法与程序设计

19

作者 周斌 唐帅涛 +2 位作者 吴淼 程琳 李瑞君 《合肥工业大学学报（自然科学版）》 CAS 北大核心 2018年第7期895-899,共5页

市场上果品分级对精度和效率的要求越来越高。文章针对鸟啄、黑斑等常见红枣的瑕疵,分析其特点,统计健康红枣表面单个像素点的R、G、B值范围,依据此范围识别瑕疵红枣,据此研究出一种基于RGB值的识别算法,利用Matlab实现了必要的图像预... 市场上果品分级对精度和效率的要求越来越高。文章针对鸟啄、黑斑等常见红枣的瑕疵,分析其特点,统计健康红枣表面单个像素点的R、G、B值范围,依据此范围识别瑕疵红枣,据此研究出一种基于RGB值的识别算法,利用Matlab实现了必要的图像预处理以及检测算法,并经过了实验验证,最终用VS工程编译用户界面。实验证明,鸟啄以及黑斑红枣的检测正确率分别为96%、97%。 展开更多

关键词 红枣 图像识别 瑕疵检测 程序设计 软件开发

在线阅读 下载PDF 职称材料

程序缺陷自动修复研究进展及关键问题 被引量：1

20

作者 曹鹤玲 刘昱 +1 位作者 赵晨阳 王玉华 《小型微型计算机系统》 CSCD 北大核心 2022年第3期644-654,共11页

程序缺陷自动修复是指针对程序中存在的缺陷,自动生成相应的程序补丁,进而使程序恢复正常运行.首先,根据补丁生成方式的不同,将程序缺陷自动修复方法划分为4类,分别为基于搜索的、基于语义的、基于机器学习的以及基于错误报告驱动的程... 程序缺陷自动修复是指针对程序中存在的缺陷,自动生成相应的程序补丁,进而使程序恢复正常运行.首先,根据补丁生成方式的不同,将程序缺陷自动修复方法划分为4类,分别为基于搜索的、基于语义的、基于机器学习的以及基于错误报告驱动的程序缺陷自动修复方法.基于搜索的程序缺陷自动修复方法运用启发式算法在搜索空间内通过搜索生成程序补丁;基于语义的程序缺陷自动修复方法将修复约束作为合成程序补丁的规约,最后通过约束求解器生成程序补丁;基于机器学习的程序缺陷自动修复方法使用数据集训练并生成修复模型,通过修复模型生成程序补丁;基于错误报告驱动的程序缺陷自动修复方法通过利用程序执行以及用户反馈的错误信息生成程序补丁.本文对以上4类程序缺陷自动修复方法进行了详细阐述;其次,总结了检验程序缺陷自动修复方法及工具修复效果所用到的缺陷库;最后,分析了程序缺陷自动修复在工业界的应用现状并总结了该领域面临的关键问题及未来研究的方向. 展开更多

关键词 程序缺陷自动修复 约束求解 机器学习 错误报告 缺陷库

在线阅读 下载PDF 职称材料