Conception et évaluation d'opérateurs de mutation pour le langage AsmetaL

La d tection des erreurs de sp cification peut contribuer r duire le co t et les risques li s au d veloppement de logiciels, car les d fauts non corrig s dans les sp cifications se r percutent sur le code, ce qui nuit la qualit du produit final. Le test de mutation est une technique bien tablie, bas e sur les d fauts, qui permet d' valuer et d'am liorer la qualit des suites de tests. Le test de mutation peut tre appliqu diff rents niveaux d'abstraction, par exemple au niveau de l'unit , au niveau de l'int gration et au niveau de la sp cification. Dans cet ouvrage, une suite d'op rateurs de mutation sp cifiques AsmetaL est propos e et class e en quatre cat gories. Les op rateurs propos s sont utilis s pour valuer l'ad quation des suites de tests g n r es l'aide de l'outil ATGT, selon divers crit res de couverture des tests. Il d montre l'applicabilit de l'approche propos e travers des tudes de cas AsmetaL.