期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
代码审查自动化研究综述 被引量:2
1
作者 花子涵 杨立 +1 位作者 陆俊逸 左春 《软件学报》 EI CSCD 北大核心 2024年第7期3265-3290,共26页
随着现代软件规模的不断扩大,协作开发成为软件开发的主流趋势,代码审查成为现代化软件开发的重要工作流程.但由于人工代码评审往往耗费审查者较大精力,且存在审查者不匹配或审查者水平有限等问题,人工代码评审的质量和效率难以保证,且... 随着现代软件规模的不断扩大,协作开发成为软件开发的主流趋势,代码审查成为现代化软件开发的重要工作流程.但由于人工代码评审往往耗费审查者较大精力,且存在审查者不匹配或审查者水平有限等问题,人工代码评审的质量和效率难以保证,且审查后的代码修复也十分费时费力.因此,亟需研究人员为代码审查流程进行改进,提供自动化思路.对代码审查自动化相关研究进行系统梳理和总结,并重点介绍4种主要方向:审查者推荐、代码变更质量评估、审查意见生成和代码自动修复.整理了相关方向的148篇研究,对每个方向的研究进行技术分类与分析.随后,整理了各方向研究任务的评估方法,并整理出常用的数据集与开源工具.最后,对代码审查自动化领域面临的问题进行梳理,并对未来研究进行展望. 展开更多
关键词 代码审查自动化 审查者推荐 代码变更质量评估 审查意见生成 代码自动修复
在线阅读 下载PDF
基于IFC和本体的海上风电场防火设计合规性审查
2
作者 高洁雅 贾婧 +1 位作者 马灵 姜锋 《中国海洋大学学报(自然科学版)》 北大核心 2025年第7期129-139,共11页
针对风电场建设中防火设计的关键性以及人工合规性检查存在的劳动密集、耗时易错等问题,自动合规性检查(Automatic compliance checking, ACC)的研究已广泛展开,旨在提供替代方案。为进行海上风电场设计工作中防火规则的共享与重用,本... 针对风电场建设中防火设计的关键性以及人工合规性检查存在的劳动密集、耗时易错等问题,自动合规性检查(Automatic compliance checking, ACC)的研究已广泛展开,旨在提供替代方案。为进行海上风电场设计工作中防火规则的共享与重用,本研究提出了一种基于工业基础类(Industry foundation class, IFC)标准和本体的海上风电场防火设计的合规性审查方法。该方法首先以规范中清晰条文为样本,对规范的约束性等级和防火控制方式加以分类以明确审查要点,探索建立海上风电场防火设计规范本体以规则化条文;接着,利用以IFC格式为海上风电场的建筑信息模型(Building information modeling, BIM)实现了模型数据的提取、扩展和转换,并与规范本体进行映射,实现异构本体间的语义互通和知识推理;最后,以海上风电场的BIM设计模型为例进行验证,构建了海上风电场防火设计ACC原型系统,为海上风电场防火自动化审查研究提供新的方法与手段。 展开更多
关键词 海上风电场 自动化合规性审查 本体 IFC标准 防火设计
在线阅读 下载PDF
一种基于MBD的三维尺寸完备性审查方法 被引量:2
3
作者 付超凡 陈卓宁 +1 位作者 彭义兵 杨威 《组合机床与自动化加工技术》 北大核心 2023年第6期1-6,10,共7页
为减轻人工审查MBD(model based definition)模型尺寸标注的劳动强度,对三维尺寸完备性的自动化审查进行了研究。将尺寸完备性问题归结为对相关几何要素是否定形定位的判断问题,建立了对应约束模型记录约束状态;建立了解析尺寸约束和拓... 为减轻人工审查MBD(model based definition)模型尺寸标注的劳动强度,对三维尺寸完备性的自动化审查进行了研究。将尺寸完备性问题归结为对相关几何要素是否定形定位的判断问题,建立了对应约束模型记录约束状态;建立了解析尺寸约束和拓扑约束的约束传播规则,并总结了几何约束的解析算法;针对尺寸缺失造成的约束不足,采用打分策略,并以指定基准或指出尺寸缺失的方式主动添加约束;提出了三维尺寸完备性检查的总体算法。通过对3DDFM原型系统的继续开发,并用三维模型实例验证了方法的有效性。 展开更多
关键词 MBD(model based definition) 三维尺寸完备性 自动化审查
在线阅读 下载PDF
一种三维几何公差标注信息审查方法 被引量:2
4
作者 付超凡 彭义兵 《组合机床与自动化加工技术》 北大核心 2020年第9期142-146,共5页
为检查三维几何公差标注中存在的不规范和难以检测等问题,对几何公差的自动化审查方法进行了研究。对MBD(Model Based Definition)模型中的标注信息和几何信息进行提取和处理;采用混合式知识表达方法,将相关标准和知识等总结成审查规则... 为检查三维几何公差标注中存在的不规范和难以检测等问题,对几何公差的自动化审查方法进行了研究。对MBD(Model Based Definition)模型中的标注信息和几何信息进行提取和处理;采用混合式知识表达方法,将相关标准和知识等总结成审查规则;以基于规则的推理作为审查方式,并使用相关数据信息驱动推理,完成对几何公差信息的审查,并给出了三维几何公差自动化审查的总体过程。通过对3DDFM(Design For Manufacture)原型系统的继续开发,并以三维零件模型为实例,验证了该方法的有效性。 展开更多
关键词 MBD 三维几何公差 自动化审查 基于规则
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部