Vous avez cherché: quickcheck (Anglais - Russe)

python-hypothesis: advanced quickcheck style testing library for python, 10 days in preparation.
python-hypothesis: advanced quickcheck style testing library for python, работа начата 10 дней назад.

the ams suite reduces time spent on maintenance activities with automatic record keeping for a complete history, integrated device configuration, and using quickcheck for easier interlock verification.
Пакет ams suite сокращает время, затрачиваемое на проведение операций технического обслуживания, за счет автоматического ведения записей для регистрации всех событий, конфигурации интегрированных устройств, а также благодаря использованию функции quickcheck для упрощения проверки взаимных блокировок.

"it makes use of haskell features and tools such as: quickcheck, ghc extensions like pattern guards, monads, monad transformers, zippers, and the cabal packaging system, in addition to haskell bindings to xlib and xft fonts (with rebinding to xcb planned when the haskell bindings are released).
a benefit of this is that the code is simple to understand, and easy to modify.»it makes use of haskell features and tools such as: quickcheck, ghc extensions like pattern guards, monads, monad transformers, zippers, and the cabal packaging system, in addition to haskell bindings to xlib and xft fonts technically a separate package used in xmc, but eh.