Простыми словами
Представьте не один заранее придуманный пример, а правило, которое должно выдержать сотни автоматически созданных случаев. Property-based testing генерирует разные входные данные и ищет нарушение свойства, поэтому находит крайние случаи, о которых человек мог не подумать.
Пример при разработке
Вместо десяти примеров тест генерирует сотни корзин и проверяет свойство: итог никогда не отрицателен, а порядок товаров не меняет сумму.
Это редакционный пример применения, а не часть определения или доказательство концепции.Механизм действия
Сначала проверяют, есть ли исходное условие из определения. Затем смотрят, как оно влияет на структуру компонентов, потоки данных, ограничения и действия участников. Если эту связь не удаётся наблюдать, принцип не стоит использовать как готовое объяснение.
Пример в работе
Игнорировать механизм и реагировать только на отдельный симптом.
Зафиксировать условия, применить механизм и проверить результат по наблюдаемому сигналу.
Ограничения
«Property-Based Testing» объясняет только часть происходящего в области «Архитектура ПО». Сам принцип не говорит, насколько сильным будет эффект в вашем случае, и не заменяет измерения. При другом масштабе, среде или временном горизонте результат может отличаться.
Источник
Koen Claessen, John Hughes. QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. 2000. DOI 10.1145/351240.351266.