Сегодня, 17го сентября в 19:00, состоится встреча сообщества в офисе EPAM, Заставская ул., 22 корп. 2.
Для прохода в офис необходимо указать ФИО в форме
https://docs.google.com/forms/d/1kwPw7L--aWX9Xq2H3OGGH3wsi_Eml0PgQOkjtZ6sbgcО докладе: Как перестать писать end-to-end тесты и начать синтезировать их.
Докладчик: Артем Страхов
Описание: Property-based тестирование давно и успешно применяется для генерации юнит тестов (см. hypothesis, например). Но использовать его в высокоуровневых тестах не так просто. Во-первых, нужно определиться с инвариантами. Во-вторых, понять как эффективно генерировать данные (shrinking не подходит). Я покажу как используя зависимые типы можно построить модель системы, на основе которой решить вышеперечисленные проблемы.