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.
Anotace v angličtině
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
Klíčová slova v angličtině
Java Class Comparator, JaCC, static errors, correctness links, Eclipse, integration, plugin, detection, Maven, compatibility, libraries, dependencies, Plugin Development Environment, P2
Rozsah průvodní práce
56 s.
Jazyk
CZ
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.
Anotace v angličtině
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
Klíčová slova v angličtině
Java Class Comparator, JaCC, static errors, correctness links, Eclipse, integration, plugin, detection, Maven, compatibility, libraries, dependencies, Plugin Development Environment, P2
Zásady pro vypracování
Seznamte se s nástrojem pro statickou verifikaci Java .jar knihoven, JaCC.
Seznamte se jakým způsobem je možné tento nástroj využít k odhalování statických chyb v binárních knihovnách využívaných při vývoji Java aplikací, v případě potřeby proveďtě rozšíření nástroje JaCC.
Seznamte se s tvorbou pluginů pro některé vývojové prostředí, např. Eclipse, IntelliJ IDEA, Netbeans apod.
Integrujte nástroj JaCC do zvoleného vývojového prostředí, tak aby bylo možno odhalovat chyby při vývoji aplikací v tomto prostředí.
Dbejte na to, aby řešení co nejvíce odpovídalo zvykům ovládání v daném prostředí. Například se statické chyby v binárních .jar souborech budou zobrazovat shodně jako kompilační chyby. Tj. například v prostředí Eclipse se v editoru kódu zobrazí chyba jako červené podtržení, ve stromu objektů projektu jako červená ikona na příslušné třídě a v záložce Markers budou podrobnosti. Analogickým způsobem postupujte v případě jiného IDE.
Řešení demonstrujte na ukázkové aplikaci a vytvořte automatizované testy.
Zásady pro vypracování
Seznamte se s nástrojem pro statickou verifikaci Java .jar knihoven, JaCC.
Seznamte se jakým způsobem je možné tento nástroj využít k odhalování statických chyb v binárních knihovnách využívaných při vývoji Java aplikací, v případě potřeby proveďtě rozšíření nástroje JaCC.
Seznamte se s tvorbou pluginů pro některé vývojové prostředí, např. Eclipse, IntelliJ IDEA, Netbeans apod.
Integrujte nástroj JaCC do zvoleného vývojového prostředí, tak aby bylo možno odhalovat chyby při vývoji aplikací v tomto prostředí.
Dbejte na to, aby řešení co nejvíce odpovídalo zvykům ovládání v daném prostředí. Například se statické chyby v binárních .jar souborech budou zobrazovat shodně jako kompilační chyby. Tj. například v prostředí Eclipse se v editoru kódu zobrazí chyba jako červené podtržení, ve stromu objektů projektu jako červená ikona na příslušné třídě a v záložce Markers budou podrobnosti. Analogickým způsobem postupujte v případě jiného IDE.
Řešení demonstrujte na ukázkové aplikaci a vytvořte automatizované testy.