Projektowanie i ocena operatorów mutacji dla j¿zyka AsmetaL: MuAsmetaL

Wykrywanie b¿¿dów w specyfikacji mo¿e pomóc w zmniejszeniu kosztów i ryzyka zwi¿zanego z tworzeniem oprogramowania, poniewä 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 stosowä 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.