Abstract
While protocol conformance testing methodology is a well formalized field, radio testing methodology still relies on natural language specifications. This paper proposes an improvement on the quality of radio test specifications via the use of formal notation TTCN. This approach, and the fact that protocol and radio conformance testing share most of the underlying concepts, enables the use of a generic architecture for implementations of both types of testers, resulting in a reduction of the development efforts. This architecture has been validated with the implementation of radio test cases for the UMTS technology.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Tretmans, J.: An Overview of OSI Conformance Testing, Formal Methods & Tools group. University of Twente, 2001. Translated and adapted from: Tretmans, J., van de Lagemaat, J., Conformance Testen. In: Handboek Telematica, vol. II, pages 4400, pp. 1–19. Samson (2001)
Kegley, K., Stavridou, V.: The Role of Formal Methods in Software Standards. In: Fourth IEEE International Symposium and Forum on Software Engineering Standards (1999)
Poncela, J., Sánchez, R., Tapia, P., Ferrer, R., Entrambasaguas, J.T.: Testbed Development for Communication Systems using Formal Languages. In: 2nd Workshop on SDL and MSC, Grenoble (June 26-28, 2000)
ITU-T X.290-X.296: OSI Conformance Testing Methodology and Framework for Protocol Recommendations for ITU-T Applications (1998)
ETSI ES 201 873: Methods for Testing and Specification (MTS): The Testing and Test Control Notation version 3, v 3.2.1 (2007)
ETR 021: Advanced Testing Methods (ATM): Tutorial on protocol conformance testing (1991)
IEEE Std. 488.1: IEEE Standard for Higher Performance Protocol for the Standard Digital Interface for Programmable Instrumentation (2003)
Baños, J.: Testing of Bluetooth Products in the Industrial Environment, IECON (2002)
3rd Generation Partnership Project: http://www.3gpp.org/specs/specs.htm
3GPP TS 34.121: 3rd Generation Partnership Project; Technical Specification Group Terminals; Terminal Conformance Specification: Radio transmission and reception (FDD)
3GPP TS 34.108: 3rd Generation Partnership Project; Technical Specification Group Terminals; Common Test Environments for User Equipment (UE) Conformance Testing
3GPP TS 34.108: Universal Mobile Telecommunications System (UMTS): Terminal logical test interface; Special conformance testing functions
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Poncela-González, J., Gómez-Salvador, J., Valero-Roldán, C., Fernández-Plazaola, U. (2007). Using TTCN for Radio Conformance Test Systems. In: Gaudin, E., Najm, E., Reed, R. (eds) SDL 2007: Design for Dependable Systems. SDL 2007. Lecture Notes in Computer Science, vol 4745. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74984-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-74984-4_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74983-7
Online ISBN: 978-3-540-74984-4
eBook Packages: Computer ScienceComputer Science (R0)