Abstract
The characteristics of self-adaptive, self-organizing systems lead to a significant higher flexibility and robustness against a changing environment. This flexibility makes it hard to test these systems adequately. To assure their quality, however, it is inevitable to do so. We introduce a new approach for systematically testing these self-* systems based on a feedback control-oriented system architecture called Corridor Enforcing Infrastructure (CEI). Thus, it is possible to examine particular situations, where the system is forced to reorganize or adapt to new situations. This is where the self-* mechanisms come into play and can be tested separately.
Chapter PDF
Similar content being viewed by others
Keywords
References
Camara, J., Lemos, R.D.: Evaluation of resilience in self-adaptive systems using probabilistic model-checking. In: Proc. 2012 ICSE Wsh. Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), pp. 53–62 (2012)
Eberhardinger, B., Steghöfer, J.-P., Nafz, F., Reif, W.: Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems. In: Proc. 24th IEEE Int. Symp. Software Reliability Engineering (ISSRE 2013), pp. 21–30. IEEE (2013)
Falcone, Y., Jaber, M., Nguyen, T.-H., Bozga, M., Bensalem, S.: Runtime verification of component-based systems. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol. 7041, pp. 204–220. Springer, Heidelberg (2011)
Filieri, A., Ghezzi, C., Tamburrelli, G.: A formal approach to adaptive software: Continuous assurance of non-functional requirements. Formal Asp. Comp. 24(2), 163–186 (2012)
Fredericks, E.M., Ramirez, A.J., Cheng, B.H.C.: Towards run-time testing of dynamic adaptive systems. In: Proc. 8th Int. Symp. Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013), pp. 169–174. IEEE (2013)
Güdemann, M., Nafz, F., Ortmeier, F., Seebach, H., Reif, W.: A specification and construction paradigm for organic computing systems. In: Proc. 2nd IEEE Int. Conf. Self-Adaptive and Self-Organizing Systems, pp. 233–242. IEEE Computer Society (2008)
Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebr. Program. 78(5), 293–303 (2009)
Nguyen, C.D.: Testing Techniques for Software Agents. Ph.D. thesis, Università di Trento (2009)
Padgham, L., Thangarajah, J., Zhang, Z., Miller, T.: Model-based test oracle generation for automated unit testing of agent systems. IEEE Trans. Softw. Eng. 39(9), 1230–1244 (2013)
Ramirez, A.J., Jensen, A.C., Cheng, B.H.C., Knoester, D.B.: Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems. In: Alexander, P., et al. (eds.) Proc. 26th IEEE/ACM Int. Conf. Automated Software Engineering (ASE 2011), pp. 568–571. IEEE (2011)
Wotawa, F.: Adaptive autonomous systems – from the system’s architecture to testing. In: Hähnle, R., Knoop, J., Margaria, T., Schreiner, D., Steffen, B. (eds.) ISoLA 2011 Workshops 2011. CCIS, vol. 336, pp. 76–90. Springer, Heidelberg (2012)
Zhang, Z., Thangarajah, J., Padgham, L.: Model based testing for agent systems. In: Decker, et al. (eds.) Proc. 8th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2009). pp. 1333–1334. IFAAMAS (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 IFIP International Federation for Information Processing
About this paper
Cite this paper
Eberhardinger, B., Seebach, H., Knapp, A., Reif, W. (2014). Towards Testing Self-organizing, Adaptive Systems. In: Merayo, M.G., de Oca, E.M. (eds) Testing Software and Systems. ICTSS 2014. Lecture Notes in Computer Science, vol 8763. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44857-1_13
Download citation
DOI: https://doi.org/10.1007/978-3-662-44857-1_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44856-4
Online ISBN: 978-3-662-44857-1
eBook Packages: Computer ScienceComputer Science (R0)