• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Conception et évaluation d'opérateurs de mutation pour le langage AsmetaL

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

Paperback

Programming

ISBN10: 6209382754
ISBN13: 9786209382758
Publisher: Editions Notre Savoir
Published: Dec 21 2025
Pages: 112
Weight: 0.35
Height: 0.27 Width: 6.00 Depth: 9.00
Language: French
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.

Also in

Programming