Nástroj pro tvorbu obsahu databáze pro účely testování software

Simple item page
but.committeedoc. Ing. František Zbořil, Ph.D. (předseda) prof. RNDr. Milan Češka, CSc. (místopředseda) doc. Ing. Peter Chudý, Ph.D., MBA (člen) Luděk Matyska (člen) Dr. Ing. Petr Peringer (člen) doc. Ing. Zdeněk Vašíček, Ph.D. (člen)cs
but.defenceStudent nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C.cs
but.jazykčeština (Czech)
but.programInformační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorSmrčka, Alešcs
dc.contributor.authorKotyz, Jancs
dc.contributor.refereeHolíková, Lenkacs
dc.date.created2018cs
dc.description.abstractTato 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.cs
dc.description.abstractThis 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.en
dc.description.markCcs
dc.identifier.citationKOTYZ, J. Nástroj pro tvorbu obsahu databáze pro účely testování software [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2018.cs
dc.identifier.other114540cs
dc.identifier.urihttp://hdl.handle.net/11012/84984
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjecttestování softwarucs
dc.subjectdatabázecs
dc.subjectgenerování testovacích datcs
dc.subjectSMT řešitelcs
dc.subjectsoftware testingen
dc.subjectdatabaseen
dc.subjecttest-data generationen
dc.subjectSMT solveren
dc.titleNástroj pro tvorbu obsahu databáze pro účely testování softwarecs
dc.title.alternativeTest Data Generator for Relational Databasesen
dc.typeTextcs
dc.type.drivermasterThesisen
dc.type.evskpdiplomová prácecs
dcterms.dateAccepted2018-06-21cs
dcterms.modified2020-05-10-16:12:21cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid114540en
sync.item.dbtypeZPen
sync.item.insts2025.03.26 15:27:51en
sync.item.modts2025.01.15 18:06:35en
thesis.disciplineInteligentní systémycs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
thesis.levelInženýrskýcs
thesis.nameIng.cs

Files

Original bundle

Now showing 1 - 4 of 4
Thumbnail Image
Name:
final-thesis.pdf
Size:
1.59 MB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Download
Thumbnail Image
Name:
Posudek-Vedouci prace-18066_v.pdf
Size:
85.69 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Vedouci prace-18066_v.pdf
Download
Thumbnail Image
Name:
Posudek-Oponent prace-18066_o.pdf
Size:
86.25 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Oponent prace-18066_o.pdf
Download
Thumbnail Image
Name:
review_114540.html
Size:
1.46 KB
Format:
Hypertext Markup Language
Description:
file review_114540.html
Download

Collections

2018