Test de conformité basé sur l'architecture logicielle - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue des Nouvelles Technologies de l'Information Année : 2013

Test de conformité basé sur l'architecture logicielle

Elena Leroux
  • Fonction : Auteur
  • PersonId : 947122
Flavio Oquendo
Qin Xiong
  • Fonction : Auteur
  • PersonId : 947123

Résumé

Au cours des deux dernières décennies, l'architecture logicielle a joué un rôle central dans le développement des systèmes logiciels. Il fournit une description de haut niveau pour les systèmes complexes de grande taille en utilisant des abstractions appropriées pour les composants du système et pour leurs interactions. Dans notre travail, l'architecture logicielle est décrite en utilisant un langage de description architecturale (Architecture Description Language ou ADL) formel appelé pi-ADL-C&C. L'un des objectifs de cet ADL est de permettre la validation formelle d'un système implémenté, par rapport à son modèle architectural. Dans l'article, nous proposons une approche fondée sur le test de conformité pour valider l'implémentation du système par rapport à son architecture. Les tests architecturaux sont dérivés à partir d'un système de transitions, représentant la structure de l'architecture d'un système et de ses comportements, et sont exécutés sur le système sous test. Pour illustrer notre approche, nous utilisons l'exemple de la machine à café.
Fichier principal
Vignette du fichier
rnti2013_34.pdf (215.52 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00908580 , version 1 (25-11-2013)

Identifiants

  • HAL Id : hal-00908580 , version 1

Citer

Elena Leroux, Flavio Oquendo, Qin Xiong. Test de conformité basé sur l'architecture logicielle. Revue des Nouvelles Technologies de l'Information, 2013, pp.??-??. ⟨hal-00908580⟩
392 Consultations
936 Téléchargements

Partager

Gmail Facebook X LinkedIn More