Synchronizable test sequences of finite state machines

Computer Networks

Volumn 30, Issue 12, 1998, Pages 1111-1134

  Tai, Kuo Chung ^a   Young, Yu Chiou ^a  

^a North Carolina State University   (United States)

Author keywords

Communication protocols; Finite state machines; Synchronizable test sequences; Test sequence generation

Indexed keywords

COMPUTER NETWORKS; DATA COMMUNICATION SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; NETWORK PROTOCOLS; SYNCHRONIZATION;

SYNCHRONIZABLE TEST SEQUENCES; TEST SEQUENCE GENERATION;

FINITE AUTOMATA;

EID: 0032117179     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0169-7552(98)00013-0     Document Type: Article

References (14)

1. G.J. Holzman, Design and Validation of Computer Protocols, Prentice-Hall, Englewood, NJ, 1991.
2. K. Tarnay, Protocol Specification and Testing, Plenum Press, New York, 1991.
3. B. Sarikaya, Principles of Protocol Engineering and Conformance Testing, Ellis Horwood, Chichester, 1993.
4. K.J., Turner (Ed.), Using Formal Description Techniques: An Introduction to ESTELLE, LOTOS, and SDL, Wiley, New York, 1993.
5. G. Andrews, Concurrent Programming: Principles and Practice, Benjamin Cummings, Redwood, CA, 1991.
6. B. Sarikaya, G.v. Bochmann, Synchronization and specification issues in protocol testing, IEEE Trans. Commun. 32 (4) (1984) 389-395.
7. K.C. Tai, Y.C. Young, Port-synchronizable test sequences for communication protocols, in: Proc. IFIP 8th Inter. Workshop on Protocol Test Systems, 1995, pp. 379-394.
8. S. Naito, M. Tsunoyama, Fault detection for sequential machines by transition tours, in: Proc. IEEE Fault Tolerant Computing Symp., 1981, pp. 238-243.
9. K. Sabnani, A. Dahbura, A protocol test generation procedure, Comput. Networks ISDN Systems 15 (4) (1988) 285-297.
10. W.H. Chen, C.S. Lu, L. Chen, J.T. Tang, Synchronizable protocol test generation via the duplex technique, in: Proc. IEEE INFOCOM '90, pp. 561-563.
11. S. Boyd, H. Ural, The synchronization problem in protocol testing and its complexity, Information Processing Lett. 40 (1991) 131-136.
12. H. Ural, Z. Wang, Synchronizable test sequence generation using UIO sequences, Comput. Commun. 16 (10) (1993) 653-661.
13. S. Guyot, H. Ural, Synchronizable checking sequences based on UIO sequences, in: Proc. IFIP 8th Inter. Workshop on Protocol Test Systems, 1995, pp. 395-407.
14. W.H. Chen, H. Ural, Synchronizable test sequences based on multiple UIO sequences, IEEE/ACM Trans. Network 3 (2) (1995) 152-157.