Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
SpringerLink
Log in

Advancing Radio Testing Methodology via Formal Notations

  • Published:
Wireless Personal Communications Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. 3GPP, TS 34.121 (2003). 3rd Generation partnership project; Technical specification group terminals; Terminal conformance specification; Radio transmission and reception (FDD), v3.14.0.

  2. 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.

  3. Bluetooth Qualification Tester (BITE). (2003). AT4 wireless, from http://www.at4wireless.com/web_esp/sistemas/soluciones_ensayo/bite.

  4. Bush M., Rasmussen K., Wong F. (1990) Conformance testing methodologies for OSI protocols. AT and T Technical Journal 69(1): 84–100

    Google Scholar 

  5. 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

    Google Scholar 

  6. 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.

  7. ETSI, Comité ETSI (2004). Methods for testing and specification, from http://portal.etsi.org/portal_common/home.asp?tbkey1=MTS.

  8. ETSI, Test specifications, from http://portal.etsi.org/mbs/Testing/conformance/conformance.asp.

  9. 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.

  10. IEEE, Std 488.1-1987 (1987). IEEE standard digital interface for programmable instrumentation—Description.

  11. ISO 7498 (1989/97). Information technology—Open systems interconnection—Basic reference model.

  12. ISO 9646 (1994/98). Information technology—Open systems interconnection—Conformance testing methodology and framework.

  13. ITU-T, Recommendation X.290 (1995). OSI conformance testing methodology and framework for protocol recommendations for ITU-T applications—General concepts.

  14. 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).

  15. ITU-T, Recommendation X.296 (1995). OSI conformance testing methodology and framework for protocol recommendations for ITU-T applications—Implementation conformance statements

  16. ITU-T, Recommendation Z.100 (1992). Specification and description language (SDL).

  17. Linn R. J. (1989) Conformance evaluation methodology and protocol testing. IEEE Journal on Selected Areas in Communications 7(7): 1143–1158

    Article  Google Scholar 

  18. 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.

  19. MTS. (1996). Methods for testing and specification.

  20. Naik K., Sarikaya B. (1992) Testing communication protocols. IEEE Software 9(1): 27–37

    Article  Google Scholar 

  21. 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.

  22. Poncela, J. (2009). Methods and tools for the design and verification of mobile communication systems, Ph.D., University of Malaga.

  23. Sarikaya B. (1989) Conformance testing: Architectures and test sequences. Computer Networks and ISDN Systems 17(2): 111–126

    Article  Google Scholar 

  24. SCPI Consortium (1999). Standard commands for programmable instrumentation (SCPI) (Vol. 1).

  25. 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

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Ingeniería de Comunicaciones, University of Malaga, 29071, Malaga, Spain

    J. Poncela, J. T. Entrambasaguas & M. C. Aguayo-Torres

Authors
  1. J. Poncela
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. T. Entrambasaguas
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. C. Aguayo-Torres
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to J. Poncela.

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11277-010-9954-2

Keywords

Search

Navigation