Skip to main content

Validating Wireless Protocol Conformance Test Cases

  • Conference paper
System Analysis and Modeling (SAM 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCCN,volume 3319))

Included in the following conference series:

  • 406 Accesses

Abstract

This paper shares our experiences in using SDL to unit test TTCN-2 scripts written for the conformance testing of 3G UMTS protocols. The tool used in this assignment was Telelogic TauTM, which provided a way of bridging SDL and TTCN-2. Telelogic calls this feature “co-simulation”, which allows testing SDL applications using TTCN without the need for writing target adaptation, environment, and encoding and decoding parts. This paper describes how the co-simulation feature was used the other way around, i.e., to check TTCN protocol conformance test cases. The work was carried out to test a TTCN test suite for inter system handover protocol conformance (3G to 2G). The experiment successfully demonstrates the capabilities of co-simulation and its benefits in developing TTCN test cases, particularly when target test equipments are under development.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 3GPP: User Equipment (UE) conformance specification; Part 3: Abstract Test Suites (ATSs) (Release 1999). 3rd Generation Partnership Project, TS 34.123-3, V0.0.0 (2000-2003)

    Google Scholar 

  2. 3GPP: Technical Specification Group Terminals; User Equipment (UE) conformance specification; Part 1: Protocol conformance specification (Release 1999). 3rd Generation Partnership Project, TS 34.123-1, V3.5.0 (2001-2009)

    Google Scholar 

  3. Alkhodre, A., Babau, J.-P., Schwarz, J.-J.: Preparing SDL code generation for realtime embedded systems modeling. In: IEEE Real-Time Embedded System Workshop (December 2001)

    Google Scholar 

  4. ETSI: Methods for Testing and Specification (MTS); Protocol and profile conformance testing specifications - The Tree and Tabular Combined Notation (TTCN) style guide. ETSI ETR 141, ETSI TC-MTS Reference: DTR/MTS-00020 (October1994), http://portal.etsi.org/edithelp/pdf/141r1.pdf

  5. ITU-T: Recommendation X.292 (05/02) OSI conformance testing methodology and framework for protocol Recommendations for ITU-T applications - The Tree AndTabular Combined Notation (TTCN). International Telecommunication Union, Geneva (1998)

    Google Scholar 

  6. ITU-T: Recommendation Z.100 (08/02) Specification and Description Language (SDL). International Telecommunication Union, Geneva (2002)

    Google Scholar 

  7. Mansurov, N., Chernov, A.V., Ragozin, A.S.: Industrial strength code generation from SDL. In: Cavalli, A.R., Sarma, A. (eds.) Proc. 8th International SDL Forum, Evry, France, September 1997, pp. 415–430. Elsevier, Amsterdam (1997)

    Google Scholar 

  8. Pohjolainen, P.: Software Testing Tools. University of Kuopio, Finland (March 2002), http://www.cs.uku.fi/research/Teho/SoftwareTestingTools.pdf

  9. Saracco, R., Smith, J.R.W., Reed, R.: Telecommunications Systems Engineering Using SDL. North-Holland, New York (1989)

    Google Scholar 

  10. TCS: Software Development Process Handbook. Tata Consulting Services

    Google Scholar 

  11. TCS: Software Estimation Guidelines Ver. 2.0. Tata Consultancy Services, TCSiQMS- 103 (January 2003)

    Google Scholar 

  12. Telelogic AB: Tau v4.4 User’s Guide, http://www.telelogic.com

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jain, P., Nandan, A. (2005). Validating Wireless Protocol Conformance Test Cases. In: Amyot, D., Williams, A.W. (eds) System Analysis and Modeling. SAM 2004. Lecture Notes in Computer Science, vol 3319. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31810-1_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-31810-1_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24561-2

  • Online ISBN: 978-3-540-31810-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics