Skip to content

Modeler_audit_rules_R3060

Antonin Abhervé edited this page Sep 3, 2020 · 1 revision

R3060

Summary

A << satisfy >> or << verify >> Dependency must be from a ModelElement towards a Requirement.

Details

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.

Tips

If you have a << satisfy >> or << verify >> Dependency which is not from a ModelElement toward a Requirement, you should delete it.

Clone this wiki locally