ModelJUnit is a Java library that extends JUnit to support model-based testing.
In this example, we will consider how to model and test a simple vending machine. The system under test is illustrated by the following state diagram:
The VendingMachineModel class models this system. Our script makes use of the RandomTester class to generate some tests for this model. The total code looks like this:
When we run this script, we will see the randomly generated test transitions. The output will be:
We can optionally obtain additional metrics about the test:
This generates the following:
We can also add a graph listener with the following code:
When run, a graphviz dot file is produced (corresponding to the image above) and the output is:
See also: State Pattern
