Using the Check Model Tool
The IBM® Rational® Statemate®Check Model tool is an error‑handling tool that enables you to check for errors and warnings in Rational Statemate models. While designing model charts and diagrams, the Rational Statemate graphical editors handle simple, syntactical errors. Use Check Model to both detect and resolve more complex errors in relational elements of models.
Check Model performs the following types of checks:
● Correctness - Checks for inconsistencies in the model. Correctness checks return errors.
● Completeness - Checks for redundancy and incompleteness in the model. Completeness checks return warnings.
● Design - Checks for design problems in the model. This type of check is available in Rational Statemate extended mode. Design checks return warnings.
● Rational Statemate MicroC Compatibility - Reports on Rational Statemate features used that are not supported in MicroC code generation.Correctness checks detect illegal situations regarded as errors, whereas most completeness checks warn of possible oversights in your System Under Design specifications. Some completeness warnings might have minimal or no impact on a model’s overall design or the behavior of a system.
This section describes how to check Rational Statemate models using the Check Model tool. The topics are as follows: