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

Bc. Lukáš VÝŠKRABKA

Diplomová práce

Integration of static error detection to development tool

Anotace:

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.

Klíčová slova

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

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 14. 5. 2015

Zveřejnit od: 31. 12. 2999

Obhajoba závěrečné práce

• Vedoucí: Ing. Kamil Ježek, Ph.D.

ZÁPADOČESKÁ UNIVERZITA V PLZNI

Fakulta aplikovaných věd

Magisterský studijní program / obor:
Inženýrská informatika / Distribuované systémy a počítačové sítě