近日,中国科学院软件研究所团队在大规模开源生态治理、代码自动化审查、高安全领域代码生成理解等方面取得了系列进展。
在大规模软件生态治理方面,针对现有开源生态组织机制的扁平化、非规范化及覆盖率不足等问题,研究团队提出了基于多智能体协作的自主演化治理框架ATLAS。该框架通过设计智能体提取分类维度,并结合分类智能体在实际数据分布上的反馈,构建“设计—分类—修正”闭环,实现了开源仓库的自动化、多层级语义分类。实验结果表明,在GitHub 5.4万个真实仓库上,ATLAS自动构建高质量层级分类体系。同时,ATLAS支撑的软件替代品发现任务P@1达85.71%,超越人工维护列表,并可以揭示生态向AI/ML应用转型的趋势。
在自动化代码审查方面,针对现有自动化代码审查任务建模割裂、模型逻辑推理能力不足且审查过程缺乏解释性等问题,研究团队提出了端到端推理引导的对齐方法E4R-Reviewer。该方法将质量估计、缺陷定位、缺陷分类、缺陷描述、修复建议及代码优化等任务统一为单一推理链条,利用群组相对策略优化方案,将推理步骤转化为可优化的中间目标。实验显示,该方法在质量估计任务中达到74.61%的F1值,增强了审查过程的透明度与可解释性。
针对大语言模型在Bash脚本生成过程中缺乏透明推理且生成代码鲁棒性不足问题,研究团队提出了可鲁棒性感知的大模型生成框架BashCoder-R1。该框架引入长思维链监督微调,配套鲁棒性感知组相对策略优化,将语法正确性、静态分析规则和格式规范转化为强化学习奖惩信号,强制模型在生成代码前执行显式推理。在包含952项任务的BashBench基准测试中,BashCoder-R1多行脚本任务的FullRate达73.18%,较DeepSeek-V3.2提升效果突出。
针对大语言模型对Bash脚本中复杂命令语义细节的逻辑推理能力不足,导致生成注释准确性难以保证的问题,研究团队提出了语法感知偏好优化方法Bash-Commenter。该方法通过对脚本抽象语法树应用原子操作自动构造“最小语法对”,并以此作为偏好学习信号注入模型权重,使模型掌握细粒度的命令语义理解能力。实验评估表明,相较于主流方法,Bash-Commenter在单行及多行脚本生成的各项指标上均达到最佳性能。
在高安全智能合约生成方面,针对大语言模型对智能合约隐式安全规则逻辑推理能力不足,导致生成代码鲁棒性较弱的挑战,研究团队提出了高安全防御性生成架构SmartCoder-R1。该架构通过安全感知的组相对策略优化,将12类关键安全规则转化为强化学习硬约束,实现“逻辑—代码”端到端对齐。在涉及289个已部署合约的测试中,SmartCoder-R1将安全性指标FullRate提升至50.53%,较DeepSeek-R1相对提升45.79%。
上述成果为智能化软件开发与质量保障,提供了新的技术路径与理论支撑。相关方法在开源生态治理、代码审查自动化及高安全领域代码生成等场景中具有应用前景。
相关论文分别被软件工程领域国际会议ASE 2026、FSE 2026和ISSTA 2026录用。
2024年11月7日,全省科学技术奖励大会在南京召开,隆重表彰2023年度江苏省科学技术奖获奖单位(集体)、企业和个人。省委书记信 新华网北京11月14日电 11月20日至22日,教育部将在天津举办2024年世界职业技术教育发展大会。在今日举办的新闻发布会上,教育部国际合作与交流司副司长陈大立表示,我国同183个建交国普遍开展了教 中国教育报-中国教育新闻网北京11月11日讯(记者 林焕新)学前教育法明确“幼儿园应当把保护学前儿童安全放在首位”。实践中如何落实?在今天教育部举行的新闻发布会上,教育部基础教育司司长田祖荫 中国教育报-中国教育新闻网讯(记者 魏海政 通讯员 王胜利 胡勇)11月11日上午,山东省泰安市东平县旧县乡中心学校一名学生家长饱含感激之情,将一面写有“关爱生命施援手,全家不忘救命恩”的锦旗,送 中国教育报-中国教育新闻网讯(通讯员 胡宜芳 李婷婷)近日,由中国信息技术教育杂志社主办的第二届全国基础教育数字化论坛暨明德云学堂2024年学术年会在北京国家会议中心举行。来自全国30个省份 “在‘推普’志愿服务活动中,我见证了普通话如何跨越地域障碍,促进经济发展与文化交流,我希望有机会继续参与其中。”近日,湖南高速铁路职业技术学院学生孔俊岩在结束志愿活动时有感而发。近期,湖 。本文链接:智能化软件可信构造与质量保障研究获进展http://www.sushuapos.com/show-12-4319-0.html
声明:本网站为非营利性网站,本网页内容由互联网博主自发贡献,不代表本站观点,本站不承担任何法律责任。天上不会到馅饼,请大家谨防诈骗!若有侵权等问题请及时与本网联系,我们将在第一时间删除处理。
上一篇: 碳碳双键共轭共价有机框架的结晶调控与形貌构筑研究获进展
下一篇: 钙钛矿—有机叠层太阳能电池研究取得进展