反向传播

描述

缺陷→规约协议。当发现缺陷或测试失败时，追溯原因，判断是否需要新增 §V 不变式来防止复发，并将其追加至 §B。这是 SDD 所做的、计划-执行模式所不具备的一项非显而易见的举措。在测试失败、缺陷报告、事后复盘或用户明确要求时触发。