Описание тега proper
PropEr - это инструмент тестирования на основе свойств в Erlang, аналогичный Quickcheck в Haskell.
PropEr - это инструмент для автоматизированного, полуслучайного, основанного на свойствах тестирования программ Erlang. Он полностью интегрирован с языком типов Erlang, а также может использоваться для случайного тестирования на основе моделей систем с отслеживанием состояния.