Всем привет!👋

В этот раз у нас будет супер доклад, который, мы уверены, вызовет отклик в сердцах у многих участников сообщества.
Также пишите любому из администраторов сообщества, если у вас есть идеи для Lightning докладов! Администраторов можно найти у нас в уютном чатике (https://t.me/spbpython)

О докладе: Как перестать писать end-to-end тесты и начать синтезировать их.
Докладчик: Артем Страхов

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

Место встречи: офис EPAM, Заставская ул., 22 корп. 2.
Meetup.com: https://www.meetup.com/ru-RU/spbpython/events/qvcrgryzmbwb/
Для прохода в офис необходимо указать ФИО в форме https://docs.google.com/forms/d/1kwPw7L--aWX9Xq2H3OGGH3wsi_Eml0PgQOkjtZ6sbgc