Skip to Main content Skip to Navigation
Theses

Test de spécifications de services de télécommunication

Abstract : 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.
Complete list of metadata

Cited literature [88 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00006755
Contributor : Thèses Imag <>
Submitted on : Wednesday, August 25, 2004 - 9:27:55 AM
Last modification on : Friday, November 6, 2020 - 4:09:34 AM
Long-term archiving on: : Friday, April 2, 2010 - 9:04:26 PM

Identifiers

  • HAL Id : tel-00006755, version 1

Collections

UJF | IMAG | CNRS | UGA

Citation

Nicolas Zuanon. Test de spécifications de services de télécommunication. Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2000. Français. ⟨tel-00006755⟩

Share

Metrics

Record views

281

Files downloads

274