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.