In addition to assumed and required constraint usages allowed in any requirement usage, the objective of a verification case may also have requirement verification usages, which indicate the requirements to be verified by the verification case. Since the requirement verification usage is a subrequirement of the objective, it is automatically considered a required constraint of its containing objective.

There are two ways a requirement verification usage can be specified for a verification case objective:

Specifying requirement usages defined elsewhere in the model as requirement verification usages for verification case objective

Specifying requirement verification usages for verification case objective via the Textual Editor

To specify requirement verification usages for verification case objective via the Textual Editor

  1. In the Textual Editor, place the cursor within the curly braces of the verification case objective's body, do one of the following:
    1. For an unnamed requirement verification usage, declare the verify keyword followed by the name of the requirement you want to reference.
    2. For a named requirement verification usage, declare the verify requirement keyword, name the new usage, and then reference subset the requirement you want to reference.
  2. (Optional) Specify the requirement in the element's body.
  3. Click the Synchronize button.

    requirement def VehicleMassRequirement {
        //...
    }
    requirement vehicleMassRequirement {
        subject vehicle : Vehicle;
        in massActual :> ISQ::mass = vehicle.mass;
        doc /* The vehicle mass shall be less than or equal to 2500 kg. */
        require constraint {
            massActual <= 2500[SI::kg]
        }
    }

    // step 1.a.

    verification def VehicleMassTest {
        subject testVehicle : Vehicle;
        objective vehicleMassVerificationObjective {
            verify vehicleMassRequirement;                     // unnamed requirement verification usage reference subsets another requirement usage
        }
        return verdict : VerificationCases::VerdictKind;
    }

    // step 1.b 

    verification def VehicleMassTest {
        subject testVehicle : Vehicle;
        objective vehicleMassVerificationObjective {
            verify requirement vehicleMassRequirementForTest ::> vehicleMassRequirement;         // named requirement verification usage reference subsets another requirement usage
        }
        return verdict : VerificationCases::VerdictKind;
    }

Specifying requirement verification usages for verification case objective via the Drag and Drop handler in a view

To specify requirement verification usages for verification case objective via the Drag and Drop handler in a view

  • Drag and drop a requirement element from the Containment tree or use its symbol's Drag and Drop handler and drop it on:
    • a verification element symbol that you want to verify the requirement by referencing it using the Create Verification Requirement of Objective command.
    • a verification usage symbol (keyword verify requirement) that you want to verify by referencing it using the Set Verified Requirement command.

Specifying requirement verification usages for verification case objective via the Specification panel

To specify requirement verification usages for verification case objective via the Specification panel

  • Drag and drop a requirement element from the Containment tree or use its symbol's Drag and Drop handler and drop it on the Verified Requirement field in the Properties section of the Specification panel for the verification usage symbol element (keyword verify requirement). 
    The appropriate requirement is specified for the element.

Specifying requirement verification usages for verification case objective via the view palette

To specify requirement verification usages for verification case objective via the view palette

  1. In the view palette, under the Cases group, click verify.
  2. Do one of the following:
    1. To specify an existing requirement as a requirement verification usage for the verification case objective, in the view pane, click on the verification element symbol, then on the requirement element symbol. 
    2. To specify a new requirement as a requirement verification usage for the verification case objective, in the view pane, click on the verification element symbol, then elsewhere in the view pane to create a requirement element symbol.
      The verify path is drawn between the element symbols.

Specifying requirement verification usages for verification case objective via the smart manipulator in a view

To specify requirement verification usages for verification case objective via the smart manipulator in a view

  • In a view, do one of the following:
    • To specify an existing requirement as a requirement verification usage for the verification case objective, select the verification element symbol, and in its smart manipulator, click the verify command. Click on the requirement element symbol.
    • To specify a new requirement as a requirement verification usage for the verification case objective, select the verification element symbol, and in its smart manipulator, click the verify command. Click elsewhere in the view pane to create a requirement element symbol.
      The verify path is drawn between the element symbols.

Specifying requirement verification usages for verification case objective via the Create Relation command

To specify requirement verification usages for verification case objective via the Create Relation command

  1. Right-click on the supplier (target) element.
  2. In the shortcut menu, click Create Relation, then in the submenu, under Incoming, click verify. The Create... dialog opens.
  3. In the Create... dialog, do one of the following:
    1. In a view, click the element symbol you want to be the client (source). Hold Shift to select multiple elements.
    2. Click the Add button. The element selection dialog opens. In the element selection dialog, select the element you want to be the client (source) and click OK.
    3. Drag and drop the needed element you want to be the client (source) from the Containment tree onto the Create... dialog.
  4. In the Create... dialog, click OK. 

Specifying requirement verification usages for verification case objective via the owned verify requirement usage itself as the verified requirement

Specifying requirement verification usages for verification case objective via the Textual Editor

To specify requirement verification usages for verification case objective via the Textual Editor

  1. In the Textual Editor, place the cursor within the curly braces of the verification case objective's body, declare the verify requirement keyword, specify the element name, then the requirement body.
  2. Click the Synchronize button.

    verification def VehicleMassTest {
        subject testVehicle : Vehicle;
        objective vehicleMassVerificationObjective {
            verify requirement vehicleMassRequirement { // new verification case objective-owned requirement verification usage
                subject vehicle : Vehicle;
                in massActual :> ISQ::mass = vehicle.mass;
                doc /* The vehicle mass shall be less than or equal to 2500 kg. */
                require constraint {
                    massActual <= 2500[SI::kg]
                }
            }
        }
        return verdict : VerificationCases::VerdictKind;
    }