Statická detekce častých chyb JBoss aplikačního serveru
| but.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) | cs |
| but.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? | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Letko, Zdeněk | cs |
| dc.contributor.author | Vyvial, Pavel | cs |
| dc.contributor.referee | Rogalewicz, Adam | cs |
| dc.date.created | 2010 | cs |
| dc.description.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. | cs |
| dc.description.abstract | 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. | en |
| dc.description.mark | C | cs |
| dc.identifier.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. | cs |
| dc.identifier.other | 34797 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/54303 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | formální verifikace | cs |
| dc.subject | statická analýza | cs |
| dc.subject | testování software | cs |
| dc.subject | JBoss | cs |
| dc.subject | FindBugs | cs |
| dc.subject | chyby v programech | cs |
| dc.subject | hledání chyb | cs |
| dc.subject | detektor | cs |
| dc.subject | Java | cs |
| dc.subject | formal verification | en |
| dc.subject | static analysis | en |
| dc.subject | software testing | en |
| dc.subject | JBoss | en |
| dc.subject | FindBugs | en |
| dc.subject | bugs | en |
| dc.subject | detector | en |
| dc.subject | Java | en |
| dc.title | Statická detekce častých chyb JBoss aplikačního serveru | cs |
| dc.title.alternative | Static Detection of Common Bugs in JBoss Application Server | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2010-06-21 | cs |
| dcterms.modified | 2020-05-09-23:41:59 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 34797 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 14:48:41 | en |
| sync.item.modts | 2025.01.15 19:51:53 | en |
| thesis.discipline | Inteligentní systémy | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |