Statická detekce častých chyb JBoss aplikačního serveru
Loading...
Date
Authors
Vyvial, Pavel
Advisor
Referee
Mark
C
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
ORCID
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.
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.
Description
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
Citation
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.
Document type
Document version
Date of access to the full text
Language of document
cs
Study field
Inteligentní systémy
Comittee
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 acceptance
2010-06-21
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 defence
práce byla úspěšně obhájena