信号去重审计方法论：10 个边界场景探针 + 7 个回归用例，75 用例全过的代码审计流程

以前做信号去重逻辑的审计，每次都是测到半夜。
并发打过来，缓存击穿，重复信号漏放，生产环境报警群直接炸锅。
大家都以为多写几个单元测试就能兜住底。
结果一上真实流量，覆盖率再高也挡不住边界条件连环撞车。
后来我们硬是把测试用例拆成了 10 个边界场景探针和 7 个回归用例。
跑完这套流程，75 个用例全部绿灯，连最刁钻的时序竞争都没漏掉。
去重审计真不是用例堆出来的，是探针和回归组合打透的。

探针打底，回归压舱，这套组合拳怎么拆

信号去重的核心就一句话，同一个信号只能进一次处理队列。
听起来简单，实际代码里往往混着布隆过滤器、内存缓存和分布式锁。
审计的第一步是画状态流转图，把未去重、已去重和超时剔除三个节点标死。
接下来直接上 10 个边界场景探针。
这 10 个探针不覆盖正常路径，专盯临界值。

主键刚好等于最大整型，探针直接打穿类型转换层。
哈希碰撞概率最高的特征字段，探针注入极端的长字符串。
并发线程数突增到队列瓶颈阈值，探针强行拉满线程池。

缓存空值穿透，探针连续发起相同查询。
分布式锁等待超时，探针故意阻塞持有锁的线程。
序列化格式差异，探针混用 Protobuf 和 JSON 载荷。

幂等键重复提交，探针用相同签名发起批量请求。
去重窗口滑动，探针伪造时间戳向后回拨。
脏读隔离级别，探针在读写事务交错时发起校验。
线程池满载，探针阻塞所有工作线程只留核心线程。

每个探针只打一个变量，输出中间状态，不跑完整业务流。
跑通这 10 个探针，能直接暴露缓存更新时机和锁粒度问题。

探针跑稳之后，再挂上 7 个回归用例。
回归用例不造新轮子，专门复用生产环境的真实流量切片。
正常插入用例验证标准链路，确保主干逻辑不崩。
高频重复用例模拟业务波峰，测试去重表的写入吞吐量。

跨节点广播用例模拟多机部署，验证分布式状态同步。
超时重试用例模拟网络抖动，检查幂等控制是否生效。
脏数据拦截用例注入畸形报文，测试过滤层是否健壮。

批量导入用例模拟离线数据同步，验证批量去重性能。
异常回滚用例强制中断处理链，确认事务回滚是否干净。

10 个探针负责拆骨，7 个回归用例负责验肉。
两者交叉验证，最后拼成 75 个完整用例的审计矩阵。
每个用例只验证一个断言，不混着查日志和改配置。

拼装过程其实是个数学题。
探针提供 10 个维度，回归提供 7 个场景。
维度乘以场景，理论上能组合出 70 个交叉用例。
我们额外加了 5 个全链路压测用例，覆盖探针与回归同时触发的极端情况。

70 加 5，正好是 75 个用例全过的基准线。
审计人员拿着矩阵表，逐行过断言，逐行核对日志。
遇到红灯直接定位到探针输出层，不盲目猜业务逻辑。
这套打法把模糊的测试边界变成了清晰的坐标轴。

差点掀桌子的几个边界条件

审计过程中，有三次差点把流程跑崩。
第一次是时钟回拨。
测试环境服务器时间同步失败，去重窗口的时间戳往前跳了 30 秒。
原本该被拦截的重复信号，直接穿过了时间校验层。

我们加了个探针，专门伪造系统时钟偏移，强制触发窗口越界。
代码里补了个单调时钟比对，才把漏洞堵死。
单调时钟不受 NTP 调整影响，彻底锁死时间倒退的可能。

生产环境后来也统一切了单调时钟源，再没出现过类似问题。

第二次是哈希桶溢出。
特征字段拼接时，某些特殊字符导致哈希值全部落到同一个桶。
内存里的去重表瞬间膨胀，GC 频繁触发，队列直接积压。
探针里加了个碰撞压测，用极端的字符串组合打哈希函数。
改成分片哈希加动态扩容，内存占用压回了基线。
分片策略把热点 key 打散到不同内存节点，彻底解决单点瓶颈。
审计时直接截取了溢出前后的内存快照，对比非常直观。

第三次是分布式锁的看门狗超时。
长事务执行时间超过了锁的存活期，锁自动释放。
第二个请求进来，以为信号没被处理，直接放行。
回归用例里补了个长耗时模拟，强制触发锁续期逻辑。
把看门狗线程和事务边界对齐，竞争条件彻底消失。
续期任务只绑定当前业务线程，避免多线程误续导致死锁。
跑通这个用例后，线上长耗时接口的去重成功率直接拉满。

跑完 75 个用例，我们换了个审计姿势

以前审计代码，喜欢盯着 diff 看改动行数。
现在直接拿探针和回归用例当尺子。
代码逻辑再绕，只要过不了探针的临界值检查，一律打回。
回归用例只要有一个红灯，就不准合入主分支。
这套流程把人工排查的时间砍掉了一半。
审计人员不用逐行读注释，只看探针输出和用例断言。
边界条件被提前截断，回归流量负责兜底，75 个用例全过只是底线。
下次升级去重策略，这套探针矩阵可以直接复用。
把测试当审计，把审计当产品，流程自然就顺了。
后续还会把探针脚本化，接入 CI 流水线，实现自动拦截。
技术债不用一次性还清，但底线必须一次守死。