Тестирование программного обеспечения – неотъемлемая часть разработки качественных продуктов. Достаточно долго разработчики использовали модульные тесты (unit-тесты), тестируя поведение программы при фиксированных входных данных. Но с развитием индустрии всё больше внимания уделяется тестированию на основе свойств (property-based testing). Это мощная техника, которая позволяет проверять ПО на более глубоком уровне и ускорять процессы выпуска новых версий продуктов.




