Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Année : 2012

Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test

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.

Dates et versions

hal-00857295 , version 1 (09-09-2013)

Identifiants

Citer

Yves Ledru, Lydie Du Bousquet. Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, 31 (6), pp.743-767. ⟨10.3166/tsi.31.743-767⟩. ⟨hal-00857295⟩
128 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More