Property-Based Testing with PropEr in Elixir

The Application: Running the Code

Explore the process of running Elixir code to test a PostgreSQL-based bookstore application. Learn how to compile the database module, start the testing shell, and execute basic database functions to verify stateful properties in your tests.

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.Stateful Properties

9.Case Study: Bookstore

10.State Machine Properties

11.Conclusion

The Application: Running the Code

Code