Main Content

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.