Simulink^® Verification and Validation™

Using Model Coverage

Model coverage helps you to validate your model tests by measuring how thoroughly the model objects are tested. The following sections describe Simulink^® Verification and Validation™ tools that measure and display model coverage for the model.

Introduction to Model Coverage	Introduces you to the concept of model coverage and how it measures the effectiveness of your model during testing
Using Model Coverage	Shows you how to use model coverage and the tests to determine the effectiveness of your model during testing
Specifying Model Coverage Reporting Options	Shows you how to select the model coverage measurements and reports that are performed during simulation
Understanding Model Coverage Reports	Shows and describes the different parts of a basic model coverage report
N-Dimensional Lookup Table Report	Describes the interactive chart that summarizes the extent to which elements of a lookup table are accessed
Signal Range Analysis Report	Lists the maximum and minimum signal values at each block in the model measured during simulation
Colored Simulink^® Diagram Coverage Display	Shows you how to use the option to display coverage of a model by coloring its elements
Using Model Coverage Commands	Shows you how to perform and report model coverage tests during simulation with MATLAB^® commands
Using Model Coverage Commands for Referenced Models	How to use commands to perform model coverage for referenced models
Model Coverage for Embedded MATLAB™ Function Blocks	How to use model coverage for Embedded MATLAB™ Function blocks and interpret the results

Managing Verification Requirements

Introduction to Model Coverage