TigerBeetle тестирует распределённую БД изнутри: протокол-ориентированное детерминированное симуляционное тестирование

Protocol-Aware Deterministic Simulation Testing

TigerBeetle, распределённая база данных на основе VSR, описывает свой подход к детерминированному симуляционному тестированию (DST), который выходит за рамки традиционных чёрных ящиков (Jepsen, Antithesis). Благодаря логической и физической детерминированности, TigerBeetle запускает реальный код в симуляторе VOPR, что позволяет проверять инварианты безопасности и живости не только на уровне базы данных, но и на уровне каждого отдельного узла. Статья объясняет, как протокол-ориентированный DST проверяет согласованность WAL, детерминизм хранилища и эффективность преобразования локальной и глобальной долговечности в доступность, выявляя тонкие ошибки, которые невозможно обнаружить при тестировании снаружи.