An Abstract Framework for Choreographic Testing

Alex Coto
Roberto Guanciale
Emilio Tuosto

We initiate the development of a model-driven testing framework for message-passing systems. The notion of test for communicating systems cannot simply be borrowed from existing proposals. Therefore, we formalize a notion of suitable distributed tests for a given choreography and devise an algorithm that generates tests as projections of global views. Our algorithm abstracts away from the actual projection operation, for which we only set basic requirements. The algorithm can be instantiated by reusing existing projection operations (designed to generate local implementations of global models) as they satisfy our requirements. Finally, we show the correctness of the approach and validate our methodology via an illustrative example.

In Julien Lange, Anastasia Mavridou, Larisa Safina and Alceste Scalas: Proceedings 13th Interaction and Concurrency Experience (ICE 2020), Online, 19 June 2020, Electronic Proceedings in Theoretical Computer Science 324, pp. 43–60.
Published: 17th September 2020.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: