Test cases are equivalent to paths through the model of a system under test. They are generated automatically from a model, with or without test data and test automation associated with them. Coverage techniques are also available to generate the smallest set of test cases needed to test given features with a required level of rigour.

To generate test cases, navigate to the Generate tab of the menu and click "Generate":

Test Modeller will provide status updates as the tests are generated:

Click "Close" when the status is reported as "Complete".