Abstract
Communication protocols are commonly designed in such a way that implementations of the same protocol can be used as peers for communication. Such a protocol is said to be symmetric. When two or more entities are employed to perform a certain task as in the case of communication protocols, the capability to do so is called interoperability and considered as the essential aspect of correctness of communicating systems. This paper deals with the problem of deriving interoperability test suite for control part of symmetric protocols. A new approach to efficient interoperability testing is described with justifications and the method of interoperability test suite derivation is shown with the example of the ATM Signaling protocol.
Chapter PDF
Similar content being viewed by others
References
Elsevier Science Publishers B. V. (North-Holland), 1993.
Arakawa, N. and Soneoka, T., “A Test Case Generation Method for Concurrent Programs”, Protocol Test Systems, IV, J. Kroon, R. J. Heijink and E. Brinksma (Eds.), Elsevier Science Publishers B. V. ( North-Holland ), 1992.
AF UNI] ATM Forum, ATM User-Network Interface Specification, Version 3.1,1994.
AF PNNI] ATM Forum, ATM Forum PNNI Draft Specification,1996.
AF Sig U-ATS] ATM Forum, “ATM Forum 96–0979: ATS for the UNI3.1 Signaling - User Side”, 1996.
AF Sig N-ATS] ATM Forum, “ATM Forum 95–1145R1: ATS for the UNI3.1 Signaling - Network Side (Part I)”, 1996.
Bonnes, G., “IBM OSI Interoperability Verification Services”, IFIP TC6/WG6.1 The 3rd International Workshop on Protocol Test Systems, 1990.
Brinksma, E., “A Theory for the Derivation of Tests”, Protocol Specification, Testing and Verification, VIII, S. Aggarwal, K. Sabnani (eds.), North-Holland, Amsterdam, pp. 63–74. 1988.
Castanet, R. and Kone, O., “Deriving Coordinated Testers for Interoperability”, Protocol Test Systems, VI(C-19), O. Rafig(Ed.), Elsevier Science B. V. ( North-Holland ), IFIP, 1994.
Chow, T. S., “Testing Software Design Modeled by Finite-State Machines”, IEEE Trans. on SE, Vol. SE-4, No. 3, May 1978.
ETSI 96] ETSI, Making Better Standards: Practical Ways to Greater Efficiency and Success,ETSI MTS, 1996.
Gadre, J., Rohre, C., Summers, C., and Symington, S., “A COS Study of OSI Interoperability”, Computer Standards and Interfaces, Vol. 9, No. 3, pp 217–237, 1990.
ISO 95] ISO/IEC 9646–3, “Information Technology - OSI Conformance testing methodology and framework - Part 3: The Tree and Tabular Combined Notation (TTCN)”, 1995
ITU-T Q.2931] ITU-T, “ITU-T draft Recommendation Q.2931: B-ISDN User-Network Interface Layer 3 Specification for Basic Call/Bearer Control”, 1994.
ITU-T Q.931bis] ITU-T, “ITU-T Rec. Q.93 ibis: Abstract Test Suite for Basic Call Control Conformance Testing”, 1994.
Kang, S., Kim, M., Cypher, D., and Su, D., “A Proposal for ATM Signaling Protocols Interoperability Test Suite Development”, ATM Forum/960167, February 1996.
Kang, S., and Cypher, D., “Test Case Skeletons for Interoperability Testing of ATM Signaling Network-Side Protocols”, ATM Forum/96–0336r2, Baltimore, August 1996.
Kang, S., and Kim, M., “Test Sequence Generation for Adaptive Interoperability Testing”, IFIP TC6/WG6.1 The 8th International Workshop on Protocol Test Systems, Evry, France, September 1995.
Luo, G., Bochmann G. and Petrenko, A., “Test Selection Based on communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method”, IEEE Transactions on S.E., Vol 20, No. 2, February 1994.
Rafiq, O. and Castanet, R., “From Conformance Testing to Interoperability Testing”, The 3rd International Workshop on Protocol Test Systems, 1990.
Sidhu, D. P., “Protocol Testing: The First Ten Years, The Next Ten Years”, Protocol Specification, Testing and Verification, X, L. Logrippo, R. R. Probert & H. Ural (Eds.), Elsevier Science Publishers B. V. ( North-Holland ), 1990.
Vermeer, G.S., and Blik, H., “Interoperability Testing: Basis for the Acceptance of Communication Systems”, Protocol Test Systems, VI (C-19), Elsevier Science Publishers B. V. (North-Holland), 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Kang, S., Kim, M. (1997). Interoperability Test Suite Derivation for Symmetric Communication Protocols. In: Mizuno, T., Shiratori, N., Higashino, T., Togashi, A. (eds) Formal Description Techniques and Protocol Specification, Testing and Verification. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35271-8_4
Download citation
DOI: https://doi.org/10.1007/978-0-387-35271-8_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5260-1
Online ISBN: 978-0-387-35271-8
eBook Packages: Springer Book Archive