Review Requirement Verification Status Metrics Data

Simulink® Requirements™ maintains Verification Status summaries for your requirement sets. You can use these status summaries to identify missing or incomplete requirement verification. Verification status metrics are available if you have Simulink Design Verifier™ and use Proof Objective blocks as requirement link sources, or Simulink Test™ and use test cases in the Test Manager as requirement link sources.

A requirement must satisfy the following conditions to achieve full Verification status:

  • The requirement has one or more links where the link type is set to Verified by.

  • The link sources for the Verified by links must be either:

    • Simulink Test test cases and test suites

    • Simulink Design Verifier Proof Objective blocks

    • Blocks from the Simulink Model Verification Library

  • The verification associated with the link source must pass. Every child requirement belonging to a parent requirement must be verified for the parent requirement to be considered verified.

A link to a verification item can have five possible Verification Statuses:

  • Passed: The test linked with the requirement has passed.

  • Failed: The test linked with the requirement has failed.

  • Justified: The requirement has been justified for verification.

  • Unexecuted: The test linked with the requirement has not been executed.

  • None: The test linked with the requirement has no result.

You can generate the Verification Status metric for your requirements linked to Simulink Test test cases by running the tests associated with them from the Test Manager as described in Link to Test Cases from Requirements.

If you have links from your requirements to Simulink Design Verifier Proof Objective blocks, you can generate the Verification Status metric by simulating the model.

If you have the Verification Status metric displayed, you can also run the tests associated with a requirement and its child requirements from the Requirements Editor by right-clicking the requirement node and selecting Run Tests. In the Run Tests dialog box, select the tests you want to run and click Run Tests.

Note

If you have linked requirements to Simulink Design Verifier Proof Objective blocks in multiple models, the Run Tests dialog box runs a Simulink Design Verifier analysis when the corresponding models are open.

You can view the Verification Status metric for your requirements sets from both the Requirements Editor and the Requirements Browser in the Requirements Perspective View. To toggle the metric display, select Display > Verification Status from the Requirements Editor menu.

Hover your mouse over the Verified column in the Requirements Editor or Requirements Browser for each requirement or requirements set to view the Verification Status metric associated with it.