Statistical functional testing of systems specified in Lustre; application to the validation of telecommunication features
Test fonctionnel statistique de logiciels spécifiés en Lustre ; application à la validation de services téléphoniques
Résumé
This work deals with the design of functional testing environments for reactive systems formally specified in Lustre. Lutess is such an environment. It enables test data generation automatically and dynamically. The generation is constrained, randomly performed, and possibly guided with properties. We have extended this environment with a statistical testing method, which favors the generation of test data considered to be relevant by the user. We have validated experimentally Lutess before and after its extension, showing that the test data are indeed randomly generated, and that they follow the expected statistical distribution. Moreover, we have intensively used Lutess and the proposed testing method for the validation of telephony feature specifications. This work has been done on two case studies : one provided by the CNET and another one, a contest, proposed in conjunction with "the fifth Feature Interaction Workshop" (1998). On that occasion, Lutess won the "best feature interaction detection tool award".
Ce travail s'inscrit dans le cadre de la conception d'environnements de test fonctionnel de systèmes réactifs spécifiés formellement en Lustre. Lutess est un tel environnement. Il permet la génération automatique et dynamique de données de test. Cette génération est menée sous contraintes, de manière aléatoire, et éventuellement guidée par des propriétés. Nous avons étendu cet environnement par une méthode de test de type statistique, qui facilite la génération des données de test considérées comme significatives par l'utilisateur. Nous avons validé expérimentalement Lutess avant et après son extension, en montrant que les données générées étaient bien aléatoires et qu'elles respectaient les distributions statistiques attendues. De plus, nous avons utilisé Lutess et la méthode proposée de façon intensive pour la validation de spécifications de services téléphoniques sur deux études de cas conséquentes : une fournie par le CNET et une autre sous la forme d'un concours proposé en marge de la conférence "Feature Interaction Workshop'98". A cette occasion, Lutess a été déclaré "meilleur outil pour la détection d'interactions de services téléphoniques".
Loading...