Detail práce

Instrumentace Java programů, kontrakty pro paralelismus

Diplomová práce Student: Žárský Jan Akademický rok: 2020/2021 Vedoucí: Smrčka Aleš, Ing., Ph.D.
Název anglicky
Parametric Contracts for Concurrency in Java Programs
Jazyk práce
český
Abstrakt

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ů.

Klíčová slova

verifikace softwaru, dynamická analýza, Java, kontrakty pro paralelismus, RoadRunner, instrumentace, Java bajtkód, vícevláknové programování

Ústav
Studijní program
Informační technologie, obor Bezpečnost informačních technologií
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
23. června 2021
Oponent
Průběh obhajoby

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.

Otázky u obhajoby

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.

Komise
Drahanský Martin, prof. Ing., Dipl.-Ing., Ph.D. (UITS FIT VUT), předseda
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
Citace
ŽÁRSKÝ, Jan. Instrumentace Java programů, kontrakty pro paralelismus. Brno, 2021. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2021-06-23. Vedoucí práce Smrčka Aleš. Dostupné z: https://www.fit.vut.cz/study/thesis/23103/
BibTeX
@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/"
}
Nahoru