User`s guide

Construct Simulation Tests Using the Verification Manager
14-5
b
Make two copies of the signal group, so that you have three signal groups:
Group 1, Group 2, Group 3.
Note: A Signal Builder block provides test signals for an entire model from
one location. This model contains a Signal Builder block that feeds five test
signals to the Model Verification blocks. The model sends the first four signals
directly to Check Static Upper Bound blocks. The model sends the fifth signal to
a subsystem that contains a Check Static Upper Bound block.
For more information on the Signal Builder block, see “Signal Groups” in the
Simulink documentation.
c
To set each Check Static Upper Bound verification block to assert for an upper
bound of 1, set the Upper bound parameter to 1.
d
For the following blocks, disable the assertion by clearing the Enable assertion
parameter:
• Check Static Upper Bound
• Check Static Upper Bound1
• Check Static Upper Bound2
• Check Static Upper Bound in the subsystem
These blocks are crossed out in the model.
e
To enable the Check Static Upper Bound3 block, select the Enable assertion
parameter.
2
Save this model and name it ex_verif_mgr_test_signals.
3
To open the model Signal Builder dialog box, double-click the Signal Builder block.
The signals in the first group (Group 1 in this example) are displayed.