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 contraintes 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 soit Pre-Condition, Post-Condition ou Line-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 pré-conditions 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 .
  2. Dans la fenêtre Testpoints , double-cliquez sur une Classe ou une Opération pour afficher la dialogue « Éditeur Testpoints ».

Champs du groupe de contraintes

Champ

Usage

Voir aussi

Type

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

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

Compenser

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 Testpoint a été créé à l'aide du menu contextuel de Éditeur de Code .

Éditeur de Code Menu Contexte

Condition

La contrainte à évaluer lorsque ce Testpoint est déclenché. Un statut 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 :

  • « Continuer » : ignorer l'échec de cette contrainte et continuer l'exécution
  • « Interrompre l'exécution » - interrompre l'exécution et afficher la trace de la pile
  • « Désactiver en cas d'échec » : ne pas exécuter à nouveau la contrainte après un échec

Évaluer quand

(Facultatif) Une contrainte supplémentaire qui doit être respectée avant que la condition Testpoint principal ne soit évaluée, offrant un meilleur contrôle sur la couverture du test.

Contraintes Testpoint

Champs du groupe de trace

Option

Action

Voir aussi

Niveau

Spécifie quand l'instruction de trace (si elle est définie) sera générée. Les options disponibles sont :

  • « Échec uniquement » : 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 à afficher lorsque ce Testpoint est évalué.

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

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

Déclarations de trace

Apprenez Plus