Detail práce

Statická analýza zdrojového kódu jazyka CodAL

Bakalářská práce Student: Fajčík Martin Akademický rok: 2014/2015 Vedoucí: Hynek Jiří, Ing., Ph.D.
Název anglicky
Static Analysis of CodAL Language Source Code
Jazyk práce
český
Abstrakt

Cílem této bakalářské práce je návrh a implementace rozšíření editorů jazyka CodAL v oblasti statické analýzy zdrojového kódu tohoto jazyka a návrhu jeho automatických oprav. Tato forma analýzy je vhodná například pro ověření sémantické korektnosti zdrojového kódu. Práce se dělí na teoretickou a praktickou část. Teoretická část této práce obsahuje obeznámení se s tvorbou rozšíření pro vývojové prostředí z řad platformy Eclipse, zejména s editorem jazyka CodAL, jazykem CodAL a vytyčením chyb tohoto jazyka vhodných pro zpracování statickou analýzou. Praktická část se zabývá konkrétní implementací prvků statické analýzy zdrojového kódu jazyka CodAL a návrhu jeho automatických oprav. Rozšiřované editory jazyka CodAL jsou dostupné ve vývojovém prostředí Codasip Studio založeném především na platformě Eclipse a projektu CDT. Produkt Codasip Studio je vyvíjený společností Codasip ve spolupráci s výzkumnou skupinou Lissom.

Klíčová slova

CodAL, CDT, Codasip Studio, Eclipse, gramatika, jazyk, syntaxe, sémantika, Lissom, editor, pohlad, statická analýza, abstraktní syntaktický strom, checker, quick fix

Ústav
Ústav informačních systémů FIT VUT v Brně
Studijní program
Informační technologie
Stav
obhájeno, hodnocení A
Obhajoba
17. června 2015
Oponent
Přikryl Zdeněk, 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ázkuoponenta 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. V práci není uvedena paměťová náročnost řešení. Můžete ji uvést?
Komise
Zemčík Pavel, prof. Dr. Ing. (UPGM FIT VUT), předseda
Honzík Jan M., prof. Ing., CSc. (UIFS FIT VUT), člen
Orság Filip, Ing., Ph.D. (UITS FIT VUT), člen
Szőke Igor, Ing., Ph.D. (UPGM FIT VUT), člen
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Citace
FAJČÍK, Martin. Statická analýza zdrojového kódu jazyka CodAL. Brno, 2015. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2015-06-17. Vedoucí práce Hynek Jiří. Dostupné z: https://www.fit.vut.cz/study/thesis/17388/
BibTeX 
@bachelorsthesis{FITBT17388,
    author = "Martin Faj\v{c}\'{i}k",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Statick\'{a} anal\'{y}za zdrojov\'{e}ho k\'{o}du jazyka CodAL",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2015,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/17388/"
}

Závěrečné práce

Nahoru