内容简介:
在生成式AI以前所未有的速度重塑代码生成的今天,传统软件工程正面临从“代码编写”向“需求定义”与“质量约束”转移的深刻范式变革。本次报告将结合教学实践与科研探索,分享这一演进过程中的一线经验。首先,报告将回顾2025年秋季在上海交大IEEE试点班的教学改革,探讨如何通过引入测试驱动开发(TDD)和面向智能体的领域特定语言(DSL)建模,引导学生从“代码工人”转型为“智能体架构师”,指挥多智能体复现12306等复杂核心业务,实现软件工程概念与底层编码的彻底解耦。其次,针对大模型在处理复杂多模态需求文档时易产生的幻觉与遗漏痛点,报告将深入介绍旨在突破“复杂性高墙”的ARC(Agentic Requirement Compilation)需求编译框架。该框架模拟经典V模型构建双向测试驱动引擎,实现自顶向下的可测试架构构建与自底向上的约束代码生成,通过轻量级图结构DSL与全链路追溯机制,成功将包含50-200个场景的需求文档编译为可运行的Web系统,并在GUI测试通过率上较主流基线平均提升50.6%。最后,报告将剖析当前AI编程的“马太效应”与调试痛点,并展望大模型在工业界落地实践。
演讲提纲:
1. 软件开发的抽象层次
2. 上海交大IEEE班的智能体编程设计
3. 智能体软件工程的痛点与解决方案
4. 稍微解决的问题
听众收益:
1. 了解智能体开发与传统软件开发的范式关键变化之处
2. 了解智能体开发所面临的新型挑战
3. 了解智能体软件工程所需要的新的工具形态
博士生导师,原新加坡国立大学助理教授(研究岗),入选国家海外高层次青年人才计划、华为x-explore人才计划。研究方向包括自动编程、可解释AI、网络反诈等,获ICSE2018杰出论文奖,及多次中国软件大会原型研究奖。ICSE、FSE、USENIX Security等重要国际会议的程序委员会委员。主持国家自然科学基金委海外优青项目及面上项目和多项校企合作。自动编程技术落地于豆包代码模型以及Trae IDE,GUI测试相关研究入选信通院优秀案例等。