Abstract
This paper presents a pragmatic approach to the problem of the automatic generation of a test suite for a given system. It introduces the GAP tool, embedded in the HARPO toolkit, which is capable of generating TTCN test suites starting from a SDL specification of the system and test purposes written in MSC notation. In addition to this, GAP computes coverage measures for these tests, which represent an evaluation of their quality.
Chapter PDF
Similar content being viewed by others
References
CCITT Specification and Description Language (SDL). Rec. Z.100. The International Telegraph and Telephone Consultative Committee, 1988. Revised 1993 (SDL-92).
ITU-T. SDL Combined with ASN.1 (SDL/ASN.1). Rec Z.105. The International Telecommunications Union, 1995.
CCITT. Message Sequence Charts (MSC). Rec. Z.120. The International Telegraph and Telephone Consultative Committee, 1992.
ITU-T. Extensions of Basic Concepts for Z. 120. The International Telecommunications Union, Draft, December 1994.
ISO. Information Processing Systems - Open Systems Interconnection - Specification of Abstract Syntax Notation One (ASN.1). IS-8824. International Standards Organization, 1987. (See CCITT X. 208 ).
E. Algaba, C. F. Cano, J. I. Sanz, O. Valcarcel. HARPO: Herramientas Automaticas para la Realización de Pruebas OSI. Comunicaciones de Telefonica I+D, June 1994.
ISO. Information Processing Systems - Open Systems Interconnection - OSI Conformance Testing Methodology and Framework. IS-9646. International Standards Organization, 1989.
ISO. Information Processing Systems - Open Systems Interconnection - OSI Conformance Testing Methodology and Framework - Part 3: The Tree and Tabular Combined Notation. IS-9646–3. International Standards Organization, December 1991.
A. Ek, J. Ellsberger, A. Wiles. Experiences with computer aided test suite generation. Proceedings of IWPTS’93, Pau, September 1993.
J. R. Horgan, S. London, M. R. Lyu. Achieving Software Quality with Testing Coverage Measures. Computer, 27 (9): 60–69, September 1994.
A. R. Cavalli, B. Chin. Testing Methods for SDLSystems. Proceedings of the Seventh SDL Forum, Oslo, Norway, September 1995.
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
Pérez, E., Algaba, E., Monedero, M. (1997). A pragmatic approach to test generation. In: Kim, M., Kang, S., Hong, K. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35198-8_24
Download citation
DOI: https://doi.org/10.1007/978-0-387-35198-8_24
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6701-8
Online ISBN: 978-0-387-35198-8
eBook Packages: Springer Book Archive