Leveraging composability in model-based testing for microservices

Bas van den Brink, Tannaz Zameni, Ulyana Tikhonova, Lammert Vinke, Ana-Maria Oprescu

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review


The microservices architecture is becoming increasingly more popular in contemporary software systems. Microservices communicate with each other over a network using specific communication protocols, such as HTTP or AMQP. Microservices systems can pose various challenges, with testing being one of them. Model-based testing is an established formal method for testing software systems. However, testing microservices using model-based testing is an open research topic. The goal of our research is to explore formally testing microservices systems. This research is divided in two parts: (1) we develop a
theoretical framework for formally testing microservices, extending existing work on ioco-theory; (2) we implement the theoretical framework in a proof-of-concept to experiment with microservices systems from both open-source and industry.
Original languageEnglish
Title of host publicationBENEVOL’22: The 21st Belgium-Netherlands Software Evolution Workshop Mons, 12-13 September 2022
Subtitle of host publicationProceedings of the Belgium-Netherlands Software Evolution Workshop
EditorsMairieli Wessel, Eleni Constantinou
Number of pages11
Publication statusPublished - Sept 2022

Publication series

NameCEUR Workshop Proceedings
ISSN (Electronic)1613-0073


Dive into the research topics of 'Leveraging composability in model-based testing for microservices'. Together they form a unique fingerprint.

Cite this