Test de conformité basé sur l'architecture logicielle
| Autor: | Leroux, Elena, Oquendo, Flavio, Xiong, Qin |
|---|---|
| Přispěvatelé: | Leroux, Elena, ArchWare, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA) |
| Jazyk: | francouzština |
| Rok vydání: | 2013 |
| Předmět: | |
| Zdroj: | 7ème Conférence francophone sur les architectures logicielles (CAL'2013) 7ème Conférence francophone sur les architectures logicielles (CAL'2013), May 2013, Toulouse, France. pp.??-?? Revue des Nouvelles Technologies de l'Information Revue des Nouvelles Technologies de l'Information, 2013, pp.??-?? Revue des Nouvelles Technologies de l'Information, Editions RNTI, 2013, pp.??-?? |
| ISSN: | 1764-1667 |
| Popis: | International audience; 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é. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|