The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Error detection with multiple observers
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Towards Automatic Distribution of Testers for Distributed Conformance Testing
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
System Test Synthesis from UML Models of Distributed Software
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Factorized Test Generation for Multi-Input/Output Transition Systems
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Constructing checking sequences for distributed testing
Formal Aspects of Computing
Implementation Relations for the Distributed Test Architecture
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Controllable Test Cases for the Distributed Test Architecture
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Scenarios-Based Testing of Systems with Distributed Ports
QSIC '10 Proceedings of the 2010 10th International Conference on Quality Software
Scenarios-based testing of systems with distributed ports
Software—Practice & Experience
Global and local testing from Message Sequence Charts
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Testing with inputs and outputs in CSP
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |
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.