Skip to Main content Skip to Navigation
New interface
Theses

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 metadata

Cited literature [92 references]  Display  Hide  Download

https://theses.hal.science/tel-00004828
Contributor : Thèses Imag Connect in order to contact the contributor
Submitted on : Wednesday, February 18, 2004 - 2:28:16 PM
Last modification on : Friday, March 25, 2022 - 11:08:27 AM
Long-term archiving on: : Friday, April 2, 2010 - 7:16:52 PM

Identifiers

  • HAL Id : tel-00004828, version 1

Collections

UGA | IMAG | CNRS | UJF

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. ⟨NNT : ⟩. ⟨tel-00004828⟩

Share

Metrics

Record views

181

Files downloads

208