Differences

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

Link to this comparison view

ide_result [2020/05/03 19:00]
admin [Test Cases / Process Paths]
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 ==== 
-Requirement Traceability Matrix shows requirement coverage by test cases.  
- 
-{{ wiki:idescreen:ide_results_traceability.png }} 
- 
-A requirement may be checked several times by a test case. Requirement coverage is defined as: 
-  * black check - requirement was checked at least once by the test case and all checks if more than once are all passed 
-  * orange X - requirement was checked and at least one of the checks have failed 
-  * Passed Checks - number of times requirement was checked and passed 
-  * Failed Checks - number of times requirement was checked and failed 
- 
-Click on //Passed Checks// and //Failed Checks// to show details of the checks. 
-Click on the //TC_xxxxxx// to go to the specific test case/test path. 
-==== Test Cases / Process Paths ==== 
-This section shows the detailed steps for the test case and process path executed. 
- 
-{{ wiki:idescreen:ide_results_testcases.png }} 
- 
-A light blue vertical bar on the right of the step indicates there was a requirement check and passed.  An orange bar indicates the check failed. 
- 
-==== Manage Execution Result ==== 
-