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.