Placeholder text

Go to cart

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

By Osama Alkrarha

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

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

0 - Default Title
Description
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.
Product details
Binding:
Paperback
Number of Pages:
112
Release Date:
2025-12-21
Publication Date:
2025-12-21
Publisher:
Editions Notre Savoir
Languages:
Original: French
ISBN10:
6209382754
ISBN13:
9786209382758
GPSR Manufacturer Reference:
[email protected]
Weight:
185 g
Height:
150 cm
Width:
220 cm
Thickness:
7 cm
Buy on Amazon
Currently sold out