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.

Model errors and analyze their effects.

Develop, manage, analyze, and test MATLAB applications.

Develop, manage, and execute simulation-based tests.

Create, manage, and run tests for C and C++ code in embedded systems.

Identify software bugs using static analysis.

Prove the absence of run-time errors in software.