第22章：开发者测试

第22章：开发者测试：从“运行过就是测试”推进到“测试能稳定暴露指定故障”，以目录节点、专属机制实验和故障复位验收。

学习目标

能解释开发者测试如何从需求、等价类、边界与独立路径导出可检验用例。
能修改一个测试脚手架，使正常、边界和故障输入隔离执行并留下可诊断记录。
能用专属实验回答：测试失败后，怎样证明修复有效且回归运行仍能重建同一基线？

为什么需要这一机制

第22章：开发者测试解决的不是一个可背诵口号，而是从 运行过就是测试 到 测试能稳定暴露指定故障 的可观察变化。它的核心机制是：开发者测试从需求和代码结构导出正常、边界、错误与独立路径用例，保证隔离、可重复和失败可诊断。

学习第22章：开发者测试时先预测测试目标、用例设计、脚手架执行、覆盖观察、回归记录的输入与输出，再改变一个直接条件。这个预期就是：最终结果即使看似正确，只要中间状态违反合同、故障不能隔离或重置不能回到同一基线，本页结论就不通过。

核心合同

tests=equivalence\ classes+boundaries+error\ paths+independent\ paths

第22章：开发者测试的合同变量必须绑定到同一版本、同一输入、同一单位和同一观察窗口。先由合同推出预期，再观察脚手架执行与；如果只是修改阈值来迎合结果，实验失去裁决能力。

猜一猜：把再切成，并注入一个后，哪一个节点会先变红？

专属实验 · 测试合同

让测试从“会通过”变成“能暴露指定故障”

切换一个直接条件，观察首个偏离落在哪个节点；重置后用同一输入重放，检查测试合同是否仍然成立。

基线：先把输入、预言和隔离边界固定下来。好的测试从可检验预期开始，而不是从“这次命令通过了”开始。

目录节点到四级证据

以下节点逐项给出“出现—解释—视觉/实验—练习验证”证据。第22章：开发者测试不把目录词频当作覆盖率；每一项都必须能在专属机制链中指出状态变化，并在章末练习清单中被复核。

第22章开发者测试

在 第22章：开发者测试 中，目录节点 第22章开发者测试 落在“测试目标”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“测试角色”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 第22章开发者测试 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 测试目标 保存首个偏离、拒绝结果和复位后的重放证据。

22.1 开发者测试在软件质量中的角色

在 第22章：开发者测试 中，目录节点 22.1 开发者测试在软件质量中的角色 落在“用例设计”检查点。这里的技术含义是：把质量属性分开定义，再选择预防、发现和修复证据；它影响“测试优先”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 22.1 开发者测试在软件质量中的角色 时，让一个指标改善而另一个恶化，检查门禁能否阻止平均分掩盖。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 用例设计 保存首个偏离、拒绝结果和复位后的重放证据。

构造中测试

在 第22章：开发者测试 中，目录节点 构造中测试 落在“脚手架执行”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“技巧”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 构造中测试 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 脚手架执行 保存首个偏离、拒绝结果和复位后的重放证据。

22.2 推荐的开发者测试方法

在 第22章：开发者测试 中，目录节点 22.2 推荐的开发者测试方法 落在“覆盖观察”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“典型错误”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 22.2 推荐的开发者测试方法 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 覆盖观察 保存首个偏离、拒绝结果和复位后的重放证据。

先测试还是后测试

在 第22章：开发者测试 中，目录节点 先测试还是后测试 落在“回归记录”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“工具过程”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 先测试还是后测试 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 回归记录 保存首个偏离、拒绝结果和复位后的重放证据。

开发者测试的局限性

在 第22章：开发者测试 中，目录节点 开发者测试的局限性 落在“测试目标”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“测试角色”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 开发者测试的局限性 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 测试目标 保存首个偏离、拒绝结果和复位后的重放证据。

22.3 测试技巧锦囊

在 第22章：开发者测试 中，目录节点 22.3 测试技巧锦囊 落在“用例设计”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“测试优先”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 22.3 测试技巧锦囊 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 用例设计 保存首个偏离、拒绝结果和复位后的重放证据。

