微软于10月26日公开大规模代码迁移实践,介绍如何把 AI 智能体用于 Windows、Azure 等代码库。官方列出的工作包括为数亿行 Windows 代码增加 Clang/LLVM 工具链支持、修复静态分析发现,以及把服务从 x86 迁移到 ARM。
其方法先从抽样问题中形成候选知识库,再由审阅智能体检查修改是否正确、精简并符合项目约定,反馈用于修订知识。迁移专家批准知识库后,智能体才将规则应用到更大的代码范围。人工精力因此集中在可重复规则与新出现的模糊案例,而非逐一审阅所有相似补丁。
面向 C/C++ 到 Rust 的现代化,微软表示按用户可感知的功能迁移比逐行翻译更有效。每个功能都有独立验证关口,使用源程序与目标程序的差分测试,以及不向智能体开放的保留测试。团队还开始从原代码提取形式规格,并用 Verus 证明迁移后的代码满足这些规格。