Skip to Main content Skip to Navigation

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

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

Cited literature [52 references]  Display  Hide  Download
Contributor : Olivier Maury <>
Submitted on : Tuesday, January 31, 2006 - 5:30:30 PM
Last modification on : Monday, November 23, 2020 - 2:38:15 PM
Long-term archiving on: : Saturday, April 3, 2010 - 10:01:00 PM


  • HAL Id : tel-00011507, version 1




Olivier Maury. Outils pour la synthèse de tests et la maîtrise de l'explosion combinatoire.. Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨tel-00011507⟩



Record views


Files downloads