Geodesic
Online testing of dynamic reconfigurations w.r.t. adaptation policies
Modelirovanie i analiz informacionnyh sistem, Tome 28 (2021) no. 1, pp. 52-73.

Voir la notice de l'article provenant de la source Math-Net.Ru

Self-adaptation of complex systems is a very active domain of research with numerous application domains. Component systems are designed as sets of components that may reconfigure themselves according to adaptation policies, which describe needs for reconfiguration. In this context, an adaptation policy is designed as a set of rules that indicate, for a given set of configurations, which reconfiguration operations can be triggered, with fuzzy values representing their utility. The adaptation policy has to be faithfully implemented by the system, especially w.r.t. the utility occurring in the rules, which are generally specified for optimizing some extra-functional properties (e.g. minimizing resource consumption). In order to validate adaptive systems' behaviour, this paper presents a model-based testing approach, which aims to generate large test suites in order to measure the occurrences of reconfigurations and compare them to their utility values specified in the adaptation rules. This process is based on a usage model of the system used to stimulate the system and provoke reconfigurations. As the system may reconfigure dynamically, this online test generator observes the system responses and evolution in order to decide the next appropriate test step to perform. As a result, the relative frequencies of the reconfigurations can be measured in order to determine whether the adaptation policy is faithfully implemented. To illustrate the approach the paper reports on experiments on the case study of platoons of autonomous vehicles.
Keywords: component system, adaptation policy, online testing, usage model. 
@article{MAIS_2021_28_1_a3,
     author = {F. Dadeau and J. Gros and O. Kouchnarenko},
     title = {Online testing of dynamic reconfigurations w.r.t. adaptation policies},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {52--73},
     publisher = {mathdoc},
     volume = {28},
     number = {1},
     year = {2021},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2021_28_1_a3/}
}
TY  - JOUR
AU  - F. Dadeau
AU  - J. Gros
AU  - O. Kouchnarenko
TI  - Online testing of dynamic reconfigurations w.r.t. adaptation policies
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2021
SP  - 52
EP  - 73
VL  - 28
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2021_28_1_a3/
LA  - ru
ID  - MAIS_2021_28_1_a3
ER  - 
%0 Journal Article
%A F. Dadeau
%A J. Gros
%A O. Kouchnarenko
%T Online testing of dynamic reconfigurations w.r.t. adaptation policies
%J Modelirovanie i analiz informacionnyh sistem
%D 2021
%P 52-73
%V 28
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2021_28_1_a3/
%G ru
%F MAIS_2021_28_1_a3
F. Dadeau; J. Gros; O. Kouchnarenko. Online testing of dynamic reconfigurations w.r.t. adaptation policies. Modelirovanie i analiz informacionnyh sistem, Tome 28 (2021) no. 1, pp. 52-73. http://geodesic.mathdoc.fr/item/MAIS_2021_28_1_a3/

[1] J. Dormoy, O. Kouchnarenko, A. Lanoix, “Using Temporal Logic for Dynamic Reconfigurations of Components”, FACS, LNCS, 6921, eds. L. Barbosa, M. Lumpe, Springer, Berlin–Heidelberg, 2012, 200–217 | DOI

[2] O. Kouchnarenko, J. F. Weber, “Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime”, Formal Aspects of Component Software, LNCS, 8997, eds. I. Lanese, E. Madelaine, Springer, Bertinoro, Italy, 2015, 108–126

[3] F. Dadeau, J. P. Gros, O. Kouchnarenko, “Testing Adaptation Policies for Software Components”, Softwareality Journal, 28 (2020), 1347–1378 | DOI

[4] O. Kouchnarenko, J.-F. Weber, “Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns”, FACS, 10th Int. Symp. on Formal Aspects of Component Software, LNCS, 8348, eds. J. L. Fiadeiro, Z. Liu, J. Xue, Springer, 2014, 234–253 | DOI

[5] M. Kim, I. Lee, U. Sammapun, J. Shin, O. Sokolsky, “Monitoring, checking, and steering of real-time systems”, ENTCS, 70:4 (2002), 95–111 | DOI

[6] R. A. Kowalski, M. J. Sergot, “A Logic-based Calculus of Events”, New Gener. Comput., 4:1 (1986), 67–95 | DOI | MR | Zbl

[7] R. Miller, M. Shanahan, “The Event Calculus in Classical Logic Alternative Axiomatisations”, Electron. Trans. Artif. Intell., 3:A (1999), 77–105 http://www.ep.liu.se/ej/etai/1999/016/ | MR

[8] F. Chauvel, O. Barais, I. Borne, J. M. Jézéquel, “Composition of qualitative Adaptation Policies”, 23rd IEEE/ACM Int. Conf. on Automated Software Engineering, ASE 2008, IEEE Computer Society, 2008, 455–458

[9] A. Bauer, Y. Falcone, “Decentralised LTL monitoring”, FM 2012: Formal Methods, LNCS, 7436, Springer, 2012, 85–100 | MR | Zbl

[10] K. Larsen, B. Thomsen, “A Modal Process Logic”, LICS'88, IEEE Computer Society, 1988, 203–210 | DOI

[11] R. Milner, Communication and concurrency, PHI Series in computer science, Prentice Hall, 1989 | Zbl

