Assertion colorier

rainbow Assertion coloring l'élaboration de tests de conformité consiste à identifier les affirmations contenues dans un cahier des charges, l'écriture des tests de conformité qui vérifient les assertions identifiés et reliant le test à l'affirmation selon laquelle il teste.
Commençons par les points suivants:
- L'affirmation est marquée
- L'affirmation réelle est difficile de voir dans les spécifications (actuellement il n'y a que l'affirmation de petit gif à la fin de chaque affirmation)
- Assertions complète ne sont consultés par la lecture du html directement ou regarder chaque test
- Début de la affirmations sont difficiles à voir dans le code html
- Fournir un moyen visuel pour afficher l'affirmation est facilement le problème que nous tentons de résoudre.

Le point principal est de couleur les assertions (texte spécification elle-même) en utilisant des balises HTML. La recherche a été faite qui balises HTML à utiliser. Div, span, table et balises de police ont été examinées. La meilleure solution est la balise de police. Ainsi, le texte est entouré de balises de police. L'attribut class de la balise de police correspond au type de l'affirmation. Fe si le asserion est nouveau, il est de couleur rouge, pour indiquer que les tests doivent être écrites, les affirmations anciennes sont colorés en vert pour indiquer que les tests existent déjà. Il devrait y avoir un utilitaire (script ou un programme java) pour balayer marqué cahier des charges et d'ajouter automatiquement les balises nécessaires pour la coloration. La couleur de fond du texte sera déterminé par la couleur attribut title de l'affirmation. Cette méthode a été appliquée et fonctionne correctement. Aux fins de facilité d'utilisation, il devrait y avoir un mécanisme pour cacher les colorants, Fe un javascript.

Un inconvénient de cette solution est que la couleur est statique car elle est basée sur l'attribut title. Une deuxième solution serait que l'outil vérifier une existence d'un test (basé sur l'ID affirmation ou un lien dans l'affirmation). Si il existe un test, nous ferions quelque chose pour régler la couleur de cette affirmation. Il pourrait être aussi simple que la fixation d'un attribut title. Un inconvénient de cette solution serait que la coloration affirmation serait encore statique, mais sur la base lorsque l'utilisateur exécuter les scripts.

Une variante de la solution donnée est que nous générer dynamiquement les données de couverture lorsque la spécification est visualisé dans un navigateur. Nous déterminer si un test existe dans le répertoire de test pour une affirmation donnée et la couleur l'affirmation en conséquence. Cela pourrait se faire grâce à un javascript / vbscript en utilisant des objets, qui permettent l'accès aux systèmes de fichiers. Cette méthode serait dynamique et devrait toujours avoir le dernier état affirmation de couverture.

Voici quelques exemples de JLS3 chapitres "Conversions et promotions" et "interfaces":

JLS3 colored Assertion coloring

JLS3 colored2 Assertion coloring

Assertions conv063, conv047, conv065, conv48, conv66 et conv049 sont de la version précédente de la spécification, ils n'ont pas été modifiées et mise à jour des tests n'est pas nécessaire - de couleur aigue-marine est (vert neurtal). Conv155 et conv156 sont nouveaux, de nouveaux tests devraient être développés, les affirmations sont colorés en rouge éclatante. Conv064 a été modifié, mise à jour de test est nécessaire - de couleur orange. Annot019 est un nouveau, des tests existent, mais ils sont nécessaires pour être changé - couleur saumon. Annot020 est nouveau, mais кудумфте tests existent - de couleur vert clair.

Le principal avantage de la coloration spec est que la spécification est visualisé. L'utilisateur peut voir l'affirmation entier et son titre. On peut dire en regardant les spécifications, où il ya des zones où la couverture est faible et où certains lots ou des tests devraient être ajoutés ou modifiés. Il est essentiellement la possibilité de voir à quel point une spécification est marqué et la façon dont il est testé.



, , , , , , ,
  • Share / Bookmark
Print This Post Imprimer cet article

Deux types d'assertions

refrigerator Two types of assertions Il ya parfois des faits, que connot être vérifiée directement. Disons que il ya un réfrigérateur dans une boîte, qui ne peut pas être ouvert. Imaginez un réfrigérateur peut être de 5 couleurs différentes - blanc, bleu, rouge, noir et vert. Le manuel dit qu'il est bleu. Mais la seule chose qui est disponible est une photo en noir et blanc du réfrigérateur. Le contrôle de couleur test direct est difficile à faire en utilisant simplement la photo (il est impossible de supposer). Mais on peut dire defenately (en regardant la photo) que le réfrigérateur est soit blanc ou non. Ainsi, le test ne vérifie pas la couleur elle-même, il teste en fait, si la couleur est blanche.

Des situations semblables se produisent tout le temps. C'est pourquoi il existe deux sortes d'affirmations. Le premier est le direct, quand il ya un test possible que les contrôles du fait exacte indiquée par cette affirmation. Le deuxième type est l'affirmation indirectes tirées. Il n'est pas écrit dans un cahier des charges, mais provient d'une ou plusieurs qui sont.

Pour en revenir aux réfrigérateurs et les photos en noir et blanc, voici quelques exemples: wheel Two types of assertions

  • affirmation directe:
    Écrite est la spécification: «Le réfrigérateur est blanc. Le test vérifie simplement si elle est blanche.
  • l'affirmation de dérivée:
    L'affirmation de base dans un spec est "Le réfrigérateur est bleu".
    Les dérivés peuvent être "Le réfrigérateur est blanc ou noir". Les contrôles, des analyses, si ce n'est pas bleu (blanc / noir).

Il n'est pas vrai, que les affirmations de dérivés ne sont utiles que quand il n'y a pas de possibilité de tester l'affirmation de base de la spec. Dans de nombreux cas, ils contribuent à augmenter la couverture de la profondeur d'une affirmation.



, , , , , ,
  • Share / Bookmark
Print This Post Imprimer cet article