Architecture-Based Conformance Testing - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Architecture-Based Conformance Testing

Elena Leroux
  • Fonction : Auteur correspondant
  • PersonId : 947122

Connectez-vous pour contacter l'auteur
Flavio Oquendo
Qin Xiong
  • Fonction : Auteur
  • PersonId : 947123

Résumé

In the last two decades, software architecture has played a central role in the development of software systems. It provides a high-level description for large-size and complex systems using suitable bstractions of the system's components and their interactions. In our work, the software architecture is described using a formal Architecture Description Language (ADL) designed in the ArchWare European Project, pi -ADL-C&C. One of the purposes of this ADL is to allow formal validation of an implemented system with respect to its architectural model. In this paper, we propose a conformance testing approach for validating a software system with respect to its architecture. The architectural abstract test cases are derived from an Input-Output Symbolic Transition System (IOSTS) representing the architecture structure and behaviors, which are then translated into concrete test cases to be executed on the system under test. To illustrate our approach we use the coffee machine example.
Fichier principal
Vignette du fichier
icsea2013.pdf (249.65 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00874942 , version 1 (19-10-2013)

Identifiants

  • HAL Id : hal-00874942 , version 1

Citer

Elena Leroux, Flavio Oquendo, Qin Xiong. Architecture-Based Conformance Testing. The Eighth International Conference on Software Engineering Advances (ICSEA'13), Oct 2013, Venice, Italy. pp.55-64. ⟨hal-00874942⟩
332 Consultations
156 Téléchargements

Partager

Gmail Facebook X LinkedIn More