requirement-verification-membership-owning-type

Available in: SysML

This checks that requirement verifications are owned by objectives.

Specification

The owning_type of a RequirementVerificationMembership must a RequirementUsage that is owned by an ObjectiveMembership.

Example

requirement r;
requirement {
    verify r; // error
}

Only use verify inside objectives:

requirement r;
case {
    objective {
        verify r; // ok
    }
}