Using the Check Model Tool : Check Model Test Settings File

Check Model Test Settings File

You can create and use CheckModel testsets. Testsets are files that define enabled/disabled CheckModel tests that are saved in the Rational Statemate Preferences directory and are available for all users using that directory.

To manage test setting files:

1.
Choose Tools > Check Model to open the Check Model dialog box and the New/Open Check Model Profile dialog box.
2.
3.
On the Check Model dialog box, choose Options > Test Setting Configurations to open the Test Settings Configuration dialog box, as shown in the following figure:
4.

Choose a test setting file from which to load test settings for the current session; click the Load Test Settings From File check box.

Save the current test settings (as defined on the Test Setting dialog box, which you open by choosing Options > Test Settings) as a test settings file; click the Save Current Test Settings As button.

Delete a test setting file; click Delete.