# AI4SE 分层技术模型：Effectiveness 地基与 Harmony 横切
Pressman 经典四层模型在 AI 时代的演进：地基升级为 Effectiveness、新增 Harmony 横切层、三层内涵从「人+工具」变为「人+Agent+Harness」。
本文提炼自《AI4SE 时代的软件工程分层技术：Effectiveness & Harmony》培训课件，面向需要在组织内建立 AI4SE 方法论共识的研发管理者、架构师与 Champion。
Roger Pressman 在 Software Engineering: A Practitioner’s Approach 中将软件工程描述为四层叠盘技术：Quality Focus → Process → Methods → Tools。这一分层逻辑在 AI4SE 时代仍然成立——质量仍是地基，过程仍是粘合剂，工具仍不能单飞——但需要三处关键演进，才能支撑「人 + Agent + Harness」的共创交付。
一句话定义：
AI4SE 软件工程 = 在 Effectiveness 地基上，以 Harmony 横切人机分工，通过升级后的 Process / Methods / Tools 实现可治理的共创交付。
为何重访 Pressman
AI 改变了接口、流程与组织协作方式，但许多团队仍沿用「采购 IDE 插件 → 期待 ROI」的路径。Pressman 模型之所以值得重访，是因为它把价值取舍、过程纪律、方法体系、工具机制分层拆开——这正是 AI 放大产出后，组织最缺的那套「工程语法」。
Pressman 原版
经典模型自下而上叠盘：最底层是 Quality Focus（质量关注），之上依次是 Process（过程）、Methods（方法）、Tools（工具）。每一层支撑上一层，单向依赖——没有质量文化，过程就是形式主义；没有过程粘合，方法与工具各自为战。
仍然成立 vs 不够用
| 仍然成立 | AI4SE 时代为何更重要 |
|---|---|
| 质量是地基 | AI 放大产出，也放大缺陷；没有验证与评审，变更量上升只会更乱 |
| 过程是粘合剂 | 端到端成功依赖「规格 → 上下文 → 执行 → 验证 → 度量」闭环，而非 IDE 补全 |
| 工具不能单飞 | 只采购 AI IDE、不改流程，难以产生组织级 ROI（DORA：AI 是放大器） |
| 不够用的部分 | AI4SE 现实 |
|---|---|
| 底层只有 Quality | 团队同时面临「要快」与「要对」的双重压力 |
| Tools 被画成最小层 | Agent 已成为共同执行者，而非锦上添花 |
| 无协作维度 | 必须明确人探索、Agent 生成、人验收、人担责 |
| Methods 默认给人 | 需容纳 Harness、SDD、Agentic Engineering 等方法论族 |
| 严格单向依赖 | 度量、事故、评审应反馈到 Spec、Rules、Process |
AI4SE 演进模型
三处演进可以压缩为一张结构图：
【地基】Effectiveness Focus = Quality + Efficiency
【横切】Harmony (Human ↔ Agent) = 角色、边界、接力、问责、审批
【四层】Process → Methods → Tools（结构不变，内涵升级）
Effectiveness Focus：Quality + Efficiency
地基从单一的 Quality Focus 扩展为 Effectiveness Focus，包含两个分量：
| 分量 | 定义 | 包含 |
|---|---|---|
| Quality | 做得对、做得稳 | 正确性、可维护、可验证、可审计、Trust（信任与安全） |
| Efficiency | 无浪费地产生成果 | 流动效率、小批量、吞吐、Value（对业务有效） |
培训口径值得反复强调：
- Efficiency 不是「快」，而是无浪费地产生有效成果；快但做错，不是 Efficiency。
- Quality 与 Efficiency 存在张力，地基是一种价值取舍文化——愿意为速度牺牲多少质量，愿意为保证质量投入多少效率成本。
Harmony：人机协作契约
Harmony 不是第五块叠盘，而是贯穿 Process / Methods / Tools 的横切协作契约。它回答的不是「人和 AI 能否好好相处」，而是把角色、责任、交接写成制度。
五维协作框架
| 维度 | 含义 |
|---|---|
| 角色 | Planner / Generator / Evaluator — 谁规划、谁生成、谁独立验收 |
| 边界 | 哪些动作 Agent 可自治，哪些必须 Human-in-the-loop |
| 接力 | Spec、Plan、Diff、Test Log 等人机交接证据 |
| 问责 | 合并、发布、安全 — 人永远担责 |
| 审批 | 权限、沙箱、hooks、审计日志 |
监督光谱：HITL / HOTL / HOOL
Harmony 的「边界」维度在运行时体现为监督光谱——按动作风险路由，而非全程用一种模式：
| 模式 | 含义 | 适用 |
|---|---|---|
| Human-in-the-loop (HITL) | Agent propose → 阻塞 → 人 approve 后执行 | 不可逆、合规、高风险（合并、发布、删库） |
| Human-on-the-loop (HOTL) | Agent 自主执行，人监督并可 override | 高频、可回滚（探索、草稿、跑测） |
| Human-out-of-the-loop (HOOL) | 策略内全自主 + 监控审计 | 模板化、强门禁的低风险路径 |
问责永远在人；Loop 模式可按动作变。
参考 Sheridan 的监督控制理论、NIST AI RMF 的 human oversight 要求，以及业界对 HITL vs HOTL 的分层实践。
Process × Loop 默认路由
将 Process 步骤与 Loop 模式对齐，是 Harmony 从原则落到日常的关键：
| 步骤 | 主角色 | Loop | 要点 |
|---|---|---|---|
| Research | 人 + Agent | HOTL | 探索草稿，人监督方向 |
| Plan | 人主导 | HITL | Spec / Plan 签署 |
| Execute | Agent | HOTL | 沙箱小步；高风险升格 HITL |
| Review | 独立 Evaluator | HITL | Agent 不可自评 |
| Ship | 人担责 | HITL | 合并 / 发布 |
这与 Inner / Middle / Outer Loop 以及 Loop Engineering 中的闭环治理一脉相承——Loop 模式是 Harmony 在运行时的工作语言。
三层内涵深潜
结构仍是 Process → Methods → Tools，但默认执行者从「人 + 工具」变为「人 + Agent + Harness」。
Process 层：可审计的人机闭环
从人的活动序列，升级为人机协作的可审计闭环：
Research → Plan → Execute → Review → Ship
（可扩展：Policy & Routing → Archive, Measure, Improve）核心问题：什么必须被人批准，什么可以交给 Agent 自动跑？
Process 层的 Harmony 检查项：哪一步必须人批准？哪一步 Agent 可自治？典型机制包括 Review 节点、Ship 门禁、HITL/HOTL 路由。
Methods 层：方法论族谱
Methods 层是容器；Methodology（方法论） 是其中的学派与体系。AI4SE 时代需要在传统工程纪律之外，容纳新的方法论族：
| 方法论 | 解决什么 | 典型产物 / 实践 |
|---|---|---|
| Agentic Engineering | 如何让 Agent 成为工程参与者 | Commands、Skills、Subagents、工作流闭环 |
| Harness Engineering | 如何驾驭模型、约束 Agent 行为 | AGENTS.md、Rules、Hooks、Permissions、Eval |
| SDD（Spec-Driven Development） | 规格从哪来、如何变更、如何验收 | OpenSpec、proposal/design/tasks、delta specs |
| Loop Engineering | 如何把 Agent 工作变成可治理闭环 | Inner / Middle / Outer Loop |
| 传统方法 | 人的工程纪律 | TDD、重构、设计模式、代码评审 |
关系：Methodology 规定纪律；Tools 提供机制。 切忌把 OpenSpec、Superpowers、gstack 等机械串联而不分工——Methods 层需要明确「规格 / 纪律 / 交付」各自归属。
Methods 层的 Harmony 检查项：哪些方法论由人主导？哪些可封装给 Agent？典型机制包括独立评审、Spec 签署、Planner/Generator/Evaluator 角色分离。
Tools 层：人用的工具 + Agent 的运行时
Tools 层从 CASE 辅助，扩展为人用的工具 + Agent 的运行时：
- IDE、CI/CD、Agent CLI、MCP、浏览器自动化
- 权限、上下文、状态、评测（Eval）
- 人配置工具，Agent 在工具里行动
核心问题：Agent 能看什么、能改什么、失败了如何停？
Tools 层的 Harmony 检查项：如何把分工固化成系统行为？典型机制包括权限、审批、审计日志、沙箱、工具白名单。
Harmony 落地检查表
将 Harmony 五维与三层叠盘、Loop 模式对齐，形成可操作的落地检查表：
| 层 | Harmony 回答的问题 | Loop 模式 | 典型机制 |
|---|---|---|---|
| Process | 哪一步必须人批准？ | HITL / HOTL 路由 | Review 节点、Ship 门禁 |
| Methods | 哪些由人主导、哪些封装给 Agent？ | 独立 Evaluator | Spec 签署、角色分离 |
| Tools | 如何固化成系统行为？ | 审批 + 审计 | 权限、沙箱、hooks |
与 Pressman 原版对照
| Pressman 原版 | AI4SE 演进版 |
|---|---|
| A quality focus | Effectiveness Focus（Quality + Efficiency） |
| （无） | Harmony 横切（Human ↔ Agent） |
| Process | 同名，内涵升级为可审计人机闭环 |
| Methods | 同名，加入 AI4SE 方法论族 |
| Tools | 同名，含 Agent 运行时与 Harness 机制 |
常见反模式
| 反模式 | 表现 | 应对 |
|---|---|---|
| 工具单飞 | 只买 Copilot/Cursor，不改评审与测试 | 从 Effectiveness 地基对齐价值取舍 |
| 流程形式化 | 有 Sprint/PR 流程，无质量度量 | Quality 含 Trust，需验证证据 |
| Agent 自评即完成 | 同一 Agent 生成又宣布完成 | Harmony：独立 Evaluator |
| HITL theater | 每步都批但人无判断权 | 真 gate + action + reasoning |
| HITL 滥用 | 连读文件都要人批 | 按动作路由 HOTL |
| 方法论堆叠 | OpenSpec + Superpowers + gstack 机械串联 | Methods 层分工：规格 / 纪律 / 交付 |
| 追求局部速度 | 个人更快，系统 MTTR 恶化 | Efficiency 含 Value，看端到端度量 |
与试点转型框架的关系
本模型为组织级 AI4SE 试点提供方法论底座。中大型研发组织 AI4SE 试点转型 中的三环模型（Inner / Harness / Outer Loop）与本文的 Process × Loop 路由相互呼应：试点设计时，用 Effectiveness 对齐价值取舍，用 Harmony 定义人机分工，再在 Process / Methods / Tools 各层选型与落地。
参考
- Roger Pressman, Software Engineering: A Practitioner’s Approach — Layered Technology
- Google DORA 2025 — AI as amplifier
- NIST AI Risk Management Framework — human oversight
- Sheridan, Telerobotics, Automation, and Human Supervisory Control (1992)
- neurals: Human-in-the-loop vs on-the-loop
- Elementum: HITL for agentic AI