-
Notifications
You must be signed in to change notification settings - Fork 127
Modeler_audit_rules_R3060
Antonin Abhervé edited this page Sep 3, 2020
·
1 revision
A << satisfy >> or << verify >> Dependency must be from a ModelElement towards a Requirement.
A << satisfy >> Dependency describes how a design or an implementation model satisfies one or more Requirements, and a system modeler specifies the system design ModelElements that are intended to satisfy the Requirement. A “description” Note on the << satisfy >> Dependency may explain how the Requirement is satisfied.
A << verify >> Dependency defines how a test case verifies a Requirement. A test case is intended to be used as a general mechanism to represent any of the standard verification methods for inspection, analysis, demonstration or test.