Leveraging composability in model-based testing for microservices
| Authors |
|
|---|---|
| Publication date | 2022 |
| Host editors |
|
| Book title | Proceedings of the Belgium-Netherlands Software Evolution Workshop |
| Book subtitle | Mons, Belgium, September 12-13, 2022 |
| Series | CEUR Workshop Proceedings |
| Event | 21st Belgium-Netherlands Software Evolution Workshop, BENEVOL 2022 |
| Article number | 1 |
| Number of pages | 11 |
| Publisher | Aachen: CEUR-WS |
| Organisations |
|
| 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. |
| Document type | Conference contribution |
| Language | English |
| Published at | https://ceur-ws.org/Vol-3245/paper1.pdf |
| Other links | https://www.scopus.com/pages/publications/85140911594 https://ceur-ws.org/Vol-3245/ |
| Downloads |
paper1-2
(Final published version)
|
| Permalink to this page | |
