Model Driven Mutation Applied to Adaptative Systems Testing

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download
Contributor : Alexandre Bartel <>
Submitted on : Friday, May 25, 2012 - 6:41:37 PM
Last modification on : Friday, November 16, 2018 - 1:26:49 AM
Long-term archiving on : Thursday, December 15, 2016 - 9:34:38 AM


Files produced by the author(s)


  • HAL Id : hal-00700444, version 1
  • ARXIV : 1205.5783


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⟩



Record views


Files downloads