Detail práce

Vizualizace datových struktur pro verifikační nástroje

Bakalářská práce Student: Holubec Michael Akademický rok: 2015/2016 Vedoucí: Peringer Petr, Dr. Ing.
Název anglicky
Data Structure Visualization for Verification Tools
Jazyk práce
český
Abstrakt

Cílem práce je objektově orientovaný návrh a implementace knihovny, která poskytne verifikačnímu nástroji Predator a dalším nástrojům jednotné rozhraní pro vizualizaci interních datových struktur především pro účely jejich ladění. Práce analyzuje některé vlastnosti verifikačních nástrojů Predator, Forester a CPAchecker. Knihovna poskytuje nejen grafický, ale také textový výstup ve formátu jazyka DOT. Výsledek byl otestován připojením knihovny k verifikačnímu nástroji Predator.

Klíčová slova

Verifikace, Vizualizace datových struktur, Verifikační nástroj, Predator, Forester, CPAchecker

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
14. června 2016
Oponent
Lengál Ondřej, 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. Můžete shrnout jaké výhody pro verifikační nástroje (mimo nástroje Predator) poskytuje použití vámi vytvořené knihovny oproti přímému napojení na funkce Graphvizu?
Komise
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT), předseda
Bartík Vladimír, Ing., Ph.D. (UIFS FIT VUT), člen
Burget Lukáš, doc. Ing., Ph.D. (UPGM FIT VUT), člen
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT), člen
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT), člen
Citace
HOLUBEC, Michael. Vizualizace datových struktur pro verifikační nástroje. Brno, 2016. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2016-06-14. Vedoucí práce Peringer Petr. Dostupné z: https://www.fit.vut.cz/study/thesis/18837/
BibTeX 
@bachelorsthesis{FITBT18837,
    author = "Michael Holubec",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Vizualizace datov\'{y}ch struktur pro verifika\v{c}n\'{i} n\'{a}stroje",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2016,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/18837/"
}

Závěrečné práce

Nahoru