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

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.

Grantor dc:publisher

Vysoké učení technické v Brně. Fakulta informačních technologií

Author dc:creator

• Vyvial, Pavel

Advisor dc:contributor.advisor

• Letko, Zdeněk

• 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
• bugs
• detector

Statement dc:rights

• Standardní licenční smlouva - přístup k plnému textu bez omezení

Language dc:language.iso

cs

Dc Identifier Other

34797

OAI identifier oai:identifier

oai:dspace.vut.cz:11012/54303