A protocol test generation procedure
Computer Networks and ISDN Systems
Protocol conformance test generation using multiple UIO sequences with overlapping
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
The synchronization problem in protocol testing and its complexity
Information Processing Letters
Test generation with respect to distributed interfaces
Computer Standards & Interfaces
Synchronizable test sequences based on multiple UIO sequences
IEEE/ACM Transactions on Networking (TON)
Computer networks (3rd ed.)
On Minimizing the Lengths of Checking Sequences
IEEE Transactions on Computers
An efficient finite-state machine implementation of Huffman decoders
Information Processing Letters
Synchronizable test sequences of finite state machines
Computer Networks and ISDN Systems
Design and Implementation of a Ferry Clip Test System
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Observation Inaccuracy in Conformance Testing with Multiple Testers
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Distributed testing without encountering controllability and observability problems
Information Processing Letters
Constructing checking sequences for distributed testing
Formal Aspects of Computing
Fault detecting experiments for sequential circuits
SWCT '64 Proceedings of the 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design
Overcoming observability problems in distributed test architectures
Information Processing Letters
Generating checking sequences for a distributed test architecture
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Resolving observability problems in distributed test architectures
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Hi-index | 0.00 |
The introduction of multiple remote testers to apply a test or checking sequence introduces the possibility of controllability and observability problems. These problems can require the use of external coordination message exchanges among testers. It is desirable to construct a test or checking sequence from the specification of the system under test such that it is free from these problems without requiring the use of external coordination messages. Here we define criteria on the specification of the system under test for this to be possible. For specifications satisfying the criteria, algorithms for constructing subsequences that eliminate the need for external coordination messages are given.