Hlavní stránka > Výsledky hledání: keywords:"SMT řešitel"
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.02 vteřin. 
Nástroj pro tvorbu obsahu databáze pro účely testování software
 Kotyz, Jan ; Turoňová, Lenka (oponent) ; Smrčka, Aleš (vedoucí práce)
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.
Úplný záznam
Nástroj pro tvorbu obsahu databáze pro účely testování software
 Kotyz, Jan ; Turoňová, Lenka (oponent) ; Smrčka, Aleš (vedoucí práce)
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.
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English