Track Requirements Verification Progress

Step 5 of 7 in Use Requirements to Develop and Verify MATLAB Functions

You can track the verification progress of requirements by viewing the verification status in the Requirements Editor. Requirements Toolbox™ checks each functional requirement in a requirement set to see if it has a verification link and aggregates the results into a status that reflects the overall verification progress of the requirement set.

In this step of the tutorial, you view the verification status for the myAddTestSpecification requirement set, run the linked MATLAB® tests, and view the verified requirements.

View Verification Status

Open the myAdd2 project, which is similar to the myAdd project, but contains updated versions of the files that you changed in previous steps.

openProject("myAdd2");

Open the myAddTestSpecification requirement set in the Requirements Editor.

slreq.open("myAddTestSpecification");

In the View section, select Columns > Verification Status. Ensure that Requirements Toolbox is analyzing functional requirements for verification links by clicking Refresh.

The yellow color of the verification status bar indicates that the requirements have verification links, but you have not executed the tests. The full status bar indicates that all requirements in the requirement set have verification links. The container requirements 1 and 2 are excluded from the verification status.

Run MATLAB Tests

The test file tMyAdd.m contains tests linked to the requirements in the myAddTestSpecification requirement set. Open the test file.

open tMyAdd

Verify the requirements by running the linked MATLAB tests. In the Requirements Editor, right-click the myAddTestSpecification requirement set and select Run Tests. In the Run Tests dialog, ensure that the tests are selected, then click Run Tests.

View Verified Requirements

In the Requirements Editor, the green color of the verification status bar indicates that the tests pass, verifying the functional requirements in the requirement set.