Review Analysis Results

Log and review analysis results, generate report, inspect test cases

You use Simulink^® Design Verifier™ to log and review analysis results and generate analysis reports. You can generate test inputs and export them to new test cases in Simulink Test™.

Functions

`sldvloadresults`	Load Simulink Design Verifier analysis results for model
`sldvhighlight`	Highlight model using data from Simulink Design Verifier analysis
`sldvreport`	Generate Simulink Design Verifier report
`sldvsimdata`	Get simulation data in `Dataset` format
`sldvruntestopts`	Generate simulation or execution options for `sldvruntest` or `sldvruncgvtest`
`sldvruntest`	Simulate model by using input data
`sldvharnessopts`	Default options for `sldvmakeharness`
`sldvmakeharness`	Generate harness model
`sldvmergeharness`	Merge test cases and initializations into one harness model
`sldvruncgvtest`	Invoke Code Generation Verification (CGV) API and execute model

Topics

Highlight Results on the Model
Describes highlighting of analysis results on the model.
Review Results
Describes the different parts of a Simulink Design Verifier report.
Manage Simulink Design Verifier Harness Models
Describes a basic harness model.
Manage Simulink Design Verifier Data Files
Describes the contents of a Simulink Design Verifier data file.
Review Analysis Results
Review analysis results in the Simulink Design Verifier Results Summary window.
Export Test Cases to Simulink Test
Describes how to generate test cases in Simulink Test using Simulink Design Verifier analysis results, which can be generated by property proving, design error detection, and test case generation.
Generate and Export Tests from Requirements Table Blocks
Automate test generation and execution in models that contain Requirements Table blocks.
Filter Objectives by Using Simulink Design Verifier Filter Explorer
Describes the filtering of objectives by using Analysis Filter explorer.
Inspect Test Generation Objectives by Using Model Slicer
Inspect Test Generation Objectives using Model Slicer.

Featured Examples

Simulate Harness Model with Signal Editor Inputs Block

Generate model coverage report by simulating the test harness model with the Signal Editor Inputs block. You can simulate a single test case or counterexample by selecting the active scenario in the Signal Editor dialog box. For more information see, Simulate Harness Model by Using the Signal Editor Inputs Block.

Open Script

Defining and Extending Existing Tests Cases

How Simulink® Design Verifier™ can extend test cases with additional time steps to efficiently generate complete test suites.

Open Script

Extend an Existing Test Suite

Use Simulink® Design Verifier™ to extend an existing test suite to obtain missing model coverage.

Open Script