На MoscowPython 33 я уже рассказывал в общих чертах про состояние property-тестирования в Python и коротко про Hypothesis. Предлагаю продолжить, но уже по существу. В этом докладе я на примерах покажу, как эффективно применять Hypothesis, находить неочевидные баги и повышать качество ваших тестов.

Существуют три наисложнейшие проблемы в программировании: именование, кэширование и выход за границу массива. Проверка пограничных случаев поведения кода наиболее важна, но эта зона так же наименее тестируема. Придумать и предугадать все возможные ситуации человеку тяжело и порой мы всегда что-то упускаем из виду. Вот было бы здорово, если бы тесты сами находили такие случаи, при которых наш код падает....Мечты? О том, как превратить мечты в реальность этом докладе.