but.committee	doc. Ing. František Zbořil, CSc. (předseda) doc. Ing. Vladimír Janoušek, Ph.D. (místopředseda) doc. Ing. Vítězslav Beran, Ph.D. (člen) doc. RNDr. Aleš Horák, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (člen) Ing. Jaroslav Rozman, 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 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.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	Malík, Viktor	cs
dc.date.created	2019	cs
dc.description.abstract	ílem této diplomové práce je navrhnout a implementovat nástroj pro automatické generování cest ze zdrojových kódů. V rámci práce byla nastudována problematika testování založeného na modelech a navrženo možné řešení automatického generátoru, dle kritérií pokrytí definovaných nad modelem CFG. Stěžejním bodem diplomové práce je návrh a popisuje implementaci nástroje. Nástroj podporuje množství kritérií pokrytí, které umožňují uživateli navrhovaného nástroje zaměřit se na konkrétní aspekt zkoumaného systému, který chce pokrýt testy. Navíc je nástroj přizpůsoben pro další požadavky na velikost generované testovací sady, reflektující reálné požadavky s praktickým využitím. Generátor byl implementován v jazyce C++ a webové rozhraní k němu v jazyce Python, které zároveň slouží pro integraci do platformy Testos.	cs
dc.description.abstract	The aim of the masters thesis is to design and implement a tool for automatic generation of paths in source code. Firstly was acquired a study of model based testing and possible design for the desired automatic generator based on coverage criteria defined on CFG model. The main point of the master theis is the tool design and description of its implementation. The tool supports many coverage criteria, which allows the user of such tool to focus on specific artefact of the system under test. Moreover, this tool is tuned to allow aditional requirements on the size of generated test suite, reflecting real world practical usage. The generator was implemented in C++ language and web interface for it in Python language, which at the same time is used to integrated the tool into Testos platform.	en
dc.description.mark	C	cs
dc.identifier.citation	KRAUT, D. Generování modelů pro testy ze zdrojových kódů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2019.	cs
dc.identifier.other	121988	cs
dc.identifier.uri	http://hdl.handle.net/11012/180370
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	automatický generátor	cs
dc.subject	testování	cs
dc.subject	model checking	cs
dc.subject	kritérium pokrytí	cs
dc.subject	tok řízení	cs
dc.subject	tok dat	cs
dc.subject	logický výraz	cs
dc.subject	testovací cesta	cs
dc.subject	LLVM	cs
dc.subject	IR	cs
dc.subject	CFG	cs
dc.subject	automatic generator	en
dc.subject	testing	en
dc.subject	model checking	en
dc.subject	coverage criteria	en
dc.subject	control flow	en
dc.subject	data flow	en
dc.subject	logical expression	en
dc.subject	test path	en
dc.subject	LLVM	en
dc.subject	IR	en
dc.subject	CFG	en
dc.title	Generování modelů pro testy ze zdrojových kódů	cs
dc.title.alternative	Generating of Testing Models from Source Code	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2019-06-19	cs
dcterms.modified	2019-07-08-13:31:22	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	121988	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.26 15:28:57	en
sync.item.modts	2025.01.15 16:40:53	en
thesis.discipline	Inteligentní systémy	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Inženýrský	cs
thesis.name	Ing.	cs

Generování modelů pro testy ze zdrojových kódů

Files

Original bundle

Collections