Note publique d'information : 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.
Note publique d'information : 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.
paprika.idref.fr
data.idref.fr
Documentation
