but.committee	prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Ing. Lukáš Burget, Ph.D. (místopředseda) Ing. Vladimír Bartík, Ph.D. (člen) Ing. Aleš Smrčka, Ph.D. (člen) Ing. Josef Strnadel, Ph.D. (člen)	cs
but.defence	Student 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. Oponent hodnotil práci stupněm 4F, protože student nesplnil body 1 a 4 zadání. Student nedokázal vyvrátit výtky oponenta. Komise shledala nedostatky práce natolik závažné, že se práci rozhodla hodnotit jako nevyhovující. Otázky u obhajoby: Bylo by možné (a pokud ano, tak jak) rozšířit Váš přístup pro jiné front-endy LLVM frameworku (např. pro Javu)? Diskutujte možné využití Vašeho nástroje/přístupu v dalších oblastech analýzy programů, např. pro hledání chyb apod.	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce nebyla úspěšně obhájena	cs
dc.contributor.advisor	Smrčka, Aleš	cs
dc.contributor.author	Kraut, Daniel	cs
dc.contributor.referee	Fiedor, Tomáš	cs
dc.date.accessioned	2020-05-11T03:06:58Z
dc.date.available	2020-05-11T03:06:58Z
dc.date.created	2016	cs
dc.description.abstract	Tato práce se zabývá automatickou tvorbou testovacích případů na úrovni jednotkového testování, pro zdrojové texty v jazyce C. K dosažení automatizace jsou použity metody přístupu k software jako k datovým tokům proměnných. Je zde nastíněn náhled na průběh tvorby testů a funkci CSP solverů, které jsou nezbytnou částí pro rozhodnutelnost těhto problémů. Statická analýza kódu je umožněna knihovnou LibTooling v projektu překladačového front-endu Clang. Jsou uvedeny výstupy z aplikace, jimiž jsou automaticky vytvořené vstupní hodnoty pro testovací případy.	cs
dc.description.abstract	This thesis deals with automatic generation of test cases on Unit testing level for source codes in C language. In order to achieve automatization are used methods of approach to software as a Data-flow of variables. There is outlined a process of creating tests here as well as a function of CSP solvers which are necessary part of solving this problems. Static code analysis is accessed with LibTooling libraring as part of a compiler front-end project Clang. Output of a developed application are provided here which is automatically generated input values for test cases.	en
dc.description.mark	C	cs
dc.identifier.citation	KRAUT, D. Automatická tvorba testovacích případů z datových toků [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2016.	cs
dc.identifier.other	128064	cs
dc.identifier.uri	http://hdl.handle.net/11012/187205
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	testování	cs
dc.subject	statická analýza	cs
dc.subject	automatizace	cs
dc.subject	Clang	cs
dc.subject	CSP	cs
dc.subject	Gecode	cs
dc.subject	jazyk C	cs
dc.subject	testing	en
dc.subject	static analysis	en
dc.subject	automatization	en
dc.subject	Clang	en
dc.subject	CSP	en
dc.subject	Gecode	en
dc.subject	C language	en
dc.title	Automatická tvorba testovacích případů z datových toků	cs
dc.title.alternative	Automatic Generation of Test Cases from Data-Flow	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2016-06-14	cs
dcterms.modified	2020-05-10-16:12:51	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	128064	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.22 22:59:11	en
sync.item.modts	2021.11.22 22:07:37	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

Automatická tvorba testovacích případů z datových toků

Files

Original bundle

Collections