TigerBeetleの隠れたバグ：高度なファジングが失敗した理由

TigerBeetleチームは、Jepsenを使用してクエリエンジン内のバグを発見しました。驚くべきことに、このコンポーネントは以前、4つの異なるファザーによって広範囲にテストされていました。調査の結果、ファザーの入力生成戦略にブラインドスポットがあり、特定のクエリ組み合わせが網羅されていなかったことが判明しました。これは、ファザーが初期化時にクエリを事前に登録していたことが原因で、意図せずに入力空間の多様性を制限していました。よりランダムな入力を生成し、より正確な検証を行うようにファザーを改善することで、バグは再現され、修正されました。この事例は、高度なファジング戦略であってもブラインドスポットが存在する可能性があり、包括的なソフトウェア品質保証には、複数のテスト手法を組み合わせることが必要であることを示しています。