Réinitialiser mot de passe
E-mail
Password
RNTI

MODULAD
Test de conformité basé sur l'architecture logicielle
In CAL 2014, vol. RNTI-L-7, pp.51-68
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é -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é.