A protocol is a precise set of rules that defines the interaction among the elements of a system. The purpose of protocol conformance testing is to ensure that such elements will operate correctly once the system has been implemented by checking that the protocol implementation conforms to the specification. In order to develop conformance testing methods, FDTs (Formal Description Techniques) are being widely employed. Among the FDTs, SDL is one of the most popular and different testing methods have been proposed for systems specified using this language.
At INT, we have developed in the last years a method for the automatic generation of test sequences from SDL specifications of protocols. The test sequences can be either non optimized or optimized, using different methods . These methods have been implemented and integrated to the Geode tool.
Read MoreConception d'un Atelier de création de Services pour les plateformes TINA-CORBA-RI (1999-2000) - A. Cavalli L'objectif de ce projet est de développer un Atelier de Création de Services (ACS) générique qui offre une durée plus courte du processus de création, une indépendance vis à vis des technologies et des plates-formes cibles, une grande convivialité d'utilisation, une garantie en amont de la performance de bout en bout du service et une garantie en amont de la qualité de service de bout en bout. Funded by RNRT
The objective of the PLATONIS project is to develop a platform for validation and experimentation of multi-protocols and multi-services. Especially, the project focuses on Wireless Application Protocol (WAP) protocols and services but is expected to be general enough to be applied to other protocols and services such as those of GPRS and UMTS. The consortium is composed of industrial partners and academic partners. The platform will be open to other users: companies that wants to experiment the new functionalities of their service and universities for research and teaching purposes.
Read More Funded by RNRT