Detail práce

Statická analýza Java programů

Bakalářská práce Student: Vyvial Pavel Akademický rok: 2007/2008 Vedoucí: Křena Bohuslav, Ing., Ph.D.
Název anglicky
Static Analysis of Java Programs
Jazyk práce
český
Abstrakt

Projekt SHADOWS se zabývá vývojem software, který je schopen automaticky opravovat chyby v programech. Po každé opravě je třeba zjistit, zda opravná akce úspěšně odstranila chybu a nezanesla do kódu chybu novou, mnohem závažnější. Ve své bakalářské práci se zabývám právě takovýmto dokazováním korektni opravy kódu v konkurentních systémech. Některé z chyb v konkurentních systémech mohou být opraveny automatickým přidáním synchronizace. Při takovémto opravování chyb je potřeba zkontrolovat zda v uzamykané části neexistuje instrukce monitorenter, která by mohla představovat potenciální nebezpečí uváznutí. Dokazování korektnosti opravy je prováděno za pomocí Control Flow Graph analýzy nad Java byte-kódem.  Prototyp k tomuto účelu využívá statickou analýzu zastoupenou nástrojem FindBugs.

Klíčová slova

automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
12. června 2008
Oponent
Hýsek Jiří, Ing.
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
VYVIAL, Pavel. Statická analýza Java programů. Brno, 2008. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2008-06-12. Vedoucí práce Křena Bohuslav. Dostupné z: https://www.fit.vut.cz/study/thesis/6620/
BibTeX 
@bachelorsthesis{FITBT6620,
    author = "Pavel Vyvial",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Statick\'{a} anal\'{y}za Java program\r{u}",
    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/6620/"
}

Závěrečné práce

Nahoru