Verify (SysML relationship)
A Verify relationship links a Requirement to the items that verify that Requirement.
Create Verify relationships between items and Requirements in the following ways:
• In a Modeler pane:
◦ Right-click the Requirement, and select > > . For each item that verifies the Requirement; in the Selection Browser pane of the Links Editor, select the item, and then click the Link button.
◦ Right-click the model item, and select > > . For each Requirement that is verified by the item; in the Selection Browser pane of the Links Editor, select the Requirement, and then click the Link button.
◦ Right-click the Requirement and click > , and then right-click the item and click > . From the Relationship list, select Verifies.
• On a diagram, click the Verifies button, click the item that verifies the Requirement, and then click the Requirement.
Verifies button, click the item that verifies the Requirement, and then click the Requirement.The Links Editor provides a way of viewing which items verify a Requirement, and which Requirements are verified by an item. Alternatively, you can view the tagged values of a Requirement's verifiedBy tag definition or an item's verifies tag definition.
You can identify Activities, Operations, State Machines and Sequence Diagrams that verify Requirements as test cases by applying the «Testcase» stereotype to the item or diagram.
When shown on a diagram, a Verify relationship's notation is as follows.
On a diagram, you can create a SysML callout to list items or Requirements that are linked through the «verify» relationship:
• For a Requirement, you can create a callout that lists the items that verify that Requirement: right-click the Requirement, point to Add, click Callout Note, and then select the verifiedBy check box. Alternatively, on a Requirement you can show the verifiedBy compartment.
• For an item, you can create a callout that lists the Requirements that are verified by that item: right-click the item, point to Add, click Callout Note, and then select the Verifies check box.
A Verify relationship is a UML Dependency that is stereotyped by the «verify» stereotype from the SysML profile.
The following sections provide information about how a Verify relationship is used in the model. For more information about a SysML diagram or item - click it.
Owned by
Any model item - a Verify is owned jointly by the Requirement and the associated item. The access permissions you have to a Verify are determined by the access permissions you have to the associated item.
Requirement and the linked item - The Verify is owned jointly by the Requirement and the associated item. The access permissions you have to a Verify are determined by the access permissions you have to the associated item.
Requirement Extensions - The Verify is owned jointly by the Requirement Extension and the associated item. The access permissions you have to a Verify are determined by the access permissions you have to the associated item.Owns
Allocate - the Allocate is owned jointly by the Verify relationship and the associated item. The access permissions you have to an Allocate are determined by the access permissions you have to the item that is allocated from - you require write access to both items to create or delete an Allocate.
Refine (UML Standard profile) - the Refine relationship is owned jointly by the Verify and the associated item. The access permissions you have to a Refine relationship are determined by the access permissions you have to the refined item.
Satisfy - the Satisfy relationship is owned jointly by the Verify and the associated Requirement. The access permissions you have to a Satisfy relationship are determined by the access permissions you have to the Verify.
Trace (UML Standard profile) - the Trace relationship is owned jointly by the Verify and the associated item. The access permissions you have to a Trace relationship are determined by the access permissions you have to the item that is traced from. Verify - the Verify relationship is owned jointly by the associated Verify and the associated Requirement. The access permissions you have to a Verify relationship are determined by the access permissions you have to the associated Verify.Shown on these diagrams
Verify relationships can be shown on most UML and SysML diagrams.
SysML Properties
• allocatedFrom - lists source items that are linked through Allocate relationships (on Allocated tab when item is allocated).
• allocatedTo - lists target items that are linked through Allocate relationships (on Allocated tab when item is allocated).
• rationale - lists child Rationales.