Conformance Relations for Distributed Testing Based on CSP
Conformance Relations for Distributed Testing Based on CSP
复制标题
基于CSP的分布式测试一致性关系
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
R. Hierons
中科院分区：
文献类型：
--
作者：
Ana Cavalcanti;M. Gaudel;R. Hierons
CSP是一种成熟的进程代数，为基于精化的系统设计和验证提供了全面的理论和实践支持。最近，CSP的测试理论也被提出。在本文中，我们探讨了从CSP规范的测试时，观察到的一组分布式测试人员的问题。我们建立在以前的工作上的输入输出转换系统，但使用CSP导致显着的差异，因为它的一些一致性（细化）关系考虑故障以及痕迹。此外，我们允许多个测试人员观察事件。我们展示了如何CSP概念的细化可以适应分布式测试。我们考虑两种情况：当测试人员是完全独立的，当他们可以合作。最后，我们给出了一些初步的测试用例生成和使用的协调消息。
CSP is a well established process algebra that provides comprehensive theoretical and practical support for refinement-based design and verification of systems. Recently, a testing theory for CSP has also been presented. In this paper, we explore the problem of testing from a CSP specification when observations are made by a set of distributed testers. We build on previous work on input-output transition systems, but the use of CSP leads to significant differences, since some of its conformance (refinement) relations consider failures as well as traces. In addition, we allow events to be observed by more than one tester. We show how the CSP notions of refinement can be adapted to distributed testing. We consider two contexts: when the testers are entirely independent and when they can cooperate. Finally, we give some preliminary results on test-case generation and the use of coordination messages.