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

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.