不完整的测试

在 第22章：开发者测试 中，目录节点 不完整的测试 落在“脚手架执行”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“技巧”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 不完整的测试 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 脚手架执行 保存首个偏离、拒绝结果和复位后的重放证据。

结构化的基础测试

在 第22章：开发者测试 中，目录节点 结构化的基础测试 落在“覆盖观察”检查点。这里的技术含义是：声明所有权、别名、边界、可变性和释放责任；它影响“典型错误”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 结构化的基础测试 时，制造空引用、悬空引用、越界索引与并发写入各一个反例。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 覆盖观察 保存首个偏离、拒绝结果和复位后的重放证据。

数据流测试

在 第22章：开发者测试 中，目录节点 数据流测试 落在“回归记录”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“工具过程”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 数据流测试 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 回归记录 保存首个偏离、拒绝结果和复位后的重放证据。

等价类划分

在 第22章：开发者测试 中，目录节点 等价类划分 落在“测试目标”检查点。这里的技术含义是：用构造和公开操作守住对象不变量，优先组合稳定职责；它影响“测试角色”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 等价类划分 时，尝试绕过接口制造半有效对象，确认不变量不可被外部破坏。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 测试目标 保存首个偏离、拒绝结果和复位后的重放证据。

猜测错误

在 第22章：开发者测试 中，目录节点 猜测错误 落在“用例设计”检查点。这里的技术含义是：把“猜测错误”放回开发者测试从需求和代码结构导出正常、边界、错误与独立路径用例，脚手架保证隔离、可重复和失败可诊断；它影响“测试优先”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 猜测错误 时，固定其余条件，只改变与“猜测错误”直接相连的一个输入或决定。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 用例设计 保存首个偏离、拒绝结果和复位后的重放证据。

边界值分析

在 第22章：开发者测试 中，目录节点 边界值分析 落在“脚手架执行”检查点。这里的技术含义是：把“边界值分析”放回开发者测试从需求和代码结构导出正常、边界、错误与独立路径用例，脚手架保证隔离、可重复和失败可诊断；它影响“技巧”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 边界值分析 时，固定其余条件，只改变与“边界值分析”直接相连的一个输入或决定。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 脚手架执行 保存首个偏离、拒绝结果和复位后的重放证据。

几类坏数据

在 第22章：开发者测试 中，目录节点 几类坏数据 落在“覆盖观察”检查点。这里的技术含义是：用构造和公开操作守住对象不变量，优先组合稳定职责；它影响“典型错误”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 几类坏数据 时，尝试绕过接口制造半有效对象，确认不变量不可被外部破坏。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 覆盖观察 保存首个偏离、拒绝结果和复位后的重放证据。

几类好数据

在 第22章：开发者测试 中，目录节点 几类好数据 落在“回归记录”检查点。这里的技术含义是：用构造和公开操作守住对象不变量，优先组合稳定职责；它影响“工具过程”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 几类好数据 时，尝试绕过接口制造半有效对象，确认不变量不可被外部破坏。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 回归记录 保存首个偏离、拒绝结果和复位后的重放证据。

采用容易手工检查的测试用例

在 第22章：开发者测试 中，目录节点 采用容易手工检查的测试用例 落在“测试目标”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“测试角色”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 采用容易手工检查的测试用例 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 测试目标 保存首个偏离、拒绝结果和复位后的重放证据。

22.4 典型错误

在 第22章：开发者测试 中，目录节点 22.4 典型错误 落在“用例设计”检查点。这里的技术含义是：把“22.4 典型错误”放回开发者测试从需求和代码结构导出正常、边界、错误与独立路径用例，脚手架保证隔离、可重复和失败可诊断；它影响“测试优先”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 22.4 典型错误 时，固定其余条件，只改变与“22.4 典型错误”直接相连的一个输入或决定。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 用例设计 保存首个偏离、拒绝结果和复位后的重放证据。

