Test Case Generation
Generate systematic test cases from model, extend
and combine test cases for full test suite
Test generation produces sequences of input values for your models to satisfy testing criteria, such as model coverage. Simulink® Design Verifier™ extends existing model coverage information from requirements-based tests. It generates additional sequences of test inputs that meet the coverage objectives not satisfied during requirements-based testing. Use these test inputs to better understand missing requirements and to create a more complete test harness.
Categories
- Functional Requirements Testing
Generate test cases for functional design requirements
- Model Coverage Analysis
Generate test cases for systematic verification using formal analysis methods
- Test Case Extension
Leverage existing test cases to achieve testing goals
- Input Range Constraints
Specify minimum and maximum input values to mimic environmental constraints