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

Authors:
Wen-Jer Wu;Wen-Huei Chen;Chuan Yi Tang
Affiliations:
Department of Computer Science, National Tsing-Hua University, Hsin-Chu 300, Taiwan, ROC;Department of Information Management, Ming Chuan University, Taipei, Taiwan, ROC;Department of Computer Science, National Tsing-Hua University, Hsin-Chu 300, Taiwan, ROC
Venue:
Computer Communications
Year:
1998

Citing 13
Cited 3

A protocol test generation procedure

Computer Networks and ISDN Systems
Computer networks

Computer networks
An improved protocol test generation procedure based on UIOS

SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
An optimization technique for protocol conformance testing using multiple UIO sequences

Information Processing Letters
The synchronization problem in protocol testing and its complexity

Information Processing Letters
Test Selection Based on Finite State Models

IEEE Transactions on Software Engineering
Formal methods for test sequence generation

Computer Communications
Synchronizable test sequences based on multiple UIO sequences

IEEE/ACM Transactions on Networking (TON)
Switching and Finite Automata Theory: Computer Science Series

Switching and Finite Automata Theory: Computer Science Series
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method

IEEE Transactions on Software Engineering
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
Testing Software Design Modeled by Finite-State Machines

IEEE Transactions on Software Engineering
Research: Synchronizable test sequence generation using UIO sequences

Computer Communications

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
Minimizing coordination channels in distributed testing

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Testing input/output partial order automata

TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems

Quantified Score

Hi-index	0.24

Visualization

Abstract

Testing if a multi-party protocol implementation conforms to the specification is achieved by a testing system with k testers (where k=2), among which synchronization problems are encountered. This paper proposes a new model for test sequence generation, which considers both the costs of input/output operations and external synchronization operations. The multiplex digraph model is transformed from a given finite state machine representation of the protocol (with n states, m transitions and k is considered as constant) using an O(m^2) algorithm, and can represent the testing process cost of an arbitrarily-configured testing system. Application of the model includes: (1) an O(m^2) algorithm for generating the minimum-cost synchronizable transfer sequence, improving an earlier exponential-time backtracking algorithm; (2) an O(m^2) algorithm for generating the synchronizable test sequence based on the T-method, improving an earlier exponential-time backtracking algorithm; (3) an O(n.m^2) algorithm for generating the synchronizable test sequence based on the overlapping U-method, which is an uninvestigated result even for k=2.