[12] B. Jonsson, K. Larsen, “Specification and Refinement of Probabilistic Processes”, Proc. LICS'91, IEEE Computer Society, 1991, 266–277 http://ieeexplore.ieee.org/xpl/conhome/360/proceeding

[13] J. A. Whittaker, M. G. Thomason, “A Markov chain model for statistical Software testing”, IEEE Trans. on Software Engineering, 20:10 (1994), 812–824 | DOI

[14] G. H. Walton, J. H. Poore, C. J. Trammell, “Statistical testing of Software based on a usage model”, Software: Practice and Experience, 25:1 (1995), 97–108 | DOI

[15] G. Dupont, Y. Aït Ameur, M. Pantel, N. Singh, “Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B”, Int. Conf. Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2018, LNCS, 10817, eds. M. Butler, A. Raschke, K. Reichl, Springer-Verlag, 2018, 155–170 | MR

[16] A. Sinclair, Algorithms for Random Generation and Counting: A Markov Chain Approach, Birkhauser Verlag, Basel, Switzerland, 1993 | MR | Zbl

[17] D. Romero, C.Quinton, L. Duchien, L. Seinturier, C. Valdez, “SmartyCo: Managing Cyber-Physical Systems for Smart Environments”, Software Architecture — 9th European Conference, ECSA 2015, 2015, 294–302 | DOI

[18] R. De Lemos, H. Giese, H. A. Müller, M. Shaw, J. Andersson, M. Litoiu, B. Schmerl, G. Tamura, N. M. Villegas, T. Vogel, “Software engineering for self-adaptive systems: A second research roadmap”, Software Engineering for Self-Adaptive Systems II, Springer, 2013, 1–32

[19] R. De Lemos, D. Garlan, C. Ghezzi, H. Giese, J. Andersson, M. Litoiu, B. Schmerl, D. Weyns, L. Baresi, N. Bencomo, “Software engineering for self-adaptive systems: Research challenges in the provision of assurances”, Software Engineering for Self-Adaptive Systems III. Assurances, Springer, 2017, 3–30 | DOI

[20] S. Gupta, A. Ansari, S. Feng, S. A. Mahlke, “Adaptive online testing for efficient hard fault detection”, 27th Int. Conf. on Computer Design, 2009, 343–349 | DOI

[21] B. H. C. Cheng, K. I. Eder, M. Gogolla, L. Grunske, M. Litoiu, H. A. Müller, P. Pelliccione, A. Perini, N. A. Qureshi, B. Rumpe, D. Schneider, F. Trollmann, N. M. Villegas, “Using Models at Runtime to Address Assurance for Self-Adaptive Systems”, Models@run.time: Foundations, Applications, and Roadmaps, eds. N. Bencomo, R. France, B. H. C. Cheng, U. Aßmann, Springer International Publishing, Cham, 2014, 101–136 | DOI

[22] E. M. Fredericks, A. J. Ramirez, B. H. C. Cheng, “Towards run-time testing of dynamic adaptive systems”, Proc. Symp. on Software Engineering for Adaptive and Self-Managing Systems, SEAMS (May 2013), 169–174 | DOI

[23] E. Mahe, C. Gaston, P. L. Gall, “Revisiting Semantics of Interactions for Trace Validity Analysis”, FASE 2020, LNCS, 12076, Springer, 2020, 482–501 | DOI

[24] F. Alvares, E. Rutten, L. Seinturier, “Behavioural Model-Based Control for Autonomic Software Components”, IEEE Int. Conf. on Autonomic Computing, ICAC'15, IEEE Computer Society, 2015, 187–196 | DOI

[25] M. Greiler, H.-G. Gross, A. van Deursen, “Evaluation of online testing for services: a case study”, Proc. Int. Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2010, 2010, 36–42 | DOI

[26] M. Camilli, C. Bellettini, A. Gargantini, P. Scandurra, “Online Model-Based Testing under Uncertainty”, 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018, 2018, 36–46 | DOI

[27] M. Helvensteijn, “Dynamic delta modeling”, 16th International Software Product Line Conference, SPLC'12, eds. E.S. de Almeida, C. Schwanninger, D. Benavides, ACM, 2012, 127–134 | DOI

[28] F. Trollman, J. Fahndrich, S. Albayrak, “Hybrid adaptation policies: towards a framework for classiffication and modelling of different combinations of adaptation policies”, Proc. Int. Conf. SEAMS@ICSE 2018 (Gothenburg, Sweden, May 28–29, 2018), 2018, 76–86 | DOI

[29] J. O. Kephart, W. E. Walsh, “An Artificial Intelligence Perspective on Autonomic Computing Policies”, 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004) (Yorktown Heights, NY, USA, 7–9 June 2004), 2004, 3–12 | DOI

[30] V. Poladian, D. Garlan, M. Shaw, M. Satyanarayanan, B. R. Schmerl, J. P. Sousa, “Leveraging Resource Prediction for Anticipatory Dynamic Configuration”, Proc. Int. Conf. on Self-Adaptive and Self-Organizing Systems, SASO 2007, IEEE Computer Society, 2007, 214–223 https://ieeexplore.ieee.org/xpl/conhome/4274871/proceeding | DOI