|
|
Měření výkonnosti vybraných nástrojů Drools
Široký, Petr ; Fiedor, Jan (oponent) ; Letko, Zdeněk (vedoucí práce)
Testování výkonu aplikací je velmi často opomíjeno. Tato práce popisuje proces testování výkonu nástrojů Drools Expert a Drools Fusion. Drools je platforma pro integraci podnikové logiky, moduly Expert a Fusion jsou její součástí. Expert je na pravidlech založený expertní systém, Fusion slouží k detekci a zpracování událostí. Testy jsou navrženy a implementovány především za účelem nalezení výkonnostní regrese mezi různými verzemi nástrojů Expert a Fusion. V závěru práce jsou diskutovány výsledky pro dvě konkrétní verze těchto nástrojů.
|
|
|
Testování platformy JBoss Drools založené na modelu
Široký, Petr ; Holík, Lukáš (oponent) ; Letko, Zdeněk (vedoucí práce)
Technika testování založeného na modelu (MBT) využívá model chování systému k automatickému generování sady testů, čímž snižuje nákladnost testování oproti konvenčnímu manuálnímu vývoji a udržbě testů. Tato práce se zaměřuje na využití zvoleného MBT nástroje OSMO při testování reálného softwarového produktu. Konkrétně se o jedná kompilátor podnikových pravidel využívaný v systému Drools, který je spoluvyvíjený společností Red Hat. V práci je popsán způsob zavedení MBT přístupu s ohledem na jeho dobré přijetí komunitou vývojářů, dále pak vytvoření modelu možných vstupů testovaného kompilátoru a zhodnocení vytvořené testovací sady. Využití MBT přístupu vedlo k odhalení pěti nahlášených a tří potencionálních a dosud nehlášených chyb v testovaném kódu. Práce na příkladu shrnuje hlavní přednosti i praktické nedostatky využití MBT technik v praxi.
|
|
| |
|
|
Parazité způsobující ptačí malárii a jejich přenašeči
Synek, Petr ; Munclinger, Pavel (vedoucí práce) ; Hypša, Václav (oponent) ; Široký, Pavel. (oponent)
Parazity způsobující ptačí malárii řadíme mezi Haemosporida, která představují monofyletickou skupinu dixenních protist patřících do kmene Apicomplexa. Jejich nepohlavní množení probíhá v obratlovčím mezihostiteli a ke vzniku gamet a sporogonii dochází v krevsajícím dvoukřídlém hmyzu, který je tudíž konečným hostitelem těchto parazitů. U ptáku jako mezihostitelů se setkáváme s následujícími třemi rody těchto parazitů: Plasmodium, Haemoproteus a Leucocytozoon. V disertační práci jsem se soustředil na Haemosporida volně žijících ptáků a na způsob jejich přenosu hmyzími vektory v přírodních populacích, což byla prozatím opomíjená oblast výzkumu zaměřeného na původce ptačí malárii. Výsledky byly získány jak tradičními metodami (vyšetření infekcí pomocí mikroskopování krevních roztěrů), tak především molekulárně biologickými metodami (detekcí parazitů pomocí nested PCR) založenými na práci s unikátními haplotypy jednotlivých linií haemosporid. Cílem studie bylo určit okruh možných přenašečů ptačích haemosporid na území České republiky s přihlédnutím ke specificitě ptačích haemosporid v rámci těchto vektorů a popsat diverzitu ptačích haemosporid v populacích jejich ptačích mezihostitelů. K tomu jsme si vybrali čtyři různé druhy ptáků, patřících do čtyř řádů (pěvci - Passeriformes, sovy -...
|
|
|
Variabilita tvaru krunýře u vybraných zástupců čeledi Geoemydidae
Protiva, Tomáš ; Rehák, Ivan (vedoucí práce) ; Šmíd, Jiří (oponent) ; Široký, Pavel. (oponent)
Želvy vždy fascinovaly člověka svou morfologií, unikátní embryogenezí a později i neujasněnou pozicí ve fylogenezi. Tato skupina existuje již 200 milionů let, od prvních zástupců rodů Odontochelys a Proganochelys, ale v současnosti je většina druhů ohrožena především neřízeným lovem. Kritická situace je zejména v Asii, kde obrovskou poptávku po želvích produktech vytvářejí čínské trhy. Řada druhů je na pokraji vyhubení a záchranné chovy v zajetí jsou nutností. K plánování záchranného programu je ale zásadní znalost správného taxonomického zařazení a geografického původu. Variabilita tvaru karapaxu a plastronu, studované pomocí metody geometrické morfometrie a podpořené genetickou analýzou, představují vhodné nástroje k získávání těchto poznatků. V této práci jsme se soustředili především na ověření aplikovatelnosti metody geometrické morfometrie na vybrané zástupce čeledi Geoemydidae, jejichž centrum rozšíření se nachází v Asii a jsou tak touto tzv. "želví krizí" nejvíce ohroženi. U želvy Morenia petersi jsme se zaměřili na neobvykle častý výskyt vmezeřeného vertebrálního štítku na karapaxu. Ten nijak neovlivňuje tvar karapaxu ani plastronu a nenalezli jsme rozdíl ani v celkovém tvaru mezi jedinci s vmezeřeným štítkem a normálními jedinci s pěti vertebrálními štítky. Pravděpodobné zafixování...
|
|
|
Psí babesióza v Evropě
Majerová, Karolina ; Votýpka, Jan (vedoucí práce) ; Široký, Pavel. (oponent)
Babesióza je parazitické onemocnění mnoha druhů zvířat a také lidí, charakteristická destrukcí erytrocytů a příznaky podobnými malárii. Jejími původci jsou prvoci rodu Babesia, patřící ke kmeni Apicomplexa. Psí babesióza je závažné veterinární onemocnění, které se šíří do nových oblastí v Evropě a dá se zařadit mezi tzv. emerging infectious diseases. Nejčastějším původcem psí babesiózy v Evropě je prvok Babesia canis, jehož vektorem je klíště piják lužní (Dermacentor reticulatus). Areál rozšíření pijáka lužního se v Evropě během posledních desetiletí výrazně zvětšil, zřejmě v důsledku klimatických změn, a to směrem na sever a ve střední Evropě také na západ. Výskyt psí babesiózy v nových oblastech, který je dobře zdokumentován ve střední a severní Evropě, je umožněn právě šířením klíštěte D. reticulatus, i když roli může hrát více faktorů.
|
|
| |
|
|
Měření výkonnosti vybraných nástrojů Drools
Široký, Petr ; Fiedor, Jan (oponent) ; Letko, Zdeněk (vedoucí práce)
Testování výkonu aplikací je velmi často opomíjeno. Tato práce popisuje proces testování výkonu nástrojů Drools Expert a Drools Fusion. Drools je platforma pro integraci podnikové logiky, moduly Expert a Fusion jsou její součástí. Expert je na pravidlech založený expertní systém, Fusion slouží k detekci a zpracování událostí. Testy jsou navrženy a implementovány především za účelem nalezení výkonnostní regrese mezi různými verzemi nástrojů Expert a Fusion. V závěru práce jsou diskutovány výsledky pro dvě konkrétní verze těchto nástrojů.
|
|
|
Testování platformy JBoss Drools založené na modelu
Široký, Petr ; Holík, Lukáš (oponent) ; Letko, Zdeněk (vedoucí práce)
Technika testování založeného na modelu (MBT) využívá model chování systému k automatickému generování sady testů, čímž snižuje nákladnost testování oproti konvenčnímu manuálnímu vývoji a udržbě testů. Tato práce se zaměřuje na využití zvoleného MBT nástroje OSMO při testování reálného softwarového produktu. Konkrétně se o jedná kompilátor podnikových pravidel využívaný v systému Drools, který je spoluvyvíjený společností Red Hat. V práci je popsán způsob zavedení MBT přístupu s ohledem na jeho dobré přijetí komunitou vývojářů, dále pak vytvoření modelu možných vstupů testovaného kompilátoru a zhodnocení vytvořené testovací sady. Využití MBT přístupu vedlo k odhalení pěti nahlášených a tří potencionálních a dosud nehlášených chyb v testovaném kódu. Práce na příkladu shrnuje hlavní přednosti i praktické nedostatky využití MBT technik v praxi.
|
|
| |
host ::
RSS.