Денис Буздалов — Хорошо протестировать нетестируемое и не сойти с ума

Ближайшая конференция — Heisenbug 2025 Autumn, 19—20 октября, Санкт-Петербург + online. Подробности и билеты: https://jrg.su/D6uGC9 — — Скачать презентацию с сайта Heisenbug — https://jrg.su/w3GjMe Property-based testing — зарекомендовавший себя подход, который позволяет находить баги, практически неподвластные ручному тестированию, и при правильном использовании значительно сокращает затраты на качественное тестирование. Для работы подхода нужны генераторы входных данных системы, которую мы тестируем, и часто мы можем получить эти генераторы автоматически или задёшево. Но что, если у той системы, которую хотим тестировать, входные данные очень непростой структуры? Например, хитрые графы с хитрыми отношениями вершин или успешно тайпчекающиеся программы? Тут на помощь могут прийти зависимые типы (dependent types). В докладе рассмотрели property-based testing в общем, познакомились с зависимыми типами, а также обсудили, как их сочетание позволяет находить сложные ошибки в сложных системах.