|
|
Generátor testovacích dat pro databáze finančních technologií
Moresová, Eva ; Vašíček, Ondřej (oponent) ; Smrčka, Aleš (vedoucí práce)
Táto bakalárska práca sa zaoberá vytvorením generátora testovacích dát pre databázy aplikácií z oblasti finančných technológií. Riešenie tohto problému bolo realizované ako rozšírenie a upravenie funkcionality existujúceho nástroja dbgenx, ktorý je súčasťou platformy Testos. Vytvorený nástroj umožňuje generovať dáta s ohľadom na ich štrukturálne a sémantické závislosti, definovať vlastné externé moduly na generovanie a poskytuje efektívny zápis predpisu pre generované dáta.
|
|
|
Ověřování parametrických vlastností nad záznamy běhů programů
Čaládi, Filip ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Plogchecker 2.0 je nástroj zameraný na verifikáciu užívatelom definovaných vlastností nad sekvenciou udalostí generovaných programom. Implementácia tohoto nástroja stavá hlavne na už implementovanom nástroji Plogchecker. Hlavná mýšlienka týchto nástrojov je, že užívatel musí špecifikovať želané vlastnosti (parametrické alebo neparametrické), sprístupniť záznam behu programu verifikačnému nástroju a konečne prenechať analýzu na tento nástroj. Výstup analýzy je report o porušení špecifikovaných vlastností spolu so sekvenciami udalostí, ktoré spôsobili chybu. Táto práca predstavuje nový algoritmus , ktorý optimalizuje spracovanie sekvenie udalostí nad užívatelom definovanými vlastnosťami. Táto optimalizácia sa zameriava ako na škálovatelnosť tak aj presnosť. Ďalej, je pridaná podpora pre rôzne dátové typy parametrov, ako napríklad reťazec, číslo, dátum a čas. Nakoniec, táto práca ponúka jednoduchší a pohodlnejší spôsob vytvárania parametických vlastností. Počas experimentovania bolo ukázané, že Plogchecker 2.0 je schopný väčšej škálovatelnosti a presnosti.
|
|
| |
|
|
RPM Package Query Resolver
Korbař, Tomáš ; Smrčka, Aleš (oponent) ; Rogalewicz, Adam (vedoucí práce)
The goal of this thesis is to create a tool allowing effective retrieval of data about RPM packages and perform queries both about their data and the relations which exist between them. The tool has to be able to outperform the speed of currently existing tools and allow easy extension for the preservation of more data or relations. Another required feature is a visualization of results according to user settings or providing of results in machine-readable format.
|
|
|
Framework pro placenou internetovou službu
Hájek, Filip ; Smrčka, Aleš (oponent) ; Hrubý, Martin (vedoucí práce)
Cílem této práce je navrhnutí a implementování kontejnerizované internetové služby, která poskytuje uživatelům možnost spouštět úlohy. Úlohou se myslí pouze abstrakce nad nějakou konkrétní implementací výpočtu. Úloha se spouští jako Docker kontejner. V práci se dále implementuje administrace uživatelů a metoda zpoplatnění spuštěných úloh. Architektura systému se skládá z REST API webového serveru a uživatelského webového prostředí. Nezbytnou komponentou systému jsou worker aplikace, které vykonávají uživatelské úlohy přidělené serverem. Celý systém se podařilo implementovat pomocí frameworku .NET 6 v programovacím jazyce C#. Provoz služby se podařilo nasimulovat v prostředí Dockeru. Služba integruje existující služby Auth0 a Google Cloud Storage. Výsledkem je internetová služba nasazená na veřejném cloud serveru.
|
|
|
Inteligentní detektor prezence
Kronika, Vojtěch ; Smrčka, Aleš (oponent) ; Janoušek, Vladimír (vedoucí práce)
V této práci jsem se zabýval řešením vnitřní lokalizace, jejím návrhem a realizací. Jsme v době, kdy je téma chytré domácnosti denní záležitostí a řešení vnitřní lokalizace zatím nemá jistého vítěze. Cílem práce je vytvořit inteligentní detektor prezence, pomocí technologie Bluetooth, který rozpozná, v které místnosti se zařízení nachází, a odhadne, v které části místnosti se zařízení může nacházet. Pro dosažení cíle používám minimálně tři senzory v každé místnosti a porovnávám síly signálů mezi senzory a lokalizovaným zařízením. Na redukci šumu z datových signálů od senzorů je použit Kalmanův filtr. Výsledkem práce je funkční řešení pro vnitřní lokalizaci. Zjistil jsem, že není jednoduché použít rychle se měnící sílu signálu pro triangulaci a získat tak přesnou polohu zařízení. Další práce by se mohla zabývat tím, co je potřeba udělat, aby triangulace byla možná a funkční. Jednou z možných cest je prozkoumání technologie Bluetooth Direction Finding.
|
|
|
Verifikace za běhu systémů s vlastnostmi v MTL logice
Olšák, Ondřej ; Hruška, Martin (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem algoritmu pro ověřování splnitelnosti omezení programu zapsaných pomocí metrické temporální logiky (MTL), kdy sledování splnitelnosti těchto formulí probíhá za běhu daného programu. K ověřování těchto vlastností využívá navržený algoritmus stromové struktury, která je podobná chování alternujícího časového automatu, ze kterého je výsledný postup sledování programu odvozen. Navržený algoritmus, je schopen za běhu daného programu ověřovat jeho vlastnosti vůči definovaným MTL formulím a to bez potřeby pamatovat si stavy, ve kterých se sledovaný program nacházel. To umožňuje ověřit vlastnosti daného programu u potenciálně nekonečných běhů.
|
|
|
The Tool for Assessing the Neatness of Source Code
Kinšt, Ondřej ; Smrčka, Aleš (oponent) ; Veigend, Petr (vedoucí práce)
The aim of this thesis is to introduce the reader to the theory of code style, formatters and linters and the implementation of a tool which assesses the the neatness of code written in the C programming language. It describes the process of implementing such tool, using available solutions like ANTLR, and the design decisions behind it. In the end, a tool has been created which objectively assesses neatness of source as well as provides a list of issues with descriptions for the user.
|
|
|
Chart Builder Ansible Automation Analytics
Berky, Levente ; Smrčka, Aleš (oponent) ; Rogalewicz, Adam (vedoucí práce)
This thesis focuses on creating a web component to render charts from a structured data format (schema for short), and creating an user facing interface for editing and creating the schema for the Ansible Automation Analytics. The thesis explores the current implementation of the Ansible Automation Analytics and the corresponding API, researches similar charting libraries and describes the fundamentals of used technologies. The practical part describes the requirements for the component and describes the development and the implementation of the plugin. Furthermore, the thesis describes the process of testing and the future development plans of the plugin.
|
|
|
Automatické generování testovacích dat informačních systémů
Naňo, Andrej ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Nastroj ISAGENumoznuje automaticke generovanie komplexnych sturkturovanych testovacich vstupov imitujucich realnu komunikaciu z prostredia modernych informacnych systemov. Komplexne data, typicky so strukturou stromu v sucasnosti predstavuju zakladny transportacny prostriedok pre prenos informacii medzi uzlami distribuovanych informacnych systemov. Automaticky generator ISAGENvychadza z metodologie datami riadeneho testovania a vyuziva konkretne data z produkcneho prostredia ako hlavnu charakteristiku a specifikaciu pre riadenie generovania novych podobnych dat pre testovacie pripady splnajuce zadane kombinacne kriteria. Hlavnym prinosom tejto prace je obsiahle predlozenie technik pre automatizovane generovanie dat spolocne s praktickou implementaciou, ktora demonstruje ich pouzitie. Vytvorene riesenie umoznuje testerom vytvarat viac relevantne testovacie data, ktore vhodne reprezentuju realnu komunikaciu z produkcnych informacnych systemov.
|
host ::
RSS.