Home // International Journal On Advances in Software, volume 7, numbers 3 and 4, 2014 // View article

A Combined Simulation and Test Case Generation Strategy for Self-Adaptive Systems

Authors:
Georg Püschel
Christian Piechnick
Sebastian Götz
Christoph Seidl
Sebastian Richly
Thomas Schlegel
Uwe Aßmann

Keywords: Self-Adaptive Systems; Service Robots; Model- Based Testing; Simulation; Feedback Loops

Abstract:
With the introduction of self-adaptivity in software architecture, it becomes feasible to automate tasks that are performed under changing conditions. In order to validate systems with such capabilities, the conditions have to be enforced and reactions verified. An adequate set of scenarios must be performed to assure the required quality level. In our previous work, we investigated a set of requirements for a self-adaptive system validation strategy as well as a high-level solution scheme. In this paper, we instantiate this scheme and propose a set of timed models that work together as black box test model for our example SAS HomeTurtle. The model can be either used for simulation or test case generation; for both approaches, a unifying infrastructure is described. We further show an example simulation run and present our implementation---the Model-driven Adaptivity Test Environment. The proposed methodology enables test experts to maintain the complex behavior of SAS and cover an adequate part of it in testing.

Pages: 686 to 696

Copyright: Copyright (c) to authors, 2014. Used with permission.

Publication date: December 30, 2014

Published in: journal

ISSN: 1942-2628