|
|
Test Data Generator for Databases of Financial Technology
Moresová, Eva ; Vašíček, Ondřej (referee) ; Smrčka, Aleš (advisor)
This bachelor thesis deals with the creation of a test-data generator for databases of applications in the field of financial technology. The solution was implemented as an extension and modification of the functionality of existing dbgenx tool, which is a part of the Testos platform. The created tool enables data generation with regard to its structural and semantic dependencies, definition of custom external modules for data generation and provides an efficient way to define specification of the generated data.
|
|
|
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).
|
|
|
LSP Client for Apache Camel Language Server
Pospíšil, Filip ; Fiedor, Jan (referee) ; Vašíček, Ondřej (advisor)
The goal of this Bachelors thesis is the design and implementation of a plug-in that will provide language support for Apache Camel in the integrated development environment Apache NetBeans. The aim of the thesis is to enable integration of the language client for the integrated development environment Apache NetBeans. The client utilizes an existing language server for Apache Camel created by Red Hat. The thesis provides a basic introduction to the Microsoft Language Protocol, the Apache Camel framework, and the integrated development environment Apache Netbeans. Next, the design, implementation, and testing of the created language client are described. The result of this thesis is a plug-in module that provides comprehensive language support for the Apache Camel framework in the Apache Netbeans development environment. In the future the plug-in will be published in the Apache NetBeans Plugin Portal repository.
|
|
|
Unified Access to Requirements in JIRA
Pindur, Daniel ; Vašíček, Ondřej (referee) ; Fiedor, Jan (advisor)
Cílem této práce je vytvořit rozhraní pro přístup k požadavků uloženým v Jira Software s modulem Requirements for Jira (R4J) s využitím OSLC adaptéru pro specifikaci Správa požadavků. Adaptér byl rozdělen na dvě části, z důvodu vyhodnocení zda je možné splňovat požadavky i bez modulu R4J - jeden pro Jira Software (splňující všechny požadavky specifikace Správa požadavků) a druhou pro modul R4J (poskytující další funkce). Oba adaptéry byly implementovány s využitím nástrojů Eclipse Lyo a knihovny OSLC4J. Je uveden základní přehled základních technologií OSLC, specifikací OSLC Core a Správa požadavků, Jira a R4J. Práce obsahuje podrobné shrnutí procesu návrhu, implementace a testování adaptérů a vyhodnocení výsledků a použitých technologií.
|
|
|
Automatické generování šablon změn kódu
Kříž, Daniel ; Vašíček, Ondřej (referee) ; Vojnar, Tomáš (advisor)
Cílem této bakalářské práce je navržení metody automatického generování šablon změn kódu v jazyce LLVM IR pro DiffKemp, nástroj pro analýzu sémantických rozdílů mezi verzemi rozsáhlých programů. Dále je cílem umožnit automatické parametrizování změn mezi verzemi projektu pomocí hodnot, globálních proměnných a strukturových typů. Toho bylo dosaženo pomocí nalezení společné šablony mezi změnami a následným generováním jejích variant, které se liší v použití globálních proměnných a typů. Navržené řešení je implementováno jako rozšíření nástroje DiffKemp a naše experimentování na malých programech ukázalo, že námi navržená metoda je schopná vytvořit alespoň částečně uspokojivé výsledky.
|
|
|
Test Data Generator for Databases of Financial Technology
Moresová, Eva ; Vašíček, Ondřej (referee) ; Smrčka, Aleš (advisor)
This bachelor thesis deals with the creation of a test-data generator for databases of applications in the field of financial technology. The solution was implemented as an extension and modification of the functionality of existing dbgenx tool, which is a part of the Testos platform. The created tool enables data generation with regard to its structural and semantic dependencies, definition of custom external modules for data generation and provides an efficient way to define specification of the generated data.
|
|
|
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.
|
|
| |
guest ::
RSS feed.