Track Requirements Verification Progress
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.