Stateflow User's Guide

Model Coverage for an Embedded MATLAB Function

The Model Coverage tool in Simulink reports model coverages for the decisions and conditions of Embedded MATLAB functions in Stateflow. For example, the Embedded MATLAB function if statement

• if (x > 0 || y > 0)
      reset = 1;
  

contains a decision with two conditions (x > 0 and y > 0). You use the Model Coverage tool for Embedded MATLAB functions to make sure that all decisions and conditions are taken during simulation of the model.

See the following topics for a description of model coverage for an example Embedded MATLAB function:

• Types of Model Coverage in Embedded MATLAB Functions -- Lists the types of elements in an Embedded MATLAB function that receive model coverage during simulation.
• Creating a Model with Embedded MATLAB Function Decisions -- Shows you an example model that you use to examine model coverage for Embedded MATLAB functions.
• Understanding Embedded MATLAB Function Model Coverage -- Describes the individual coverages for the Model Coverage report of the example Embedded MATLAB function.

For a description of model coverage for other Stateflow objects, see Understanding Model Coverage for Stateflow Charts.

Note    The Model Coverage tool requires a Simulink Verification and Validation license.

Run-Time Debugging for Embedded MATLAB Functions

Types of Model Coverage in Embedded MATLAB Functions

© 1994-2005 The MathWorks, Inc.