Differences

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

--- ide_result [2020/05/03 18:45]
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.
-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.
-==== Requirement Traceability Matrix ====
-{{ wiki:idescreen:ide_results_traceability.png }}
-==== Test Cases / Process Paths ====
-{{ wiki:idescreen:ide_results_testcases.png }}
-==== Manage Execution Result ====