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.

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

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