Property-Based Testing with PropEr, Erlang, and Elixir

Wrapping Up

In this final chapter, you’ve seen how to bring stateful properties to the next level in cases where the system under test can be modeled as a finite state machine. In such cases, FSM properties represent a useful specialization mechanism that lets you generate calls and data according to the state in which the system should be. We’ve been through the data generation model (both symbolic and real) for the property and have put it all in practice through tests for Klarna’s circuit_breaker library. We came up with a multistate model, which proved to be ill-fitting for the actual library. We then went through the debugging steps required to fix the model and, through the statistics collected in the test execution—the step you should ...