Testing telecommunication feature specifications
Test de spécifications de services de télécommunication
Résumé
This work is a proposal regarding the validation of telecommunication feature specifications. It is more precisely concerned with the detection of feature interactions, which is a problem that hinders the rapid introduction of new features in telecommunication systems. A feature interaction may occur when several features, developed in an independent manner are simultaneously available : this coexistence may alter the behavior of the features. The validation of specifications requires modeling both the services and the underlying network. The proposed solution relies on a methodology for formally specifying and validating features. It is based on the use of a synchronous formal language for the specification part and of some specific testing methods for the validation part. The thesis describes a new testing method called "pattern-guided testing", which we embedded in Lutess. Lutess is a testing tool for synchronous software, whose basic principle lies on a dynamic and random but constrained generation of test data. Our testing method extends the notion of constraints in Lutess with guiding patterns. A pattern describes a class of environment behaviors which one wishes to favor. In the context of Lutess, patterns are seen as loose constraints : they influence the generation so as the behaviors they represent are more often produced. This method has been formalized then validated on several case studies. The most important one has been conducted in the context of the "First Feature Interaction Detection Contest", held during the 5th Feature Interaction Workshop in 1998. On that occasion, Lutess won the Best Tool Award.
Ce travail aborde le problème de la validation de spécifications de services téléphoniques et notamment la recherche d'interactions entre services. Une interaction correspond à la modification du comportement d'un ou plusieurs services, du fait de la coexistence des services. L'interaction est un obstacle majeur au développement de l'offre de services de télécommunications. La validation de spécifications requiert une modélisation des services et du réseau sous-jacent. Nous proposons une méthode de spécification formelle et de validation de services. Celle-ci est basée sur l'utilisation d'un formalisme synchrone pour la modélisation et la spécification, et sur la mise en oeuvre de méthodes de test pour la validation. Nous avons à cette fin proposé une méthode de test adaptée au problème. Cette méthode a été intégrée à Lutess, un environnement de test fonctionnel de systèmes réactifs synchrones, reposant sur un principe de génération de données dynamique et aléatoire. Elle est basée sur la notion de "guidage par schémas". Un schéma représente une classe de comportements de l'environnement du système sous test, comportements que l'on souhaite tester principalement, soit parce qu'ils sont réalistes, soit parce qu'ils conduisent à une situation estimée critique. Cette méthode a été formalisée, puis validée expérimentalement dans plusieurs études de cas conséquentes, en particulier lors du premier concours de détection d'interaction proposé en marge de la conférence "Feature Interaction Workshop", qui a consacré Lutess "Meilleur outil pour la détection d'interactions".
Loading...