A-MOST 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020
Sat 24 Oct 2020 14:30 - 15:00 at Porto - Session III Chair(s): Raluca Lefticaru

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 Oct

Displayed 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
30m
Full-paper
Using tabular notation to support Model Based Testing
A-MOST
Rachid Kherrazi Akka Technologies
Link to publication DOI
14:30
30m
Full-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
30m
Full-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