From Examples to Exhaustive: Intro to Property-Based Testing

This talk teaches a powerful technique to test exhaustively by simply describing the relation of the output to the input, rather than tediously selecting many inputs and outputs. So, the audience will be able to test far more thoroughly, with less effort. There will be examples, and libraries named.

Tired of writing countless test cases, thinking up random examples? Discover how property-based testing can revolutionize your testing process, making it exhaustive with minimal effort. Property-Based Testing generates vast numbers of robust yet simple test cases, automatically – and if it finds a problem, most tools will narrow it down to the exact edge cases. You will come away equipped with a powerful technique to uncover edge cases and exceptions you never knew existed, while actually writing fewer tests.

Available in Elixir, Ruby, Python, or JavaScript.

Agenda: - Status quo: testing by looking at chosen examples - The problem with the status quo - Basic explanation of Property Testing - Examples