Find Potential Design Errors Using Model-Based Testing

Uttara Kumar, MathWorks

Test your design using Model Coverage in Simulink Verification and Validation and formal methods for test generation in Simulink Design Verifier. Using a model-based testing approach, detect incorrect or over-specified requirements early in software development.

Product Focus

  • Simulink Verification and Validation