Model Driven Mutation Applied to Adaptative Systems Testing

  title={Model Driven Mutation Applied to Adaptative Systems Testing},
  author={Alexandre Bartel and Benoit Baudry and Freddy Munoz and Jacques Klein and Tejeddine Mouelhi and Yves Le Traon},
  journal={2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops},
Dynamically Adaptive Systems modify their behavior and structure in response to changes in their surrounding environment and according to an adaptation logic. Critical systems 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 correctness… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 22 references

Worldwide mobile worken population 2009-2013

  • S. D. Drake, R. Boggs, J. Jaffe
  • 2010

Jézéquel . Composition of qualitative adaptation policies

  • J.-M.
  • Automated Software Engineering Conference ( ASE
  • 2008

Jézéquel . Model - driven analysis and synthesis of concrete syntax

  • J.-M.
  • Proceedings of the MoDELS / UML
  • 2006

Similar Papers

Loading similar papers…