Outils pour la synthèse de tests et la maîtrise de l'explosion combinatoire

par Olivier Maury

Thèse de doctorat en Informatique

Sous la direction de Yves Ledru et de Catherine Oriat.

Soutenue en 2005

à l'Université Joseph Fourier (Grenoble) .

    mots clés mots clés


  • Résumé

    Notre approche, dans le cadre du test de conformité, se base sur le fait qu'il existe différents niveaux d'abstraction pour définir des tests : les tests exécutables pour une cible technologique et les tests abstraits qui sont indépendants de la technologie. Nos travaux portent sur deux points. Le premier point vise à réduire l'effort alloué à la conception des tests. Pour cela nous définissons un nouveau niveau d'abstraction : les schémas de test qui offrent une abstraction supplémentaire sur les instances et valeurs manipulées. L'outil Tobias a été développé au cours de la thèse pour aider à la conception des schémas de test, les déplier en cas de test abstraits, puis concrétiser ces cas de test. Malheureusement, les principes du langage de schéma de tests entraînent un problème d'explosion combinatoire du nombre de tests. Nous proposons donc diverses approches pour, d'une part, mieux contrôler le nombre de tests produits et, d'autre part, optimiser le temps d'exécution des tests. Ces diverses techniques ont pu être intégrées à l'outil Tobias, nous permettant de réaliser deux études de cas afin de valider notre approche.

  • Titre traduit

    Tools for the tests generation and the control of the combinatorial explosion


  • Pas de résumé disponible.


  • Résumé

    Testing is an more and more important activity of the software development process. As testing activity is often tedious, the aim of the work presented in this thesis is to de ne how to make the engineer free from the most repetitious tasks of the test synthesis activity. Our approach, within the framework of conformance testing, is based on the fact that there are various levels of abstraction to de ne tests : executable tests relative to a given technology and abstract tests independent of technology. Our work is focused on two research themes. The rst one aims to reduce the e orts required to generate the tests. In that purpose, we de ne a new abstraction level : test schemas, which o ers an additional abstraction to the worked instances and values. The Tobias tool has been developed during the thesis to help to the testing schemas generation, to unfold them in abstract test cases, and then to concretise these test cases. The second contribution of our work aims to restrain the problem of combinatorial explosion of the tests number, relative to the principles of the language of tests schema. So, we propose various techniques, rst to control the number of generated tests and then to optimize the execution time of these tests. We have integrated these various techniques into the Tobias tool and realized two case studies that validate our work.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (X-161 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 155-161

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : TS05/GRE1/0255
  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Disponible pour le PEB
  • Cote : TS05/GRE1/0255/D
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-2005-MAU

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 2005GRE10255
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.