An Abstract Framework for Choreographic Testing
Alex Coto (GSSI), Roberto Guanciale (KTH), Emilio Tuosto (GSSI)

TL;DR
This paper introduces a formal, model-driven testing framework for message-passing systems based on choreographies, providing algorithms for generating distributed tests from global views and validating their correctness.
Contribution
It formalizes a new approach for distributed testing in message-passing systems, enabling test generation from global choreographies with a flexible projection-based algorithm.
Findings
Algorithm successfully generates tests from global views
Framework validated through an illustrative example
Ensures correctness of the testing approach
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
