|
|
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.
|
|
|
The System for Collection and Analysis of Cryptocurrency Exchange Rates
Čaládi, Filip ; Pluskal, Jan (oponent) ; Veselý, Vladimír (vedoucí práce)
This Bachelor's thesis is focused on cryptocurrencies, cryptocurrency exchanges and pricing principles on each of them. The goal of this project is to collect actual and historical data about cryptocurrency and Fiat money exchange rates from available resources. The data are collected and transformed into a structured database at regular intervals with a focus on effectivity and memory management. The proposed system which is capable of gathering such data is providing all collected information in the form of REST API or web application and deployed in Docker container image. The system validity is tested with performance measurement of the data-collecting subsystem and implementing several unit-tests for each part of the system.
|
|
|
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.
|
|
|
The System for Collection and Analysis of Cryptocurrency Exchange Rates
Čaládi, Filip ; Pluskal, Jan (oponent) ; Veselý, Vladimír (vedoucí práce)
This Bachelor's thesis is focused on cryptocurrencies, cryptocurrency exchanges and pricing principles on each of them. The goal of this project is to collect actual and historical data about cryptocurrency and Fiat money exchange rates from available resources. The data are collected and transformed into a structured database at regular intervals with a focus on effectivity and memory management. The proposed system which is capable of gathering such data is providing all collected information in the form of REST API or web application and deployed in Docker container image. The system validity is tested with performance measurement of the data-collecting subsystem and implementing several unit-tests for each part of the system.
|
host ::
RSS.