测试驱动开发（TDD）

哲学（Philosophy）

核心原则：测试应当通过公共接口验证行为，而不是依赖实现细节。代码可以被完全重写；测试不应该随之频繁改变。

好的测试具有集成式特征：它会通过公共 API 实际跑通真实代码路径。它描述系统“做什么”，而不是“怎么做”。好的测试读起来像规范——例如“用户在使用有效购物车时可以结账”，你就能明确知道系统具备这个能力。由于测试不关心内部结构，它能在重构后继续存活。

坏的测试会耦合到实现。它们 mock 内部协作者、测试私有方法，或用“绕过接口”的方式验证（例如直接查询数据库而不是使用接口）。危险信号是：当你重构但行为没有变化时，测试却失败了；如果你重命名了某个内部函数导致测试失败，但用户可观察行为却没有变，这些测试是在测实现而不是在测行为。

查看 tests.md 获取更多示例，并查看 mocking.md 了解 mock 指南。

反模式：横向切片（Horizontal Slices）

不要写“先写完所有测试，再写所有实现”。

这是一种“把 RED 当成写所有测试”的横向切片：把 RED 理解成“先写完所有测试”，把 GREEN 理解成“一次性写完所有代码”。

这会产生 烂测试（crap tests），包括：

• 大量批量编写的测试验证的是“想象出来的行为”，而不是“真实的行为”
• 测试会变成在测“结构形状”（数据结构、函数签名），而不是用户可见的行为
• 测试会对真实变化变得不敏感：行为坏了反而测试仍可能通过；行为没坏时反而会失败
• 你会在还没理解实现之前就“把车灯开出来”，过早承诺测试结构

正确做法：通过 tracer bullets 进行竖向切片（vertical slices）。一个测试 → 一个实现 → 重复。每一轮测试都会基于上一轮你从代码/理解中学到的东西来推进。由于你刚刚写完代码，所以你会非常清楚“哪些行为重要”以及“用什么方式验证它”。

WRONG（横向）：
  RED:   test1, test2, test3, test4, test5
  GREEN: impl1, impl2, impl3, impl4, impl5

RIGHT（竖向）：
  RED→GREEN: test1→impl1
  RED→GREEN: test2→impl2
  RED→GREEN: test3→impl3
  ...

工作流（Workflow）

1. 规划（Planning）

在写任何代码之前：

• 与用户确认需要如何修改接口（interface changes）
• 与用户确认需要测试哪些行为（优先级更高）
• 识别可以提取的 深模块（deep modules）（小接口、深实现）
• 为 可测试性（testability） 设计接口
• 列出要测试的行为（而不是实现步骤）
• 让用户批准该计划

提问：公共接口应当长什么样？哪些行为最重要、最需要先测？

你无法把所有东西都测完。 请与用户明确“哪些行为最关键”。把测试资源集中在关键路径与复杂逻辑上，而不是覆盖所有可能的边界情况。

2. tracer bullet（示踪子弹）

写出 一个测试，用来确认系统的 一个要点：

RED:   为第一个行为写测试 → 测试失败
GREEN: 写最小代码让测试通过 → 测试通过

这就是你的 tracer bullet——它证明这条路径能端到端跑通。

3. 逐步循环（Incremental Loop）

对剩余的每个行为：

RED:   写下一个测试 → 失败
GREEN: 最小实现让它通过 → 通过

规则：

• 一次一个测试
• 只写足够通过当前测试的代码
• 不要提前为未来测试“预埋”
• 保持测试聚焦在可观察的行为

4. 重构（Refactor）

当所有测试都通过之后，再查看 重构候选（refactoring.md）：

• 抽取重复逻辑
• 加深模块（把复杂度移到简单接口背后）
• 在自然的地方应用 SOLID 原则
• 评估新代码暴露出的、对现有代码的潜在问题
• 每完成一个重构步骤就运行测试

不要在 RED 状态下重构。 先到 GREEN 再谈重构。

每一轮循环的清单（Checklist Per Cycle）

[ ] 测试描述的是行为，而不是实现
[ ] 测试只使用公共接口
[ ] 测试在内部重构后仍能存活
[ ] 针对该测试的代码足够最小
[ ] 没有加入“为了以后而猜”的功能