but.committee	prof. Ing. Martin Drahanský, Ph.D. (předseda) doc. Ing. Petr Fišer, Ph.D. (člen) prof. Ing. Hana Kubátová, CSc. (člen) prof. Ing. Zdeněk Plíva, Ph.D. (člen) doc. Ing. Stanislav Racek, CSc. (člen)	cs
but.defence	Student přednesl cíle a výsledky, kterých v rámci řešení disertační práce dosáhl. V rozpravě student odpověděl na otázky oponentů uvedených v posudcích. Diskuze je zaznamenána na diskuzních lístcích, které jsou přílohou protokolu. Počet diskuzních lístků: 0 Komise se v závěru jednomyslně usnesla, že student splnil podmínky pro udělení akademického titulu doktor.	cs
but.jazyk	angličtina (English)
but.program	Výpočetní technika a informatika	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Kotásek, Zdeněk	en
dc.contributor.author	Čekan, Ondřej	en
dc.contributor.referee	Kubátová, Hana	en
dc.contributor.referee	Plíva, Zdeněk	en
dc.date.accessioned	2024-08-22T08:11:00Z
dc.date.available	2024-08-22T08:11:00Z
dc.date.created		cs
dc.description.abstract	Výzkum prezentovaný v této práci je zaměřen na návrh obecných principů v oblasti generování stimulů pro různé systémy. Stimuly představují vstupní data systému, které určují jeho chování. Značnou výhodou je využití těchto principů v oblasti funkční verifikace. Funkční verifikace je jedna z verifikačních technik, která ověřuje správné chování systému monitorováním jeho vstupů a výstupů. Návrh zohlednil čtyři klíčová kritéria z hlediska generování stimulů - parametrizovatelnost, rychlost, náhodnost, univerzálnost. Na základě návrhu byla definována architektura generování stimulů pro obecné použití. Pro popis stimulů slouží vstupní struktury, které definují požadovaný formát stimulu a omezující podmínky na něj kladené. Díky tomu je možno získat jak validní stimul, tak měnit omezující podmínky v průběhu generování, což je vhodné především pro získání vyššího pokrytí ve funkční verifikaci. Obecnost definice stimulů je zajištěna pomocí formálního popisu. V rámci výzkumu byly definovány principy tvorby stimulů pro procesory, funkční jednotky i aplikační data. Představený způsob dosahuje zlepšení oproti konvenčním přístupům.	en
dc.description.abstract	The research presented in this thesis is focused on the design of general principles in the field of generating stimuli for various systems. Stimuli represent the input data of a system that determines its behavior. A significant advantage is the use of these principles in the field of functional verification. Functional verification is one of the verification techniques that verifies the correct behavior of the system by monitoring its inputs and outputs. The proposal took into account four key criteria in terms of generating stimuli - parameterizability, speed, randomness, versatility. Based on the design, the architecture of stimuli generation for general use was defined. Input structures are used to describe stimuli, which define the desired stimulus format and the constraints imposed on it. Thanks to this, it is possible to obtain both a valid stimulus and change the constraints during the generation, which is especially suitable for obtaining higher coverage in functional verification. The general definition of stimuli is ensured by a formal description. The research defined the principles of creating stimuli for processors, functional units and application data. The presented method achieves an improvement over conventional approaches.	cs
dc.description.mark	P	cs
dc.identifier.citation	ČEKAN, O. Principy generování testovacích stimulů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .	cs
dc.identifier.other	139333	cs
dc.identifier.uri	https://hdl.handle.net/11012/249413
dc.language.iso	en	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	Verifikační stimul	en
dc.subject	testovací vektor	en
dc.subject	funkční verifikace	en
dc.subject	omezující podmínky	en
dc.subject	procesor	en
dc.subject	řadič robota	en
dc.subject	assembler	en
dc.subject	bludiště	en
dc.subject	formální gramatika	en
dc.subject	pravděpodobnostní omezená gramatika	en
dc.subject	Verification Stimulus	cs
dc.subject	Test Vector	cs
dc.subject	Functional Verification	cs
dc.subject	Constraints	cs
dc.subject	Processor	cs
dc.subject	Robot controller	cs
dc.subject	Assembler	cs
dc.subject	Maze	cs
dc.subject	Formal Grammar	cs
dc.subject	Probabilistic Constraint Grammar	cs
dc.title	Principy generování testovacích stimulů	en
dc.title.alternative	Principles of test stimuli generation	cs
dc.type	Text	cs
dc.type.driver	doctoralThesis	en
dc.type.evskp	dizertační práce	cs
dcterms.modified	2021-10-07-15:15:07	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	139333	en
sync.item.dbtype	ZP	en
sync.item.insts	2024.08.22 10:10:59	en
sync.item.modts	2024.08.20 14:32:48	en
thesis.discipline	Výpočetní technika a informatika	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů	cs
thesis.level	Doktorský	cs
thesis.name	Ph.D.	cs

Principy generování testovacích stimulů

Files

Original bundle

Collections