Skip to Main content Skip to Navigation
Theses

Génération automatique de tests de conformité pour les protocoles de télécommunication

Abstract : This work belongs to the domain of verification and validation of distributed systems, particularly the telecommunication protocols. We are interested in the problem of the automatic generation of conformance tests suites for the telecommunication protocols, precisely in using some static analysis techniques in front of TGV (a test generation tool). The automatic construction of test cases based on the model checking approach (the main TGV feature) is hindered by the state explosion problem. Even if, in practice, this problem could be avoided (by using TGV on-the-fly), some aspects of this method (e.g., the design of the test purposes for a model, without building it explicitly) still remain difficult. In our thesis we propose a test methodology based on model checking and static analysis. This methodology consists in a set of procedures which are used in order to simplify the specification by taking into account its structure or the structure of the test purposes and that before the generation of the test cases. Thus the size of the observable models of the specifications is reduced. We also extended the concept of test purpose. The abstract test purposes have symbolic constraints attached to the parameters of the input signals. >From the input constraints the procedures mentioned above calculate constraints for the parameters of the output signals of the abstract test purposes. Then, some concrete test purposes could be derived and using the existing tool TGV one could generate conformance tests.
Complete list of metadatas

Cited literature [130 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00004457
Contributor : Thèses Imag <>
Submitted on : Tuesday, February 3, 2004 - 3:18:01 PM
Last modification on : Thursday, November 19, 2020 - 3:58:01 PM
Long-term archiving on: : Friday, April 2, 2010 - 8:14:06 PM

Identifiers

  • HAL Id : tel-00004457, version 1

Collections

UJF | IMAG | CNRS | VERIMAG | UGA

Citation

Constantin Lucian Ghirvu. Génération automatique de tests de conformité pour les protocoles de télécommunication. Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2002. Français. ⟨tel-00004457⟩

Share

Metrics

Record views

334

Files downloads

429