IDE & Navigation
Properties & Tools
TestOptimal can be integrated into Eclipse IDE. Just follow the instruction to install TestOptimal into Eclipse workspace. To start TestOptimal server, just right mouse click on the project, select Run As … option and create the run program on any of java MBT handler you created for your model or TestOptimalServerStarter? class supplied in the default package.
You may also run TestOptimal from JUnit as well.