Abstract
Mandatory verification of the correct operation of equipment in public environments will increase the complexity of test equipment due to the high number of new vendors in the foreseen scenarios. Protocol and radio conformance tests are usually thought to be two separated fields, which makes that the test system design process is different for both cases. However, the only lack of radio test cases is the formalization of tests using a formal test notation. In this paper, it is shown how the design process can be merged for both protocol and radio test systems by modelling radio tests in TTCN. In this case, the same architecture and development tools can be used in the whole testing process, and a reduction of costs and time can be achieved. Abstraction of the instrumentation equipment and standardization of a control interface are required.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
3GPP, TS 34.121 (2003). 3rd Generation partnership project; Technical specification group terminals; Terminal conformance specification; Radio transmission and reception (FDD), v3.14.0.
Baños, J. (2002). Testing of bluetooth products in the industrial environment. In 28th Annual conference of the IEEE Industrial Electronics Society (IECON), Sevilla (España), 5–8 November.
Bluetooth Qualification Tester (BITE). (2003). AT4 wireless, from http://www.at4wireless.com/web_esp/sistemas/soluciones_ensayo/bite.
Bush M., Rasmussen K., Wong F. (1990) Conformance testing methodologies for OSI protocols. AT and T Technical Journal 69(1): 84–100
De Lapeyre F. J., Woolaard K. C., Yvergnaux S. (1988) The use of an ISO formal technique for conformance test specifications. BT Telecom Technology Journal 6(1): 23–30
ETSI, ES 201 873 (2003–2007). Methods for testing and specification (MTS); The testing and test control notation version 3, pp. v1.1.1–v3.2.1.
ETSI, Comité ETSI (2004). Methods for testing and specification, from http://portal.etsi.org/portal_common/home.asp?tbkey1=MTS.
ETSI, Test specifications, from http://portal.etsi.org/mbs/Testing/conformance/conformance.asp.
Gómez, J. A., Poncela, J., Fernández, U., Ruiz, F., & Entrambasaguas, J. T. (2001). Arquitectura genérica para pruebas de radio y pruebas de protocolo. In XVI simposium nacional de la Unión científica internacional de radio (URSI’01), Villaviciosa de Odón (Madrid), 19–21 September.
IEEE, Std 488.1-1987 (1987). IEEE standard digital interface for programmable instrumentation—Description.
ISO 7498 (1989/97). Information technology—Open systems interconnection—Basic reference model.
ISO 9646 (1994/98). Information technology—Open systems interconnection—Conformance testing methodology and framework.
ITU-T, Recommendation X.290 (1995). OSI conformance testing methodology and framework for protocol recommendations for ITU-T applications—General concepts.
ITU-T, Recommendation X.292 (2002). OSI conformance testing methodology and framework for protocol recommendations for ITU-T applications—The tree and tabular combined notation (TTCN).
ITU-T, Recommendation X.296 (1995). OSI conformance testing methodology and framework for protocol recommendations for ITU-T applications—Implementation conformance statements
ITU-T, Recommendation Z.100 (1992). Specification and description language (SDL).
Linn R. J. (1989) Conformance evaluation methodology and protocol testing. IEEE Journal on Selected Areas in Communications 7(7): 1143–1158
Lobato, S., Ruiz, E., Vigo, J. A., & Jiménez, J. M. (2008). Generalised architecture for radio conformance testers using TTCN-3, The TTCN-3 user conference, Madrid.
MTS. (1996). Methods for testing and specification.
Naik K., Sarikaya B. (1992) Testing communication protocols. IEEE Software 9(1): 27–37
Poncela, J., Gómez, J., Valero, C., & Fernández, U. (2007). Using TTCN for radio conformance test systems. In 13th system design language forum (SDL Forum’07), París (Francia), 18–21 September.
Poncela, J. (2009). Methods and tools for the design and verification of mobile communication systems, Ph.D., University of Malaga.
Sarikaya B. (1989) Conformance testing: Architectures and test sequences. Computer Networks and ISDN Systems 17(2): 111–126
SCPI Consortium (1999). Standard commands for programmable instrumentation (SCPI) (Vol. 1).
Zeng H., Chanson S. T., Smith B. R. (1989) On ferry clip approaches in protocol testing. Computer Networks and ISDN Systems 17(2): 77–88
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Poncela, J., Entrambasaguas, J.T. & Aguayo-Torres, M.C. Advancing Radio Testing Methodology via Formal Notations. Wireless Pers Commun 53, 409–429 (2010). https://doi.org/10.1007/s11277-010-9954-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11277-010-9954-2