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.