Automated Requirements-Based Testing

Applying verification and validation techniques early in the development process enables you to find design errors before they can derail your project. Most system design errors are introduced in the original specification but are not found until the test phase. When engineering teams use models to perform virtual requirement based testing early in a project, they eliminate problems and reduce development time.

In this master class, you will learn how you can apply early verification and validation activities at every stage of the development process to ensure that your design meets the functional requirements and is free from any design errors.

Highlights include:

• Detecting design errors in models using formal verification methods
• Systematic simulation testing of design by using an automation framework
• Automatically generating reusable tests that satisfy model and code coverage
• Formally validate safety-critical properties and verify design robustness.