Detail práce

Ověřování parametrických vlastností nad záznamy běhů programů

Diplomová práce Student: Mutňanský Filip Akademický rok: 2019/2020 Vedoucí: Smrčka Aleš, Ing., Ph.D.
Jazyk práce
slovenský
Abstrakt

Cieľom tejto práce je vytvorenie nástroja, ktorý dokáže na základe užívateľom definovaných vlastností overiť, či postupnosť udalostí v záznamoch behu programu, alebo v log súbore vyhovuje definovaným vlastnostiam. Na definíciu vlastností sú použité rozšírené regulárne výrazy. Nástroj vie overovať parametrické vlastnosti. Užívateľ môže definovat závislosti medzi parametrami udalostí. Vstupom výsledného nástroja je definícia vlastností a obmedzení nad parametrami. Výstupom je report o porušených vlastnostiach s uvedenými sekvienciami udalostí, ktoré chybu spôsobili.

Klíčová slova

verifikácia programu za behu, temporálna logika, regulárny výraz, konečný automat, Büchiho automat, Testos

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie, obor Informační systémy
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
16. července 2020
Oponent
Kočí Radek, Ing., Ph.D.
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 odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C.

Otázky u obhajoby
  1. Vyjádřete se, zda a do jaké míry jste stavěl na implementaci původního nástroje logchecker nebo zda byl tento nástroj kompletně reimplementován. Z textu to není jasné.
  2. Inspiroval jste se při řešení existujícími nástroji, které jsou popsány v kapitole 3?
  3. Jak ovlivnil implementovaný garbage collector časovou a prostorovou složitost výsledného nástroje?
Komise
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT), předseda
Bartík Vladimír, Ing., Ph.D. (UIFS FIT VUT), člen
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT), člen
Chudý Peter, doc. Ing., Ph.D. MBA (UPGM FIT VUT), člen
Peringer Petr, Dr. Ing. (UITS FIT VUT), člen
Rychlý Marek, RNDr., Ph.D. (UIFS FIT VUT), člen
Citace
MUTŇANSKÝ, Filip. Ověřování parametrických vlastností nad záznamy běhů programů. Brno, 2020. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2020-07-16. Vedoucí práce Smrčka Aleš. Dostupné z: https://www.fit.vut.cz/study/thesis/22424/
BibTeX 
@mastersthesis{FITMT22424,
    author = "Filip Mut\v{n}ansk\'{y}",
    type = "Diplomov\'{a} pr\'{a}ce",
    title = "Ov\v{e}\v{r}ov\'{a}n\'{i} parametrick\'{y}ch vlastnost\'{i} nad z\'{a}znamy b\v{e}h\r{u} program\r{u}",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2020,
    location = "Brno, CZ",
    language = "slovak",
    url = "https://www.fit.vut.cz/study/thesis/22424/"
}

Závěrečné práce

Nahoru