We present a tool-supported approach for the model-driven testing of message-passing applications. Our approach envisages choreographies as a particularly suited model to derive tests in order to tame the problems of correctness of distributed applications.

中文翻译：

---

编排测试的抽象框架

我们提出了一种工具支持的方法，用于消息传递应用程序的模型驱动测试。我们的方法将编排设想为一种特别适合的模型来派生测试，以解决分布式应用程序的正确性问题。