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

By Osama Alkrarha

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.

• Format: Paperback
• Language: French
• ISBN: 6209382754
• ISBN13: 9786209382758
• Release Date: December 2025
• Publisher: Editions Notre Savoir
• Length: 112 Pages
• Weight: 0.35 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"