Detail práce
Instrumentace Java programů, kontrakty pro paralelismus
Kontrakty pro paralelismus slouží k vyjádření potřebné atomicity sekvencí metod ve vícevláknových programech. Tato práce se zaměřuje na implementaci dynamického analyzátoru, který verifikuje programy napsané v jazyce Java vůči kontraktům. Podporovány jsou parametrické kontrakty se spojlery. Analyzátor je implementován jako rozšíření frameworku RoadRunner. V rámci implementace analyzátoru byla do frameworku RoadRunner přidána podpora pro získávání argumentů metod a jejich návratových hodnot. Analyzátor byl plně implementován a jeho funkčnost byla ověřena na sadě testovacích programů.
verifikace softwaru, dynamická analýza, Java, kontrakty pro paralelismus, RoadRunner, instrumentace, Java bajtkód, vícevláknové programování
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a nepřesvědčivých odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C.
Objasněte návaznosti své práce na diplomovou práci Dynamické analyzátory pro platformu SearchBestie, kterou v roce 2017 vypracoval Martin Janoušek pod vedením Aleše Smrčky a která se zabývala velice podobnými problémy.
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT), člen
Malinka Kamil, Mgr., Ph.D. (UITS FIT VUT), člen
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT), člen
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT), člen
@mastersthesis{FITMT23103, author = "Jan \v{Z}\'{a}rsk\'{y}", type = "Diplomov\'{a} pr\'{a}ce", title = "Instrumentace Java program\r{u}, kontrakty pro paralelismus", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2021, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/23103/" }