Abstract
This paper presents an overview of the work we have developed at INT on different approaches to protocol and service testing. It is related to performing tests of communication protocols and telecommunication services based on techniques, such as, active test generation, passive testing, embedded testing and test execution.
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-35567-2_25
Chapter PDF
Similar content being viewed by others
References
A. Aho, A. Dabhura, D. Lee, and U. Uyar. An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours. In S. Aggarwal and K. Sabnani, editors, PSTV’88, pages 75–86, North Holland, 1988.
A. Aho, R. Sethi, and J. Ulman. Compilers, Principles, Techniques and Tools. Addison-Wesley Publishing Company, 1986.
R. Anido, A. Cavalli, L. Paula Lima, M. Clatin, and M. Phalippou. Engendrer des tests pour un vrai protocole grâce à des techniques éprouvées de vérification. In Proceedings of CFIP’96, Rabat, Marocco, 14–17 October 1996.
C. Besse, A. Cavalli, and David Lee. Optimization techniques and automatic test generation for TCP/IP protocols. Research Report RR 99. 06, INT, France, March 1999.
A. Cavalli, B. M. Chin, and K. Chon. Testing methods for SDL systems. In Computer Networks and ISDN Systems, volume 28, pages 1669–1683, 1996.
A. Cavalli, J. P. Favreau, and Marc Phalippou. Standardization of formal methods in conformance testing of communication protocols. In Computer Networks and ISDN Systems, volume 29, pages 3–14, December 1996.
A. Cavalli, S. Kim, and P. Maigron. Automated protocol conformance test generation based on formal methods for LOTOS specifications. In IWPTS’92, Montreal, Canada, September 1992. Elsevier Science Publishers.
A. Cavalli, S. Kim, and P. Maigron. Improving conformance testing for LOTOS. In FORTE’93, Boston, USA, October 1993.
A. Cavalli, B. Lee, and T. Macavei. Test generation for the SSCOP-ATM networks protocol. In SDL Forum’97, France, September 1997.
A. Cavalli, David Lee, Christian Rinderknecht, and F. Zaïdi. Hit-or-jump: An Algorithm For Embedded Testing With Applications To IN Services. Research Report RR 99. 05, INT, France, March 1999.
M. S. Chen, Y. Choi, and A. Kershenbaum. Approaches utilizing segment overlap to minimize test sequences. In PSTV’90, pages 67–84, Canada, June 1990.
David. Lee et al. Passive testing and applications to network management. In ICNP’97 International Conference on Network Protocols, Atlanta, Georgia, 28–31 October 1997.
M. A. Fecko, U. Uyar, A. S. Sethi, and P. Amer. Issues in conformance testing: Multiple semicontrollable interfaces. In Proceedings of FORTE’97, Paris, France, November 1998.
T. Higashino, Nakata, K. Taniguchi, and A. Cavalli. Generating test cases for a timed I/O automaton model. In Proceedings of the 12th IWTCS, Budapest, Hungary, September 1999.
D. Hogrefe. Osi formal specification case study: the inres protocol and service, revised. Technical report, Institut für Informatik Universität Bern, may 1992.
International ISO/IEC multipart standard. ISO/IEC 9646 Information Technology - OSI - Conformance Testing Methodology and Framework., 1994.
International Standard 10746–2/ITU-T Recommendation X.902. Open distributed Processing - Reference Model - Part 2: Foundations.
IONA Technologies Ltd. Orbix 2 Programming Guide, November 1995. Pl
M. lonescu and A. Cavalli. Test imbriqué du protocole MAP-GSM. In Proceedings of CFIP ‘89, Nancy, France, 26–29 April 1999.
ITU-T, Geneva. CCITT Specification and Description Language, CCITT Z.100, International Consultative Committee on Telegraphy and Telephony, 1992.
ITU-T Rec. Z.120, Geneva. Message Sequence Chart (MSC), 1996.
ITU-T Recommendation X.903. ISO/ITU-T - Open Distributed Processing - Reference Model - Part 3: Architecture - International Standard 10746–3, 1995.
D. Lee, K. Sabnani, D. Kristol, and S. Paul. Conformance testing of protocols specified as communicating finite state machines - a guided random walk based approach. In IEEE Transactions on Communications, volume 44, No. 5, May 1996.
L. P. Lima and A. Cavalli. An embedded testing approach. In Proceedings of EUNICE Summer School, Lausanne, Switzerland, 23–27 June 1996.
L. P. Lima and A. Cavalli. Test execution of telecommunication service using CORBA. In Proceedings FMOODS’97, pages 409–422, Canterbury, United Kingdom, 21–23 July 1997.
L. P. Lima and A. R. Cavalli. A pragmatic approach to generating test sequences for embedded systems. In Proceedings of the 10th IWTCS, pages 125–140, 1997.
L. P. Lima and A. R. Cavalli. Application of embedded testing methods to service validation. In 2nd IEEE Intern. Conf. On Formal Engineering methods, Brisbane, Australia, 1998.
Luiz P. Lima. Une Méthode Pragmatique de Génération de Séquences de Test pour les SystLmes Imbriqués. PhD thesis, Université d’Évey, France, November 1998.
A. Petrenko and N. Yevtushenko. Testing faults in embedded components. In Proceedings of IWTCS’97, Cheju Island, Korea, September 1997.
A. Petrenko, N. Yevtushenko, and G. V. Bochmann. Fault models for testing in context. In Proceeding of FORTE, Kaiserslatern, Germany, October 1996.
Charles L. Seitz. An Approach to designing checking experiments based on a dynamic model. Z. Kohavi and A. Paz ED. Academic Press, 1972.
D. P. Sidhu and T. K. Leung. Formal methods for protocol testinf: a detailed study. In IEEE Transaction on Software Engineering, volume 15, No. 4, April 1989.
M. Tabourier and A. Cavalli. Passive testing and application to the GSM-MAP protocol. Journal of Information and Sotware Technology, Elsevier Science; December 1999.
Verilog, France. Geode Editor - Reference Manual, 1996.
N. Yevtushenko, A. R. Cavalli, and R. Anido. Test suite minimization for embedded nondeterministic finite state machines. In Proceedings of the 12th IWTCS,Budapest, Hungary, September 1999..
N. Yevtushenko, A. R. Cavalli, and L. P. Lima. Test suite minimization for testing in context. In IWTCS’98, Tomsk, Russia, August 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Cavalli, A. (1999). Different Approaches to Protocol and Service Testing. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing, vol 21. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35567-2_1
Download citation
DOI: https://doi.org/10.1007/978-0-387-35567-2_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6699-8
Online ISBN: 978-0-387-35567-2
eBook Packages: Springer Book Archive