Check Configurations

Overview

The current selection of checks to run may be stored in a Check Configuration and then loaded back into the Model Checker. Check Configurations are standard Windows property files (with a .ini file extension)

Creating a Check Configuration

To create a Check Configuration, first select the checks you want to include, then click the Save Configuration button in the sidebar. Select a path and a filename and click OK to create the Check Configuration File. This also sets the current configuration which is indicated in the information panel:

Note that by default the captured path is relative to the project file (this is only important if you save the configuration path to the model – see below). This may be disabled by setting the property below in which case an absolute path is used instead (if the path is in the Rhapsody installation it is automatically appended to use OMROOT or USEROMROOT)

RhapsodyPowerPack.ModelChecker.UseRelativePathsForStoredConfigFiles

If there is a current configuration when you click Save then the configuration is updated with the current check selections. Clicking Clear Selection means that when you click Save you must select a new filename.

Saving the Check Configuration to the Model

When you click Save, if the Save to Model checkbox is selected then the current configuration path is added as a property to the selected scope element in Rhapsody:

When the Model Checker is launched, if this property exists then that configuration is automatically loaded. The Model Checker never removes these properties – if you want to remove them you must do so in the Rhapsody Properties view.

Property Inheritance

Due to the way Rhapsody properties are handled (they inherit their values from elements above them unless they are locally overridden), if you store the configuration at project level then it will be used on all packages unless they have their own configuration.

If this is not desired, then this behavior may be overridden by setting the following property to true – in which case the configuration is only loaded if the property exists on the scope element (that is it appears in its locally overridden properties):

RhapsodyPowerPack.ModelChecker.UseInheritedConfigurations

Loading a Check Configuration

To load a Check Configuration from a file, click the Load Configuration button in the sidebar. This allows selection of any configuration file and sets the current configuration to that file.

Starting Location for File Picker

By default, the file picker starts in the project folder. This may be overridden by providing an alternative starting folder path in the following property:

RhapsodyPowerPack.ModelChecker.ConfigurationsFolder