Cette procédure explique comment ajouter une assertion.
Vous pouvez ajouter des assertions à la fois aux noeuds finaux et aux règles. Cinq catégories d'assertions sont fournies dans la liste déroulante des options d'assertion.
Pour ajouter une assertion, effectuez les tâches suivantes :
Navigation
Accédez à l'éditeur de règles ou de noeuds finaux, puis accédez à l'onglet Contrat/Assertions en bas de l'éditeur.