TigerBeetle数据库查询引擎的隐藏bug：巧妙的fuzzing却失效了

TigerBeetle数据库团队使用Jepsen测试发现了其查询引擎中的一个bug，令人惊讶的是，这个组件之前已经过四个fuzzer的广泛测试。调查发现，fuzzer的测试用例生成策略中存在盲点，导致某些类型的查询组合无法被覆盖。这个问题源于fuzzer在初始化时预先注册查询，这种方式虽然简化了工作负载，但却意外地限制了输入空间的多样性。最终，通过改进fuzzer，使其生成更随机的输入并进行更精确的验证，成功复现并修复了该bug。这个案例提醒我们，即使是精心设计的fuzzing策略也可能存在盲点，需要结合其他测试方法，才能更全面地保障软件质量。