but.committee	doc. Ing. Richard Růžička, Ph.D., MBA (předseda) doc. Ing. František Zbořil, CSc. (místopředseda) doc. Ing. Peter Chudý, Ph.D., MBA (člen) Ing. Bohuslav Křena, 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. Student následně odpověděl na 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.program	Informační technologie	cs
but.result	práce byla ú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.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	103590	cs
dc.identifier.uri	http://hdl.handle.net/11012/69612
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-08-30	cs
dcterms.modified	2020-05-10-16:12:51	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	103590	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:22:48	en
sync.item.modts	2025.01.15 12:58:48	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