设置
  • 日夜间
    随系统
    浅色
    深色
  • 主题色

智能化软件可信构造与质量保障研究获进展

发布时间: 来源: 中国科学院

近日,中国科学院软件研究所团队在大规模开源生态治理、代码自动化审查、高安全领域代码生成理解等方面取得了系列进展。yYS速刷资讯——每天刷点最新资讯,了解这个世界多一点SUSHUAPOS.COM

在大规模软件生态治理方面,针对现有开源生态组织机制的扁平化、非规范化及覆盖率不足等问题,研究团队提出了基于多智能体协作的自主演化治理框架ATLAS。该框架通过设计智能体提取分类维度,并结合分类智能体在实际数据分布上的反馈,构建“设计—分类—修正”闭环,实现了开源仓库的自动化、多层级语义分类。实验结果表明,在GitHub 5.4万个真实仓库上,ATLAS自动构建高质量层级分类体系。同时,ATLAS支撑的软件替代品发现任务P@1达85.71%,超越人工维护列表,并可以揭示生态向AI/ML应用转型的趋势。yYS速刷资讯——每天刷点最新资讯,了解这个世界多一点SUSHUAPOS.COM

在自动化代码审查方面,针对现有自动化代码审查任务建模割裂、模型逻辑推理能力不足且审查过程缺乏解释性等问题,研究团队提出了端到端推理引导的对齐方法E4R-Reviewer。该方法将质量估计、缺陷定位、缺陷分类、缺陷描述、修复建议及代码优化等任务统一为单一推理链条,利用群组相对策略优化方案,将推理步骤转化为可优化的中间目标。实验显示,该方法在质量估计任务中达到74.61%的F1值,增强了审查过程的透明度与可解释性。yYS速刷资讯——每天刷点最新资讯,了解这个世界多一点SUSHUAPOS.COM

针对大语言模型在Bash脚本生成过程中缺乏透明推理且生成代码鲁棒性不足问题,研究团队提出了可鲁棒性感知的大模型生成框架BashCoder-R1。该框架引入长思维链监督微调,配套鲁棒性感知组相对策略优化,将语法正确性、静态分析规则和格式规范转化为强化学习奖惩信号,强制模型在生成代码前执行显式推理。在包含952项任务的BashBench基准测试中,BashCoder-R1多行脚本任务的FullRate达73.18%,较DeepSeek-V3.2提升效果突出。yYS速刷资讯——每天刷点最新资讯,了解这个世界多一点SUSHUAPOS.COM

针对大语言模型对Bash脚本中复杂命令语义细节的逻辑推理能力不足,导致生成注释准确性难以保证的问题,研究团队提出了语法感知偏好优化方法Bash-Commenter。该方法通过对脚本抽象语法树应用原子操作自动构造“最小语法对”,并以此作为偏好学习信号注入模型权重,使模型掌握细粒度的命令语义理解能力。实验评估表明,相较于主流方法,Bash-Commenter在单行及多行脚本生成的各项指标上均达到最佳性能。yYS速刷资讯——每天刷点最新资讯,了解这个世界多一点SUSHUAPOS.COM

在高安全智能合约生成方面,针对大语言模型对智能合约隐式安全规则逻辑推理能力不足,导致生成代码鲁棒性较弱的挑战,研究团队提出了高安全防御性生成架构SmartCoder-R1。该架构通过安全感知的组相对策略优化,将12类关键安全规则转化为强化学习硬约束,实现“逻辑—代码”端到端对齐。在涉及289个已部署合约的测试中,SmartCoder-R1将安全性指标FullRate提升至50.53%,较DeepSeek-R1相对提升45.79%。yYS速刷资讯——每天刷点最新资讯,了解这个世界多一点SUSHUAPOS.COM

上述成果为智能化软件开发与质量保障,提供了新的技术路径与理论支撑。相关方法在开源生态治理、代码审查自动化及高安全领域代码生成等场景中具有应用前景。yYS速刷资讯——每天刷点最新资讯,了解这个世界多一点SUSHUAPOS.COM

相关论文分别被软件工程领域国际会议ASE 2026、FSE 2026和ISSTA 2026录用。yYS速刷资讯——每天刷点最新资讯,了解这个世界多一点SUSHUAPOS.COM

中国教育报-中国教育新闻网讯(记者 刘玉)记者近日获悉,辽宁在全省14个市共设计了46条精品研学路线,并由鲁迅美术学院全国高校黄大年式教师团队设计制作了14张研学路线图,以此进一步丰富中小学研学 海风拂面。从秘鲁的泛美公路望向太平洋,浩渺烟波中,高大的岸桥整齐排列,防波堤如巨臂环绕,码头工人忙碌穿梭,崭新的钱凯港即将投入正式运营。今年6月,习近平主席同秘鲁总统博鲁阿尔特会谈时专门提 《中华人民共和国学前教育法》以“推进学前教育普及普惠安全优质发展”为主线,深刻、全面、具体阐述了落实政府发展学前教育责任的法律规定和实现路径,对于加快学前教育高质量发展、实现现代化 “我要做三个香包,送给爸爸、妈妈和外婆!”幼儿小花(化名)在家长义工的帮助下,将研磨好的香材放入布袋中,小小香包承载了亲子间浓厚的温情。走入广州市越秀区东方红幼儿园,一轮“明月”耀眼夺目,两只 一、成立背景随着全球科技革命和产业变革加速演进,大力发展职业教育、培养高素质技能人才已成为各国教育的优先任务和共同目标,各国职业教育之间的交流往来和学习互鉴也越发频繁和密切。中国政 中国教育报-中国教育新闻网讯(记者 蒋夫尔)日前,新疆克拉玛依职业技术学院新能源产业学院在北京金风产业园揭牌成立。该产业学院的成立,标志着克拉玛依职业技术学院借产业学院之“船”推进职教“ 。

本文链接:智能化软件可信构造与质量保障研究获进展http://www.sushuapos.com/show-12-4319-0.html

声明:本网站为非营利性网站,本网页内容由互联网博主自发贡献,不代表本站观点,本站不承担任何法律责任。天上不会到馅饼,请大家谨防诈骗!若有侵权等问题请及时与本网联系,我们将在第一时间删除处理。

上一篇: 碳碳双键共轭共价有机框架的结晶调控与形貌构筑研究获进展

下一篇: 钙钛矿—有机叠层太阳能电池研究取得进展

热门资讯

推荐资讯

  • 日榜
  • 周榜
  • 月榜