Version 2.5 of the code generator adds some new features that make the testing of state-based software more efficient.

1. -Visualization of the coverage percentage in simulation mode. This tells you how good your test is.
   

2. -Visualization of the transitions that have not been taken so far and are required to take to achieve 100% test coverage. With this info at hand you can quickly improve your test script or test procedure.
   

3. -Generation of an Excel sheet with all the test routes required for 100% transition coverage. This sheet can be the basis for your test instruction document.
   

4. -Possibility to attach constraints to the states. This information is added to the test route Excel sheet and informs the tester about the expected behavior in this state. This information can be informal text like “all lights off” or more formal like “relay 0 := off”. Whatever is appropriate for your application.
   

This version is a free update for users who bought their license after 01.October 2009. Otherwise you need a new license.