Skip to main content

Application of a formal testing methodology to wireless telephony networks


This paper presents the application of a formal testing methodology to protocols and services for wireless telephony networks. The methodology provides a complete and integrated coverage of all phases of the testing procedure: specification, test generation, and test execution on a given architecture. It permits to perform conformance and interoperability testing detecting different kinds of implementation faults, as for instance output and transmission faults. The test execution is performed in the framework of a set of architectures capable to deal with different environments.

Telecommunication systems and mobility are the main focus of the application presented in this paper. Two case studies illustrates the application of the methodology to a wireless telephone network: conformance and interoperability testing of Wireless Application Protocol (WAP) protocols and services based on the subscriber location.


  1. [1]

  2. [2]

  3. [3]

    Wireless application protocol architecture specification. Technical report, WAP Forum, April 1998.

  4. [4]

    Cédric Besse, Ana Cavalli, Myungchul Kim, and Fatiha Zaïdi. Automated generation of interoperability tests. In Kluwer,Testing Internet Technologies and Services, Berlin, March 2002.

  5. [5]

    R. Castanet and O. Kone. Deriving coordinated testers for interoperability.Protocol Test Systems, VI (C-19): 331–345, 1994. Elsevier Science Publisher B. V.(North-Holland).

  6. [6]

    A. Cavalli, D. Lee, Ch. Rinderknecht, and F. Zaïdi. Hit-or-Jump: An Algorithm for Embedded Testing with Applications to IN Services. InProceedings of FORTE/PSTV’99, Beijing, China, Octobre 1999.

  7. [7]

    A. R. Cavalli, B. Chin, and K. Chon. Testing methods for SDL Systems. InComputer Networks and ISDN Systems, volume 28, pages 1669–1683, 1996.

  8. [8]

    The PLATONIS Consortium. The platonis project. InFirst International Workshop on Services Applications in the Wireless Public Infrastructur, Mai 2001.

  9. [9]

    N. Griffeth, R. Hao, D. Lee, and R. K. Sinha. Integrated system interoperability testing with applications to VOIP. InFORTE/PSTV’00, October 2000.

  10. [10]

    ITU.Recommendation Z.100: CCITT Specification and Description Language (SDL), 1992.

  11. [11]

    S. Kang and M. Kim. Interoperability test suite derivation for symmetric communication protocols. InFORTE/PSTV’97, 1997.

  12. [12]

    D. Lee, K. Sabnani, D. Kristol, and S. Paul. Conformance Testing of Protocols Specified as Communicating Finite State Machines — A Guided Random Walk Based Approach. InIEEE Transactions on Communications, volume 44, No.5, May 1996.

  13. [13]

    D. Lee and M. Yannakakis. Principles and Methods of Testing Finite State Machines — A Survey.Proc. of the IEEE, 84(8): 1090–1123, august 1996.

    Article  Google Scholar 

  14. [14]

    O.Dubuisson.ASN.1. Springer, 1999.

  15. [15]

    O. Rafiq and R. Castanet. From conformance testing to interoperability testing.The 3rd Int. Workshop on Protocol Test Systems, 1990.

  16. [16]

    M. Clatin, R. Groz, M. Phalippou, and R. Thummel. Two approaches linking test generation with verification techniques. In A. Cavalli and S. Budkowski, editors, Protocol Test Systems VII. Chapman & Hall, 1996.

  17. [17]

  18. [18]

    WAP Forum WAPTM WSP Version 4-May-2000.

  19. [19]

    Digital cellular telecommunications system (Phase 2+): General Packet Radio Service (GPRS), Service description; Stage 2 (GSM 03.60), version 7.4.1 Release 1998, GSM 03.60, ETSI, Sophia Antipolis Cedex.

  20. [20]

    3GPP TS 25.305 version 3.7.0 Release 1999. “Universal mobile telecommunications system (UMTS);stage 2 functional specification of UE positioning in UTRAN”. Technical report, ETSI TS 125 305 V8.3.0 (2001–10), January 2002.

Download references

Author information



Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions

About this article

Cite this article

Cavalli, A., Mederreg, A. & Zaidi, F. Application of a formal testing methodology to wireless telephony networks. J Braz Comp Soc 10, 64–80 (2004).

Download citation


  • component testing
  • conformance testing
  • interoperability testing
  • formal methods
  • location based services
  • mobile services
  • WAP
  • telephony networks