Detail práce

Automatizované metody hledání chyb v překladačích

Bakalářská práce Student: Müller Petr Akademický rok: 2007/2008 Vedoucí: Vojnar Tomáš, prof. Ing., Ph.D.
Název anglicky
Automated Methods of Finding Bugs in Compilers
Jazyk práce
český
Abstrakt

Tato práce se zabývá aplikací metody fuzz testing k testování překladačů a interpretů. V první části pojednává o překladačích, optimalizacích a chybách typických pro optimalizující překladač. Analyzuje vhodnost metod statické a dynamické analýzy pro hledání těchto chyb a jako vhodnou navrhuje dynamickou metodu fuzz testování. V rámci práce byl implementován nástroj pro testování překladačů používající tuto metodu, který byl aplikován na několik případů, přičemž se podařilo nalézt sérii chyb v rozšířených překladačích, a to včetně např. GCC.

Klíčová slova

překladače, testování, generátor náhodných vět, gramatiky, Python, jazyk C

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
12. června 2008
Oponent
Smrčka Aleš, Ing., Ph.D.
Komise
Zbořil František V., doc. Ing., CSc. (UITS FIT VUT), předseda
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT), člen
Martinek David, Ing. (UIFS FIT VUT), člen
Masopust Tomáš, RNDr., Ph.D. (UIFS FIT VUT), člen
Orság Filip, Ing., Ph.D. (UITS FIT VUT), člen
Sojka Petr, doc. RNDr., Ph.D. (FI MUNI), člen
Citace
MÜLLER, Petr. Automatizované metody hledání chyb v překladačích. Brno, 2008. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2008-06-12. Vedoucí práce Vojnar Tomáš. Dostupné z: https://www.fit.vut.cz/study/thesis/7102/
BibTeX 
@bachelorsthesis{FITBT7102,
    author = "Petr M{\"{u}}ller",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Automatizovan\'{e} metody hled\'{a}n\'{i} chyb v p\v{r}eklada\v{c}\'{i}ch",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2008,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/7102/"
}

Závěrečné práce

Nahoru