Verification, Validation, and Test

Author, link, and validate requirements for designs and tests

Measure design quality, track verification activities, and verify compliance with standards

Measure test coverage in models and generated code

Identify design errors, prove requirements compliance, and generate tests

Develop, manage, analyze, and test MATLAB applications

Develop, manage, and execute simulation-based tests

Identify software bugs using static analysis

Prove the absence of run-time errors in software