Сегодня, 17го сентября в 19:00, состоится встреча сообщества в офисе EPAM, Заставская ул., 22 корп. 2.

Для прохода в офис необходимо указать ФИО в форме https://docs.google.com/forms/d/1kwPw7L--aWX9Xq2H3OGGH3wsi_Eml0PgQOkjtZ6sbgc

О докладе: Как перестать писать end-to-end тесты и начать синтезировать их.
Докладчик: Артем Страхов
Описание: Property-based тестирование давно и успешно применяется для генерации юнит тестов (см. hypothesis, например). Но использовать его в высокоуровневых тестах не так просто. Во-первых, нужно определиться с инвариантами. Во-вторых, понять как эффективно генерировать данные (shrinking не подходит). Я покажу как используя зависимые типы можно построить модель системы, на основе которой решить вышеперечисленные проблемы.