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 31/6 - 2012  - pp.743-767  - doi:10.3166/tsi.31.743-767
TITRE
Apport d’un prototype spécifié en Z dans le redéveloppement d’un outil de test

TITLE
Using a Z specification as a prototype in a redevelopment project

RÉSUMÉ

Les progrès des animateurs de spécification, tels que Jaza pour le langage Z, permettent désormais d’utiliser des spécifications formelles comme prototype exécutable pour un système à développer. La construction d’une spécification pendant le redéveloppement complet d’une nouvelle version d’un logiciel a de nombreux avantages. Tout d’abord, elle permet d’identifier les concepts abstraits qui sous-tendent le système à reconstruire. Ensuite, le prototype peut être comparé au système existant pour évaluer la non-régression de la spécification. Enfin, son exécution peut être utilisée par l’équipe de développement pour comprendre la spécification, puis plus tard il peut être utilisé comme oracle pour les tests de la nouvelle version. Cet article décrit l’application de cette approche lors du redéveloppement de l’outil Tobias. Il présente succinctement les principes de l’outil original, la spécification Z, comment le prototype a été utilisé pour assurer la non-régression et comment cette démarche a permis de simplifier les concepts de l’outil Tobias et d’explorer de nouvelles fonctionnalités.



ABSTRACT

The recent advent of specification animators, such as Jaza for the Z language, allows to use specifications as prototypes of the intended system. Building a specification during a redevelopment process brings several benefits. First, it helps identify the right abstract concepts that underly the system being re-engineered. Then, the prototype can be compared to the existing system to assess non-regression. Later, it can be demonstrated to the development team to help them understand the specification. Finally, it can be used as an oracle while testing the new version. This paper reports on such an approach performed during the redevelopment of the Tobias Test Generator. It briefly presents the principles of the original tool, its Z specification, how it was used as a prototype to ensure non regression, and how it helped simplify the concepts of the tool and explore new functionalities.



AUTEUR(S)
Yves LEDRU, Lydie DU BOUSQUET

MOTS-CLÉS
méthodes formelles, animation de spécification, test, redéveloppement.

KEYWORDS
formal methods, specification animation, test, redevelopment.

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  (381 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier