SPb Python — встреча сообщества / SPb Python Meetup

This is a past event

80 people went

Every 3rd Tuesday of the month

EPAM Systems

Zastavskaya Ulitsa, 22 корп. 2 · Sankt-Peterburg

How to find us

На карте должно быть все, что необходимо.

Location image of event venue

Details

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

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

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

О докладе:

Докладчик: Артем Страхов

Как перестать писать end-to-end тесты и начать синтезировать их.

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

Место встречи: офис EPAM, Заставская ул., 22 корп. 2.