Testing Done PropEr

What's better than writing tests? Having the computer write them for you. Well, at least teach the computer what it can do and let it loose to try to shake out any flaws.

This talk is about PropEr, a property-based testing framework, and more specifically about its support for testing state machines. I'll whet your appetite by introducing property-based testing, and then take a deep dive into PropEr statem and how you can use it to test state machines.

OBJECTIVES

Give the audience an overview of what PropEr statem is/does, and how to approach writing their own tests using it.

AUDIENCE

Erlang developers wanting to learn about property based testing in general, and PropEr statem testing in particular.