用途：该技能聚焦测试设计与质量验证，回答“怎么知道系统是对的”。当需要设计测试方案、审查测试质量或讨论测试策略时触发，即使用户只说“这个怎么测”“测试写得对不对”“需要什么测试”也应触发。
主要能力：识别测试上下文（系统类型、测试框架、关键挑战），并据此调整策略；从设计声明推导测试清单；强调契约测试优于行为测试；要求 mock 是保留核心约束的最小完整单元，而非什么都接受的空壳；以“能否发现真实 bug”作为测试质量的终极检验标准。
测试分层：单元测试验证模块内部逻辑（编码器、状态机、解析器）；契约测试验证跨模块的数据格式与内容约定，是最重要也最易被忽略的层次；集成测试走完整业务流程，覆盖事件顺序、日志与降级路径；设计验证测试直接从设计文档推导。
核心原则：测试清单应从设计推导，无法追溯到设计声明的测试价值存疑，设计声明无对应测试则无法验证；契约测试优于行为测试；mock 应验证输入格式与必要字段、按输入返回合理值并保留真实约束；测试应能发现真实 bug；代码保障优于约定保障，状态机转换矩阵、边界条件、超时与部分失败都应有确定性测试。
适用场景：测试策略设计、测试质量审查、验证方案讨论，以及 AI/LLM、分布式、前端 UI 等不同系统的测试设计。AI/LLM 系统测格式和流程控制，不测输出内容质量；确定性系统可测精确结果。
限制：资料未提供具体安装命令、配置方式、支持框架清单或收费信息。反模式包括覆盖率崇拜、空壳 mock、只测 happy path、测试写完不管、用测试掩盖设计缺陷。