Model executions are automated stored in the database for review and analysis.

Execution Result provides access to the model execution results and stats collected from the current (recent) execution and past executions.

Coverage achieved by model executions include the state and transition coverage and requirement coverage. The coverage is defined as follows:

• State - considered covered when it's traversed at least once
• Transition - considered covered when it has been traversed at least the number of times required (set in transition properties
• Requirement - considered covered when it's checked at least once regardless if the check is passed or failed

Traversals is the number of times a state or transition is traversed. A transition may be traversed many times but is still considered un-covered if the traversal count is less than required as set in Traversals Required in Transition Properties.