基于通道的服务连接器的输入输出一致性测试
软件工程
2011-08-10 v1
摘要
基于服务的系统是由不同供应商提供的自治组件或服务组成的软件系统，部署在远程机器上并通过网络访问。现代软件工程的挑战之一是确保此类系统按照其设计者的意图运行。Reo 协调语言是一种可扩展的符号体系，用于服务组合的形式化建模和执行。彼此之间没有先验知识的服务通过高级通道连接器进行通信，这些连接器保证每个参与者（服务或客户端）在正确的时间接收正确的数据。每个通道都是一个二元关系，对输入和输出消息施加同步和数据约束。此外，通道可以组合在一起以实现任意复杂的行为协议。在此过程中，设计者可能会在连接器模型或其执行代码中引入错误，从而影响组合服务的行为。在本文中，我们提出了一种对 Reo 中设计的协调协议进行基于模型测试的方法。我们的方法基于输入输出一致性（ioco）测试理论，并利用 Reo 的基于自动机的语义模型到等价进程代数规范的映射。
引用
@article{arxiv.1108.1862,
title = {Input-output Conformance Testing for Channel-based Service Connectors},
author = {Natallia Kokash and Farhad Arbab and Behnaz Changizi and Leonid Makhnist},
journal= {arXiv preprint arXiv:1108.1862},
year = {2011}
}
备注
In Proceedings PACO 2011, arXiv:1108.1452