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

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

• Auteur / Autrice : Olivier Maury
• Direction : Yves Ledru, Catherine Oriat
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2005
• Etablissement(s) : Université Joseph Fourier (Grenoble ; 1971-2015)

Mots clés

Mots clés libres

Génération de tests

Test de conformité

Spécification par contrats

Jml

Vdm

Maîtrise de l'explosion combinatoire

Software testing

Conformance testing

Design by contract

Jml

Vdm

Combinatorial explosion control

Test generation

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.

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.