Products & Services Solutions Academia Support User Community Company

Learn more about Simulink Design Verifier   

Workflow for Generating Test Cases

Here is a recommended workflow for generating test cases for your model:

  1. Ensure that your model is compatible for use with the Simulink Design Verifier software (for an example, see Checking Compatibility of the Example Model).

  2. Optionally, instrument your model with blocks that specify test objectives and test conditions (for an example, see Customizing Test Generation). Or, you can use Embedded MATLAB functions to customize test cases; see Test Case Functions.

  3. Specify options that control how Simulink Design Verifier generates test cases for your model. (For an example, see Configuring Test Generation Options.)

  4. Execute the Simulink Design Verifier analysis and review the results (for examples, see Analyzing the Example Model and Reanalyzing the Example Model).

  


Related Products & Applications

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

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