Differences

This shows you the differences between two versions of the page.

--- ide_result [2020/05/03 18:48]
admin [Model Coverage]
+++ ide_result [2021/01/05 03:00]
@@ Line 1: / Line 1: @@
-===== Execution Result =====
-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.
-{{ wiki:idescreen:ide_results.png }}
-----
-==== Model Coverage ====
-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.
-==== Requirement Traceability Matrix ====
-{{ wiki:idescreen:ide_results_traceability.png }}
-==== Test Cases / Process Paths ====
-{{ wiki:idescreen:ide_results_testcases.png }}
-==== Manage Execution Result ====