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