TigerBeetle의 숨겨진 버그: 정교한 퍼징이 실패한 이유

TigerBeetle팀은 Jepsen을 사용하여 쿼리 엔진의 버그를 발견했습니다. 놀랍게도 이 구성 요소는 이전에 4개의 개별 퍼저에 의해 광범위하게 테스트되었습니다. 조사 결과 퍼저의 입력 생성 전략에 사각지대가 있어 특정 쿼리 조합이 누락되었음이 밝혀졌습니다. 이는 퍼저가 초기화 중에 쿼리를 미리 등록했기 때문이며, 이로 인해 의도치 않게 입력 공간의 다양성이 제한되었습니다. 더욱 무작위적인 입력을 생성하고 더 정확한 검증을 수행하도록 퍼저를 개선함으로써 버그를 재현하고 수정했습니다. 이 사례는 정교한 퍼징 전략에도 사각지대가 있을 수 있으며, 포괄적인 소프트웨어 품질 보증을 위해서는 여러 가지 테스트 방법을 결합해야 함을 보여줍니다.