2026年9月软件工程前沿:完成证据、工具契约与经验迁移

九月的软件工程研究中,一条值得关注的主线是:为“任务已经完成”建立更具体的证据。代码修复需要满足维护者的约束,工具调用需要确认外部效果,根因分析需要辨别遥测证据与数据集先验,智能体积累的经验则需要在新任务上证明价值。这些问题分别落在测试、分布式系统、AIOps 和智能体工程中,却共同决定了自动化结果能否被信任。

本文从 9 月 1—30 日的每日论文推送中选取 11 篇重点工作,逐篇核对原文,月份按推送日期归类。延续八月软件工程前沿对 Agent Harness、运行时保护与验证证据的关注,本月进一步追问:检查是否覆盖了目标,执行是否产生了预期效果,以及改进能否迁移到新的环境。

阅读全文

2026年8月软件工程前沿:Agent Harness 持续演化、运行时保护与验证证据

2026 年 8 月的软件工程论文里,Agent Harness 占了相当篇幅。几篇工作把运行知识、工具、中间件和执行规则放进 Harness,研究它的持续更新与回归。另一些论文关注故障注入、在线告警和恢复。RCA 与代码修复部分主要检查模型结论背后的证据。

上一篇综述讨论了 6 月下半月至 7 月的 RCA 过程评测、Agent 运行时治理与仓库级证据工程。本月继续出现了 Harness 生命周期和验证门禁方面的工作。

阅读全文

2026年6月下半月—7月软件工程前沿:RCA 过程评测、Agent 运行时治理与仓库级证据工程

过去一个半月(2026.06.16—07.31),软件工程领域的 Agent 研究明显向执行过程深入。根因分析开始检查模型能否还原故障传播链、能否自己操作生产式观测工具;编码 Agent 的评测也从最终通过率转向早期错误、恢复窗口和 PR 测试覆盖。Harness、技能和记忆不再只是提示工程配件,它们逐渐被当作需要静态分析、回归测试和版本治理的软件资产。

阅读全文

2026年6月上半月软件工程前沿:Agent 静默失败、Harness 诊断修复与仓库级代码生成

这半个月(2026.06.01 – 06.15),软件工程领域有几个方向值得关注:Agent 上了生产之后错误信号传不到人手里、把执行轨迹和 harness 当成可以诊断和修复的对象、从零生成整个代码仓库的训练数据,还有代码评审带宽跟不上 Agent 产量的问题。

阅读全文

大模型的指令微调:指令微调数据、训练算法与流程

指令微调(Instruction Fine-Tuning / SFT)是将预训练大模型对齐到人类意图的关键环节。通过精心构建的指令数据集,模型得以从"下一词预测"的通用能力转化为"遵循指令、完成任务"的实用能力。本文系统梳理了指令微调的核心方法论,涵盖指令数据的构建策略与质量评估、主流训练算法(全参数微调、LoRA、QLoRA 等),以及从数据准备到模型评估的完整实施流程。

阅读全文

[随笔] 当眼见不一定为实:大模型时代的信任与技术伦理思考

(一)一天,从提出需求到代码上线 我们课题组的报销流程一直很繁琐,至少我在处理了几次报销流程后是这么认为的。每次出差或采购后,导师总会选一位同学,他会在微信中戳每一位需要报销的同学,把发票、支付记录、行程单、审批表等等一大堆材料手动整理、归档。这种方式效率很低,经常出错,而且往往在提交之后被打回。 终于,从北京出差回来的那天下午,我突发奇想,正好我也在用Cursor(一种基于AI的智能代码编辑器...
阅读全文