哪些类包含最多的错误？

在 第22章：开发者测试 中，目录节点 哪些类包含最多的错误？ 落在“脚手架执行”检查点。这里的技术含义是：用构造和公开操作守住对象不变量，优先组合稳定职责；它影响“技巧”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 哪些类包含最多的错误？ 时，尝试绕过接口制造半有效对象，确认不变量不可被外部破坏。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 脚手架执行 保存首个偏离、拒绝结果和复位后的重放证据。

错误的分类

在 第22章：开发者测试 中，目录节点 错误的分类 落在“覆盖观察”检查点。这里的技术含义是：用构造和公开操作守住对象不变量，优先组合稳定职责；它影响“典型错误”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 错误的分类 时，尝试绕过接口制造半有效对象，确认不变量不可被外部破坏。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 覆盖观察 保存首个偏离、拒绝结果和复位后的重放证据。

不完善的构造过程引发错误所占的比例

在 第22章：开发者测试 中，目录节点 不完善的构造过程引发错误所占的比例 落在“回归记录”检查点。这里的技术含义是：把“不完善的构造过程引发错误所占的比例”放回开发者测试从需求和代码结构导出正常、边界、错误与独立路径用例，脚手架保证隔离、可重复和失败可诊断；它影响“工具过程”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 不完善的构造过程引发错误所占的比例 时，固定其余条件，只改变与“不完善的构造过程引发错误所占的比例”直接相连的一个输入或决定。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 回归记录 保存首个偏离、拒绝结果和复位后的重放证据。

你期望能发现多少错误

在 第22章：开发者测试 中，目录节点 你期望能发现多少错误 落在“测试目标”检查点。这里的技术含义是：把“你期望能发现多少错误”放回开发者测试从需求和代码结构导出正常、边界、错误与独立路径用例，脚手架保证隔离、可重复和失败可诊断；它影响“测试角色”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 你期望能发现多少错误 时，固定其余条件，只改变与“你期望能发现多少错误”直接相连的一个输入或决定。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 测试目标 保存首个偏离、拒绝结果和复位后的重放证据。

测试本身的错误

在 第22章：开发者测试 中，目录节点 测试本身的错误 落在“用例设计”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“测试优先”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 测试本身的错误 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 用例设计 保存首个偏离、拒绝结果和复位后的重放证据。

22.5 测试支持工具

在 第22章：开发者测试 中，目录节点 22.5 测试支持工具 落在“脚手架执行”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“技巧”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 22.5 测试支持工具 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 脚手架执行 保存首个偏离、拒绝结果和复位后的重放证据。

为测试各个类构造脚手架

在 第22章：开发者测试 中，目录节点 为测试各个类构造脚手架 落在“覆盖观察”检查点。这里的技术含义是：用构造和公开操作守住对象不变量，优先组合稳定职责；它影响“典型错误”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 为测试各个类构造脚手架 时，尝试绕过接口制造半有效对象，确认不变量不可被外部破坏。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 覆盖观察 保存首个偏离、拒绝结果和复位后的重放证据。

Diff工具

在 第22章：开发者测试 中，目录节点 Diff工具 落在“回归记录”检查点。这里的技术含义是：使分支互斥且覆盖输入域，命名复杂谓词并明确默认路径；它影响“工具过程”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 Diff工具 时，列出条件真值表和边界邻域，寻找重叠或没有归属的输入。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 回归记录 保存首个偏离、拒绝结果和复位后的重放证据。

测试数据生成器

在 第22章：开发者测试 中，目录节点 测试数据生成器 落在“测试目标”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“测试角色”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 测试数据生成器 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 测试目标 保存首个偏离、拒绝结果和复位后的重放证据。

覆盖率监视器

在 第22章：开发者测试 中，目录节点 覆盖率监视器 落在“用例设计”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“测试优先”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 覆盖率监视器 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 用例设计 保存首个偏离、拒绝结果和复位后的重放证据。

数据记录器/日志记录器

