Property-Based Testing with PropEr in Erlang

The Application: Running the Code

Explore how to run Erlang code using rebar3 shell for property-based testing in a bookstore example. Learn to execute setup, add, find, and teardown functions to validate your tests effectively.

We'll cover the following...

Code

1.Foundations of Property-Based Testing

2.Writing Properties

3.Thinking in Properties

4.Custom Generators

5.Responsible Testing

6.Properties-Driven Development

7.Shrinking

8.Targeted Properties

9.Stateful Properties

10.Case Study: Bookstore

11.State Machine Properties

12.Conclusion

The Application: Running the Code

Code