Timed implementation relations for the distributed test architecture
Timed implementation relations for the distributed test architecture
复制标题
分布式测试架构的定时实现关系
DOI：
10.1007/s00446-014-0208-5
复制
发表时间：
2014
影响因子：
1.3
通讯作者：
Hierons R
中科院分区：
文献类型：
--
作者：
Hierons R
为了测试具有物理分布接口（称为端口）的系统，我们可能会使用分布式方法，其中每个端口都有一个单独的测试器。如果测试人员在测试过程中不同步，那么我们不能总是确定在不同端口观察到的事件的相对顺序，这将导致使用相应的实现关系描述的正确性的新概念。我们研究的情况下，每个测试人员有一个本地时钟和时间戳的意见。如果我们不知道本地时钟是如何相关的，那么这不会影响实现关系，而如果本地时钟完全一致，那么我们可以重建观测序列。然而，在实践中，我们很可能处于这两个极端之间：本地时钟不会完全一致，但我们有一些关于它们如何不同的信息。我们首先假设本地测试仪与被测系统的相应端口同步交互，然后将其扩展到通信可以是异步的情况，同时考虑先进先出（FIFO）情况和非FIFO情况。新的实现关系比不使用时间戳但仍反映观察的分布式性质的分布式测试的实现关系更强。本文探讨了这些替代方案，并得出相应的实施关系。
In order to test systems that have physically distributed interfaces, called ports, we might use a distributed approach in which there is a separate tester at each port. If the testers do not synchronise during testing then we cannot always determine the relative order of events observed at different ports and this leads to new notions of correctness that have been described using corresponding implementation relations. We study the situation in which each tester has a local clock and timestamps its observations. If we know nothing about how the local clocks relate then this does not affect the implementation relation while if the local clocks agree exactly then we can reconstruct the sequence of observations made. In practice, however, we are likely to be between these extremes: the local clocks will not agree exactly but we have some information regarding how they can differ. We start by assuming that a local tester interacts synchronously with the corresponding port of the system under test and then extend this to the case where communications can be asynchronous, considering both the first-in-first-out (FIFO) case and the non-FIFO case. The new implementation relations are stronger than implementation relations for distributed testing that do not use timestamps but still reflect the distributed nature of observations. This paper explores these alternatives and derives corresponding implementation relations.
登录
查看更多内容
DOI：
10.1023/a:1021759127956
发表时间：
2003
期刊：
The Journal of Supercomputing
影响因子：
--
作者：
O. Rafiq;Leo Cacciari
通讯作者：
Leo Cacciari
实现分布式一致性测试的测试人员自动分配
DOI：
10.1007/978-0-387-35394-4_22
发表时间：
1998
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
C. Jard;Thierry Jéron;Hakim Kahlouche;C. Viho
通讯作者：
C. Viho
有限状态机的可同步测试序列
DOI：
10.1016/s0169-7552(98)00013-0
发表时间：
1995
期刊：
Comput. Networks
影响因子：
--
作者：
K. Tai;Y. Young
通讯作者：
Y. Young
影响因子：
4.4
作者：
Michele Boreale;R. Nicola;R. Pugliese
通讯作者：
R. Pugliese
DOI：
10.1016/s0020-0190(98)00143-4
发表时间：
1998
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
C. Fidge
通讯作者：
C. Fidge