ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 21/9 - 2002  - pp.1189-1218
TITRE
B-Testing-Tools : génération de tests aux limites à partir de spécifications B

RÉSUMÉ
Nous présentons dans cet article un environnement pour la génération de tests fonctionnels aux limites à partir de spécifications B. Cette méthode repose sur la réécriture de spécifications B en systèmes de contraintes équivalents et la partition du domaine des variables d’état de la spécification. Cette partition est basée sur un calcul de bornes effectué par un solveur spécifique utilisant des techniques de Programmation Logique avec Contraintes ensemblistes. Ce solveur permet ensuite la constitution d’états limites du système et leur intégration dans des séquences de test. La vérification des résultats des jeux de test et la déclaration du verdict s’effectuent au moyen d’une observation indirecte : l’observation du comportement d’opérations activables. Les résultats d’une étude de cas industriel, concernant l’application de la génération de jeux de test à la norme GSM 11-11 (carte à puces), sont présentés et discutés.

ABSTRACT
This paper presents a test case generation method based on an original approach using formal methods. This method constists in translating the formal specifications of the system to be tested into an equivalent constraint system. A domain partition of the state variables of the specifications is performed through a computation of limit values by a specific solver using Constraint Logic Programming with sets. This specific solver is next used to generate paths to sequence the test patterns. Finally, The formal specifications are used as an oracle by using it to determinate the expected output for a given input. The results of an industrial case-study, about GSM standard (smart card), is presented and discussed.

AUTEUR(S)
Bruno LEGEARD, Fabien PEUREUX

MOTS-CLÉS
génération de tests à partir de spécifications formelles, test aux limites, notation Programmation Logique à Contraintes, contraintes ensemblistes, norme GSM

KEYWORDS
specification-based testing, boundary testing, B notation, Constraint Logic Programming, set constraint solving, GSM standard

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (335 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier