Differences
This shows you the differences between two versions of the page.
ide_result [2020/05/10 03:14] admin [Manage Execution Result] |
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: | ||
- | |||
- | ---- | ||
- | |||
- | |||
- | ==== 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. | ||
- | |||
- | |||
- | |||
- | |||
- | |||
- | ==== Requirement Traceability Matrix ==== | ||
- | Requirement Traceability Matrix shows requirement coverage by test cases. | ||
- | |||
- | {{ 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 ==== | ||
- | This section shows the detailed steps for the test case and process path executed. | ||
- | |||
- | {{ wiki: | ||
- | |||
- | A light blue vertical bar on the right of the step indicates there was a requirement check and passed. | ||
- | |||
- | ==== 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. | ||
- | |||