Abstract
This paper presents a method for generating interoperability test suites for the class of communication protocols such as the ATM/B-ISDN signaling protocol and TCP that are modeled as communicating nondeterministic finite-state machines. To our knowledge, no test generation method exists for protocol interoperability testing that supports multiple simultaneous inputs to the implementations. In other words, it has been assumed that communicating systems adhere to the single stimulus principle in generating test cases. In practice, however, there exists the possibility that additional messages will be sent to a machine while the previous message is still being processed, and/or simultaneous messages will be sent to several machines at the same time (e.g., TCP’s simultaneous open/close). To cope with these situations, we have developed an interoperability test suite derivation algorithm based on formal models. Experimental results show that our method is applicable to practical systems and can generate validation-equivalent interoperability test suites in terms of transition coverage.
Keywords
This work has been supported by KOSEF (No. 995-0900-007-2).
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35497-2_31
Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
ISO/IEC 9646–1, “Information Technology — OSI Conformance Testing Methodology and Framework. Part 1: General Concepts”, 1994.
Rafiq, O. and Castanet, R., “From Conformance Testing to Interoperability testing”, Proceedings of the 3rd International Workshop on Protocol Test System, 1990.
Arakawa, N., Phalippou, M., Risser, N. and Soneoka, T., “Combination of conformance and interoperability testing”, Formal Description Techniques, V (C-10) M. Diaz and R. Groz ( Eds. ), Elsevier Science Publishers, 1993.
Shin, J. and Kang, S., “Interoperability Test Suite Derivation for the ATMB-ISDN Signaling Protocol”, Testing of Communicating Systems, Vol 11, Kluwer Academic Publishers, pp. 313–330, 1998.
Vermeer, G. S. and Blik, H., “Interoperability Testing: Basis for the Acceptance of Communicating Systems”, Protocol Test System, VI, Elsevier Science Publishers, 1994.
Kang, S. and Kim, M., “Interoperability Test Suite Derivation for Symmetric Communication Protocols”, IFIP Joint International Conference on Formal Description Techniques (FORTE X) and Protocol Specification Testing and Verification (PSTV XVII), pp. 57–72, November 1997.
Seol, S., Kim, M., Kang, S. and Park, Y., “Interoperability Test Suite Derivation for the TCP protocol”, IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification Testing and Verification (PSTV X IX ), 1999.
Kang, S., Shin, J. and Kim, M., “Interoperability Test Suite Derivation for Communication Protocols”, Computer Networks, 2000.
Arakawa, N. and Soneoka, T., “A Test Case Generation Method for Concurrent Programs”, Protocol Test Systems, IV, Elsevier Science Publishers, 1992.
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, pp. 149–162, February 1994.
Lima Jr., L. Paula and Cavalli, A., A Pragmatic Approach to Generating Test Sequences for Embedded Systems, IWTCS, 1997.
ITU-T X.290 Series, Conformance Testing Methodology and Framework, 1994.
Telelogic SDT 3.2 Manuals“, Telelogic, September 1997.
The Tcpdump Group, “libpcap”, available at http://www.tcpdump.org.
Zafiropulo P., West C.H., Rudin H., Cowan D.D., and Brand D., “Towards Analyzing and Synthesizing Protocols (Computer Networks)”, IEEE Transactions on Communications, vol. 28, no. 4, pp. 651–661, April 1980.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Seol, S., Kim, M., Chanson, S.T. (2002). Interoperability Test Generation for Communication Protocols Based on Multiple Stimuli Principle. In: Schieferdecker, I., König, H., Wolisz, A. (eds) Testing of Communicating Systems XIV. IFIP — The International Federation for Information Processing, vol 82. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35497-2_11
Download citation
DOI: https://doi.org/10.1007/978-0-387-35497-2_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6705-6
Online ISBN: 978-0-387-35497-2
eBook Packages: Springer Book Archive