2026年9月软件工程前沿:完成证据、工具契约与经验迁移
九月的软件工程研究中,一条值得关注的主线是:为“任务已经完成”建立更具体的证据。代码修复需要满足维护者的约束,工具调用需要确认外部效果,根因分析需要辨别遥测证据与数据集先验,智能体积累的经验则需要在新任务上证明价值。这些问题分别落在测试、分布式系统、AIOps 和智能体工程中,却共同决定了自动化结果能否被信任。
本文从 9 月 1—30 日的每日论文推送中选取 11 篇重点工作,逐篇核对原文,月份按推送日期归类。延续八月软件工程前沿对 Agent Harness、运行时保护与验证证据的关注,本月进一步追问:检查是否覆盖了目标,执行是否产生了预期效果,以及改进能否迁移到新的环境。