Хорошо протестировать нетестируемое и не сойти с ума

Property-based testing — зарекомендовавший себя подход, который позволяет находить баги, практически неподвластные ручному тестированию, и при правильном использовании значительно сокращает затраты на качественное тестирование. Для работы подхода нужны генераторы входных данных системы, которую мы тестируем, и часто мы можем получить эти генераторы автоматически или задёшево.

Но что, если у той системы, которую хотим тестировать, входные данные очень непростой структуры? Например, хитрые графы с хитрыми отношениями вершин или успешно тайпчекающиеся программы? Тут на помощь могут прийти зависимые типы (dependent types).

Рассмотрим property-based testing в общем, познакомимся с зависимыми типами, а также обсудим, как их сочетание позволяет находить сложные ошибки в сложных системах.