Implementation Relations for Testing Through Asynchronous Channels
Implementation Relations for Testing Through Asynchronous Channels
复制标题
异步通道测试的实现关系
DOI：
10.1093/comjnl/bxs107
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Hierons R
中科院分区：
文献类型：
--
作者：
Hierons R
本文关注的测试从一个输入输出转换系统（IOTS）模型的被测系统，通过异步先进先出（FIFO）通道与其环境进行交互。它探讨了分析IOTS的方法，而无需对通道进行建模。如果IOTS M产生序列σ，那么由于通信是异步的，输出可能会延迟，因此可能会观察到不同的序列。因此，M定义了当通过FIFO通道与M交互时可以观察到的序列的语言Tr（M）。我们根据Tr（M）定义实现关系和等价：实现关系表示IOTS N必须如何与IOTS M相关，以便N是M的正确实现。使用适当的实现关系是很重要的，因为否则测试运行的结论可能是不正确的，也因为它会影响测试生成。这表明，无法判定IOTS N是否符合IOTS M，因此也无法判定是否存在可以区分两个IOTS的测试用例。我们还研究了这样一种情况，即我们有一个有限自动机P，并且希望知道Tr（M）<$L（P）是否为空或Tr（M）<$Tr（P）是否为空，并证明这些是不可判定的。此外，我们给出了条件下，符合性和交集是可判定的。
This paper concerns testing from an input–output transition system (IOTS) model of a system under test that interacts with its environment through asynchronous first in first out (FIFO) channels. It explores methods for analysing an IOTS without modelling the channels. If IOTS M produces sequence σ, then, since communications are asynchronous, output can be delayed and so a different sequence might be observed. Thus, M defines a language Tr(M) of sequences that can be observed when interacting with M through FIFO channels. We define implementation relations and equivalences in terms of Tr(M): an implementation relation says how IOTS N must relate to IOTS M in order for N to be a correct implementation of M. It is important to use an appropriate implementation relation since otherwise the verdict from a test run might be incorrect and also because it influences test generation. It transpires that it is undecidable whether IOTS N conforms to IOTS M and so also whether there is a test case that can distinguish between two IOTSs. We also investigate the situation in which we have a finite automaton P and either wish to know whether Tr(M) ∩ L(P) is empty or whether Tr(M) ∩ Tr(P) is empty and prove that these are undecidable. In addition, we give conditions under which conformance and intersection are decidable.
登录
查看更多内容
原子半交换
影响因子：
1.1
作者：
M. Clerbout;D. Gonzalez
通讯作者：
D. Gonzalez
DOI：
10.1016/c2009-0-21176-7
发表时间：
1983
期刊：
--
影响因子：
--
作者：
M. Davies;R. Segal;E. Weyuker
通讯作者：
M. Davies;R. Segal;E. Weyuker
DOI：
--
发表时间：
2006
期刊：
International Conference on Formal Modeling and Analysis of Timed Systems
影响因子：
--
作者：
T. Henzinger;Vinayak S. Prabhu
通讯作者：
Vinayak S. Prabhu
检查流 X 机的实验
DOI：
10.1016/j.tcs.2010.05.014
发表时间：
2010
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
R. Hierons
通讯作者：
R. Hierons
影响因子：
1
作者：
M. Clerbout;M. Latteux
通讯作者：
M. Latteux