课程介绍
大语言模型驱动的软件开发与测试(LLM-Driven Software Development and Testing)关注一个核心问题:当大语言模型开始承担需求分析、软件设计、代码实现、测试和修复工作时,我们应当如何重新组织软件工程过程,并对生成结果建立可靠证据?
课程不以“使用 AI 完成一个应用”为最终目标。每个三人小组需要构建一套端到端自主软件开发与测试系统:输入一套良好定义的自然语言需求,系统自主完成理解、设计、实现、测试和调试,输出可构建、可运行的代码仓库及完整执行证据。
你将学习什么
Section titled “你将学习什么”完成课程后,你应当能够:
- 将传统软件工程中的需求、架构、实现、测试和维护原则转化为可执行工作流;
- 使用 IR、DSL、Spec、Schema 和接口契约在 Agent 之间传递工程信息;
- 设计具备工具调用、状态管理、反馈循环和失败恢复能力的 LLM 系统;
- 识别需求遗漏、共同误解、错误测试、架构漂移和回归缺陷;
- 通过独立测试、运行轨迹和未见任务评价系统能力,而不是相信模型自述。
统一边界与自由设计
Section titled “统一边界与自由设计”教学组统一任务包格式、运行入口、资源限制、输出仓库、日志要求和验收方法。小组可以自主决定:
- 使用单 Agent 还是 Multi-Agent;
- Agent 的角色、拓扑、通信与调度方式;
- 中间表示、提示词、记忆和上下文策略;
- 先设计、先测试或其他内部工作流;
- 如何使用 Git、回滚、重试和终止条件。
课程评价系统解决问题的工程能力,不按 Agent 数量、框架复杂度或生成代码行数评分。