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 the RNRT (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 using WAP, GPRS and UMTS. Nevertheless, the platform is generic and can be used for other types of communication protocols and services.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Cavalli, A., Lee, D., Rinderknecht, C., Zaïdi, F.: Hit-or-Jump: An Algorithm for Embedded Testing with Applications to IN Services. In: Proceedings of FORTE/PSTV 1999, Beijing, China (Octobre 1999)
Dubuisson, O.: ASN.1. Springer, Heidelberg (1999)
ITU-T, Message Sequence Chart (MSC), Recommendation Z.120 (November 1999), http://www.sdl-forum.org
ITU-T, Specification and Description Language, Recommandation Z.100 (November 1999), http://www.sdl-forum.org
Mackaya, M., Castanet, R.: Modelling and Testing Location Based Application in UMTS Networks. In: IEEE Contel, Zagreb, Croatia (June 2003)
Monin, W., Dubois, F., Vincent, D., Combes, P.: Looking for a better integration of design and performance engineering. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, Springer, Heidelberg (2003)
Rafiq, O., Castanet, R., Chraibi, C.: Towards an environment for testing OSI protocols. In: Proc of the International Workshop on Protocol Specification, testing and Verification, Toulouse, France (1985)
SES Inc. SES WorkBench Modelling Reference manual (1998)
The PLATONIS Consortium. The platonis project. In: First International Workshop on Services Applications in the Wireless Public Infrastructure (Mai 2001) http://www-lor.intevry.fr/platonis
WAP spécification, http://www.wapforum.org
Byun, Y., Sanders, B.A., Keum, C.-S.: Design Patterns of Communicating Extended Finite State Machines. in SDL, In: PloP 2001 conference (2001)
http://www.wirelessdevnet.com/channels/lbs/features/mobilepositioning.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 IFIP International Federation for Information Processing
About this paper
Cite this paper
Cavalli, A. et al. (2004). A Multi-service and Multi-protocol Validation Platform – Experimentation Results. In: Groz, R., Hierons, R.M. (eds) Testing of Communicating Systems. TestCom 2004. Lecture Notes in Computer Science, vol 2978. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24704-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-24704-3_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21219-5
Online ISBN: 978-3-540-24704-3
eBook Packages: Springer Book Archive