Behave

Питонья обертка над [gherkin] для написания [приемочные-тесты]. Ссылка на документацию. Статья как с этим работать.

Используют в [разработка-на-основе-поведения(BDD)]

property-based testing - hypotetis. Работает с [pydantic]