A verification case is a kind of case whose result is a verdict on whether the subject of the case satisfies certain requirements. A typical verification case includes a set of verification actions that collect data about the subject, analyze it, and evaluate the results based on the objective to produce a verdict.

Creating verification case usage and definition elements

Creating verification case usage and definition elements via the Textual Editor

To create verification case usage and definition elements via the Textual Editor

  1. In the Textual Editor, place the cursor where you want to create the element and declare the keyword: 

    1.  verification def for a verification definition.

    2.  verification for a verification usage.
  2. Specify the element name.
  3. Specify the verification features in the element body.
  4. Click the Synchronize button.

    verification def VehicleMassTest {  // verification definition
        subject testVehicle : Vehicle;
        objective vehicleMassVerificationObjective {
            verify vehicleMassRequirement;
        }
        action collectData {
            // ...
        }
        action processData {
            // ...
        }
        action evaluateData {
            // ...
        }
        return verdict : VerificationCases::VerdictKind = evaluateData.verdict;
    }

    verification vehicleMassTest : VehicleMassTest;    // verification usage

Creating verification case usage and definition elements via the Create Element command

To create verification case usage and definition elements via the Create Element command

  1. In the Containment tree, right-click an element, and in the shortcut menu, click Create Element.

  2. In the Create Element dialog, select one of the following:
    1. verification def to create a verification definition element.
    2. verification to create a verification usage element.
  3. Name the element.
  4. Specify the verification features.

Creating verification case usage and definition elements via the view palette

To create verification case usage and definition elements via the view palette

  1. In the view palette, under the Cases group, click one of the following:
    1. The verification def button to create a part definition element.
    2. The verification button to create a part usage element.

      If the needed button is not displayed, click the down-facing arrow next to either the verification or the verification def button and select the needed button in the dropdown menu.

  2. Click in the view pane where you want to create the element symbol.
  3. (Optional) Specify the verification features.

Auto-creating verification case definition elements via the Extract Definition commands

To auto-create verification case definition elements via the Extract Definition commands