AI编码提速,质量验收如何跟上?
大模型能力持续增强,AI Coding正从简单的代码补全,迈向由Agent独立执行完整工程任务的新阶段。然而,研发团队面临一个愈发尖锐的矛盾:代码产出速度成倍提升,但需求约束、Code Review和测试验收机制却未能同步升级,导致质量风险更加集中、更难控制。在AICon大会上,蚂蚁数字科技资深技术专家魏长征分享了他们的实践探索,为这一难题提供了解决思路。
魏长征介绍,在一个40多万行的Rust新项目中,团队从第一天起就将Harness内建进研发流程;而在一个超60万行的C++存量项目中,则先重建事实源和质量门禁,再让Agent参与升级。改造后,后者的代码缺陷率从20%以上降至个位数。这一显著成效,让Harness工程成为业界关注的焦点。
AI Coding的演进与核心矛盾

AI Coding的发展经历了几个阶段:最初是在对话框中提问辅助编程,随后以插件形式嵌入IDE,再到集中采购AI IDE(如Cursor),主要使用Tab补全功能。随着Claude Code等终端工具出现,对话框成为人与Agent协作的主要入口。任务也从写几行代码发展到独立完成完整工程任务,检验标准从代码质量扩展到功能正确性,再到整个项目链路中的稳定运行。
核心矛盾在于验证能力未跟上生产能力。魏长征认为,AI Coding并未创造全新的软件工程问题,而是以更高产能将需求模糊、目标漂移、事实冲突和验证不足等旧问题集中放大。例如,目标漂移——需求不清晰导致实现与预期不符,在人工开发中同样常见,但AI Coding的产能吞吐太高,将原本分散数月的问题集中暴露。
Harness工程:五层方法论

Harness不是具体技术,而是一套围绕约束、验证和验收建立研发闭环的思路。它来源于真实工程实践,并非预先完整设计,而是随项目问题暴露逐步形成。方法论上可归纳为五层,均能在传统软件开发中找到对应:约束层对应需求评审和架构评审,对抗验证对应Code Review,证据层对应交付验收和质量准出,另有状态写入和目标对齐层对应任务拆解和阶段性评审。
在约束层,项目需规定任务目标和非目标、事实源等文档,区分人阅读、Agent获取上下文和机器检查的不同形式。对抗验证中,需让不同Agent分别关注代码规范、重复实现、根因定位等不同侧重点。证据层强调可视化、可验证,避免人直接阅读大量代码或文档的高成本。
开发者角色转变与质量闭环

AI Coding的新范式体现在开发者角色变化:从代码生产者变为评判者,个人能处理的任务跨度和知识面明显扩大。但许多问题并非AI新创,而是传统研发中一直存在的。既然AI Coding太快,可以用同样快的验证方式应对——Agent既能生成代码,也能参与质量检查和Code Review,形成质量闭环。
魏长征强调,从Prompt工程到上下文工程、Harness工程再到Loop工程,反映的是同一趋势:AI Coding承担角色越来越重要,任务越来越复杂。解决方向是将传统研发中的需求评审、架构评审、Code Review、测试准出等经验迁移到与Agent协作中。
当AI以十倍速生成代码,质量验收必须从“事后补救”转向“全程内建”。Harness工程的价值,正在于用同样高速的自动化验证,为AI Coding这辆快车装上可靠的刹车与方向盘。未来,随着Agent承担更复杂的任务,这种围绕约束、验证和验收的闭环思路,或将成为研发流程的新常态。
更多推荐阅读

世界模型专家刘宇加盟理想,机器人基座模型研发提速
理想汽车引入世界模型专家刘宇,负责机器人基座模型研发。刘宇曾想创业做“中国的π”,因认可理想智驾VLA路线而加入。理想近一年流失13位核心高管,刘宇的加入为团队注入强心剂。
2026-09-05
AI办公赛道巨头混战,Agent创业窗口反而开启
2026年夏,字节、腾讯、阿里会战AI办公,巨头重兵投入背后是恐惧。创新工场汪华称,国产模型能力与成本突破才真正点燃Agent爆发,创业公司反在巨头照亮市场后觅得细分机会。
2026-09-05
AI报告读着累?新指标用隐喻率量化可读性
Manus团队提出“隐喻率”与“信息量”双指标,量化AI调研报告的可读性与信息密度。测试发现Claude Fable-5隐喻最多,GPT信息密度偏低,但可通过Prompt优化。
2026-09-05
AI科学家K Pro上岗,全球最大药企研发提速70%
Owkin与勃林格殷格翰达成许可协议,授权AI科学家K Pro及多模态数据,加速肿瘤学和免疫学新药研发。试点项目已显成效,靶点识别速度提升70%。
2026-09-05
估值300亿美元,AI云新贵Crusoe凭什么吸金超30亿
Crusoe完成超30亿美元融资,估值达300亿美元,与OpenAI、微软、Meta等合作,并获Jane Street五年大单,AI算力需求推动其估值飙升。
2026-09-05
AI攻克费马大定理:Claude 11天写出1300万行证明
Anthropic宣布,Claude在清华姚班毕业生彭天翼团队带领下,仅用11天完成费马大定理的首个端到端机器验证证明,产出1300万行代码、30300条定理,规模超Mathlib五倍,烧掉60亿Token,引发数学界震动。
2026-09-05