票送给朋友后还能退款：Sonar 用 Gitar 演示代码审查漏掉的业务错误

导读

测试全绿，怎样发现新功能与旧流程冲突的业务错误？Sonar 的售票演示把审查范围扩到操作顺序和团队约定，再让修复重新接受验证。转赠功能已拦住无效票，却漏了先送票、后退款的路径：原订单取消时，朋友的票也会作废。Gitar 结合旧退款逻辑发现冲突，并修改原有文件补检查。另一项定价练习中，加服务费的算术正确，却违反展示价格必须含全部费用的约定；团队把背景和触发规则放进仓库，要求工具逐项列出顾客可见价格字段。第三项练习里，工具读取失败的扫码测试和日志，接手定位、修改和重测；自动修复与自动合并分别设开关，分支规则还要求测试通过。三种检查分别把旧流程、业务要求和失败反馈带进审查，让团队看清改动需要满足哪些条件。