Product Documentation

Search MATLAB Documentation
R2012a Documentation → Simulink Verification and Validation
View documentation for other releases	Learn more about Simulink Verification and Validation

Contents

Index

• Getting Started

• User's Guide

• Requirements Traceability

• Model Component Testing

• Signal Monitoring with Model Verification Blocks

• Model Coverage Analysis

• Model Coverage Definition

• Model Objects That Receive Model Coverage

• Setting Model Coverage Options

• Coverage Collection During Simulation

• Results Review

• Excluding Model Objects From Coverage

• Automating Model Coverage Tasks

Commands for Automating Model Coverage Tasks

Creating Tests with cvtest

Running Tests with cvsim

Retrieving Coverage Details from Results

Creating Cumulative Coverage for Reusable Subsystems and Stateflow Constructs

Creating HTML Reports with cvhtml

Saving Test Runs to a File with cvsave

• Loading Stored Coverage Test Results with cvload

cvload Special Considerations

Using Coverage Commands in a Script

• Using Model Coverage Commands for Referenced Models

Creating a Test Group with cv.cvtestgroup

Running Tests with cvsimref

Extracting Results from cv.cvdatagroup

• Checking Systems with the Model Advisor

• Customizing the Model Advisor

• Model Advisor Checks

• Release Notes

Automating Model Coverage Tasks

Creating Coverage Filter Rules for a Simulink Model

Creating Coverage Filter Rules for a Simulink Model

Commands for Automating Model Coverage Tasks

Commands for Automating Model Coverage Tasks

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-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS