Original title: Statická detekce častých chyb JBoss aplikačního serveru
Translated title: Static Detection of Common Bugs in JBoss Application Server
Authors: Vyvial, Pavel ; Rogalewicz, Adam (referee) ; Letko, Zdeněk (advisor)
Document type: Master’s theses
Year: 2010
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]
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: bugs; detector; FindBugs; formal verification; Java; JBoss; software testing; static analysis; chyby v programech; detektor; FindBugs; formální verifikace; hledání chyb; Java; JBoss; statická analýza; testování software

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/54303

Permalink: http://www.nusl.cz/ntk/nusl-543190


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses