Learn more about Simulink Design Verifier

About Test Case Generation

The Simulink Design Verifier software can generate test cases that satisfy coverage objectives for your model, including:

• Decision coverage

• Condition coverage

• Modified condition/decision coverage (MC/DC)

Test cases help you confirm that a model behaves correctly by demonstrating how its blocks execute in different modes. When generating test cases, the software performs a formal analysis of your model. After completing the analysis, the software produces a report that details the results and a test harness model that contains test cases. Review the report and simulate the test harness model to confirm that the test cases achieve coverage objectives for your model.

Also, you can generate test cases based on the use of test case blocks or functions.

Test Case Blocks

The software provides two blocks that allow you to customize test cases for your Simulink models:

• The Test Objective block defines the values of a signal that a test case must satisfy.

• The Test Condition block constrains the values of a signal during an analysis.

Back to Top

Test Case Functions

The software provides two Embedded MATLAB functions to customize test cases for a Simulink Model or Stateflow chart:

• sldv.test — Specifies a test objective

• sldv.condition — Specifies a test condition

These functions:

• Identify mathematical relationships for testing in a form that can be more natural than using block parameters

• Support specifying multiple objectives, assumptions, or conditions without complicating the model

• Provide access to the power of MATLAB

• Support separation of verification and model design

See the sldv.test reference page for an example.

Back to Top

Generating Test Cases

Workflow for Generating Test Cases

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