Scenarios-Based Testing of Systems with Distributed Ports
Scenarios-Based Testing of Systems with Distributed Ports
复制标题
DOI：
10.1002/spe.1062
复制
发表时间：
2010-07
期刊：
影响因子：
--
通讯作者：
R. Hierons;Mercedes G. Merayo;M. Núñez
中科院分区：
文献类型：
--
作者：
R. Hierons;Mercedes G. Merayo;M. Núñez
当前的分布式系统通常由几个分布式组件组成，这些组件通过特定的端口进行通信。在测试这些系统时，我们分别观察每个端口的输入和输出序列，而不是全局序列，并且可能无法重构发生的全局序列。在本文中，我们集中讨论了使用分布式组件正式测试系统的问题，这些组件通常具有独立的行为，但在某些时间点可能发生同步。这些情况经常出现在定期进行维护和/或更新操作的大型实际系统中。如果我们使用基于状态的符号来表示全局系统的规范，我们说{\it场景}是在两个操作之间发生的任何事件序列；我们通过标记规范的一些状态来编码这些{\it special}操作。为了评估我们的新框架的适当性，我们表明它代表了在分布式测试体系结构上下文中定义的先前实现关系的保守扩展：如果我们认为所有状态都被标记，那么我们简单地获得ioco（单端口系统的经典关系），而如果没有状态被标记，那么我们获得dioco（多端口系统的先前关系）。
Current distributed systems are usually composed of several distributed components that communicate through specific ports. When testing these systems we separately observe sequences of inputs and outputs at each port rather than a global sequence and potentially cannot reconstruct the global sequence that occurred. In this paper we concentrate on the problem of formally testing systems with distributed components that, in general, have independent behaviors but that at certain points of time synchronization can occur. These situations appear very often in large real systems that regularly go through maintenance and/or update operations. If we represent the specification of the global system by using a state-based notation, we say that a {\it scenario} is any sequence of events that happens between two of these operations; we encode these {\it special} operations by marking some of the states of the specification. In order to assess the appropriateness of our new framework, we show that it represents a conservative extension of previous implementation relations defined in the context of the distributed test architecture: If we consider that all the states are marked then we simply obtain ioco (the classical relation for single-port systems) while if no state is marked then we obtain dioco (our previous relation for multi-port systems).