Implementation relations and test generation for systems with distributed interfaces
Implementation relations and test generation for systems with distributed interfaces
复制标题
具有分布式接口的系统的实现关系和测试生成
DOI：
10.1007/s00446-011-0149-1
复制
发表时间：
2011
影响因子：
1.3
通讯作者：
Hierons R
中科院分区：
文献类型：
--
作者：
Hierons R
一些系统在物理上分布的接口（称为端口）与环境交互，我们分别观察每个端口的输入和输出序列。因此，我们无法重建发生的全局序列，这降低了我们在测试或使用中区分不同系统的能力。在本文中，我们探讨了具有多个端口的输入输出转换系统的一致性概念，并将广泛使用的dio实现关系适应于这种情况。我们考虑两种不同的情况。在第一种情况下，不同端口的代理是完全独立的。或者，它可能是可行的，一些外部代理接收来自系统端口的多个代理的信息，这些本地行为可能被汇集在一起，这里我们需要一个更强的实现关系。我们定义这些方案的实施关系，并证明在单端口系统的情况下，新的实施关系是等价的toioco。此外，我们定义了什么是测试用例是可控的，并给出了一个算法，决定这个条件是否成立。我们给出了一个测试生成算法，以产生声音和完整的测试套件。最后，我们研究了两个实现关系来处理部分指定的系统。
Some systems interact with their environment at physically distributed interfaces called ports and we separately observe sequences of inputs and outputs at each port. As a result we cannot reconstruct the global sequence that occurred and this reduces our ability to distinguish different systems in testing or in use. In this paper we explore notions of conformance for an input output transition system that has multiple ports, adapting the widely usediocoimplementation relation to this situation. We consider two different scenarios. In the first scenario the agents at the different ports are entirely independent. Alternatively, it may be feasible for some external agent to receive information from more than one of the agents at the ports of the system, these local behaviours potentially being brought together and here we require a stronger implementation relation. We define implementation relations for these scenarios and prove that in the case of a single-port system the new implementation relations are equivalent toioco. In addition, we define what it means for a test case to be controllable and give an algorithm that decides whether this condition holds. We give a test generation algorithm to produce sound and complete test suites. Finally, we study two implementation relations to deal with partially specified systems.
登录
查看更多内容
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
用于多方协议一致性测试的可同步测试序列
影响因子：
6
作者：
Wen;Wen;C. Tang
通讯作者：
C. Tang
计算机辅助增量协议测试序列生成：生产系统、方法
DOI：
--
发表时间：
1991
期刊：
[1991 Proceedings] Tenth Annual International Phoenix Conference on Computers and Communications
影响因子：
--
作者：
C.;Y.;M.T. Liu
通讯作者：
M.T. Liu
故障模型驱动的测试从有限状态模型推导：带注释的参考书目
DOI：
--
发表时间：
2000
期刊：
Modeling and Verification of Parallel Processes
影响因子：
--
作者：
A. Petrenko
通讯作者：
A. Petrenko