  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.
