How State Machine Properties Run

Understand the execution model of FSM properties in both the abstract and real phases.

We'll cover the following

Abstract phase

PropEr divides the execution of a finite state machine test into two phases, one abstract and one real. The abstract phase is used to create a test scenario, using only the model and command generation callbacks, which are called to build out the sequence of calls that will later be applied to the system.

A graphical representation might look like this:

Get hands-on with 1200+ tech skills courses.