Что такое тестирование на свойствах (property-based testing) и как его делать через Hypothesis?

Property-based testing — вместо фиксированных примеров (test_add(2, 3, 5)) проверяешь инвариант на сотнях сгенерированных входов: «для любых int a, b: add(a, b) == add(b, a)». Hypothesis — Python-библиотека: декоратор @given(strategies), автоматическая генерация и shrinking (минимизация падающего входа). @example() фиксирует конкретные кейсы; стратегии описывают пространство входов.