## Test generation

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

- The specification of the input parameters of commands and signals

- The generation of a reachability graph and deterministic test scenarios in JSON format.

- The creation of adapter for the interaction with the system under test - in this case the Java implementation of the vending machine

- The generation of tests in a particular test framework - in this case we use JUnit 5

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.