Model Driven Mutation Applied to Adaptative Systems Testing - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Model Driven Mutation Applied to Adaptative Systems Testing

Résumé

Dynamically Adaptive Systems modify their behav- ior and structure in response to changes in their surrounding environment and according to an adaptation logic. Critical sys- tems increasingly incorporate dynamic adaptation capabilities; examples include disaster relief and space exploration systems. In this paper, we focus on mutation testing of the adaptation logic. We propose a fault model for adaptation logics that classifies faults into environmental completeness and adaptation correct- ness. Since there are several adaptation logic languages relying on the same underlying concepts, the fault model is expressed independently from specific adaptation languages. Taking benefit from model-driven engineering technology, we express these common concepts in a metamodel and define the operational semantics of mutation operators at this level. Mutation is applied on model elements and model transformations are used to propagate these changes to a given adaptation policy in the chosen formalism. Preliminary results on an adaptive web server highlight the difficulty of killing mutants for adaptive systems, and thus the difficulty of generating efficient tests.
Fichier principal
Vignette du fichier
article.pdf (350.59 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00700444 , version 1 (25-05-2012)

Identifiants

Citer

Alexandre Bartel, Benoit Baudry, Freddy Munoz, Jacques Klein, Tejeddine Mouelhi, et al.. Model Driven Mutation Applied to Adaptative Systems Testing. IEEE International Conference on Software Testing, Verification and Validation, Mutation Analysis Workshop (Mutation 2011), Mar 2011, Berlin, Germany. pp.6. ⟨hal-00700444⟩
191 Consultations
103 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More