User`s guide

xx Contents

Filter a Stateflow Event . . . . . . . . . . . . . . . . . . . . . . 20-15

Filter Library Reference Blocks . . . . . . . . . . . . . . . . . 20-19

Filter a Subsystem . . . . . . . . . . . . . . . . . . . . . . . . . . 20-20

Filter a Specific Block . . . . . . . . . . . . . . . . . . . . . . . . 20-21

Automating Model Coverage Tasks

Commands for Automating Model Coverage Tasks . . . 21-2

Create Tests with cvtest . . . . . . . . . . . . . . . . . . . . . . . . . 21-3

Run Tests with cvsim . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-5

Retrieve Coverage Details from Results . . . . . . . . . . . . 21-7

Obtain Cumulative Coverage for Reusable Subsystems

and Stateflow® Constructs . . . . . . . . . . . . . . . . . . . . . 21-8

Create HTML Reports with cvhtml . . . . . . . . . . . . . . . 21-11

Save Test Runs to File with cvsave . . . . . . . . . . . . . . . 21-12

Load Stored Coverage Test Results with cvload . . . . 21-13

cvload Special Considerations . . . . . . . . . . . . . . . . . . 21-13

Use Coverage Commands in a Script . . . . . . . . . . . . . 21-14

Checking Systems with the Model Advisor

Checking Systems Interactively

Check Model and Subsystems . . . . . . . . . . . . . . . . . . . . 22-2