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