Microservice based architectures have started to gain in popularity and are often adopted in the implementation of modern cloud, IoT, and large-scale distributed applications. Software life cycles, in this context, are characterized by short iterations, where several updates and new functionalities are continuously integrated many times a day. This paradigm shift calls for new formal approaches to systematic verification and testing of applications in production infrastructures. We introduce an approach to continuous, design- to run-time verification, of microservice based applications. This paper describes our envisioned approach, the current stage of this ongoing work, and the challenges ahead.
Design-Time to Run-Time Verification of Microservices Based Applications / M. Camilli, C. Bellettini, L. Capra - In: Software Engineering and Formal Methods / [a cura di] A. Cerone, M. Roveri. - [s.l] : Springer International Publishing, 2018 Feb. - ISBN 9783319747804. - pp. 168-173 (( Intervento presentato al 15. convegno International Conference on Software Engineering and Formal Methods (SEFM) tenutosi a Trento nel 2017.
Design-Time to Run-Time Verification of Microservices Based Applications
M. Camilli
;C. Bellettini;L. Capra
2018
Abstract
Microservice based architectures have started to gain in popularity and are often adopted in the implementation of modern cloud, IoT, and large-scale distributed applications. Software life cycles, in this context, are characterized by short iterations, where several updates and new functionalities are continuously integrated many times a day. This paradigm shift calls for new formal approaches to systematic verification and testing of applications in production infrastructures. We introduce an approach to continuous, design- to run-time verification, of microservice based applications. This paper describes our envisioned approach, the current stage of this ongoing work, and the challenges ahead.File | Dimensione | Formato | |
---|---|---|---|
faacs17_camera-ready.pdf
accesso aperto
Tipologia:
Pre-print (manoscritto inviato all'editore)
Dimensione
241.36 kB
Formato
Adobe PDF
|
241.36 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.