在 第22章：开发者测试 中，目录节点 数据记录器/日志记录器 落在“脚手架执行”检查点。这里的技术含义是：把“数据记录器/日志记录器”放回开发者测试从需求和代码结构导出正常、边界、错误与独立路径用例，脚手架保证隔离、可重复和失败可诊断；它影响“技巧”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 数据记录器/日志记录器 时，固定其余条件，只改变与“数据记录器/日志记录器”直接相连的一个输入或决定。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 脚手架执行 保存首个偏离、拒绝结果和复位后的重放证据。

符号调试工具

在 第22章：开发者测试 中，目录节点 符号调试工具 落在“覆盖观察”检查点。这里的技术含义是：稳定复现并用最小区分实验排除竞争假设；它影响“典型错误”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 符号调试工具 时，保留相同输入，只改变一个怀疑条件并记录首差。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 覆盖观察 保存首个偏离、拒绝结果和复位后的重放证据。

系统干扰器

在 第22章：开发者测试 中，目录节点 系统干扰器 落在“回归记录”检查点。这里的技术含义是：把“系统干扰器”放回开发者测试从需求和代码结构导出正常、边界、错误与独立路径用例，脚手架保证隔离、可重复和失败可诊断；它影响“工具过程”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 系统干扰器 时，固定其余条件，只改变与“系统干扰器”直接相连的一个输入或决定。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 回归记录 保存首个偏离、拒绝结果和复位后的重放证据。

错误数据库

在 第22章：开发者测试 中，目录节点 错误数据库 落在“测试目标”检查点。这里的技术含义是：把“错误数据库”放回开发者测试从需求和代码结构导出正常、边界、错误与独立路径用例，脚手架保证隔离、可重复和失败可诊断；它影响“测试角色”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 错误数据库 时，固定其余条件，只改变与“错误数据库”直接相连的一个输入或决定。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 测试目标 保存首个偏离、拒绝结果和复位后的重放证据。

22.6 改善测试过程

在 第22章：开发者测试 中，目录节点 22.6 改善测试过程 落在“用例设计”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“测试优先”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 22.6 改善测试过程 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 用例设计 保存首个偏离、拒绝结果和复位后的重放证据。

有计划的测试

在 第22章：开发者测试 中，目录节点 有计划的测试 落在“脚手架执行”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“技巧”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 有计划的测试 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 脚手架执行 保存首个偏离、拒绝结果和复位后的重放证据。

重新测试（回归测试）

在 第22章：开发者测试 中，目录节点 重新测试（回归测试） 落在“覆盖观察”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“典型错误”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 重新测试（回归测试） 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 覆盖观察 保存首个偏离、拒绝结果和复位后的重放证据。

自动化测试

在 第22章：开发者测试 中，目录节点 自动化测试 落在“回归记录”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“工具过程”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 自动化测试 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 回归记录 保存首个偏离、拒绝结果和复位后的重放证据。

22.7 保留测试记录

在 第22章：开发者测试 中，目录节点 22.7 保留测试记录 落在“测试目标”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“测试角色”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 22.7 保留测试记录 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 测试目标 保存首个偏离、拒绝结果和复位后的重放证据。

个人测试记录

在 第22章：开发者测试 中，目录节点 个人测试记录 落在“用例设计”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“测试优先”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 个人测试记录 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 用例设计 保存首个偏离、拒绝结果和复位后的重放证据。

测试

在 第22章：开发者测试 中，目录节点测试落在“覆盖观察”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“典型错误”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证测试时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 覆盖观察 保存首个偏离、拒绝结果和复位后的重放证据。

测试脚手架

在 第22章：开发者测试 中，目录节点 测试脚手架 落在“回归记录”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“工具过程”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 测试脚手架 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 回归记录 保存首个偏离、拒绝结果和复位后的重放证据。

测试优先的开发

在 第22章：开发者测试 中，目录节点 测试优先的开发 落在“测试目标”检查点。这里的技术含义是：从合同、等价类、边界和独立路径导出可重复断言；它影响“测试角色”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 测试优先的开发 时，先故意破坏目标行为，确认测试确实由红转绿。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 测试目标 保存首个偏离、拒绝结果和复位后的重放证据。

