Abstract
We describe an automated, flexible testing environment for UMTS systems which are specified and developed with SDL. For testing these systems, we use a testing tool which generates black box tests from a formal specification of the desired properties. Since the requirements are subject to considerable change at any time, it is important to guarantee consistency between the interfaces of the test specification and the system under test. Therefore, we defined rules for the modularization of the requirements according to functional properties. Furthermore, we devised and implemented a generator tool which automatically produces all necessary interface code. This is a first step towards a general configuration utility for the automatic creation of runtime interfaces and adapters. We report on testing results and experiences with our setup.
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
Chapter PDF
Similar content being viewed by others
Keywords
References
rd Generation Partnership Project. http://www.3gpp.org.
J. Ellsberger, D. Hogrefe, and A. Sarma: SDL — Formal Object-oriented Language for Communicating Systems. Prentice-Hall 1997.
A. W. Roscoe: The Theory and Practice of Concurrency. Prentice-Hall 1997.
J. Bredereke and B.-H. Schlingloff: Specification Based Testing of the UMTS Protocol Stack; in: Proc. 14th Int. Software hi Internet Quality Week (QW2001), San Francisco (May 2001).
J. Grabowski, A. Wiles, C. Willcock, and D. Hogrefe: On the design of the new testing language TTCN-3. In: H. Ural, R. L. Probert, and G. v. Bochmann, Testing of Communicating Systems - Tools and Techniques, vol. 176 of IFIP Conf. Kluwer Academic Publishers (Aug. 2000).
Verified Systems International GmbH. http://www.verified.de
Jan Peleska: Formal Methods and the Development of Dependable Systems. Habilitation thesis, Report No. 9612, Christian-Albrechts-Universität Kiel, and UniForM project, Technical Report 9601, Universität Bremen, Germany Dec. 1996.
Srd Generation Partnership Project, 3GPP TS 25.322 V4.0.0. RLC protocol specification (Mar. 2001).
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
Bredereke, J., Schlingloff, BH. (2002). An Automated, Flexible Testing Environment for UMTS. 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_6
Download citation
DOI: https://doi.org/10.1007/978-0-387-35497-2_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6705-6
Online ISBN: 978-0-387-35497-2
eBook Packages: Springer Book Archive