Check Model also provides a means so that the user can control some preferences that are not specific to any checks.
To access these preferences, select from the Main window Project > Preference Management > Check Model.
● Scope View controls the method that test results are displayed to the screen.
● Set to No when you want to eliminate the Check Model tests 6005, 4005, 2003, 17003 (“Elements with incorrect or incomplete attribute definitions”) for instance boxes.
● Set to Yes for the Check Model tool to check for box attributes also in instance boxes.
● Set to Yes when you want the Check Model tool to report various Warnings and Errors regarding the element, according to the selected Check Model checks.
● Set to No when you want the Check Model tool to report only those elements that are unresolved. No other Warnings or Errors are generated for the unresolved elements.
● Prepare Auto-Population Paths controls the calculation of the C4073/C4071 default‑action (calculation of possible information flow paths) with a preference. In order to enable the feature of automatic population, set to Yes. The default value is No.
● Apply tests 4075 and 4077 to offpage instances controls whether or not to expand the following tests also for nonbasic activities (off‑page):
● (C4075) Elements output from activity that are not affected (generated or modified) internally.
● Apply tests 4075 and 4077 to Activities with Selected Implementation ‘None’ controls the execution of Check Model tests 4075 and 4077 for activities with Selected‑Implementation ‘None’. When set to No, tests 4075 and 4077 will not check activities with selected implementation ‘None’. The default is Yes.
● Enhanced Show In Model In Results Tree controls the availability of the Show in Model option from the Check Model results tree for an enhanced list of tests.
● Rational Statemate MicroC Compatibility Tests (for Rational Statemate) controls the execution of Rational Statemate MicroC compatibility tests in Rational Statemate Classic. The default is No.
● Design Tests controls the execution of the “Design” tests of the Check Model tool. A new Check Model profile reads this preference and uses its value as the default value for the Design check box on the Test Settings dialog box (to open, select Options > Test Settings). The default is Yes.