This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English version of the page.

Note: This page has been translated by MathWorks. Click here to see
To view all translated materials including this page, select Country from the country navigator on the bottom of this page.

Requirements Verification

Requirements-based model verification, interpreting and reporting test results

Set verification link types between requirements and test artifacts such as test specs, test cases in Simulink® Test™, test harnesses, and model verification blocks. Review verification status for the requirement set in the Requirements Editor. After running tests, view a results summary and address test failures.


slreq.JustificationWork with slreq.Justification objects


Review Requirement Implementation Status Metrics Data

Use requirement implementation metrics to check how extensively requirements are implemented in your model.

Review Requirement Verification Status Metrics Data

Use test traceability metrics to check how requirements are satisfied against your test cases.

Justify Requirements

Provide justifications for your requirements.