Generate Tests
Simulink® Design Verifier™ automatically generates test cases that enables you to assess model behavior comprehensively. Test cases help you confirm model performance by demonstrating how the blocks in the model execute in different modes. When generating test cases, the software performs a formal analysis of your model. After completing the analysis, the software provides several ways for you to review the results. For more information, see Generate Test Cases for a Model. By generating test cases, Simulink Design Verifier aids in achieving model coverage objectives, such as modified condition/decision coverage (MC/DC) and boundary value analysis. This analysis not only enhances the reliability of the model but also accelerates the verification process by reducing manual testing efforts. The generated test cases can be used to validate the model against specified requirements, ensuring compliance with industry standards and reducing the risk of errors in later stages of development.
Categories
- Basics of Test Generation
Create test cases to validate model behavior
- Tests for Functional Requirements
Validate if Simulink model meets requirements
- Tests for Model Coverage Analysis
Automatically create test cases for thorough validation
- Tests for Code Coverage Analysis
Evaluate thorough code validation and reliability
- Tests for Subsystems and Referenced Models
Generate targeted test cases for verification
- Achieve Missing Coverage
Identify gaps and generate comprehensive tests
- Tool Usage and Result Processing
Use tools to enhance model verification
Related Information
Featured Examples
Generate Tests for Model Block Component by Using Default Simulation
Use Simulink® Design Verifier™ to generate test cases for a Model block by using a default top model simulation.
Extend an Existing Test Suite
Use Simulink® Design Verifier™ to extend an existing test suite to obtain missing model coverage.
Add Test Cases Using Excel File
Create test cases incrementally by using Simulink® Design Verifier™ supported Excel® file.
Tune Lookup Table Data Using Planar Approximations
Tune Lookup Table data using Planar Approximations in Simulink Design Verifier.
Achieve Coverage in Models with Variable-Size Inputs
Achieve model coverage in models with variable-size input signals by using Simulink Design Verifier™.
