Model Checker

Overview

The Model Checker helper provides a framework for checking any aspect of a Rhapsody model. It is supplied with a set of out-of-the-box checks, but you can also add your own.

Applicable To	Project, Package
Menu Entry	Power Pack  Model Checker
Demonstration	Watch the Video (Model Checker) Watch the Video (Quick Fixes)

Key Features

· HTML-based descriptions accessible from checks or check results.

· Detailed configuration of which checks to run.

· Save / load sets of selected checks.

· Extend or replace out of the box checks with your own.

· Defer failed checks until you are ready to deal with them.

· Mark failed checks as accepted (that is it won’t be fixed for some reason).

· Automatically fix failed checks using Quick Fixes.

· Export check results to an excel spreadsheet.

· A GUID finder to locate model elements by their GUID.

· Run model checker automatically from a command line.

Help Topics:

· Running Checks

· Check Configurations

· Check Results

· Exporting Check Results

· File Logging

· Automatically Running Checks

· Configuring the Model Checker

· Creating Checks