Detail práce

Trasovatelnost optimalizovaného generovaného kódu

Bakalářská práce Student: Gavenda Daniel Akademický rok: 2021/2022 Vedoucí: Křivka Zbyněk, Ing., Ph.D.
Název anglicky
Traceability of Optimized Generated Code
Jazyk práce
český
Abstrakt

Práca sa zaoberá vytvorením aplikácie v jazyku Python, ktorá zo zadaného modelu a kódu z neho vygenerovaného poskytne užívateľovi analýzu optimalizácií vykonaných pri automatickom generovaní kódu. Táto analýza bude užitočná pre modelových návrhárov vo firme Honeywell International v oddelení AeroSpace. Umožní im tak jednoduchšie lokalizovanie a odstránenie či upravenie častí modelu, ktoré boli optimalizované.

Klíčová slova

trasovateľnosť, automaticky generovaný kód, optimalizácie, vývoj založený na modeloch, analýza generovaného kódu, rozbor syntaktického stromu, Python, MATLAB, Stateflow

Ústav
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení B
Obhajoba
17. června 2022
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 (např. k provádění optimalizace kódu či rozsah prezentace vlastního přínosu v technické zprávě). 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 B - velmi dobře.

Otázky u obhajoby
  1. V kap. 6 "Testovanie výslednej aplikácie" zmiňujete jednu optimalizaci, kterou Vaše aplikace neumí detekovat. Je možné se v modelu nějak vyvarovat případů, které povedou při generování kódu k problematické optimalizaci?
Komise
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT), předseda
Burgetová Ivana, Ing., Ph.D. (UIFS FIT VUT), člen
Fučík Otto, doc. Dr. Ing. (UPSY FIT VUT), člen
Grézl František, Ing., Ph.D. (UPGM FIT VUT), člen
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT), člen
Citace
GAVENDA, Daniel. Trasovatelnost optimalizovaného generovaného kódu. Brno, 2022. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2022-06-17. Vedoucí práce Křivka Zbyněk. Dostupné z: https://www.fit.vut.cz/study/thesis/24688/
BibTeX
@bachelorsthesis{FITBT24688,
    author = "Daniel Gavenda",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Trasovatelnost optimalizovan\'{e}ho generovan\'{e}ho k\'{o}du",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2022,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/24688/"
}
Nahoru