Verification Results Tool Window

Purpose

The representation of missing elements and their verification messages.

Prerequisite

The Verification Results tool window appears after running the model verification wizard, after running a verification routine or after running a saved verification.

The verification wizard can be opened with Review>Verify Model>Verification Wizard.

Verification routines can be called using the Review>Verify Model>Run Verification Routine submenu.

Saved verifications can be called in the submenu for the verification wizard.

Structure

The tool window is initially displayed parallel to the Result Region tool window.

Header

While a verification is being carried out, a progress bar appears at the top along with information on the particular verification currently being run.

After the verification, the name of the last verification run (verification action or verification routine) is displayed in the same location together with the number of messages.

The Repeat button runs the same verification method again on the missing model elements. This allows you to process the messages successively.

If necessary, the verification method can also be run on all model elements originally selected for verification via Repeat>Verify all elements again.

Table of Missing Elements

The model elements for which verification messages are available are displayed in a table beneath the top area.

Table of Verification Messages

At the bottom of the tool window, the verification messages are listed in a table, with the verification number and type of the model elements selected in the table above, if appropriate.

Using Messages

Select a model element from the table at the top. The associated messages will appear in the table below.

You can use the Go to context menu items to jump to the model element and rectify the error there.

You can then do the same with the next model element or update the verification results with Repeat.