适用于构建失败、运行时异常、测试红、行为与预期不符。强调「先验证再改代码」。