Stratégie de couverture de test à un haut niveau d'abstraction

摘要

L'activité de test est une partie de plus en plus importante dans les développements logiciels. Cette activité est souvent longue et répétitive, nous cherchons à décharger l'ingénieur de test des tâches les plus répétitives (calcul des préambules des tests, implantation dans une technologie cible, etc.). Pour définir des tests, plusieurs niveaux d'abstraction sont proposés : les tests exécutables pour une cible technologique, les tests abstraits qui font abstraction de la technologie, les objectifs de test qui ne représentent que partiellement le chemin d'un test dans la spécification et les schémas de test qui offrent une abstraction supplémentaire sur les données. Ce travail s'inscrit dans le cadre du test de conformité. Nous présenterons ces différents niveaux d'abstraction ainsi que leur relation avec la spécification et le code en termes de couverture. Nous présentons aussi l'intérêt de proposer une notion de couverture au niveau des schémas de test.%Testing is an important activity of the software development process. The aim of the study presented in this paper is to free the test experts from repetitive aspects, relative to the test conception activity. To do that, several abstraction levels are proposed: executable tests relative to a given technology, abstract tests relative to the specification level, test purposes which describe some forms of expected behaviors and, finally, test schemas which offer a level of abstraction relative to method invocations. We present these levels of abstraction, their connection and how they can be interpreted to establish a notion of coverage. In the case of test schemas, we show how an abstraction of the specification can be built and used to evaluate the coverage, in remaining compatible with the concrete specification.