论文标题
编舞测试的抽象框架
An Abstract Framework for Choreographic Testing
论文作者
论文摘要
我们启动针对消息通讯系统的模型驱动测试框架的开发。通信系统的测试概念不能简单地从现有建议中借来。因此，我们为给定编排的合适分布测试形式化了一个概念，并设计了一种将测试作为全球视图的预测产生的算法。我们的算法从实际投影操作中抽象出来，我们仅设置基本要求。该算法可以通过重复现有的投影操作（旨在生成全球模型的本地实现）来实例化，因为它们满足了我们的要求。最后，我们通过一个说明性示例显示了方法的正确性，并验证了我们的方法。
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.
