用途:当用户询问“绿色测试遗漏了什么”或想评估通过测试套件的可信边界时,使用该技能找出测试未建立的关键行为。核心思路是:通过的测试只在其设定下验证了断言,真正要调查的缺口是实现与测试共享了同一个未被测试的假设。
主要能力:从需求、规格、变更代码、调用方和相关测试中确定预期行为与范围;运行相关基线;将重要行为与测试实际断言对比,寻找具体缺口,例如用 mock 替代了所声称的边界、未测试的状态转换、缺失的消费者预期,或只在正常路径上验证的不变量。按后果和证据选择缺口,而非通用清单或覆盖率百分比。
使用方式:对每个选定的缺口,先陈述问题,再设计小型探索性探针以区分正确与错误行为;优先使用现有工具和隔离数据,当 mock 本身是不确定性来源时,优先使用真实组件。在范围内执行有界探针,记录观察到的行为及其违反的需求。若预期行为不明确,报告规格问题;若无法执行,报告未测试风险,二者都不算已确认缺陷。对已确认失败,保留最小复现器;若任务范围允许修改测试,添加聚焦的回归测试并验证其因预期原因失败。故意失败的复现器需与基线分开报告,不要静默修复生产代码。
适用场景:评估测试套件可信度、审查变更是否被测试充分覆盖、在发布前识别关键未测试风险。
限制:不得将低覆盖率等同于缺陷,也不得将绿色测试等同于完全正确;仅假设场景不构成发现。保留现有测试与断言,不弱化测试、不扩大重构、不安装无关测试框架。探针应远离生产数据和外部副作用,除非明确授权;当本地夹具无法代表真实边界时需说明。保持与变更规模成比例,当进一步探索不太可能改变用户决策时停止。未发现关键缺口是有效结果。