Requirements tag and requirements coverage

[yxl01]

New in release 3.0 is the ability to tag each transition or state with
a set of requirement items. The test coverage on the requirement tags
are then collected during model execution. In the "Stats" tab, you
will be able to see the test coverage for each requirement tag and any
exceptions which were raised during the model execution.

With this feature, you can determine if the model and test cases
generated sufficiently cover all of the requirements.

Requirement tags are entered for each transition in Transition
Property tab (http://testoptimal.com/wiki/index.php?TransNode). You
can do the same for the state as well. You may also dynamically
register requirement tag by mScript method call.

With some configuration, you can bring up the requirement details from
your requirement system by clicking on the link next to the
requirement tag.

You can also highlight all transitions or states that are tagged with
a specific requirement in the "Graph" window, which provides you a
visual representation of requirement coverage in the model at a
glance.

For more information about the requirements tag, please visit
http://testoptimal.com/wiki and search for "requirements tag", or
contact sup...@testoptimal.com.

Tech Support
TestOptimal.com