Check Results

Overview

The result(s) of the check(s) are shown on the Results tab (which is auto-selected at the end of the check-run) and grouped by category in tabs on the right:

Filtering Results

Each of the panels has a text box to filter its table. This is a regular expression (that searches the data in all three columns) and is applied dynamically as you type. To remove the filter, click Clear Filter:

Check Documentation

Right-click a row in any of the tables and select Open Description of Model Check to view detailed information on the check that caused this result:

Locating Model Elements

Double-clicking a row or selecting the Locate Model Element in Browser context menu will highlight the model element in Rhapsody.

Deferring / Accepting Check Results

Checks may be:

• Deferred: Only for this session.

• Deferred in Model: Deferred status persists between sessions.

• Accepted: Permanently accepted as ‘won’t fix’

Deferring Results

To defer result(s) in this session, select them and then click Defer. The selected check(s) are moved from the Results panel to the Deferred Results panel:

Closing and re-opening the checker starts clean and any previously deferred results appear back on the Results panel. Deferred results may be moved back to the main Results panel by selecting them in the Deferred Results panel and clicking Undefer.

Deferring Results in the Model

To defer result(s) in the model, select them and then click Defer in Model. The selected check(s) are moved from the Results panel to the Deferred in Model Results panel:

To persist this status, the model element(s) for the selected check(s) are given a tag of the form DeferredCheck_[CheckName] (illegal characters in the check name are replaced with underscores):

This allows failed checks to be put to one side until you are ready to handle them. Running a new model check even after a restart will put these failures into the Deferred in Model table rather than the Results table. In addition to the other navigation options, the context menu on the Deferred in Model Results tab allows navigation to the tag:

Results deferred in the model may be moved back to the Results tab by selecting them and clicking Undefer. In this case the corresponding tag is also deleted.

Accepting Results

To permanently accept result(s), select them in the Results panel and then click Accept. The selected check(s) are moved from the Results panel to the Accepted Results panel:

The model elements for the selected check(s) are given a tag of the form AcceptedCheck_[CheckName] (illegal characters in the check name are replaced with underscores):

The Accepted Panel has a similar menu to the Deferred in Model panel allowing navigation to the tag:

Note that there is no option in the Rhapsody Model Checker to ‘unaccept’ a result. This is by design. If you have accepted a result, you would usually add a description to the tag with a rationale

about why the check will not be fixed. The tag may of course be manually deleted directly in the model browser.

Quick Fixes

Some checks include ‘quick fix’ options. These are noted in the documentation for the check. Such failures have an additional Quick Fix… menu which may be run on multiple selected failures:

See Creating Checks for details on how to define your own quick fixes for your own custom checks.

Check Result Tables

The profile includes two custom table layouts to view model elements with accepted / deferred tags. Such tables may be added easily using the Create Table helper by right-clicking a package and selecting:

Power Pack  Create Table  Model Checker  Accepted Check Results Table

Power Pack Create Table  Model Checker  Deferred Check Results Table