Abstract
This study addresses the synchronization problem that arises during the application of a predetermined checking sequence in some protocol test architectures that utilize remote testers. The synchronization problem can usually be solved by adding an additional communication channel or an additional protocol for coordination between the remote testers. Such requirements can be eliminated by constructing a synchronizable checking sequence such that the corresponding sequence of transitions causes no synchronization problem. Based on UIO sequences, a synchronizable checking sequence construction method is proposed.
Chapter PDF
Similar content being viewed by others
References
Aho, A.V., Dahbura, A.T., Lee, D. and Uyar, M.U. (1991) An optimization technique for protocol conformance test sequence generation based on UIO sequences and rural Chinese postman tours. IEEE Trans. Comm., 39, 1604–1615.
Chan, W.Y.L., Vuong, S.T. and Ito, M.R. (1989) An improved protocol test generation procedure based on UIOS. in: Proc. SIGCOMM’89, 283–294.
Chen, W.H. and Ural, H. (1995) Minimum-cost synchronizable test sequences based on multiple UIOs. IEEE/ACM Trans. Networking, 3, 152–157.
Dahbura, A.T., Sabnani, K.K. and Uyar, M.U. (1990) Formal methods for generating protocol conformance test sequences. Proc of IEEE, 78, 1317–1325.
Gill, A. (1962)Introduction to the Theory of Finite-State Machines. McGraw-Hill, New York,. Hennie, F.C. (1964) Fault detecting experiments for sequential circuits. in: Proc. Fifth Ann. Symp. Switching Circuit Theory and Logical Design,95–110.
ISO TC97/SC21, (1987) OSI conformance testing methodology and framework - Part 1–5, ISO 2nd and DP 9646–1 revised text (edited by D. Rayner), Vancouver, Canada
Lee, D. and Yannakakis, M. (1994) Testing finite state machines: state identification and verification. IEEE Trans. Comput., 43, 306–320.
Perez, M.E. (1993) Correctly-ordered Postman Tours and Synchronizable Test sequence generation for protocol conformance testing. Master thesis, Dept. of CSI, Univ. of Ottawa.
Rayner, D. (1987) OSI conformance testing. Comput. Networks ISDN Systems., 14, 79–98.
Rezaki, A., Ural, H. and White, G. (1994) Construction of checking sequences based on UIO sequences. Proc. of ISCIS’94, 315–326.
Sabnani, K.K. and Dahbura, A.T. (1988) A protocol test generation procedure. Comput. Networks ISDN Systems., 15, 285–297.
Sarikaya, B. and Bochmann, G.v. (1984) Synchronization and specification issues in protocol testing. IEEE Trans. Comm., 32, 389–395.
Tai, K.C. and Young, Y.C. (1995) Port-synchronizable test sequences for communications protocols. in this proceedings.
Ural, H. and Wang, Z. (1993) Synchronizable test sequence generation using UIO sequences. Comput. Comm., 16, 653–661.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Guyot, S., Ural, H. (1996). Synchronizable Checking Sequences Based on UIO Sequences. In: Cavalli, A., Budkowski, S. (eds) Protocol Test Systems VIII. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34988-6_25
Download citation
DOI: https://doi.org/10.1007/978-0-387-34988-6_25
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6312-6
Online ISBN: 978-0-387-34988-6
eBook Packages: Springer Book Archive