Skip to main content
SpringerLink
Log in

Une plate-forme de validation multi-protocoles et multi-services Résultats d’expérimentation

A multi-protocol and multiservice validation platform — experimentation results

  • Published:
Annales Des Télécommunications Aims and scope Submit manuscript

Résumé

Cet article présente la mise en œuvre et les résultats d’expérimentation d’une plate-forme de validation basée sur des méthodes formelles. Cette plate-forme permet de réaliser des tests de conformité et d’interopérabilité, d’analyser la QdS (Qualité de Service) et de produire un modèle de performance pour les services. Elle couvre toutes les étapes de validation: spécification formelle, définition des architectures de test, génération et exécution des tests sur une architecture donnée, et l’évaluation des performances. Les méthodes de test et les architectures présentées facilitent la détection et la localisation des erreurs.

La plate-forme a été réalisée dans le cadre d’un projet plate-forme duRnrt (Réseau National de Recherche en Télécommunications),Platonis. Cette plate-forme possède une configuration réseau au niveau national avec des sites dans les laboratoires partenaires du projet.

Les systèmes de télécommunications et la téléphonie mobile sont les domaines principaux d’application de la plate-forme. En particulier, deux études de cas sont présentées, celles-ci illustrent son application au test des protocoles et des services pour les réseaux cellulaires de 3e génération (utilisant leWap, gprs etUts). Mais il s’agit d’une plateforme générique qui pourra être utilisée pour d’autres types de services et protocoles de communication.

Abstract

This article presents the implementation of a validation platform based on formal methods and the experimental results obtained. This platform allows performing conformance and interoperability tests, analysing the specification and constructing a performance model for the services. It covers all stages of the validation which are: formal specification, test architecture definition, test generation and execution for the defined architecture, and performance evaluation. The test methods and architectures used here make it easier to detect and localise errors. The platform has been constructed within the framework of theRnrt (National Telecommunications Research Network) platform project, platonis. This platform is composed of a network integrating the different sites of the project partners. The principal application domains for the platform are telecommunication systems and mobile telephony. In particular, two different cases study are presented that illustrate the platform’s applicability to the test of mobile 3rd generation protocols and services usingWap, gprs andUmts. Nevertheless, the platform is generic and can be used for other types of communication protocols and services.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Bibliographie

  1. Cavalli (A.),Lee (D.),Rinderknecht (Ch.),Zaïdi (F.), “Hit-or-Jump: an algorithm for embedded testing with applications to in Services”, In Proceedings ofForte/pstv’99, Beijing, China, Octobre 1999.

  2. Dubuisson (O.),Asn.1. Springer, 1999.

  3. Itu-t, Message Sequence Chart (Msc), Recommendation Z.120, Novembre, 1999, http://www.sdl-forum.org

  4. Itu-t, Specification and Description Language, Recommendation Z.100, Nov. 1999, http://www.sdl-forum.org

  5. Mackaya (M.),Castanet (R.), “Modelling and testing location based application inUmts networks”,Ieee Contel, Zagreb, Croatia, June 2003.

  6. Monin (W.),Dubois (F.),Vincent (D.),Combes (P.), “Looking for a better integration of design and performance engineering,sdl Forum 2003.

  7. Rafiq (O.),Castanet (R.),Chraibi (C). Towards an environment for testing OSI protocols,Proc of the International Workshop on Protocol Specification, testing and Verification, Toulouse, France, 1985.

  8. Ses Inc.Ses WorkBench Modeling Reference manual, 1998.

  9. ThePlatonis Consortium. The platonis project. In First International Workshop on Services Applications in the Wireless Public Infrastructure, Mai 2001. http: //www-lor.int-evry.fr/platonis.

  10. Wap spécification, http://www.wapforum.org.

  11. Byun (Y.),Sanders (B. A.),Keum (C), Design Patterns of Communicating Extended Finite State Machines inSdl, PloP 2001 conference

  12. http://www.kannel.org.

  13. http://www.wirelessdevnet.com/channels/lbs/features/mobilepositioning.html.

  14. http://www-lor.int-evry.fr/platonis

  15. http://www.telelogic.com

Download references

Author information

Authors and Affiliations

  1. France Telecom R&D/MAP, 38-40 rue du Général Leclerc, 92130, Issy-les-Moulineaux, France

    Pierre Combes & Wei Monin

  2. GET/Institut National des Télécommunications-CNRS Samovar, 9 rue Charles Fourier, 91011, Evry cedex, France

    Ana Cavalli, Amel Mederreg & Fatiha Zaïdi

  3. Université Bordeaux 1, Labri, Domaine Universitaire, 351 cours de la Libération, 33405, Talence cedex, France

    Richard Castanet & Marcien Mackaya

  4. Complexe scientifique des Céseaux, Université Blaise Pascal-Clermont II, LIMOS, 63177, Aubière cedex, France

    Patrice Laurençot

Authors
  1. Pierre Combes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wei Monin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ana Cavalli
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Amel Mederreg
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Fatiha Zaïdi
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Richard Castanet
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Marcien Mackaya
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Patrice Laurençot
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Combes, P., Monin, W., Cavalli, A. et al. Une plate-forme de validation multi-protocoles et multi-services Résultats d’expérimentation. Ann. Télécommun. 60, 588–609 (2005). https://doi.org/10.1007/BF03219938

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03219938

Mots clés

Keywords

Search

Navigation