Model-Based Testing for MAPE-K adaptation control loops
Self-adaptation is an effective solution for complex systems that need to adapt themselves to external changes while keeping internal goals; it can be realized in terms of MAPE-K feedback control loops, organized according to specific MAPE patterns in case of decentralized and distributed control. The MSL-centric framework allows the definition of the structure of MAPE-K loops using the MAPE Specification Language (MSL), and the description of its adaptation logic in terms of self-adaptive Abstract State Machines (ASMs). These models can be tested by exploiting classical model-based testing for ASMs that allows structural coverage of ASM models, but which is not adequate to test executions that are peculiar of the structure of MAPE-K loops. To overcome this limitation, in this paper, we propose a MAPE-based testing approach, which generates, from the MSL model, test goals specifying requirements on the control loop executions, translates these into concrete test predicates for the corresponding self-adaptive ASM, and then generates (by using a model checking based technique) abstract tests covering these test predicates. Such abstract tests are suitable to test the desired executions of MAPE control loops. The application of the approach is demonstrated on a smart home case study.
Sat 24 OctDisplayed time zone: Lisbon change
14:00 - 15:30 | Session IIIA-MOST at Porto Chair(s): Raluca Lefticaru University of Bradford A-MOST2020 is held as a virtual workshop via Zoom. Contact amost2020@easychair.org for the details. | ||
14:00 30mFull-paper | Using tabular notation to support Model Based Testing A-MOST Rachid Kherrazi Akka Technologies Link to publication DOI | ||
14:30 30mFull-paper | Model-Based Testing for MAPE-K adaptation control loops A-MOST Paolo Arcaini National Institute of Informatics
, Raffaela Mirandola Politecnico di Milano
, Elvinia Riccobene Computer Science Dept., University of Milan, Patrizia Scandurra University of Bergamo, Italy Link to publication DOI | ||
15:00 30mFull-paper | Conformance Testing in UPPAAL: A diabolic approach A-MOST Florian Lorber Aalborg University, Emil Jørgensen Njor Aalborg University, Nikolaj Isgård Schmidt Aalborg University, Sebastian Reidar Petersen Aalborg University Link to publication DOI |