Test de conformité basé sur l'architecture logicielle

Elena Leroux 1 Flavio Oquendo 1 Qin Xiong 1
1 ArchWare
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
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é.
Type de document :
Communication dans un congrès
7ème Conférence francophone sur les architectures logicielles (CAL'2013), May 2013, Toulouse, France. pp.??-??, 2013
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00875283
Contributeur : Elena Leroux (zinovieva) <>
Soumis le : lundi 21 octobre 2013 - 15:39:11
Dernière modification le : vendredi 16 novembre 2018 - 01:31:58
Document(s) archivé(s) le : vendredi 7 avril 2017 - 14:16:22

Fichier

cal2013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00875283, version 1

Citation

Elena Leroux, Flavio Oquendo, Qin Xiong. Test de conformité basé sur l'architecture logicielle. 7ème Conférence francophone sur les architectures logicielles (CAL'2013), May 2013, Toulouse, France. pp.??-??, 2013. 〈hal-00875283〉

Partager

Métriques

Consultations de la notice

364

Téléchargements de fichiers

229