Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
ide_result [2020/05/03 17:34] admin [Model Coverage] |
ide_result [2021/01/05 03:00] (current) |
||
---|---|---|---|
Line 5: | Line 5: | ||
- | {{ wiki: | + | {{wiki: |
---- | ---- | ||
- | ==== Execution Summary ==== | ||
- | |||
- | {{ wiki: | ||
==== Model Coverage ==== | ==== 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. | ||
+ | |||
+ | |||
+ | |||
- | {{ wiki: | ||
==== Requirement Traceability Matrix ==== | ==== Requirement Traceability Matrix ==== | ||
+ | Requirement Traceability Matrix shows requirement coverage by test cases. | ||
{{ wiki: | {{ wiki: | ||
+ | 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 // | ||
==== Test Cases / Process Paths ==== | ==== Test Cases / Process Paths ==== | ||
+ | This section shows the detailed steps for the test case and process path executed. | ||
{{ wiki: | {{ wiki: | ||
+ | |||
+ | A light blue vertical bar on the right of the step indicates there was a requirement check and passed. | ||
==== Manage Execution Result ==== | ==== Manage Execution Result ==== | ||
+ | Execution result/ | ||
+ | |||
+ | Execution result/ | ||
+ | |||
+ | You may manually delete an execution result/ | ||
+ | |||
+ | To prevent a specific execution result/ | ||
+ | |||
+ | [[Different Types of Graphs|Various graphs]] are available to visualize model, test sequence and test coverage. | ||