中国科学院发布智能化软件可信构造研究进展

事实摘要

中国科学院 2026-07-15 发布的页面记录，中国科学院软件研究所开展智能化软件可信构造与质量保障研究，内容涉及开源生态协同治理、代码审查与命令行代码生成。

来源页面记录，研究团队提出了面向开源社区协同治理的多智能体框架 ATLAS，并基于超过 5.4 万个 GitHub 仓库构建了项目画像与知识图谱。页面还记录，团队提出了面向代码审查的 E4R-Reviewer、命令行代码生成框架 BashCoder-R1、代码注释自动生成模型 Bash-Commenter 和代码智能体框架 SmartCoder-R1。相关研究被 ASE 2026、FSE 2026 和 ISSTA 2026 接收。