Contents

Index

• Getting Started

• How the Simulink Design Verifier Software Works

• Ensuring Compatibility with the Simulink Design Verifier Software

• Working with Block Replacements

• Specifying Parameter Configurations

• Configuring Simulink Design Verifier Options

• Generating Test Cases

• About Test Case Generation

Test Case Blocks

Test Case Functions

Workflow for Generating Test Cases

• Generating Test Cases for a Model

About This Example

Constructing the Example Model

Checking Compatibility of the Example Model

Configuring Test Generation Options

Analyzing the Example Model

Customizing Test Generation

Reanalyzing the Example Model

Analyzing Contradictory Models

Generating Test Cases for a Subsystem

• Proving Properties of a Model

• Reviewing the Results

• Analyzing Large Models and Improving Performance

• Configuration Parameters

• Simulink Block Support

Embedded MATLAB Subset Support

• Release Notes

Learn more about Simulink Design Verifier

Generating Test Cases

Saving Simulink Design Verifier Options

Saving Simulink Design Verifier Options

About Test Case Generation

About Test Case Generation

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