...

/

How State Machine Properties Run

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:

The two ...