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.

A State is considered covered when it's traversed at least once.

A transition is considered covered when it has been traversed at least the number of times required (set in transition properties.

Traversals is the number of times a state or transition is traversed.

A requirement is considered covered when it's checked at least once regardless if the check is passed or failed.