关键点

在 第22章：开发者测试 中，目录节点 关键点 落在“脚手架执行”检查点。这里的技术含义是：把本单元结论改写为带前提、反例和证据位置的决策规则；它影响“技巧”时，必须同时声明对象、输入、状态、输出和适用边界，不能用标题出现代替解释。

验证 关键点 时，构造规则不适用的最小反例并说明退出条件。先写预期，再运行正常值、恰好边界和一个故障；若出现“只写会通过的正常样例，或断言最终输出却不定位首差”，就在第22章：开发者测试的 脚手架执行 保存首个偏离、拒绝结果和复位后的重放证据。

最小可重放实现

// 第22章：开发者测试：同一输入验证基线、故障和复位
const baseline = run_cc2e_22_developer_testing(fixedCase());
assertContract(baseline);
assertRejected(run_cc2e_22_developer_testing(faultCase()));
assert.deepEqual(resetAndRun(fixedCase()), baseline);

这段第22章：开发者测试验证草图表达独立教学合同，不复制原书代码。真实执行应保存输入、环境、节点轨迹、最终结果、拒绝理由和复位结果，使第二位读者能从干净状态重放。

专属因果实验

先预测改变“测试角色”或“测试优先”后，第22章：开发者测试的哪一个节点最先变化。切换基线、边界和注入故障，运行并保存证据；最后点击“重置实验”，确认滑块、场景、节点、压力和结果文字全部恢复。

故障诊断与误区

一个失败的测试先回答“哪里偏离”，再回答“为什么偏离”。若只看最终断言，无法区分产品代码、测试本身、数据生成器和环境干扰；因此记录应至少包含输入、版本、前置状态、首个偏离、拒绝理由和重置后的重放结果。

本章的事实边界由 Microsoft Press 的《Code Complete, 2nd Edition》书目页与 NIST SP 800-218 SSDF 核对；公开试读目录只用于限定本章范围。这里的实现、实验和表述均为独立教学重写。

术语与边界

本章的操作术语分别指向实验中的输入域、用例分组、脚手架、故障节点和回归记录。它们不是标签清单：每个术语都必须能落到一个控件、节点或状态文本；若只能指向目录标题，说明解释和验证仍未完成。

名词解释

本章出现的专业名词，用大白话再讲一遍。

测试脚手架: 负责准备数据、运行被测代码、清理状态和收集断言结果的那层“试验台”，让每条测试不依赖上一条测试。
测试预言: 运行前写好的“应该发生什么”；它像答案纸，避免测试跑完后才临时解释结果。
回归测试: 改代码后重新运行旧用例，检查原来已经成立的行为没有被新改动破坏。
等价类: 在当前合同下表现相同的一组输入；从每组挑代表值，就不用把相似输入全部重复测试。
边界值: 输入从允许变成不允许的交界附近的值，通常比范围中间的普通值更容易暴露错误。
故障注入: 主动制造一个可控异常，以确认测试能拒绝它并指出首个偏离位置。

本页小结

练习

问题 1　把一个只测试正常订单金额的用例改成等价类加边界值清单，至少列出一个正常值、一个恰好边界和一个应拒绝值。

问题 2　改 Demo 代码：让测试脚手架在每次用例开始时建立新状态，在结束时清理状态；然后注入一个共享数组未清空的故障，说明哪条记录能定位首个偏离。

问题 3　实验中的“故障注入”切换后测试变红。请写出三条回归验收条件，证明修复没有只是把断言阈值改宽。

从需求和代码结构导出正常、边界、错误与独立路径用例，而不是只跑一条正常路径。
用测试预言约束输入、状态、输出和拒绝条件，再让脚手架提供隔离、清理与可诊断记录。
用故障注入证明测试真的能变红，用回归测试与重置后的同输入重放证明修复没有掩盖问题。