第 45 章：测试：怎样验证一项保证

核心命题：测试应验证对外保证与不变量，并让输入和外部依赖可控制。

本章任务

从例子、边界、性质和状态模型导出测试；比较单元、契约与集成验证的职责，控制时间、随机数与 I/O。区分实现镜像测试、性质测试和真实用户观察，讨论预期结果的来源与测试成本。

开篇场景

待写：测试覆盖了每个函数，却没有发现舍入顺序错误；大量 mock 通过，真实库仍不符合假设。

验证重点

注入一个已知错误能使相关检查失败；依赖替换与重构后仍检查业务语义。

内容边界

各章从开始就实践验证，本章归纳方法；交错、故障和恢复实验归下一章。