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.
Accéder
Ruban |
|
Champs Groupe de contraintes
Champ |
Usage |
Voir également |
---|---|---|
Type |
Type de contrainte pour la classe ou l'opération sélectionnée :
|
|
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 :
|
|
É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 :
|
|
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 |