Synchronizable test sequence for multi-party protocol conformance testing

Computer Communications

Volumn 21, Issue 13, 1998, Pages 1177-1183

  Wu, Wen Jer ^a   Chen, Wen Huei ^b   Tang, Chuan Yi ^a  

^a NATIONAL TSING HUA UNIVERSITY   (Taiwan)

^b MING CHUAN UNIVERSITY   (Taiwan)

Author keywords

Conformance testing; Multi party protocol; Multiplex digraph; Protocol; Synchronizable test sequence

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; DATA COMMUNICATION SYSTEMS; FINITE AUTOMATA; GRAPH THEORY; MATHEMATICAL MODELS; SEQUENTIAL MACHINES; SYNCHRONIZATION;

EXPONENTIAL-TIME BACKTRACKING ALGORITHMS; MINIMUM-COST SYNCHRONIZABLE TRANSFER SEQUENCES; MULTIPARTY PROTOCOL CONFORMANCE TESTING;

NETWORK PROTOCOLS;

EID: 0032163102     PISSN: 01403664     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0140-3664(98)00178-9     Document Type: Article

References (26)

1. D. Rayner, OSI conformance testing, Computer Networks and ISDN Systems 14 (1987) 79-98.
2. B. Sarikaya, G. von Bochmann, Synchronization and specification issues in protocol testing, IEEE Trans. on Communications Com-32 (4) (1984) 389-395.
3. S.T. Chanson, S.T. Vuong, H. Dany, The ferry clip approach to multi-party testing, in: Proc. IFIP, 3rd Int. Workshop on Protocol Test Systems, McLean, VA, October 1990.
4. G. von Bochmann, C.A. Sunshine, A survey of formal methods, in: P.E. Green (Ed.), Computer Networks and Protocols, Plenum Press, New York, 1983, pp. 561-578.
5. H. Ural, Formal methods for test sequence generation, Computer Communications 15 (5) (1992) 311-325.
6. T.S. Chow, Testing design modeled by finite state machines, IEEE Trans. on Software Engineering 4 (1989) 178-186.
7. S. Fujiwara, G. von Bochmann, F. Khendek, M. Amalou, A. Ghedamsi, Test selection based on finite state models, IEEE Trans. on Sofware Engineering 17 (6) (1991) 591-603.
8. S. Naito, M. Tsunoyama, Fault detection for sequential machines by transition tours, in: Proc. of 11th IEEE Fault Tolerant Computing Symposium, 1981.
9. K.K. Sabnani, A.T. Dahbura, A protocol test generation procedure, Computer Networks and ISDN Systems 15 (1988) 285-297.
10. M.U. Uyar, A.T. Dahbura, Optimal test sequence generation for protocols: the Chinese postman algorithm applied to Q.931, Proc. IEEE GLOBALCOM, 1987.
11. A.V. Aho, A.T. Dahbura, D. Lee, M.U. Uyar, An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours, IEEE Trans. on Communications 39 (11) (1991) 1604-1615.
12. W.H. Chen, C.S. Lu, E.R. Brozovsky, J.T. Wang, An optimization technique for protocol conformance testing using multiple UIO sequences, Information Processing Letters 36 (1) (1990) 7-11.
13. W.H. Chen, H. Ural, Synchronizable test sequence based on multiple UIO sequence, IEEE/ACM Trans. on Networking 3 (2) (1995).
14. A.S. Tanenbaum, Computer Networks, 2nd ed., Prentice-Hall, Englewood Cliffs, NJ, 1988.
15. R.E. Miller, S. Paul, Generating minimal length test sequences for conformance testing of communication protocols, Proc. IEEE INFOCOM April (1991) 970-979.
16. D. Rayner (Ed.), OSI conformance testing methodology and framework - part 1-5, ISO TC97/SC21, ISO 2nd DP9646-1 revised text, Vancouver, December 1987.
17. S. Guyot, H. Ural, Synchronizable checking sequences based on UIO sequences, in: Proc. IFIP, Int. IFIP Workshop on Protocol Test Systems, 1995, pp. 385-397.
18. H. Ural, Z. Wang, Synchronizable test sequences generation using UIO sequences, Computer Communications 16 (1993) 653-661.
19. S.R. Berkhout, M.F. Witteman, Application of multi-party conformance test methods to the GSM mobile network system, in: Proc. of IFIP, 3rd Int. Workshop on Protocol Test Systems, McLean, VA, October 1990.
20. K.C. Tai, Y.C. Young, Port-synchronizable test sequences for communication protocols, in: Proc. IFIP, Int. IFIP Workshop on Protocol Test Systems, 1995, pp. 369-384.
21. G. Luo, R. Dssouli, G. von Bochmann, P. Venkataram, A. Ghedamsi, Generating synchronizable test sequences based on finite state machine with distributed ports, in: Proc. IFIP, 6th Int. IFIP Workshop on Protocol Test Systems, 1993.
22. A. Gibbons, Algorithmic Graph Theory, Cambridge University Press, Cambridge, 1985.
23. W.Y.L. Chan, S.T. Vuong, M.R. Ito, An improved protocol test generation procedure based on UIOs, in: Proc. ACM SIGCOMM, 1989, pp. 283-294.
24. G. Luo, G. von Bochmann, A. Petrenko, Test selection based on communicating nondeterministic finite-state machines using a generalized wp-method, IEEE Trans. on Software Engineering 20 (2) (1994) 149-162.
25. Z. Kohavi, Switching and Finite Automata Theory, McGraw-Hill, New York, 1978.
26. S.C. Boyd, H. Ural, The synchronization problem in protocol conformance testing, Information Processing Letters 40 (1991) 131-136.