Research: Synchronizable test sequence generation using UIO sequences

Authors:
Hasan Ural;Zhiping Wang
Affiliations:
Department of Computer Science, University of Ottawa, Ottawa, Ontario K1N 6N5, Canada;Department of Computer Science, University of Ottawa, Ottawa, Ontario K1N 6N5, Canada
Venue:
Computer Communications
Year:
1993

Citing 8
Cited 3

Data structures and network algorithms

Data structures and network algorithms
A protocol test generation procedure

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

IEEE Transactions on Software Engineering
The synchronization problem in protocol testing and its complexity

Information Processing Letters
Protocol Conformance Testing Using Multiple UIO Sequences

Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
Graph Theory With Applications

Graph Theory With Applications
A Method for the Design of Fault Detection Experiments

IEEE Transactions on Computers
Testing Software Design Modeled by Finite-State Machines

IEEE Transactions on Software Engineering

Using status messages in the distributed test architecture

Information and Software Technology
Canonical finite state machines for distributed systems

Theoretical Computer Science
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.25

Visualization

Abstract

This study addresses the synchronization problem that arises during the application of a predetermined test sequence in some protocol test architectures that utilize remote testers. This problem can usually be solved by coordinating the actions of the remote testers using a test management protocol, a ferry protocol with inter-process communication, or a telephone/terminal connection. However, these solutions either require an additional communication channel or an additional protocol for coordination between the testers. Such requirements can be eliminated by constructing a synchronizable test sequence such that the corresponding sequence of transitions causes no synchronization problem. A heuristic we develop in this study constructs a synchronizable test sequence from a given strongly biconnected digraph representing a deterministic and minimal FSM using synchronizable UIO sequences for each state of the given FSM.