Test fonctionnel statistique de logiciels spécifiés en Lustre ; application à la validation de services téléphoniques

Abstract : 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".
Document type :
Theses
Complete list of metadatas

Cited literature [92 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00004828
Contributor : Thèses Imag <>
Submitted on : Wednesday, February 18, 2004 - 2:28:16 PM
Last modification on : Thursday, January 11, 2018 - 6:14:33 AM
Long-term archiving on : Friday, April 2, 2010 - 7:16:52 PM

Identifiers

  • HAL Id : tel-00004828, version 1

Collections

UJF | IMAG | UGA

Citation

Lydie Du Bousquet. Test fonctionnel statistique de logiciels spécifiés en Lustre ; application à la validation de services téléphoniques. Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 1999. Français. ⟨tel-00004828⟩

Share

Metrics

Record views

263

Files downloads

206