Тестирование на основе свойств (property-based testing)

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

Подробнее: Вместо «sort([3,1,2]) даёт [1,2,3]» проверяют «результат отсортирован и содержит те же элементы, что и вход». Инструмент генерирует сотни входов и ищет контрпримеры.