Main Content

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 Requirements Editor verification status is shown for the myAddTestSpecification requirement set. The mouse points to the status bar, displaying the tooltip, which indicates that there are six unexecuted requirements.

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.

The Run Tests dialog is shown for the myAddTestSpecification requirement set. The dialog box shows the seven linked tests, indicates that tMyAdd is the test source file, and displays the index of the linked requirement for each test.

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.

The Requirements Editor verification status is shown for the myAddTestSpecification requirement set. The mouse points to the status bar, displaying the tooltip, which indicates that there are six passed requirements.

See Also

Apps

Classes

Functions

Related Topics