Statická detekce častých chyb JBoss aplikačního serveru

Static Detection of Common Bugs in JBoss Application Server

Thumbnail
View/Open
Author
Advisor
Letko, Zdeněk
Referee
Rogalewicz, Adam
Grade
C
Altmetrics
Metadata
Show full item record
Abstract
Práce si klade za úkol poskytnout čtenáři popis statické analýzy prováděné prostřednictvím nástroje FindBugs nad aplikačním serverem JBoss od společnosti Red Hat. Na základě analýzy vybraných chyb byly vytvořeny vzory pro jejich detekci, které byly následně naimplementovány jako zásuvné moduly statického analyzátoru FindBugs (tzv. detektory). Vytvořené detektory byly otestovány na vývojové verzi JBoss aplikačního serveru a výsledky jsou publikovány v závěru práce.
 
First, a few bugs from a list of common bug were chosen and patterns describing these bugs were inferred. Then, detectors searching for such patterns were implemented as plug-ins to FindBugs static analyzer. Finally, detectors were used to detect bugs in development version of JBoss AS. Results are presented at the end of this paper.
 
Keywords
formální verifikace, statická analýza, testování software, JBoss, FindBugs, chyby v programech, hledání chyb, detektor, Java, formal verification, static analysis, software testing, JBoss, FindBugs, bugs, detector, Java
Language
čeština (Czech)
Study brunch
Inteligentní systémy
Composition of Committee
doc. Dr. Ing. Petr Hanáček (předseda) prof. Ing. Tomáš Vojnar, Ph.D. (místopředseda) Ing. Ján Genči, Ph.D. (člen) doc. Ing. Peter Chudý, Ph.D., MBA (člen) Dr. Ing. Petr Peringer (člen) doc. Ing. František Zbořil, Ph.D. (člen)
Date of defence
2010-06-21
Process of defence
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl 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 C. Otázky u obhajoby: Dokázal by Vámi popisovaný systém zabránit například explozím? Dají se v nástroji FindBugs účelně kontrolovat ošetřené vyjímky v programu?
Result of the defence
práce byla úspěšně obhájena
Persistent identifier
http://hdl.handle.net/11012/54303
Source
VYVIAL, P. Statická detekce častých chyb JBoss aplikačního serveru [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2010.
Collections
Citace PRO