5987092324

Temat pracy dyplomowej magisterskiej	Zastosowanie testów mutacyjnych do oceny kompletności automatycznych testów jednostkowych
Tytuł w j. angielskim	Unit testing completeness evaluation based on mutation tests
Opiekun pracy	dr inż. Andrzej Wardziński
Konsultant pracy	mgr inż. Michał Witkowicz
Cel pracy	Celem pracy jest opracowanie modelu zarządzania testami mutacyjnymi i tworzenia mutacji oraz prezentacja jego działania poprzez zaprojektowanie, wytworzenia i zastosowanie aplikacji. Metoda zakłada, że dostępne są automatyczne testy jednostkowe modułu oprogramowania, których kompletność ma zostać oceniona poprzez testy mutacyjne. Istotnym elementem pracy będzie ocena kompletności i efektywności modelu mutacji (łatwo jest wygenerować tysiące mutacji, ale trudniej jest określić jaki zestaw mutacji zapewni kompletność lub odpowiednio duże pokrycie oraz co zrobić, aby możliwie mały zestaw mutacji zapewnił maksymalnie duże pokrycie).
Zadania do wykonania	1.    Analiza metod testów mutacyjnych oraz wstrzykiwania błędów (fauli injection) 2.    Opracowanie modelu zarządzania testami mutacyjnymi oraz modelu tworzenia mutacji 3.    Ocena dostępnych narzędzi i podejść testów mutacyjnych 4.    Zaprojektowanie i wytworzenie narzędzia wspierającego metodę 5.    Testy i weryfikacja aplikacji 6.    Testowe wdrożenie i ocena kompletności testów 7.    Analiza danych uzyskanych z wykonanego wdrożenia 8.    Opracowanie pracy dyplomowej
Literatura	1.    Y. Jia, M. Harman: “An Analysis and Survey of the Development of Mutation Testing", CREST Centre, King's College London, Technical Report TR-09-06, 2009 2.    A. Jefferson Offutt: “A Practical System for Mutation Testing: Help for the Common Programmer", IEEE International Test Conference 1994, pages: 824 - 830, IEEE Computer Society 1994 3.    S. Kim, J.A. Clark, J.A. McDermid, “Class Mutation: Mutation Testing for Object-Oriented Programs", Proceedings of the FMES 2000, October 2000 4.    G. Kamiński, P. Ammann: „Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing”, Software Testing Verification and Validation ICST '09, 2009 5.    L. Madeyski, N. Radyk: „Judy - a mutation testing tool for java”, IET Software, Volume: 4, Issue: 1, Pages: 32 - 42, 2010
Uwagi	Metoda i narzędzie zostanie opracowane dla języka Java
Dyplomant