A PropEr Talk

A session at Erlang Factory London 2011

  • Kostis Sagonas

PropEr is an open-source, Quickcheck-inspired tool for property-based testing in Erlang. Its salient feature, which is also the primary reason for PropEr's existence, is that it offers a proper integration of the language of types and specs of Erlang with properties. Any type can be used as a generator (PropEr knows how to create a shrinker for it) and any function spec can be directly used as simple property of a function.

In addition, PropEr offers support that significantly simplifies the task of writing generators for recursive and opaque data types. Last but not least, PropEr includes efficient support for testing stateful applications.

The talk will overview the features of PropEr and will include a PropEr demo.

https://github.com/manopapad/proper

About the speaker

This person is speaking at this event.
Kostis Sagonas

Uppsala University and National Technical University of Athens

Coverage of this session

Sign in to add slides, notes or videos to this session

Tell your friends!

View the schedule

Share

See something wrong?

Report an issue with this session