Temat pracy dyplomowej magisterskiej Temat pracy w jęz - Wydział ...

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
(fault 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. Kaminski, 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