Skip to main content
SpringerLink
Log in

Modeling, Verifying and Testing Mobility Protocol from SDL Language

  • Conference paper
SDL 2005: Model Driven (SDL 2005)

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

Included in the following conference series:

Abstract

This paper deals with mobility protocols specification, validation and testing using a formal approach. A well suited SDL model is proposed to handle the component-based nature of Mobile systems. Two solutions are proposed to derive automatically TTCN-3 test cases from the SDL model.

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

Access this chapter

Log in via an institution
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. Amyot, D., Andrade, R., Logrippo, L., Sincennes, J., Yi, Z.: Formal Methods for Mobility Standards. In: IEEE Emerging Technology Symposium on Wireless Communication & Systems - Testing of communicating systems XIV. Application to Internet Technologies and Services, Texas, USA (April 1999)

    Google Scholar 

  2. Cavalli, A., Mederreg, A., Zaidi, F.: Application of formal testing methodology to wireless telephony networks. In: IEEE International Information and Telecommunication Technologies Symposium (I2TS 2003), Brazil (October 2003)

    Google Scholar 

  3. DANET. Danet., http://www.danet.de

  4. Ebner, M.: TTCN-3 Test Case Generation from Message Sequence Charts. In: Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE 2004:WITUL), France (November 2004)

    Google Scholar 

  5. ETSI. Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language. ETSI Standard 201 873-1 v2.2.1, ETSI (February 2003)

    Google Scholar 

  6. Grabowski, J., Koch, B., Schmitt, M., Hogrefe, D.: SDL and MSC Based Test Generation for Distributed Test Architectures. In: SDL Forum SDL 1999 (June 1999)

    Google Scholar 

  7. ISO/IEC. Information Technology; Open Systems Interconnection; Conformance Testing Methodology and Framework; Part3: The Tree and Tabular Combined Notation (second edition). International standard 9646-3, ISO/IEC (1998)

    Google Scholar 

  8. ITU-T. Message Sequence Chart (MSC). Recommendation Z.120, ITU-T (November 1999)

    Google Scholar 

  9. ITU-T. Specification and Description Language (SDL). Recommendation Z.100, ITU-T (August 2002)

    Google Scholar 

  10. Johnson, D., Perkins, C., Arkko, J.: Mobility Support in IPv6. RFC 3775, IETF (June 2004)

    Google Scholar 

  11. Kerbrat, A., Jéron, T., Groz, R.: Automated test generation from sdl specifications. In: Dssouli, R., von Bochmann, G., Lahav, Y. (eds.) SDL 1999 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, pp. 135–152. Elsevier, Amsterdam (1999)

    Google Scholar 

  12. Koch, B., Grabowski, J., Hogrefe, D., Schmitt, D.: Autolink - A Tool for Automatic Test Generation from SDL Specifications. In: IEEE International Workshop on Industrial Strength Formal Specification Techniques (WIFT 1998), Boca Raton, Florida, USA (October 1998)

    Google Scholar 

  13. Mackaya, M., Castanet, R.: Modelling and Testing Location Based Application in UMTS Networks. In: IEEE Contel 2003, 7th International Conference on Telecommunications, Zagreb,Croatia (June 2003)

    Google Scholar 

  14. Narten, T., Nordmark, E., Simpson, W.: Neighbor Discovery for IP version 6 (IPv6). RFC 2461, IETF (December 1998)

    Google Scholar 

  15. Narten, T., Thomson, S.: IPv6 Stateless Address Autoconfiguration. RFC 2462, IETF (December 1998)

    Google Scholar 

  16. Probert, R.L., Ural, H., Williams, A.W.: Rapid generation of functional tests using mscs, sdl and ttcn. Computer Communications 24(3-4), 374–393 (2001)

    Article  Google Scholar 

  17. Schmitt, M., Ebner, M., Grabowski, J.: Test generation with autolink and testcomposer. In: Proceedings of the 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM 2000), Grenoble (France), June 26 - 28 (2000)

    Google Scholar 

  18. Telelogic. TAU Generation 1, TAU Generation 2 and ObjectGeode 4.2, http://www.telelogic.com

Download references

Author information

Authors and Affiliations

  1. IRISA, Université de Rennes I, Campus de Beaulieu, F-35042, Rennes Cedex, France

    Francine Ngani Noudem & César Viho

Authors
  1. Francine Ngani Noudem
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. César Viho
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Engineering, Agder University College, Grooseveien 36, N-4876, Grimstad, Norway

    Andreas Prinz

  2. Telecommunications Software Engineering Limited, The Laurels, Victoria Road, LA23 2DL, Windermere, Cumbria, United Kingdom

    Rick Reed

  3. Telecommunications Software Engineering Limited, The Laurels, Victoria Road, LA23 2DL, Windermere, Cumbria, UK

    Jeanne Reed

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Noudem, F.N., Viho, C. (2005). Modeling, Verifying and Testing Mobility Protocol from SDL Language. In: Prinz, A., Reed, R., Reed, J. (eds) SDL 2005: Model Driven. SDL 2005. Lecture Notes in Computer Science, vol 3530. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11506843_14

Download citation

  • DOI: https://doi.org/10.1007/11506843_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26612-9

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation