tdd

测试驱动开发

理念

核心原则：测试应通过公共接口验证行为，而不是实现细节。代码可以彻底改变；测试不应该。

好的测试采用集成测试风格：通过公共 API 执行真实的代码路径。它们描述系统“做什么”，而不是“怎么做”。好的测试读起来就像一份规范——“用户可以使用有效购物车完成结账”能准确说明系统具备什么能力。这些测试经得起重构，因为它们不关心内部结构。

糟糕的测试与实现紧密耦合。它们模拟内部协作者、测试私有方法，或通过外部方式验证（例如直接查询数据库，而不是使用接口）。警示信号是：重构后测试失败，但行为并未改变。如果重命名一个内部函数就导致测试失败，那么这些测试验证的是实现，而不是行为。

示例请参阅 tests.md，模拟指南请参阅 mocking.md。

反模式：水平切片

不要先编写所有测试，再编写所有实现。 这就是“水平切片”——把 RED 阶段当成“编写所有测试”，把 GREEN 阶段当成“编写所有代码”。

这会产生糟糕的测试：

• 一次性编写的测试验证的是 想象中的 行为，而不是 实际的 行为
• 最终测试的是事物的 形状（数据结构、函数签名），而不是面向用户的行为
• 测试会对真实变化不敏感——行为出错时测试通过，行为正常时测试失败
• 你会超前于自己的判断，在理解实现之前就确定测试结构

正确做法：通过示踪弹进行垂直切片。一个测试 → 一个实现 → 重复。每个测试都基于你从上一轮中学到的内容。因为你刚刚编写了代码，所以很清楚哪些行为重要，以及如何验证这些行为。

WRONG (horizontal):
  RED:   test1, test2, test3, test4, test5
  GREEN: impl1, impl2, impl3, impl4, impl5

RIGHT (vertical):
  RED→GREEN: test1→impl1
  RED→GREEN: test2→impl2
  RED→GREEN: test3→impl3
  ...

工作流

1. 规划

编写任何代码之前：

• 与用户确认需要哪些接口变更
• 与用户确认要测试哪些行为（并确定优先级）
• 找出适合采用深层模块的机会（接口精简，实现深入）
• 为可测试性设计接口
• 列出要测试的行为（而非实现步骤）
• 获得用户对计划的批准

询问：“公共接口应该是什么样的？哪些行为最值得优先测试？”

你不可能测试所有内容。 与用户确认哪些行为最重要。把测试精力集中在关键路径和复杂逻辑上，而不是每一种可能的边缘情况。

2. 示踪弹

编写一个测试，确认系统的一项行为：

RED:   Write test for first behavior → test fails
GREEN: Write minimal code to pass → test passes

这是你的示踪弹，用于证明整个端到端路径可行。

3. 增量循环

对每一项剩余行为：

RED:   Write next test → fails
GREEN: Minimal code to pass → passes

规则：

• 一次编写一个测试
• 只编写足以通过当前测试的代码
• 不要预判未来的测试
• 让测试聚焦于可观察的行为

4. 重构

所有测试通过后，寻找重构候选项：

• 提取重复内容
• 深化模块（将复杂性移至简单接口之后）
• 在适当时应用 SOLID 原则
• 思考新代码揭示了现有代码的哪些问题
• 每完成一个重构步骤后运行测试

绝不要在 RED 阶段重构。 先达到 GREEN。

每轮检查清单

[ ] Test describes behavior, not implementation
[ ] Test uses public interface only
[ ] Test would survive internal refactor
[ ] Code is minimal for this test
[ ] No speculative features added