复旦 codewisdom 副院长：软件是复杂系统，AI 难在分析设计
6-5 上午 09:45 听了复旦大学 codewisdom 团队副院长的 talk。 这场只有 3 大金句，但每一句都是"架构师视角"的硬通货。这是 6-5 11 场 talk 中唯一"从学术角度论证'人机分工'"的演讲。
📌 这篇博客的特殊性
| 项 | 内容 |
|---|---|
| 讲者 | 复旦大学 codewisdom 团队副院长 |
| 会议 | 2026 开发者大会 |
| 时间 | 2026-06-05 09:45 |
| 主题 | 复杂系统的智能体演讲和挑战 |
| 特殊性 | 学术界对"人机分工"的硬论证 |
| 价值 | 补"工业界视角"之外的"学界理论支撑" |
关键洞察：之前听的张刚/黄佳/曹阳/平安/腾讯都是"工业界视角"，复旦给了"学界理论支撑"——三句话把"人做分析、AI 做构建"讲透了。
一、核心论断 1：软件是复杂系统 ⭐⭐⭐⭐
"软件形态的多样性、复杂性、探索性，是个复杂系统"
软件 4 大特性：
| 特性 | 含义 | 对你硬件测试的启示 |
|---|---|---|
| 多样性 | 软件形态万千 | 测试场景千变万化 |
| 复杂性 | 复杂度指数级 | 测试用例指数级增长 |
| 探索性 | 不断探索 | 测试方法持续演进 |
| 复杂系统 | 不是简单机械 | 测试不能用简单流水线 |
含义：软件是"复杂系统" = 不能用"机械方法"管理。
对你部门价值：
"硬件测试是复杂系统，不能用'瀑布式'管理。必须用 Agent + Harness 的方式，自适应地处理多场景、多变化。"
二、核心论断 2：AI 擅长构建，难点是分析和设计 ⭐⭐⭐⭐⭐
"AI 只擅长构建，软件的根本性的问题和困难是分析和设计"
这是全场最重要的金句。
复旦的"人机分工"图谱
┌─────────────────────────────────────┐
│ 人擅长 │
│ • 分析问题（为什么、是什么） │
│ • 设计方案（架构、边界、流程） │
├─────────────────────────────────────┤
│ AI 擅长 │
│ • 构建（写代码、执行、生成） │
│ • 重复劳动（环境搭建、回归执行） │
└─────────────────────────────────────┘3 个关键洞察
1. "AI 只擅长构建" ⭐⭐⭐⭐⭐
反直觉论断——大多数人认为 AI 多才多艺，复旦说"只擅长构建"。
| 错误认知 | 复旦观点 |
|---|---|
| AI 多才多艺 | AI 只擅长构建 |
| AI 能写代码 = AI 能设计 | 写 ≠ 设计 |
| AI 是通用工具 | AI 是执行工具 |
2. "软件的根本性困难是分析和设计" ⭐⭐⭐⭐⭐
这指出了软件工程的"价值高地"：
- 分析：需求分析、风险分析、问题分析
- 设计：架构设计、接口设计、流程设计
这些是软件项目失败的主因**——不是"构建"差，是"分析和设计"差。**
3. "人做难的，AI 做容易的" ⭐⭐⭐⭐⭐
这是曹阳"人定边界，agent 定路径"的学术版本。
三、核心论断 3：问题空间 vs 解空间有大量鸿沟 ⭐⭐⭐⭐⭐
"问题空间和解空间有这大量鸿沟"
3 个核心概念
| 概念 | 含义 |
|---|---|
| 问题空间 | "用户要什么"（需求、痛点、场景） |
| 解空间 | "用什么技术实现"（代码、架构、工具） |
| 鸿沟 | 二者之间的大量差异 |
含义：
- 大部分软件项目失败 = 没跨过这个鸿沟
- 跨过鸿沟 = 软件项目的真正能力
"跨鸿沟" = 资深架构师的核心能力
[问题空间] [解空间]
用户要什么 怎么实现
↓ ↓
╔═════════════════════════╗
║ 鸿沟 = 跨过去 = 价值 ║
╚═════════════════════════╝
↑
资深架构师的核心能力对你部门价值：
"硬件测试的根本性困难是'跨过测试需求空间和测试技术空间的鸿沟'（复旦 codewisdom 副院长 2026 大会）。我们 TSE 的核心能力就是跨这个鸿沟。"
四、3 大金句的完整逻辑链
3 大金句不是孤立的，是一个完整论证**：**
金句 1: 软件是复杂系统
↓ 为什么？
金句 2: 因为根本性困难是分析和设计
↓ 怎么跨过？
金句 3: 跨过"问题空间 vs 解空间"的鸿沟这是"为什么 → 什么 → 怎么做"的完整链路。
五、对硬件测试 Agent 化的启示
你部门硬件测试 Agent 化，完全适用复旦这 3 大金句：
| 复旦金句 | 你硬件测试对应 |
|---|---|
| 软件是复杂系统 | 测试场景千变万化，必须用 Agent |
| AI 只擅长构建 | AI 做用例生成/环境搭建，人做测试分析/风险定义 |
| 根本性困难是分析和设计 | TSE 的核心价值 = 测试分析 + 测试设计 |
| 问题空间 vs 解空间 | 测试需求 vs 测试技术 的鸿沟 = TSE 要跨 |
对你 PPT 变革一·整体论断升级：
"硬件测试的根本性困难是分析和设计（复旦 codewisdom 副院长 2026 大会）。AI 化后：
- AI 接管：用例生成、环境搭建、回归执行（构建层）
- 人保留：测试分析、风险分析、边界定义（分析和设计层）
- 人机分工：人定问题，AI 给方案"
六、对个人能力建设的"硬论断"金句
自我介绍 V7 改造
"AI 只擅长构建，软件的根本性困难是分析和设计（复旦 codewisdom 副院长 2026 大会）。我长期测试经验的核心就是分析和设计——风险分析、测试策略、边界定义。这些是 AI 还做不好的。这是我推动部门硬件测试 Agent 化的核心定位。"
项目经验 V7 改造
"主导部门硬件测试 Agent 化：
- 核心判断：硬件测试的根本性困难是分析和设计
- AI 接管：用例生成、环境搭建、回归执行（构建层）
- 人保留：测试分析、风险分析、边界定义（分析和设计层）
- 跨过鸿沟：测试需求 vs 测试技术"
🔗 这一场与之前 10 场 talk 的"知识网络"
| 讲者 | 核心金句 | 与复旦的关系 |
|---|---|---|
| 张刚 09:00 | 问题定义 > 方案设计 > 构建 | 复旦 #2 完美对应 |
| 复杂系统 09:35 | 100% 测试覆盖 AI 可达成 | AI 在构建层达成 |
| 黄佳 09:52 | Harness 管钱 | 复旦 #2 + 曹阳 = 人做分析 |
| 曹阳 09:18 | 人定边界，agent 定路径 | 复旦 #2 + 曹阳 = 同一论断 |
| 云兔 10:18 | 旧资产 → AI 理解业务 | 复旦 #3 跨过"业务"鸿沟 |
| Zooclaw 10:35 | Agent = 一等居民 | 复旦 #2 让 Agent 承担"构建" |
| 平安 14:00 | 解耦 + 20→3 | 复旦 #2 解耦 = 拆"分析/设计/构建" |
| 平安 14:00 | 刚柔并济 | 复旦 #2 刚 = 分析设计，柔 = 构建 |
| 腾讯 14:39 | 选框架就是选安全 | 复旦 #3 鸿沟 = 安全边界 |
| 复旦 09:45 | AI 难在分析设计 | 学界理论支撑 |
11 场 talk = 完整"人机分工"论证链：
| 维度 | 工业界 | 学界 |
|---|---|---|
| 理论 | 曹阳"人定边界" | 复旦"AI 难在分析设计" ⭐ |
| 论证 | 平安"刚柔并济" | 复旦"问题空间 vs 解空间" ⭐ |
| 应用 | Zooclaw"一等居民" | 复旦"复杂系统需要 Agent" ⭐ |
没有复旦这场，今天的"人机分工"论断就停在"工业界"层。复旦补了"学界"层。
🛠️ 我部门硬件测试 PPT 应该怎么改
复旦这一场给 PPT 加了 5 个新模块：
| 加在哪里 | 加什么 |
|---|---|
| 整体论断 | "硬件测试的根本性困难是分析和设计"（复旦） |
| 变革一·AI 接管范围 | 明确"AI 接管构建层" |
| 变革一·人保留范围 | 明确"人保留分析和设计层" |
| 变革三·TSE 价值 | "TSE 核心 = 跨过测试需求 vs 测试技术的鸿沟" |
| 新增"人机分工图谱" | 借鉴复旦图，加硬件测试版本 |
改完后，我的 PPT 变成"工业界（曹阳/平安/腾讯）+ 学界（复旦）"双背书版。
💎 复旦 talk 的"特殊价值"
复旦这场是今天 11 场 talk 中唯一的"学界理论支撑"专项。
| 维度 | 工业界 | 学界 |
|---|---|---|
| 战略 | ✅ 曹阳/黄佳 | - |
| 工程化 | ✅ 平安 | - |
| 治理 | ✅ 腾讯 | - |
| 学界理论 | ❌ | ⭐⭐⭐⭐⭐ |
| 人机分工论证 | 🟡 工业语言 | ⭐⭐⭐⭐⭐ 学术语言 |
没有复旦这场，今天的金句就停在"工业语言"层。复旦补了"学术语言"层。
📚 推荐书 / 资源
| 资源 | 价值 |
|---|---|
| 复旦 codewisdom 团队相关论文 | 后续追踪 |
| 《复杂系统理论》 | 复杂系统方法论 |
| 《软件架构设计》 | 分析设计能力 |
| 《Domain-Driven Design》 | 问题空间分析 |
📋 会议信息
| 项目 | 内容 |
|---|---|
| 讲者 | 复旦大学 codewisdom 团队副院长 |
| 会议 | 2026 开发者大会 |
| 时间 | 2026-06-05 09:45 |
| 主题 | 复杂系统的智能体演讲和挑战 |
| 关联博客 | 曹阳 / 平安 / 腾讯 / 张刚 talk |
| 关联 PPT | 硬件测试范式重构（可引用本文） |
🌿 工业界给"怎么做"，学界给"为什么"。复旦 3 句话给"人机分工"补了学界理论支撑。