|
|
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.
|
|
| |
|
|
An Automata-Based Decision Procedure
Hečko, Michal ; Češka, Milan (referee) ; Lengál, Ondřej (advisor)
Presburgerova aritmetika (PrA) je rozhodnutelná teorie přirozených čísel prvního řádu, která nachází uplatnění v mnoha oblastech formální verifikace vlastností softwaru. Řešiče SMT nástroje implementující různé algoritmické přístupy k rozhodování, zda má formule řešení hrají ve formální verifikaci klíčovou roli. V této práci dokumentujeme vytvoření nového automatického SMT řešiče pro PrA založeného na konečných automatech přístupu, který v současnosti žádný SMT řešič nepoužívá. Uvádíme přehled výzev a jejich řešení vyplývajících ze složitosti takového nástroje, včetně výsledků z provedených experimentů, které již identifikují problémy, kde tento alternativní přístup překonává nejmodernější řešiče. Uvádíme také identifikované problémy, u nichž výkonnost postupu založeného na automatech naráží na problémy, které představují otevřené možnosti výzkumu.
|
|
|
Development of Combine Tool
Nováček, Pavel ; Janoušek, Vladimír (referee) ; Smrčka, Aleš (advisor)
This thesis deals with the reimplementation of the web tool Combine, which generates combinatorial test sets satisfying user-specified parameters and constraints using the IPOG algorithm. The thesis is a part of Testos platform, which aims at software testing automation. The goal of this thesis is to analyze the current state of the tool, identify its errors and deficiencies, discuss suitable extensions to its functionality, and based on these findings, create a new design and implementation of the Combine tool. The new solution preserves all the functionality of the previous tool and at the same time expands it on all levels of the architecture. The tool is not only more manageable thanks to a more user-friendly web interface but also offers new possibilities for test set generation. More suitable technologies have been chosen for its implementation, making the tool portable and significantly faster in generating test sets compared to the previous implementation, capable of competing with existing solutions for combinatorial test set generation.
|
|
|
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.
|
|
|
An Automata-Based Decision Procedure
Hečko, Michal ; Češka, Milan (referee) ; Lengál, Ondřej (advisor)
Presburgerova aritmetika (PrA) je rozhodnutelná teorie přirozených čísel prvního řádu, která nachází uplatnění v mnoha oblastech formální verifikace vlastností softwaru. Řešiče SMT nástroje implementující různé algoritmické přístupy k rozhodování, zda má formule řešení hrají ve formální verifikaci klíčovou roli. V této práci dokumentujeme vytvoření nového automatického SMT řešiče pro PrA založeného na konečných automatech přístupu, který v současnosti žádný SMT řešič nepoužívá. Uvádíme přehled výzev a jejich řešení vyplývajících ze složitosti takového nástroje, včetně výsledků z provedených experimentů, které již identifikují problémy, kde tento alternativní přístup překonává nejmodernější řešiče. Uvádíme také identifikované problémy, u nichž výkonnost postupu založeného na automatech naráží na problémy, které představují otevřené možnosti výzkumu.
|
|
| |
guest ::
