|
SAN MINN (ANEB) UMĚLEC, KTERÝ DÁVÁ PŘEDNOST TVORBĚ A OBRAZŮM PŘED SVÝM ŽIVOTEM
Zeya, Pyin Nyar ; JANEČEK, Vít (vedoucí práce) ; VOJTĚCHOVSKÝ, Miloš (oponent)
Nikdo nemůže ovládat svobodné myšlení a inspiraci umělce. Přestože jeho obrazy a tvorba byly vystaveny velkému tlaku a na nátlak shora zakázány, jejich umělecká hodnota nikdy neklesla. Proto píši tuto práci.
San Minn vystoupil zbarmského malířského mainstreamu a nikdy nenamaloval komerční obraz. Je stále věren své víře v umění a malbu a přichází vždy s novými způsoby, jak přistoupit malování. Jeho tvorba se podstatně odlišuje od jeho souputníků a jeho styl se výrazně liší. V barmském malířství je unikátním jevem. Naskytla se mi možnost studovat jeho styl, myšlenky, způsob uvažování a jeho odhodlání s jakým umění vytváří.
Moje práce má za cíl ukázat život umělce a malíře, který vyrostl a žil 50 let pod vojenskou nadvládou, a skrze pohled na jeho případ popsat vývoj a stav výtvarné scény v Barmě. Zprostředkuji tak nejen zájemcům o malbu, ale všem ostatním čtenářům vhled do barmského malířství a místní umělecké scény. Doufám, že moje práce tak bude vhledem prospěšným a barvitým.
Zdá se, že jakožto malíř, San Minn chce, aby jeho publikum cítilo a zažilo jeho práce, ale jen zřídka odhaluje svůj osobní život, který se odvíjí za jeho plátny. Pro mě je tato práce zároveň i příležitostí jeho osobní rovinu alespoň trochu poodkrýt na následujících stránkách.
xxxxxxxxx
Cíl Práce
Má práce může být zajímavá pro každého, kdo se zajímá o současnou uměleckou scénu Barmy (Myanmaru).
Umožňuje čtenáři, aby se dočetl o jednom z nejslavnějších a nejvýznamnějších umělců a uměleckých směrů v Barmě (Myanmaru). Jeho malby jsou svědectvím o více než 40 let dlouhé cestě pod dohledem cenzury, avšak na každém kroku ukazují na jeho nebojácnost řešit politické a sociální otázky.
Mnohé z uměleckých děl San Minna jsou autobiografické, vytváří břitký sociální komentář k populární kultuře a zrcadlí sociální hodnoty, stejně jako situace, které jejich autor prožíval.
xxxxxxxxxxxx
|
|
Hodnocení efektivnosti výuky odborných předmětů v závislosti na fyzické zátěži před vyučováním.
Janošíková, Martina ; Hanušová, Marie (vedoucí práce)
Období přechodu na střední školu přináší výrazné změny v požadavcích na studijní povinnosti, samostatnost, komunikaci, vyjadřování, nebo odloučení od rodiny v podobě pobytu na internátu. Žáci zařazeni do sportovních center mládeže se kromě těchto změn potýkají ještě s povinnostmi spojenými se sportem. Protože se jedná o žáky prvních až čtvrtých ročníků středních škol a středních odborných učilišť, tedy ve věku, kdy obraz sebepojetí-jsem to, v co věřím, vzniká v interakcích s okolním světem a vlastní zkušeností, hraje zde velmi důležitou roli vliv prostředí, kolektivu, vychovatelů, učitelů a trenérů, se kterými žáci tráví prakticky většinu času. Tato práce nahlíží na žáky komplexně z pohledu rozvoje osobnosti jako multifaktoriální biopsychosociální jednotky, z pohledu poznávacích a motivačních procesů, stavů a vlastností, z pohledu sociální psychologie zabývající se interakcí, vztahy a komunikací, psychologií jedince v rámci sociální skupiny a jejího významu pro vývoj jedince. Sleduje podmínky a výsledky vzdělávacího procesu z pohledu pedagogické psychologie, zabývá se formováním vlastností, názorů, postojů a hodnotové orientace z pohledu psychologie výchovy.
|
|
Analýza chovu mléčných krav na vybrané biofarmě
Plášková, Pavlína ; Toušová, Renata (vedoucí práce) ; Ducháček, Jaromír (oponent)
Cílem bakalářské práce bylo zhodnotit podmínky chovu dojeného skotu v ekologickém zemědělství a porovnat je s konkrétními údaji vybrané ekologické farmy Bílčice, která je součástí ekologického zemědělství od roku 2011 a zaměřuje se na chov českého strakatého skotu a produkci biomléka. V teoretické části se práce zabývá charakteristikou dojených plemen skotu, hlavními cíli a zásadami ekologického zemědělství, problematikou welfare, šlechtěním a kontrolou užitkovosti, technologií ustájení, výživou a krmením, technologií dojení, produkcí mléka, reprodukcí, zdravotní problematikou a ekonomikou chovu. V praktické části jsem hodnotila ukazatele mléčné užitkovosti (produkce mléka, % bílkovin, % tuku) a reprodukční ukazatele (mezidobí, servis perioda, inseminační index a procento zabřeznutí po první inseminaci). Na farmě bylo ustájeno 650 kusů dobytka, z toho 200 kusů dojnic převážně českého strakatého plemene. Sledování se provádělo v roce 2013. Denní množství nadojeného mléka se pohybovalo kolem 2 750 kg. Za laktaci byla užitkovost v roce 2013 6 100 kg mléka, 3, 89 % tuku a 3, 34 % bílkovin. Dojnice jsou ustájeny ve volné stáji s vysokou podestýlkou, dojení probíhá 2 x denně v rybinové dojírně. Mléko je dodáváno obden do mlékárny Olma, a.s. V letním krmném období jsou krávy pravidelně vyháněny na pastvu. Jsou dokrmovány 10 kg jetelotravní senáží a 6 kg šrotu (ječmen, pšenice, triticale). V zimním krmném období jsou zvířata ve stájích. Krmná dávka se skládá ze 45 kg jetelotravní senáže, 6 kg šrotu, 2 kg lupiny a 1 kg kukuřice v době rozdojování. Minerální lizy mají krávy celoročně ( 100g / ks / den). V přechodné formě hospodaření se užitkovost krav pohybovala v roce 2010 na 7 477 kg mléka a hodnota ČR byla 7 726 kg mléka. Po vstupu do ekologického zemědělství v roce 2013 klesla mléčná užitkovost na farmě na 6 100 kg mléka a průměr ČR se zvýšil na 8 370 kg mléka. V přechodném způsobu v roce 2010 bylo dosaženo 4, 03 % tučnosti a v roce 2013 (ekologické zemědělství) 3, 89 %. Rozdíl mezi roky 2010 a 2013 je 0, 14 %. Bílkoviny za rok 2010 byly 3,39 % a v roce 2013 3,34 %. Ze sledovaných reprodukčních ukazatelů měla farma vždy průměrné výsledky. U servis periody 96 dní a mezidobí 400 dní, inseminační index 1,8 a procento zabřezávání po 1. inseminaci bylo 54,2 %.
|
|
Nutriční rozbor a optimalizace chovu vybraných druhů jedlého hmyzu v podmínkách ČR s ohledem na zdraví člověka
Adámková, Anna ; Kouřimská, Lenka (vedoucí práce)
Jedlý hmyz je ve světě považován za vysoce výživnou stravu s vysokým obsahem bílkovin a tuku. Nicméně, nutriční hodnota hmyzu není konstantní. Je ovlivněna živočišným druhem, vývojovým stádiem, podmínkami, místem chovu nebo výživou. Práce byla proto zaměřena na získání vybraných nutričních hodnot jedlého hmyzu. Analýzy byly zaměřeny na stanovení obsahu dusíkatých látek, tuku, profilu mastných kyselin a sterolů u vybraných druhů jedlého hmyzu, které je možné běžně chovat v podmínkách České republiky. Současně byly analyzovány i vzorky hmyzu chovaného na ostrově Sumatra z důvodu porovnání vlivu klimatických podmínek na nutriční hodnoty. Hlavním cílem práce bylo stanovení optimálních chovných podmínek, vývojových fází a krmných dávek pro získání dobré produkce hmyzu s vhodnými nutričními vlastnostmi pro výživu lidí. Provedené analýzy prokázaly vysokou nutriční hodnotu vybraných druhů hmyzu, zároveň však potvrdily průkazné rozdíly v obsahu jednotlivých nutrientů mezi jednotlivými druhy v závislosti klimatických podmínkách a vývojovém stádiu. Porovnáním obsahu tuku a dusíkatých látek u jedlého hmyzu a jiných konvenčních zdrojů masa bylo zjištěno, že obsahem tuku a dusíkatých látek je zkoumaný hmyz podobný hovězímu masu. Získané výsledky jsou podkladem pro stanovení vhodných chovných podmínek a vývojových fází pro získání hmyzu s požadovanými nutričními vlastnostmi pro výživu lidí.
|
|
Populačně genetický rozbor plemene starokladrubský kůň
Vostrá Vydrová, Hana ; Majzlík, Ivan (vedoucí práce) ; Karel, Karel (oponent)
Starokladrubský kůň, spolu s plemenem lipicán, andaluský kůň a lusitano, patří mezi plemena starošpanělského a staroitalského typu a je chováno ve dvou barevných variantách (bělouši a vraníci). Protože se jedná o uzavřenou populaci, je populace ohrožena ztrátou genetické proměnlivosti. Genetická rozmanitost a populační struktura byla analyzována u starokladrubského koně na základě rodokmenových záznamů jedinců registrovaných v plemenné knize. Dále byly identifikovány faktory, které mohou ovlivnit genetickou variabilitu starokladrubského plemene. Rodokmenové záznamy použité v analýze zahrnovaly data o 7971 jedincích v rozmezí let 1729 až do roku 2013. Rodokmenové záznamy zahrnovaly 33 generací předků, s průměrnou kompletností rodokmenu 15,1. Efektivní počet zakladatelů a předků přispívajících do současného genofondu populace byl 92,69 a 17,16. Průměrné hodnoty koeficientů příbuzenské plemenitby byly následující: 13 % (s maximální hodnotou 29 %) pro referenční populaci (jedince schopné reprodukce n=612 jedinců), 11 % pro variantu běloušů (s maximální hodnotou 25 %) a 15% pro vranou variantu (s maximální hodnotou 29 %). Podíl inbredních jedinců v celé referenční populaci představoval 99 %. Průměrný nárůst koeficientu příbuzenské plemenitby z generace na generaci nabýval hodnot: 1% pro celou referenční populaci, 0,8 % pro variantu běloušů a 1,1 % pro variantu vraníků. Těmto hodnotám odpovídaly také hodnoty efektivní velikosti populace, které byly odhadnuty: 52 jedinců pro referenční populaci, 62 jedinců pro bílou variantu a 45 jedinců pro variantu vraníků. Odhadnuté ztráty genetické rozmanitosti z důvodu nenáhodného páření uvnitř sledované populace a barevných subpopulací byly 1 % pro celou referenční populaci a pro variantu běloušů a 1,2 % pro variantu vraníků. Celková ztráta genetické rozmanitosti pro celou referenční populaci a pro variantu běloušů a vraníků dosahovaly hodnot 11 %, 13% a 17%.
|
|
Trh s vínem v České republice a politika vinohradnictví a vinařství
Vlašicová, Eliška ; Tomšík, Karel (vedoucí práce) ; Malý, Michal (oponent)
Disertační práce je zaměřena na trh s vínem v České republice. Cílem je identifikovat nedostatky v odvětví vína za účelem zformování návrhů doporučení pro zlepšení stávající situace v odvětví. V teoretických východiscích práce byla ve zkratce představena Společná zemědělská politika Evropské unie a podrobněji byl popsán vznik a vývoj Společné organizace trhu s vínem. Dále byly popsány teoretické aspekty trhu, včetně nabídky a poptávky a byl charakterizován zemědělsko-potravinářský trh, jeho specifika, komoditní vertikála vína, determinanty poptávky, nabídky a ceny vína a byly vytvořeny obecné ekonometrické modely a jejich předpoklady, které posloužily k odhadům poptávky, nabídky a ceny vína. V dalších kapitolách práce byly vytvořeny analýzy trhu s vínem, zejména se zaměření na produkční potenciál vinic v ČR a na základě regresní analýzy byly modelovány poptávka, nabídka a cena vína včetně cenové transmise ve vertikále vína. Zásadní vliv na poptávku po vínu mají minulá spotřeba vína a cena vína, spotřeba substitutů piva a lihovin, (cena substitutů není významným faktorem), důchod domácností a hrubá mzda, na základě kterých bylo možné víno označit za normální statek, a konečně kvalita vína měřená cukernatostí a oceněním na mezinárodních soutěžích. Na nabídku vína významně působí cena moštových hroznů, cena vína, plocha vinic a produkce moštových hroznů. Mezi další významné faktory lze navíc zařadit některé aspekty počasí a určité dotace. Klimatická změna může vyústit k rozšíření vinohradnictví a vinařství v ČR a k obměně odrůdové skladby vinic. Poptávka má ve vertikále vína věší vliv než nabídka, což může mít negativní dopad na vinohradníky, popřípadě na vinaře. Výsadba vinic není dostačující pro zachování současné výše produkčního potenciálu vinic v ČR. Ideální rozsah roční výsadby révy vinné by měl být okolo 655 ha. S tím souvisí otázka financování obnovy vinic, která je nákladná (finančně náročná). Na základě finanční analýzy malých a středních vinařských podniků bylo zjištěno, že podniky si obnovu vinic nemohou dovolit z vlastních zdrojů a bude zapotřebí dotační výpomoci státu, popř. EU.
|
|
Technologie zmrazování spermií býků ve vztahu k jejich přežitelnosti a oplozovací schopnosti
Doležalová, Martina ; Stádník, Luděk (vedoucí práce) ; Jiří, Jiří (oponent)
Cílem optimalizace procesu výroby inseminačních dávek je zajištění co nejvyšší oplozovací schopnosti spermií v průběhu relativně náročného procesu zpracování čerstvého ejakulátu a jeho následná kryokonzervace. Zejména v průběhu chlazení a mrazení spermií dochází k jejich poškození vlivem změny teplot, kdy jsou spermie vystaveny chladovému šoku a dalším limitujícím faktorům, které mají za následek buněčnou smrt a tudíž i snižování oplozovací schopnosti následně rozmrazené inseminační dávky. Pro zvýšení odolnosti spermií, respektive plazmatické membrány, vůči chladovému šoku byla do komerčně vyráběných ředidel přidávána frakce vaječného žloutku LDL cholesterol (low density lipoprotein) v různých koncentracích, takto vyrobené dávky byly testovány pomocí chladového a tepelného testu přežitelnosti spermií. Má se za to, že LDL příznivě ovlivňuje plazmatickou membránu spermií a napomáhá k lepší oplozovací schopnosti spermií po rozmrazení. Dalším krokem v procesu výroby inseminačních dávek je pozvolné chlazení naředěného ejakulátu a ekvilibrace, kdy jsou dávky uloženy v chladicím boxu po bobu 30 minut až 24 hodin, tato doba je nezbytně nutná pro penetraci určitých komponent ředidla do spermatických buněk a nastolení balance mezi jejich intracelulární a extracelulární koncentrací. Současně je důležitý následný teplotní gradient mrazení inseminačních dávek. Jako nejvhodnější způsob mrazení je dostupný systém počítačově řízeného poklesu teplot v mrazicím boxu, který umožňuje přesnou kontrolu tvorby ledových krystalů, které by mohly roztrhat, a tím zabít buňku.
V průběhu 2012 až 2016 byl opakovaně odebírán ejakulát od skupiny plemenných býků (n=27, býci holštýnského a českého strakatého plemene) na inseminační stanici. Ejakulát splňující standardní vstupní podmínky byl v prvním kroku rovnoměrně rozdělen na několik částí. K ředění ejakulátu byly využity 3 typy komerčně vyráběných ředidel AndroMed, Bioxcell a Triladyl bez a s přídavku LDL do ředidel o koncentraci 4 až 10 % v závislosti na typu ředidla. Naředěný ejakulát byl naplněn do skleněných kapilár o objemu 0,1 ml a teplotě +4 °C a vložen na 10 minut do chladicího boxu o teplotě 0 °C. Po uplynutí stanovené doby byl objem kapiláry smíchán s fyziologickým roztokem o teplotě 37 °C, kde byl vzorek 120 minut inkubován. Byl hodnocen vliv chladového šoku na podíl živých spermií v ejakulátu pomocí barvení Eosinem a Nigrosinem v průběhu tepelného testu přežitelnosti spermií a to ihned po zahřátí vzorku a po uplynutí 120 minutové inkubace. Z výsledků bylo patrné, že vhodnějšími ředidly pro zvyšování odolnosti spermií vůči chladovému šoku byly AndroMed a Bioxcell. Současně byl také zjištěn pozitivní vliv přídavku LDL do ředidel na nižší pokles podílu živých spermií v průběhu tepelného testu (P<0,05). Jako nejvhodnější koncentrace mající příznivý vliv na odolnost spermií vůči chladovému šoku byla vyhodnocena 6% koncentrace LDL v ředidle Bioxcell, kdy byly hodnoty podílu živých spermií vyšší jak na začátku tepelného testu (+1,31 % až +3,2 %) tak po 2 hodinové inkubaci (+5,82 % až +8,41 %) oproti ostatním ředidlům bez a s přídavkem LDL.
V dalším kroku byl optimalizován proces ekvilibrace, který je důležitou součástí výroby dávek a byl vyhodnocen vliv délky ekvilibrace na následnou oplozovací schopnost spermií hodnocenou pomocí motility spermií po rozmrazení zjištěné na základě CASA a podíl živých spermií v průběhu tepelného testu přežitelnosti trvajícím 120 minut (37 °C). Vhodný ejakulát byl naředěn standardně využívaným ředidlem AndroMed na bázi sojového lecitinu, naředěný ejakulát byl naplněn do pejet (0,25 ml), zchlazen a ekvilibrován v chladicím boxu po dobu 30, 120 a 240 minut, následně byl mrazen v programovatelném mrazicím boxu dle 4 typů mrazicích křivek lišících se teplotou a rychlostí poklesu teplot v komoře. K mrazení byla využita standardně využívaná a výrobcem doporučovaná 3. fázová mrazicí křivka, dále 2. fázová mrazicí křivka, a 3. fázová mrazicí křivka s pomalejším a naopak rychlejším poklesem teplot v komoře, oproti standardní mrazicí křivce. Nejvhodnější délka ekvilibrace byla 240 minut, kde byla zjištěna motilita vyšší o +2,72 % a +4,58 % oproti ostatním délkám ekvilibrace (P<0,05 až 0,01). Nejvyšších průměrných hodnot podílu živých spermií bylo dosaženo při délce ekvilibrace 120 minut (+6,87 % a 8,68 %). Nejvyšší průměrné motility spermií po rozmrazení v průběhu tepelného testu přežitelnosti bylo dosaženo při mrazení na základě 2. fázové mrazicí křivky (od +2,97 % do +10,37 %, P<0,05), taktéž při hodnocení podílu živých spermií (od +4,37% do +8,82 %, P<0,01). Při vyhodnocení interakce mezi délkou ekvilibrace mrazicí křivkou ( 2. fázová a 3. fázová standardní) bylo nejvyšších hodnot průměrné motility a podílu živých spermií u obou křivek v kombinaci s délkou ekvilibrace 240 minut, avšak nebyl mezi nimi zaznamenán žádný statisticky průkazný rozdíl. Ve všech hodnocených částech práce byly nalezeny individuální rozdíly mezi jednotlivými býky i mezi jednotlivými odběry ejakulátu od jednoho býka (P<0,05).
Pro zachování dobré oplozovací schopnosti ejakulátu v průběhu procesu kryokonzervace je zapotřebí zvýšit odolnost spermií vůči chladovému šoku a to přidáním správné koncentrace LDL do vhodného komerčně vyráběného ředidla, kterým bylo ředidlo AndoMed a Bioxcell. Následně je ve velké míře oplozovací schopnost vyrobené inseminační dávky ovlivněna chlazením a délkou ekvilibrace před samotným mrazením. Délka ekvilibrace 120 minut a déle a následný šetrný způsob mrazení dle mrazicí křivky, která zajišťuje pozvolný pokles teplot v komoře, zajistí vyšší průměrnou motilitu spermií a podíl živých spermií po rozmrazení.
|
|
Ocenění a posouzení rozvojových možností nemovitých věcí výrobního areálu obvyklou cenou
Hanzlovská, Nikola ; Gardášová, Alena (oponent) ; Hlavinková, Vítězslava (vedoucí práce)
Hlavním cílem diplomové práce je stanovení ceny obvyklé pro výrobní areál pomocí oceňovacích metod. Dílčím cílem bylo určit podle výsledků ocenění, nejlepší možné využití objektu a určení rozvojových možností. Diplomová práce je rozdělena na teoretickou a praktickou část. V teoretické části jsou podrobně rozepsány oceňovací metody, které jsou rozdělené na dvě hlavní části, ocenění podle cenového předpisu a tržní ocenění. V praktické části se věnuji popisu lokality a nemovitých věcí a následně aplikuji oceňovací metody na výrobní areál. Závěrem práce je rekapitulace a analýza výsledků, kde jsou posouzeny rozdíly a určena cena obvyklá. Poslední kapitola je věnována nejlepšímu využití areálu a posouzení rozvojových možností.
|
|
Porovnání ceny dopravní stavby se skutečně vynaloženými náklady v různém stupni rozestavěnosti
Nezbeda, Jiří ; Zímová, Štěpánka (oponent) ; Kosová, Jaroslava (vedoucí práce)
Tato diplomová práce se zabývá tématikou kalkulace nákladů stavebního díla za účelem tvorby ceny, která se ve fázi zakázky stává cenou prodejní, a náklady se zafixují jako rozpočet. Předmětem této práce je tedy monitorovat vývoj nákladů v čase tak, aby náklady nepřesáhly rozpočet a stavba se tím nedostala do záporného výsledku. Následně se práce klade za cíl stanovit cenu vlastními metodami (položkový rozpočet, propočet dle rozpočtových ukazatelů) a porovnat takto získané ceny a náklady z různých fází výstavby mezi sebou a určit rozdíly. V této práci jsou monitorovány a porovnávány náklady na stavební zakázku a její ceny v časových fázích stavby. V praktické části jsou využity metody přímého porovnání jednotlivých hodnot nákladů a cen v čase, a to formou různých výstupů z controllingového programu a vlastních výstupů sestaveného položkového rozpočtu a propočtu stavby. Jsou zde analyzovány rozdíly mezi těmito náklady a jejich vývoj v čase podrobnějším zkoumáním položkových rozpočtů a nákladových kalkulací, a je analyzován původ těchto odchylek. Na závěr je navrhnuto opatření pro konkrétní dopravní stavbu, na jejíž realizaci se zpracovatel při svém povolání „mistra a koordinátora stavby“ spolupodílel.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
host ::
