Integrace automatické detekce statických chyb do vývojového prostředí

Bc. Lukáš VÝŠKRABKA

Master's thesis

Integration of static error detection to development tool

Abstract:

Tato práce se zabývá problematikou integrace nástroje do vývojového prostředí Eclipse. Integrovaným nástrojem je Java Class Comparator, který na základě přeložených zdrojových souborů a byte kódu knihoven použitých ve vyvíjené aplikaci dokáže odhalit přítomnost statických chyb. Je zde popsáno jak lze tohoto nástroje pro detekci využít a jsou zde uvedeny možnosti, které Eclipse poskytuje pro vytváření jeho rozšíření (pluginů). Dále je zde popsáno, jak byl vytvořený plugin implementován a testován, a v jaké formě jej lze distribuovat koncovým uživatelům. V jedné z posledních částí je ukázáno použití tohoto pluginu na ukázkovém projektu.

Abstract:

This thesis deals with tool integration to development environment. Integrated tool is Java Class Comparator, that is able to detect static errors on the basis of compiled source files and byte code of used libraries. There is described how the tool could be used for static error detection and there are shown possibilities for plugins creation provided by Eclipse. There is also described the implementation and testing possibilities of created plugin and how is possible distribute this plugin to end users. In one of the last parts is shown the usage of this plugin with sample project.

Keywords

Java Class Comparator, JaCC, statické chyby, korektnost vazeb, Eclipse, integrace, rozšíření, detekce, Maven, kompatibilita, knihovny, závislosti, Plugin Development Environment, P2

Language used: Czech

Date on which the thesis was submitted / produced: 14. 5. 2015

Accessible from:: 31. 12. 2999

Thesis defence

• Supervisor: Ing. Kamil Ježek, Ph.D.

University of West Bohemia

Faculty of Applied Sciences

Master programme / field:
Computer Science and Engineering / Distributed Systems and Computer Networks