|
|
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.
|
|
|
Parametric Properties for Log Checker
Čaládi, Filip ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
Plogchecker 2.0 is a tool for verification of user-defined properties over sequences of events in the traces of the program. The implementation of this tool mainly builds on the previous version of the tool Plogchecker. The main idea behind these tools is that the user has to specify system properties (parametric or non-parametric), make any program run records available to the verification tool and let the tool analyze. The analysis output is the report about the violation of specified properties with sequences of events that caused the error. This thesis proposes a new algorithm that optimizes the processing of event sequences against user-defined properties specifications. The optimizations are focused on both scalability as well as precision. Furthermore, it adds support for various parametric data types, such as string, number, date and time. Finally, it offers an easier and more comfortable way to specify such parametric properties. Throughout the series of experiments, it is shown that Plogchecker 2.0 is more scalable and precise compared to previous version of Plogchecker.
|
|
| |
|
|
RPM Package Query Resolver
Korbař, Tomáš ; Smrčka, Aleš (referee) ; Rogalewicz, Adam (advisor)
Cílem této práce je vytvořit nástroj umožňující efektivně získávat data o RPM balících a dotazovat se jak na data jednotlivých balíků tak na vztahy, které mezi nimi existují. Nástroj musí být schopen předčit dosavadní rychlost dotazování existujících nástrojů a dovolit snadné rozšíření o ukládání dalších dat nebo vztahů. Další z požadovaných funkcí je vizualizace výsledků podle nastavení uživatele nebo poskytnutí výsledku v strojově zpracovatelném formátu.
|
|
|
Framework for a Web Internet Service
Hájek, Filip ; Smrčka, Aleš (referee) ; Hrubý, Martin (advisor)
The goal of this thesis is to design and implement a containerized web service, which provides the ability to create and run users' tasks. The task is only an abstraction over some particular implementation of computation. The task runs as a Docker container. The thesis also implements user management and the method of running task charging. The system architecture consists of a REST API web server and a user web environment. Worker applications are an essential component of the system. They start user tasks assigned by the server. The system was implemented using the .NET 6 framework in programming language C#. The run of the service has been simulated in a Docker environment. The service integrates existing Auth0 and Google Cloud Storage services. The result is an internet service deployed on a public cloud server.
|
|
|
Intelligent Presence Detection
Kronika, Vojtěch ; Smrčka, Aleš (referee) ; Janoušek, Vladimír (advisor)
In this work I dealt with the solution of indoor localization, its design and implementation. We are at a time when the topic of smart home is a daily affair and the solution for indoor localization does not have a certain winner yet. The goal of this work is to create an intelligent presence detector, using Bluetooth technology, which recognizes in which room the device is located. And it estimates in which part of the room the device can be located. To achieve the goal, I use at least three sensors in each room and compare the signal strengths between the sensors and the localized device. A Kalman filter is used for a noise reduction on data signals from sensors. The result of the work is a functional solution for indoor localization. I have found that it is not easy to use rapidly changing signal strength within triangulation to obtain the exact position of the device. Further work could address what needs to be done to make triangulation possible and functional. One of possible directions is an exploration of Bluetooth Direction Finding technology.
|
|
|
Runtime Verification of Systems with MTL Properties
Olšák, Ondřej ; Hruška, Martin (referee) ; Smrčka, Aleš (advisor)
This work is focused on the design of an algorithm for run-time verification over requirements given as formulas in metric temporal logic (MTL). Tree structure is used for verification of these requirements, which is similar to run of alternating timed automata from which the final algorithm is derivated. Designed algorithm is able to verify given MTL formulas over the runs of a program without a need to remember the whole program's trace. This allows to monitor a given program on potentially infinite runs.
|
|
|
The Tool for Assessing the Neatness of Source Code
Kinšt, Ondřej ; Smrčka, Aleš (referee) ; Veigend, Petr (advisor)
Hlavním cílem této práce je seznámit čtenáře s teorií stylu kódování, formáterů a linterů a s implementací nástroje, který hodnotí úhlednost zdrojových kódů napsaných v jazyce C. Práce popisuje proces implementace tohoto nástroje s využitím dostupných řešení jako ANTLR popis jeho návrhu. Výsledkem práce je vytvořený nástroj, který objektivně hodnotí úhlednost zdrojových kódů a navíc nabízí seznam problémů s popisky pro uživatele.
|
|
|
Chart Builder Ansible Automation Analytics
Berky, Levente ; Smrčka, Aleš (referee) ; Rogalewicz, Adam (advisor)
Tato práce se zaměřuje na vytvoření webové komponenty k vykreslení grafů ze strukturovanýho datovýho formátu (dále jen schéma) a vytvoření uživatelského rozhraní pro editaci schématu pro Ansible Automation Analytics. Práce zkoumá aktuální implementaci Ansible Automation Analytics a odpovídající API. Dále zkoumá vhodné knihovny pro vykreslování grafů a popisuje základy použitých technologií. Praktická část popisuje požadavky na komponentu a popisuje vývoj a implementaci pluginu. Dále práce popisuje proces testování a~plány budoucího vývoje pluginu.
|
|
|
Automatic Test Input Generation for Information Systems
Naňo, Andrej ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
ISAGENis a tool for the automatic generation of structurally complex test inputs that imitate real communication in the context of modern information systems . Complex, typically tree-structured data currently represents the standard means of transmitting information between nodes in distributed information systems. Automatic generator ISAGENis founded on the methodology of data-driven testing and uses concrete data from the production environment as the primary characteristic and specification that guides the generation of new similar data for test cases satisfying given combinatorial adequacy criteria. The main contribution of this thesis is a comprehensive proposal of automated data generation techniques together with an implementation, which demonstrates their usage. The created solution enables testers to create more relevant testing data, representing production-like communication in information systems.
|
guest ::
RSS feed.