Генерация SQL‑тестов в Picodata: проверка корректности и поиск крашей

Backend

В докладе я расскажу об опыте тестирования Picodata с помощью двух взаимодополняющих подходов: первом, где мы генерируем логически эквивалентные запросы, использующие разные конструкции языка, для проверки корректности вычислений, и втором, когда запросы генерируются с целью поиска крашей. Оба метода легко реализуемы и хорошо дополняют существующие тесты, значительно повышая надёжность СУБД.

О СПИКЕРЕ

Окончил МФТИ в 2024 году. Уже третий год разрабатываю распределенную СУБД Picodata на языке Rust. Ранее занимался разработкой компиляторов.

JUNIOR

Максим Кайтмазян

Picodata, Москва
Разработчик