Synchronizable test sequences based on multiple UIO sequences

Authors:
Wen-Huei Chen;Hasan Ural
Affiliations:
Department of Information Management, Ming Chuan College, Taipei, Taiwan, R.O.C.;Department of Computer Science, University of Ottawa, Ottawa, Ont., KIN 6N5, Canada
Venue:
IEEE/ACM Transactions on Networking (TON)
Year:
1995

Citing 7
Cited 16

OSI conformance testing

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
A protocol test generation procedure

Computer Networks and ISDN Systems
Formal Methods for Protocol Testing: A Detailed Study

IEEE Transactions on Software Engineering
An optimization technique for protocol conformance testing using multiple UIO sequences

Information Processing Letters
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
Formal methods for test sequence generation

Computer Communications

Distributed testing without encountering controllability and observability problems

Information Processing Letters
A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple UIO sequences

Proceedings of the 2006 ACM symposium on Applied computing
Action synchronization in P2P system testing

DaMaP '08 Proceedings of the 2008 international workshop on Data management in peer-to-peer systems
Testing Architectures for Large Scale Systems

High Performance Computing for Computational Science - VECPAR 2008
Overcoming controllability problems with fewest channels between testers

Computer Networks: The International Journal of Computer and Telecommunications Networking
Using status messages in the distributed test architecture

Information and Software Technology
Canonical finite state machines for distributed systems

Theoretical Computer Science
Generating checking sequences for a distributed test architecture

TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Testing in the distributed test architecture

Formal methods and testing
Testing peer-to-peer systems

Empirical Software Engineering
Efficient distributed test architectures for large-scale systems

ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Reaching and Distinguishing States of Distributed Systems

SIAM Journal on Computing
Detecting observability problems in distributed testing

TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 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
Research: Improving the UIOv-method for protocol conformance testing

Computer Communications
Research note: Synchronizable test sequence for multi-party protocol conformance testing1Part of this paper was presented as `Synchronizable test sequence generation based on the multiplex digraph for multi-party protocol conformance testing', at the 10th International Conference on Information Networking, Kyang-Ju, Korea, 1996.1

Computer Communications

Quantified Score

Hi-index	0.01

Visualization

Abstract