Vérification d'un modèle

Vous pouvez vérifier la validité de votre modèle à tout moment. Nous vous recommandons de vérifier votre modèle avant de générer du code ou un autre modèle à partir de ce modèle. La fonctionnalité de vérification de modèle est activée par défaut dans la boîte de dialogue de génération et, si une erreur est détectée, la génération est interrompue.

1. Appuyez sur F4, ou sélectionnez Outils > Vérifier le modèle, ou pointez sur le fond du diagramme, clique le bouton droit de la souris et sélectionnez Vérifier le modèle afin d'afficher la boîte de dialogue Vérification du modèle.

   L'onglet options répertorie les types d'objet à vérifier, ainsi que les vérifications individuelles à effectuer avec des symboles indiquant leur degré de sévérité :

   
   
   
2. [facultatif] Sélectionnez ou désélectionnez les types d'objet à vérifier et développez le noeud afin d'activer ou désactiver les différentes vérifications ou faire varier leur degré de sévérité, mais aussi pour permettre ou non la correction automatique des vérifications individuelles (voir Outils de la boîte de dialogue Paramètres de vérification).
   Remarque :

   Lorsque vous pointez sur un contrôle d'objet dans la boîte de dialogue Vérification du modèle et cliquez le bouton droit de la souris, un menu contextuel s'affiche. La commande Aide affiche une page d'aide contextuelle qui explique les différents contrôles effectués sur le type d'objet sélectionné.

3. [facultatif] Cliquez sur l'onglet Sélection, puis sélectionnez ou désélectionnez les objets individuels pour la vérification. Des sous-onglets sont disponibles pour chaque type d'objet :
   
   
   

   Remarque :

   Si vous avez sélectionné des symboles d'objet dans votre diagramme avant de lancer la vérification de modèle, vous pouvez les sélectionner pour vérification en cliquant sur l'outil Utiliser la sélection graphique dans la barre d'outils de l'onglet Sélection.

   Pour plus d'informations sur la sélection d'objets dans les onglets Sélection, voir Ajout d'un élément à partir d'une liste de sélection.

4. [facultatif] Cliquez sur Appliquer pour enregistrer vos sélections afin de les rendre disponibles pour de futures vérifications de modèles.
5. Cliquez sur OK pour lancer la vérification de modèle.

   La fenêtre Liste de résultats affiche les messages d'erreur et les avertissements générés en fonction des options de vérification que vous avez définies. Pour plus d'informations sur la correction des erreurs, voir Correction des erreurs dans la liste de résultats de la vérification.

   
   
   

• Outils de la boîte de dialogue Paramètres de vérification
  Les outils suivants sont disponibles dans la boîte de dialogue Paramètres de vérification :
• Correction des erreurs dans la liste de résultats de la vérification
  Lorsque des erreurs sont détectées et des avertissements émis lors de la vérification de modèle, leur liste est affichée dans le sous-onglet Vérification de modèle du volet Résultats. Vous pouvez corriger les problèmes soit en utilisant la correction automatique (lorsqu'elle est disponible), soit en affichant la feuille de propriétés de l'objet concerné et en effectuant manuellement les corrections.
• Vérification des objets génériques
  Les objets génériques sont disponibles dans tous les types de modèle et font l'objet de vérifications standard. Pour plus d'informations sur les vérifications spécifiques à un type de modèle particulier, reportez-vous au guide de modélisation correspondant.