Réserver une Démo
Pré. Proc.

Éditeur Testpoints

L' Éditeur Testpoints permet de composer des contraintes pour les Classes et les Opérations. Les types de contrainte autorisés dépendent de l' object sélectionné. Pour les classes, le type sera toujours Invariant. Pour les opérations, le type peut être Pré-condition, Post-condition ou Ligne-condition.

Les invariants sont évalués par l'analyseur lorsqu'une méthode appelée sur un object du type de classe sélectionné se termine. Les conditions préalables sont évaluées au début de chaque appel à l'opération spécifiée. Les post-conditions sont évaluées à la fin de chaque appel à l'opération spécifiée. Les conditions de ligne sont évaluées chaque fois que la ligne de code spécifiée est exécutée.

An example of composing a precondition in Enterprise Architects Test Domain system.

Accéder

Ruban

  1. Exécuter > Outils > Testeur > Afficher la fenêtre Testpoint de test.
  2. Dans la fenêtre Testpoints , double-cliquez sur une Classe ou une Opération pour afficher la boîte de dialogue ' Éditeur Testpoints '.

Champs Groupe de contraintes

Champ

Usage

Voir également

Type

Type de contrainte pour la classe ou l'opération sélectionnée :

  • Invariant - Evalué après la fin de toute méthode appelée sur la classe spécifiée
  • Pré-condition - Evaluée au début de chaque appel à une opération spécifique
  • Post-condition - Évalué après l'achèvement de chaque appel à une opération spécifique
  • Condition de ligne - Evalué lors de l'exécution d'une ligne de code spécifique dans une opération

Décalage

Pour les conditions de ligne uniquement, le numéro de ligne dans l'opération spécifiée sur laquelle évaluer la contrainte.

Une valeur de décalage est automatiquement définie si le point de Testpoint a été créé à l'aide du menu contextuel de l'éditeur Éditeur de Code .

Éditeur de Code Menu Contexte

Condition

La contrainte à évaluer lorsque ce Testpoint est déclenché. Un état de réussite ou d'échec sera enregistré selon que cette condition de contrainte est évaluée comme vraie ou fausse.

Contraintes Testpoint

Action en cas d'échec

Cliquez sur la flèche déroulante et sélectionnez parmi les trois options :

  • 'Continue' - ignore l'échec de cette contrainte et continue l'exécution
  • 'Break execution' - arrête l'exécution et affiche la trace de la pile
  • 'Désactiver en cas d'échec' - ne pas exécuter à nouveau la contrainte après avoir échoué une fois

Évaluer quand

(Facultatif) Une contrainte supplémentaire qui doit être satisfaite avant l' Testpoint la condition de point de test principale, offrant un meilleur contrôle sur la couverture de test.

Contraintes Testpoint

Champs du groupe de suivi

Option

Action

Voir également

Niveau

Spécifie quand l'instruction de trace (si définie) sera sortie. Les options disponibles sont :

  • 'Fail Only' - Instruction de trace de sortie uniquement lorsque cette condition Testpoint échoue
  • 'Toujours' - Instruction de trace de sortie à chaque fois que ce Testpoint est évalué

Déclaration

(Facultatif) Un message à émettre lorsque ce Testpoint est évalué.

Les variables actuellement dans la portée peuvent être incluses dans une sortie d'instruction de trace en préfixant le nom de la variable avec un jeton $ pour les variables de string , ou un jeton @ pour les types primitifs tels que ' int ' ou ' long '.

La sortie d'une instruction de trace peut être dirigée soit vers l' Testpoints « Points de test » de la fenêtre de sortie du système, soit vers un fichier externe, tel que configuré par le script Analyzer pour le Paquetage parent.

Instructions de suivi

Apprenez Plus