Detail práce

Překladač z fragmentu jazyka C do nástroje ARTMC

Bakalářská práce Student: Marušák Matej Akademický rok: 2016/2017 Vedoucí: Rogalewicz Adam, doc. Mgr., Ph.D.
Název anglicky
Compiler of C Language Fragment to ARTMC Tool
Jazyk práce
český
Abstrakt

S narastajúcou komplexitou softvérových programov je stále viac a viac žiadaná automa-tizovaná analýza a verifikácia týchto programov. Výskumná skupina VeriFIT na Fakulteinformačních technologií Vysokého učení technického sa zaoberá výskumom v danej oblasti.Jedným z vytvorených nástrojov v tejto skupine je aj nástroj ARTMC. Táto bakalárskapráca navrhuje a implementuje prekladač z podmnožiny jazyka C do vstupného formátu ná-stroja ARTMC. Vytvorený prekladač výrazne uľahčuje prácu s nástrojom ARTMC, nakoľkovstupný formát nie je vhodný na manuálné vytváranie.

Klíčová slova

ARTMC, prekladač, C, verifikácia, Python

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
13. června 2017
Oponent
Hruška Martin, Ing.
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 A.

Otázky u obhajoby
  1. Zvažoval jste nějaké pokročilejší transformace pro práci s daty? Např. vyhodnocení některých výrazů již v době překladu, což by umožnilo spouštět nástroj nad větším množstvím příkladů?
  2. Ignorujete include hlavičkových souborů. Nezvažoval jste užití externího nástroje pro předzpracování zdrojových kódu, který by provedl vložení hlaviček do kódu tam, kde je to možné?
Komise
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT), předseda
Burget Radek, doc. Ing., Ph.D. (UIFS FIT VUT), člen
Chudý Peter, doc. Ing., Ph.D. MBA (UPGM FIT VUT), člen
Martínek Tomáš, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT), člen
Citace
MARUŠÁK, Matej. Překladač z fragmentu jazyka C do nástroje ARTMC. Brno, 2017. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2017-06-13. Vedoucí práce Rogalewicz Adam. Dostupné z: https://www.fit.vut.cz/study/thesis/19558/
BibTeX 
@bachelorsthesis{FITBT19558,
    author = "Matej Maru\v{s}\'{a}k",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "P\v{r}eklada\v{c} z fragmentu jazyka C do n\'{a}stroje ARTMC",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2017,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/19558/"
}

Závěrečné práce

Nahoru