Cette procédure explique comment créer 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 de l'option Assertion.
Pour ajouter une assertion
- Cliquez sur Ajouter.
- Sélectionnez l'assertion dans la boîte de dialogue de sélection d'arborescence filtrée dans la fenêtre en incrustation Sélectionner un type d'assertion.
- Une fois le type d'assertion sélectionné, un éditeur d'assertion s'affiche. Sélectionnez Obligatoire si vous souhaitez que l'assertion soit toujours définie sur true, et
Verrouillé si vous ne souhaitez pas que la valeur de l'assertion soit modifiée.
- Entrez les valeurs des propriétés. Cette opération permet d'ajouter l'assertion en tant qu'enregistrement dans la table sous la
catégorie.
- Renouvelez le processus pour ajouter plusieurs assertions.
Navigation
Naviguez vers l'éditeur de l'onglet Règle/Noeud final et accédez à l'onglet Contrat/Assertions en bas de l'éditeur.