Set verification link types between requirements and test artifacts such as:
Test files, test suites, and test cases in Simulink® Test™
Simulink Design Verifier™ Verification blocks
Simulink Model Verification Library blocks
Use the Implementation status metrics to check if your requirements are implemented and address gaps in consistency. Use the Verification status metrics to check if your requirements are verified by running the tests associated with them. Review Implementation and Verification status for the requirement set in the Requirements Editor. After running tests, view a results summary and address test failures. Create justifications to exclude requirements from the Implementation and Verification status metric computation.
|Work with slreq.Justification objects|
Use requirement implementation metrics to check how extensively requirements are implemented in your model.
Check test and analysis results linked to your requirements.
Associate test cases with requirements.
Provide justifications for your requirements.