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.
Identifer | oai:union.ndltd.org:nusl.cz/oai:invenio.nusl.cz:386001 |
Date | January 2018 |
Creators | Kotyz, Jan |
Contributors | Turoňová, Lenka, Smrčka, Aleš |
Publisher | Vysoké učení technické v Brně. Fakulta informačních technologií |
Source Sets | Czech ETDs |
Language | Czech |
Detected Language | English |
Type | info:eu-repo/semantics/masterThesis |
Rights | info:eu-repo/semantics/restrictedAccess |
Page generated in 0.0012 seconds