R3060

Une Dependency de type «satisfy» ou «verify» doit partir d’un ModelElement et cibler un Requirement.

Une Dependency de type «satisfy» décrit comment un modèle d’analyse ou de conception satisfait un ou plusieurs Requirements, en spécifiant des ModelElements qui doivent satisfaire ce Requirement. L’ajout d’une Note "description" sur la Dependency «satisfy» est conseillé pour expliquer comment le Requirement est satisfait.

Une Dependency de type «verify» définit comment un cas de test sert à vérifier un Requirement. Un cas de test est utilisé en tant que mécanisme général pour représenter les méthodes de vérification standard pour l’inspection, l’analyse, la démonstration ou les tests.

Si vous avez une Dependency de type «satisfy» ou «verify» qui ne relie pas un ModelElement à un Requirement, vous devriez la supprimer.