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.
- 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.
You can also select a web site from the following list:
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.