Contents

Index

• Getting Started

• Managing Model Requirements

• Managing Requirements with DOORS Software

• Managing Model Verification Blocks

• Using Model Coverage

• Introduction to Model Coverage

What Is Model Coverage?

How Model Coverage Works

Simulink Optimizations and Model Coverage

Types of Model Coverage

Blocks That Receive Model Coverage

• Analyzing Model Coverage

Model Coverage Analysis Workflow

Creating and Running Test Cases

• Model Coverage Reporting Options

Coverage Settings Dialog Box

• Understanding Model Coverage Reports

Types of Coverage Reports

Model Coverage Reports

Model Summary Reports

Model Reference Coverage Reports

External M-File Coverage Reports

Subsystem Coverage Reports

• Colored Simulink Diagram Coverage Display

How Model Coverage Highlighting Works

Enabling the Colored Diagram Display

Displaying Model Coverage with Model Coloring

Accessing Coverage Information for Colored Blocks

• Using Model Coverage Commands

About Model Coverage Commands

Creating Tests with cvtest

Running Tests with cvsim

Producing HTML Reports with cvhtml

Saving Test Runs to a File with cvsave

Loading Stored Coverage Test Results with cvload

Coverage Script Example

• Using Model Coverage Commands for Referenced Models

Creating a Test Group with cv.cvtestgroup

Running Tests with cvsimref

Extracting Results from cv.cvdatagroup

• Model Coverage for Embedded MATLAB Function Blocks

Types of Model Coverage in Embedded MATLAB Function Blocks

Creating a Model with Embedded MATLAB Function Block Decisions

Understanding Embedded MATLAB Function Block Model Coverage

• Customizing the Model Advisor

• Model Advisor Checks

• MathWorks Automotive Advisory Board Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow

• Modeling Guidelines for High-Integrity Systems

• Release Notes

Learn more about Simulink Verification and Validation

Using Model Coverage

Model coverage helps you 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.

Managing Verification Requirements

Managing Verification Requirements

Introduction to Model Coverage

Introduction to Model Coverage

Related Products & Applications

Get Simulink trial software

Learn more about Simulink through this collection of videos, articles, technical literature and the Getting Started with Simulink Guide.

Get this Simulink Kit

© 1984-2009- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS