An abstract framework for choreographic testing

•Testing is a crucial part of the software development lifecycle.•Choreographic models can support model-based testing of message-passing systems.•Abstract tests can be derived from the global view of a protocol.•The tests complement the correctness-by-construction approach usual in choreographies.•As components evolve, generated tests can still offer some assurances of correctness.