Тестування на основі властивостей (property-based testing)

Коротко: Під час тестування на основі властивостей формулюють властивості, які мають виконуватися завжди, а інструмент тестування перевіряє їх на безлічі випадкових входів.

Докладніше: Замість «sort([3,1,2]) дає [1,2,3]» перевіряють «результат відсортований і містить ті самі елементи, що й вхід». Інструмент генерує сотні входів і шукає контрприклади.