ZHEJIANG UNIVERSITY · CS3297M
CS3297M · COURSE INFORMATION
LLM-DRIVEN SOFTWARE DEVELOPMENT AND TESTING
CORE OBJECTIVE
A NEW SOFTWARE ENGINEERING PARADIGM
不只使用 AI 编程,而是设计需求、开发、测试与修复之间的协作机制。
用 IR、规约、接口和测试重组软件过程,让工程知识能够被 Agent 消费。
让自主系统以可追踪、可复现的方式交付可构建、可运行的软件仓库。
THE EXPERIMENTAL ARC
SPECIFY · BUILD · VERIFY
构建运行时、需求 IR 与接口规约,把自然语言任务转化为机器可消费的工程产物。
实现代码生成、测试执行和调试修复,让反馈真正驱动软件仓库持续演化。
串联全部模块,以公开任务迭代、以私有任务检验端到端自主性与泛化能力。
LEARNING OUTCOMES
WHAT WILL YOU GAIN?
将需求、架构、实现、测试和修复方法编码为端到端自主系统。
掌握 IR、DSL、Spec、契约、测试反馈与 Agent 协作等关键方法。
用独立测试、执行轨迹和私有任务判断自主系统的真实能力与边界。
BEGIN THE EXPERIMENT
从最小运行时开始,构建能够自主交付软件的工程系统。