Getting Started
IDE & Navigation
Properties & Tools
»Menu: Model / Model Setting; »Model Editor MiniButton
MBT Settings contains the settings that affect the test case generation.
All settings have hover messages describing what the properties are. You can get to the hover message for the property by moving your mouse over the property label. Below are a more detailed description of these properties:
The above Stop fields are used to control when the MBT execution should stop. They are ORed, that is, MBT execution stops when any of the condition is evaluated to true. If you are stress/load test your application, you may not want to set any of these fields except Stop Time.