The vending machine models are used to illustrate test generation. This consists of a number of steps:

The actions in this section first apply the steps to a single interface, using IService as an example, and next to the vending machine component.

For more information see the user guide on test generation.