@inproceedings{291a75ed153f47febfd014f5755878cf,
title = "Compositional ioco using model-based mocking",
abstract = "Model-based testing is a compelling method for the end-to-end testing of microservices. However, when testing with a large number of services, state space explosion is a common problem. It is especially a problem since input-output conformance (ioco) is not compositional. We developed a novel and theoretically grounded testing method called model-based mocking (MBM) to end-to-end test microservice systems compositionally. We tested the MBM method using the Axini Modeling platform by inserting 20 mutants into an example microservice system. In our set of inserted bugs, MBM found more than half of the bugs faster compared to other methods and was slower for none of the bugs.",
keywords = "Axini Modeling Platform, ioco, microservices, Mobel-based testing, model-based mocking",
author = "Booy, {Jore J.} and Keiren, {Jeroen J.A.} and {van der Bijl}, Machiel",
year = "2023",
language = "English",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS.org",
pages = "1--8",
editor = "Fernanda Madeiral and Ayushi Rastogi",
booktitle = "BENEVOL 2023 : Belgium-Netherlands Software Evolution Workshop 2023",
note = "22nd Belgium-Netherlands Software Evolution Workshop, BENEVOL 2023 ; Conference date: 27-11-2023 Through 28-11-2023",
}