Leveraging composability in model-based testing for microservices

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

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 proceeding › Conference contribution › Academic › peer-review

Abstract

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 language	English
Title of host publication	BENEVOL’22: The 21st Belgium-Netherlands Software Evolution Workshop Mons, 12-13 September 2022
Subtitle of host publication	Proceedings of the Belgium-Netherlands Software Evolution Workshop
Editors	Mairieli Wessel, Eleni Constantinou
Publisher	CEUR
Number of pages	11
Publication status	Published - Sept 2022

Publication series

Name	CEUR Workshop Proceedings
Publisher	CEUR-WS.org
Volume	3245
ISSN (Electronic)	1613-0073

Access to Document

https://ceur-ws.org/Vol-3245/paper1.pdfLicence: CC BY

Cite this

van den Brink, B., Zameni, T., Tikhonova, U., Vinke, L., & Oprescu, A.-M. (2022). Leveraging composability in model-based testing for microservices. In M. Wessel, & E. Constantinou (Eds.), BENEVOL’22: The 21st Belgium-Netherlands Software Evolution Workshop Mons, 12-13 September 2022: Proceedings of the Belgium-Netherlands Software Evolution Workshop (CEUR Workshop Proceedings; Vol. 3245). CEUR. https://ceur-ws.org/Vol-3245/paper1.pdf

van den Brink, Bas ; Zameni, Tannaz ; Tikhonova, Ulyana et al. / Leveraging composability in model-based testing for microservices. BENEVOL’22: The 21st Belgium-Netherlands Software Evolution Workshop Mons, 12-13 September 2022: Proceedings of the Belgium-Netherlands Software Evolution Workshop. editor / Mairieli Wessel ; Eleni Constantinou. CEUR, 2022. (CEUR Workshop Proceedings).

@inproceedings{dd067f7ba08842ceb1173d7f9550c4a6,

title = "Leveraging composability in model-based testing for microservices",

abstract = "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. ",

author = "\{van den Brink\}, Bas and Tannaz Zameni and Ulyana Tikhonova and Lammert Vinke and Ana-Maria Oprescu",

year = "2022",

month = sep,

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR",

editor = "Mairieli Wessel and Eleni Constantinou",

booktitle = "BENEVOL{\textquoteright}22: The 21st Belgium-Netherlands Software Evolution Workshop Mons, 12-13 September 2022",

address = "Germany",

}

van den Brink, B, Zameni, T, Tikhonova, U, Vinke, L & Oprescu, A-M 2022, Leveraging composability in model-based testing for microservices. in M Wessel & E Constantinou (eds), BENEVOL’22: The 21st Belgium-Netherlands Software Evolution Workshop Mons, 12-13 September 2022: Proceedings of the Belgium-Netherlands Software Evolution Workshop. CEUR Workshop Proceedings, vol. 3245, CEUR. <https://ceur-ws.org/Vol-3245/paper1.pdf>

Leveraging composability in model-based testing for microservices. / van den Brink, Bas; Zameni, Tannaz; Tikhonova, Ulyana et al.
BENEVOL’22: The 21st Belgium-Netherlands Software Evolution Workshop Mons, 12-13 September 2022: Proceedings of the Belgium-Netherlands Software Evolution Workshop. ed. / Mairieli Wessel; Eleni Constantinou. CEUR, 2022. (CEUR Workshop Proceedings; Vol. 3245).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Leveraging composability in model-based testing for microservices

AU - van den Brink, Bas

AU - Zameni, Tannaz

AU - Tikhonova, Ulyana

AU - Vinke, Lammert

AU - Oprescu, Ana-Maria

PY - 2022/9

Y1 - 2022/9

N2 - 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.

AB - 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.

M3 - Conference contribution

T3 - CEUR Workshop Proceedings

BT - BENEVOL’22: The 21st Belgium-Netherlands Software Evolution Workshop Mons, 12-13 September 2022

A2 - Wessel, Mairieli

A2 - Constantinou, Eleni

PB - CEUR

ER -

van den Brink B, Zameni T, Tikhonova U, Vinke L, Oprescu AM. Leveraging composability in model-based testing for microservices. In Wessel M, Constantinou E, editors, BENEVOL’22: The 21st Belgium-Netherlands Software Evolution Workshop Mons, 12-13 September 2022: Proceedings of the Belgium-Netherlands Software Evolution Workshop. CEUR. 2022. (CEUR Workshop Proceedings).

Leveraging composability in model-based testing for microservices

Abstract

Publication series

Access to Document

Fingerprint

Cite this