Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
Wykrywanie błędów w specyfikacji może pomóc w zmniejszeniu kosztów i ryzyka związanego z tworzeniem oprogramowania, ponieważ niepoprawione błędy w specyfikacji przenoszą się na kod, co negatywnie wpływa na jakość produktu końcowego. Testowanie mutacyjne jest uznaną techniką opartą na błędach, służącą do oceny i poprawy jakości zestawów testowych. Testowanie mutacyjne można stosować na różnych poziomach abstrakcji, np. na poziomie jednostki, integracji i specyfikacji. W niniejszej książce zaproponowano zestaw operatorów mutacji specyficznych dla AsmetaL i podzielono je na cztery kategorie. Proponowane operatory służą do oceny adekwatności zestawów testów wygenerowanych za pomocą narzędzia ATGT, zgodnie z różnymi kryteriami pokrycia testowego. Wykazuje to przydatność proponowanego podejścia poprzez studia przypadków AsmetaL.