| |
|
OSLC Adapter for ANaConDA Framework
Vašíček, Ondřej ; Kočí, Radek (referee) ; Smrčka, Aleš (advisor)
This work is a proof of concept for adding an OSLC interface to academic software tools. The process of adding OSLC support to a tool is demonstrated by creating an OSLC adapter for the ANaConDA framework using Eclipse Lyo. The goal of this work is to allow ANaConDA to integrate with other tools. An introduction to ANaConDA, OSLC, and Eclipse Lyo is provided along with an overview of the related basic concepts. Then, the design and implementation of the OSLC adapter for ANaConDA is presented. As a result of this work, the process of creating an OSLC adapter is evaluated, and a working implemented OSLC adapter for ANaConDA is presented. Finally, this work features an overview of my past ANaConDA related work which includes implementation of two data race detectors, FastTrack and Eraser.
|
|
OSLC Adapter for Software Analysis
Vašíček, Ondřej ; Hrubý, Martin (referee) ; Smrčka, Aleš (advisor)
Cílem této práce je poskytnout snadný způsob, jak rozšířit analyzační nástroj o rozhraní splňující standard OSLC. Takové rozhraní umožňuje jednoduchou integraci nástrojů s jinými nástroji nebo systémy, umožňuje jejich vzdálené použití skrze webové služby a umožňuje je jednoduše propojit s databází pro databázové dotazy a pro perzistentní uložení dat. Toto je dosaženo návrhem a implementací OSLC adaptéru pomocí sady nástrojů Eclipse Lyo. Adaptér používá jako rozhraní doménu OSLC Automation a je dostatečně univerzální na to, aby skrze toto rozhraní pokryl funkcionalitu většiny analyzačních nástrojů za pomocí jejich stávajících rozhraní na příkazové řádce. Tato práce poskytuje úvod k OSLC, Eclipse Lyo a souvisejícím konceptům. Dále tato práce definuje požadavky a odlišnosti různých analyzačních nástrojů a diskutuje návrh adaptéru a faktory, které ovlivnily návrhová rozhodnutí. A nakonec prezentuje implementovaný adaptér a jeho vyhodnocení pomocí automatizované testovací sady a pomocí experimentů s řadou analyzačních nástrojů. Nejvýznamnější ukazatel hodnocení vytvořeného adaptéru je to, že už teď je používán v praxi pro přidání OSLC rozhraní k nástrojům ANaConDA, Perun, Spectra (všechny tři vyvíjené na VeriFIT) a HiLiTE (Honeywell).
|
|
OSLC Adapter for Software Analysis
Vašíček, Ondřej ; Hrubý, Martin (referee) ; Smrčka, Aleš (advisor)
Cílem této práce je poskytnout snadný způsob, jak rozšířit analyzační nástroj o rozhraní splňující standard OSLC. Takové rozhraní umožňuje jednoduchou integraci nástrojů s jinými nástroji nebo systémy, umožňuje jejich vzdálené použití skrze webové služby a umožňuje je jednoduše propojit s databází pro databázové dotazy a pro perzistentní uložení dat. Toto je dosaženo návrhem a implementací OSLC adaptéru pomocí sady nástrojů Eclipse Lyo. Adaptér používá jako rozhraní doménu OSLC Automation a je dostatečně univerzální na to, aby skrze toto rozhraní pokryl funkcionalitu většiny analyzačních nástrojů za pomocí jejich stávajících rozhraní na příkazové řádce. Tato práce poskytuje úvod k OSLC, Eclipse Lyo a souvisejícím konceptům. Dále tato práce definuje požadavky a odlišnosti různých analyzačních nástrojů a diskutuje návrh adaptéru a faktory, které ovlivnily návrhová rozhodnutí. A nakonec prezentuje implementovaný adaptér a jeho vyhodnocení pomocí automatizované testovací sady a pomocí experimentů s řadou analyzačních nástrojů. Nejvýznamnější ukazatel hodnocení vytvořeného adaptéru je to, že už teď je používán v praxi pro přidání OSLC rozhraní k nástrojům ANaConDA, Perun, Spectra (všechny tři vyvíjené na VeriFIT) a HiLiTE (Honeywell).
|
|
OSLC Adapter for ANaConDA Framework
Vašíček, Ondřej ; Kočí, Radek (referee) ; Smrčka, Aleš (advisor)
This work is a proof of concept for adding an OSLC interface to academic software tools. The process of adding OSLC support to a tool is demonstrated by creating an OSLC adapter for the ANaConDA framework using Eclipse Lyo. The goal of this work is to allow ANaConDA to integrate with other tools. An introduction to ANaConDA, OSLC, and Eclipse Lyo is provided along with an overview of the related basic concepts. Then, the design and implementation of the OSLC adapter for ANaConDA is presented. As a result of this work, the process of creating an OSLC adapter is evaluated, and a working implemented OSLC adapter for ANaConDA is presented. Finally, this work features an overview of my past ANaConDA related work which includes implementation of two data race detectors, FastTrack and Eraser.
|
| |