Original title:
Nástroj pro tvorbu obsahu databáze pro účely testování software
Translated title:
Test Data Generator for Relational Databases
Authors:
Kotyz, Jan ; Turoňová, Lenka (referee) ; Smrčka, Aleš (advisor) Document type: Master’s theses
Year:
2018
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
Tato diplomová práce se zabývá problematikou generování testovacích dat pro naplnění obsahu relační databáze. Samotným cílem této diplomové práce je navržení a implementace nástroje, který na základě zadaných omezení umožňuje generovat testovací data. Tento nástroj pro řešení zadaných omezení a samotné generování testovacích dat využívá SMT řešitele.
This thesis deals with the problematic of test-data generation for relational databases. The aim of the this thesis is to design and implement tool which meets defined constrains and allows us to generate test-data. This tool uses SMT solver for constraint solving and test-data generation.
Keywords:
database; SMT solver; software testing; test-data generation; databáze; generování testovacích dat; SMT řešitel; testování softwaru
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/84984