but.committee	prof. Ing. Lukáš Sekanina, Ph.D. (předseda) doc. Ing. Zdeněk Vašíček, Ph.D. (místopředseda) doc. Ing. Michal Bidlo, Ph.D. (člen) doc. Mgr. Lukáš Holík, Ph.D. (člen) doc. Ing. Tomáš Martínek, Ph.D. (člen) Ing. Vojtěch Mrázek, 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, např. týkající se prováděných experimentů, syntaxe/sémantiky generování verifikačních testů a principů výpočtu fitness funkce. 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 - velmi dobře . Otázky u obhajoby: Výsledný framework nevyužívá možnosti použití pokrytí pro směrování generování. Jak velký dopad to má na redundanci generovaných hodnot oproti randomu? Experimenty končily spíše na základě dosažení maximálního počtu generací nebo na nezlepšování se jedinců v několika generacích?	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	Zachariášová, Marcela	cs
dc.contributor.author	Tichý, Andrej	cs
dc.contributor.referee	Bardonek, Petr	cs
dc.date.created	2020	cs
dc.description.abstract	Táto práca sa zaoberá automatizáciou tvorby scenárov pre štandard Portable Stimulus. Hlavným cieľom práce je automatické generovanie testov, ktoré sú definované formou grafu pre nástroj Questa InFact od spoločnosti Mentor. K automatizácii som použil evolučný algoritmus s využitím gramatickej evolúcie. Pri implementácii som využil framework PonyGe2, ktorý zastrešuje implementáciu niektorých variačných operátorov gramatickej evolúcie. Vygenerované scenáre sa pripoja k existujúcemu verifikačnému prostrediu, založenom na metodike UVM, a následne je spustená verifikácia pripojeného komponentu. Na základe dosiahnutého funkčného a štrukturálneho pokrytia je vypočítaná fitness hodnota jedinca, ktorá je propagovaná do evolučného algoritmu. V závere práce sú vykonané experimenty nad komponentom časovač a vyhodnotený prínos navrhnutého evolučného algoritmu. Navrhnutý evolučný algoritmus je konfigurovateľný pomocou gramatiky a užívateľom definovaných základných transakcií, čo umožňuje široké spektrum použitia. Evolučný algoritmus dokázal na verifikovanom komponente časovač dosiahnuť vysoké funkčné a štrukturálne pokrytie.	cs
dc.description.abstract	This thesis focuses on the automation of scenarios creation for Portable Stimulus standard. The main goal of the work is an automatic generation of tests, which are defined as graphs for the Questa inFact tool from the Mentor company. For the automation I used an evolutionary algorithm with using a grammatical evolution. The generated scenarios are connected to the existing verification environment based on UVM methodology, then the verification of the connected component is started. Based on the achieved functional and structural coverage, the individual's fitness value is calculated and propagated into an evolutionary algorithm. At the end of the work, experiments are performed on the timer component and the contribution of the proposed evolutionary algorithm is evaluated. The proposed evolutionary algorithm is configurable by grammar and user-defined basic transactions, which allows a wide range of uses. The evolutionary algorithm managed to achieve high functional and structural coverage on the verified timer component.	en
dc.description.mark	B	cs
dc.identifier.citation	TICHÝ, A. Automatizace tvorby scénářů přenositelných stimulů pomocí evolučních algoritmů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.	cs
dc.identifier.other	129827	cs
dc.identifier.uri	http://hdl.handle.net/11012/194963
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	Prenositeľné stimuly	cs
dc.subject	evolučný algoritmus	cs
dc.subject	genetické programovanie	cs
dc.subject	gramatická evolúcia	cs
dc.subject	Questa InFact	cs
dc.subject	funkčná verifikácia	cs
dc.subject	UVM	cs
dc.subject	Portable Test and Stimulus Standard	en
dc.subject	evolutionary algorithm	en
dc.subject	genetic programming	en
dc.subject	grammatical evolution	en
dc.subject	Questa InFact	en
dc.subject	functional verification	en
dc.subject	UVM	en
dc.title	Automatizace tvorby scénářů přenositelných stimulů pomocí evolučních algoritmů	cs
dc.title.alternative	Automated Creation of Portable Stimuli Scenarios Using Evolutionary Algorithms	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2020-08-26	cs
dcterms.modified	2020-08-27-21:21:47	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	129827	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.26 15:32:10	en
sync.item.modts	2025.01.16 00:26:17	en
thesis.discipline	Počítačové a vestavěné systémy	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů	cs
thesis.level	Inženýrský	cs
thesis.name	Ing.	cs

Automatizace tvorby scénářů přenositelných stimulů pomocí evolučních algoritmů

Files

Original bundle

Collections