Les schémas de test : une abstraction pour la génération de tests de conformité et pour la mesure de couverture

Président du jury : M. Jean-Claude Fernandez Rapporteurs : M. Jean-Louis Lanet et M. Thierry JéronTesting is an important activity of the software development process. The aim of the work presented in this thesis is to free the test expert from repetitive aspects, relative to 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 define tests executable tests relative to a given technology, abstract tests relative to the specification level, and test purposes which describe some forms of expected behaviours. Our work adresses two main topics. The first one aims to decrease the test synthesis effort. We propose a new level of test definition : test schemas which abstract from instances of objects, and methods invocations. The TObiAs Tool was designed to support the definition of test schemas, their unfolding into abstract test cases or test purposes, and the generation of executable tests. The second contribution of the thesis evaluates the scope of a test schemas from a coverage measure of the level of the specification. We present the connection between the different levels of abstraction and how they can be interpreted to establish a notion of coverage of the specification. We present how we can build a coverage based on test schemas on an abstract specification and how we can use this new coverage with the CoPAS tool which we created to calculate the cover a priori.L'activité de test est une partie de plus en plus importante dans les développements logiciels. Cette activité de test est souvent longue et répétitive, les travaux entrepris dans cette thèse ont pour objectif de décharger l'ingénieur de test des tâches les plus répétitives de la synthèse de tests. 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, les tests abstraits qui sont indépendants de la technologie et les objectifs de test qui ne représentent que partiellement le chemin d'un test dans la spécification. 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 objectifs de test ou en cas de test, puis concrétiser ces cas de test. le deuxième point étudie la portée d'un schéma de test en mesurant sa couverture de la spécification, au niveau d'abstraction du schém de test. Pour ce faire nous étudions les relations entre les niveaux d'abstraction de test et la spécification. Nous présentons l'intérêt de proposer une notion de couverture au niveau des schémas de test en construisant une abstraction de la spécification ainsi que l'outil CoPAS que nous avons créé pour calculer la couverture a priori