Static Model Analysis (“Check Model”)
The Check Model feature is used to statically check the model for syntax errors, incomplete usage of language semantics, and inconsistent usage of model elements.
Check Model runs approximately 400 tests against the model, and generates a report of all errors found. The user can customize the tests as needed to disable some of the tests performed by Check Model. Disabling tests will be necessary to eliminate the reporting of error messages caused by model inconsistencies that result when intentional deviations from the standard graphical representations are taken. If you want tests beyond those supported by Check Model, they can often be created using a DGL (Document Generation Language) or a Dataport program. These custom tests must be run outside of Check Model.