but.committee	prof. Ing. Tomáš Hruška, CSc. (předseda) doc. RNDr. Jitka Kreslíková, CSc. (místopředseda) Ing. Zbyněk Křivka, Ph.D. (člen) RNDr. Marek Rychlý, Ph.D. (člen) Ing. Aleš Smrčka, Ph.D. (člen) doc. Ing. František Zbořil, 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 B. Otázky u obhajoby: Musí mít vaše instrumentační funkce parametry? Nešly by všechny zjistit jen z návratové adresy pomocí vhodně generované datové struktury? Proč máte v src/instrumentation/callback/*.cpp destruktory v poznámkách? Nezmění se vložením sond testované vlastnosti programu?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie a umělá inteligence	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Smrčka, Aleš	cs
dc.contributor.author	Kapoun, Petr	cs
dc.contributor.referee	Peringer, Petr	cs
dc.date.accessioned	2022-06-24T06:55:15Z
dc.date.available	2022-06-24T06:55:15Z
dc.date.created	2022	cs
dc.description.abstract	Tato práce se zabývá návrhem a tvorbou instrumentačního nástroje pro měření pokrytí při softwarovém testování. Nástroj při překladu získá reprezentaci vybraných částí programu v podobě grafu toku řízení a instrumentuje dané části programu vložením zpětných volání funkcí. Pomocí dat generovaných při volání vložených funkcí instrumentovaného programu nástroj vyhodnotí měření kritérií pokrytí. Mezi podporovaná kritéria pokrytí patří pokrytí řádků kódu a vybraná kritéria pokrytí toku řízení a toku dat.	cs
dc.description.abstract	This work deals with the design and creation of an instrumentation tool for measuring coverage in software testing. During compilation, the tool obtains a representation of selected parts of the program in the form of a control flow graph and instruments the given parts of the program by inserting function callbacks. Using the data generated when calling the function callbacks of the instrumented program, the tool evaluates the measurement of the coverage criteria. Supported coverage criteria include line coverage and selected control flow and data flow coverage criteria.	en
dc.description.mark	B	cs
dc.identifier.citation	KAPOUN, P. Instrumentace programů pro měření pokrytí při testování SW [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2022.	cs
dc.identifier.other	145407	cs
dc.identifier.uri	http://hdl.handle.net/11012/207811
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	instrumentace	cs
dc.subject	testování	cs
dc.subject	měření pokrytí	cs
dc.subject	formální verifikace	cs
dc.subject	dynamická analýza	cs
dc.subject	graf toku řízení	cs
dc.subject	pokrytí řádků kódu	cs
dc.subject	pokrytí toku řízení	cs
dc.subject	pokrytí toku dat	cs
dc.subject	C++	cs
dc.subject	LLVM	cs
dc.subject	LLVM IR	cs
dc.subject	Clang	cs
dc.subject	instrumentation	en
dc.subject	testing	en
dc.subject	coverage measurement	en
dc.subject	formal verification	en
dc.subject	dynamic analysis	en
dc.subject	control flow graph	en
dc.subject	line coverage	en
dc.subject	control flow coverage	en
dc.subject	data flow coverage	en
dc.subject	C++	en
dc.subject	LLVM	en
dc.subject	LLVM IR	en
dc.subject	Clang	en
dc.title	Instrumentace programů pro měření pokrytí při testování SW	cs
dc.title.alternative	Program Instrumentation Enabling Coverage Measurement in SW Testing	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2022-06-22	cs
dcterms.modified	2022-06-23-09:13:52	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	145407	en
sync.item.dbtype	ZP	en
sync.item.insts	2022.06.24 08:55:15	en
sync.item.modts	2022.06.24 08:14:16	en
thesis.discipline	Softwarové inženýrství	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

Instrumentace programů pro měření pokrytí při testování SW

Files

Original bundle

Collections