Learn more about Simulink Verification and Validation

Managing Verification Requirements

In Using the Verification Manager, you learn how to use the Verification Manager to manage Model Verification blocks along with signal group tests in a Simulink model. The combination of test groups and their schedules of enabled and disabled Model Verification blocks is used to verify the correct behavior for your Simulink model. In this section you learn how to link the requirements to this combination that specify correct behavior.

You can link requirements documents to individual verification blocks just as you can for any Simulink block. See for details on linking requirements documents to individual Simulink blocks.

You can link requirements documents to test groups and their scheduled Model Verification blocks through the Requirements pane of the Verification Manager in the Signal Builder. By default, when you display the Verification Manager in the Signal Builder window, the Requirements pane appears, as shown.

1. Right-click anywhere in the Requirements pane.

   A pop-up menu appears.

2. From the pop-up menu, select Edit/Add Links.

   The Requirements dialog box appears, as shown.

   

   You can also access the Requirements dialog box for a Signal Builder block by right-clicking it in the Simulink model and selecting Requirements > Edit/Add Links.

3. Add links to requirements documents as described in steps 4 through 9 of .

   The descriptions for the links that you add appear in the Requirements pane, as shown.

   

4. Right-click a requirement link and select View to view the requirements document in its native editor.

5. Right-click a requirement link and select Delete to delete it.

Using the Verification Manager

Using Model Coverage

© 1984-2009- The MathWorks, Inc.    -   Site Help   -   Patents   -   Trademarks   -   Privacy Policy   -   Preventing Piracy   -   RSS