|
|
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.
|
|
|
The System for Collection and Analysis of Cryptocurrency Exchange Rates
Čaládi, Filip ; Pluskal, Jan (referee) ; Veselý, Vladimír (advisor)
Táto bakalárska práca je zameraná na kryptomeny, kryptomenové zmenárne a spôsoby cenotvorby na nich. Cieľom tohoto projektu je zber aktuálnych a historických dát o zmenárenských kurzoch, z dostupných zdrojov, zameraných na kryptomeny a Fiat peniaze. Zozbierané dáta su uložené v štruktúrovanej databáze s ohľadom na efektivitu a správu pamate. Navrhovaný systém, ktorý je schopný popísané dáta zozbierať, poskytuje všetky dostupné informácie vo forme REST API alebo webovej aplikácie a je nasadený v docker kontajneri. Validitu takéhoto systému som odtestoval výkonnostným testovaním modulu zodpovedného za zbieranie dát a implementovaním jednotkových testov pre každú časť systému.
|
|
|
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.
|
|
|
The System for Collection and Analysis of Cryptocurrency Exchange Rates
Čaládi, Filip ; Pluskal, Jan (referee) ; Veselý, Vladimír (advisor)
Táto bakalárska práca je zameraná na kryptomeny, kryptomenové zmenárne a spôsoby cenotvorby na nich. Cieľom tohoto projektu je zber aktuálnych a historických dát o zmenárenských kurzoch, z dostupných zdrojov, zameraných na kryptomeny a Fiat peniaze. Zozbierané dáta su uložené v štruktúrovanej databáze s ohľadom na efektivitu a správu pamate. Navrhovaný systém, ktorý je schopný popísané dáta zozbierať, poskytuje všetky dostupné informácie vo forme REST API alebo webovej aplikácie a je nasadený v docker kontajneri. Validitu takéhoto systému som odtestoval výkonnostným testovaním modulu zodpovedného za zbieranie dát a implementovaním jednotkových testov pre každú časť systému.
|
guest ::
