You can view the verification status of your requirements in the Requirements Browser and Requirements Editor. Verification status reflects results from simulation testing using Simulink® Test™ or property proving using Simulink Design Verifier™. Use Verified by links from requirements to simulation assessments or proof objectives.
Simulation testing: Verification status reflects the result of Simulink Test test files, test suites, and test cases linked to requirements. Pass, fail, or untested results derive from test assessments, including:
Model Verification library blocks in the system under test.
verify (Simulink Test) statements.
Baseline or equivalence data comparison.
Property proving: Verification status reflects the analysis result of properties modeled using:
Simulink Design Verifier Proof Objective blocks.
Model Verification blocks.
Link blocks to requirements, then analyze the properties.
For more information, see Requirement Links.
Verification status is summarized in the Verified column of the Requirements Browser and Requirements Editor. To display the column,
In the Requirements Editor, select Display > Verification Status, or
In the Requirements Browser pane of the model window, right click a requirement and select Verification Status.
For example, the Verified column shows partial verification links for this requirement set, with one failed result:
The fullness of the bar indicates how many requirements in a group (parent + children) are linked to verification items. Color indicates the test or analysis results:
Passed (green): The linked test(s) passed, or the analysis proved the objective(s).
Failed (red): The linked test(s) failed, or the analysis falsified the objective(s).
Justified (green): The requirement is excluded from the summary with a justification. For more information, see Justify Requirements.
The linked test(s) have not run, or the linked objective(s) have not executed, or
A linked test or objective has been updated more recently than the most recent result.
None (colorless): The requirement does not have Verified by link(s).
You can update verification status by running tests or analyses linked to your requirements:
In the Requirements Editor, right click the requirement and select Run Tests.
In the Run Tests dialog box, select the tests.
Click Run Tests.
You can also update verification status by running tests or analysis outside of the Requirements Editor:
In Simulink Test, run the tests in the Test Manager.
In Simulink Design Verifier, run property proving analysis.
In Simulink, run the model that contains the Model Verification blocks.
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 include verification status in your requirements report:
In the Requirements Editor menu, select Report > Generate Report.
Select Verification Status.
Click Generate Report.
For more information, see Report Requirements Information