B-Testing-Tools : génération de tests aux limites à partir de spécifications B
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.
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.
B.LEGEARD, F.PEUREUX
génération de tests à partir de spécifications formelles, test aux limites, notation Programmation Logique à Contraintes, contraintes ensemblistes, norme GSM
specification-based testing, boundary testing, B notation, Constraint Logic Programming, set constraint solving, GSM standard
Français
|
