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.

中文翻译：

---

编排测试的抽象框架

我们开始为消息传递系统开发模型驱动的测试框架。不能简单地从现有提案中借用通信系统测试的概念。因此，我们为给定的编排制定了合适的分布式测试的概念，并设计了一种算法来生成测试作为全局视图的投影。我们的算法从实际的投影操作中抽象出来，我们只设置了基本要求。该算法可以通过重用现有的投影操作（旨在生成全局模型的本地实现）来实例化，因为它们满足我们的要求。最后，我们通过一个说明性示例展示了该方法的正确性并验证了我们的方法。