|
|
Bounded model checking v nástroji Java PathFinder
Dudka, Vendula ; Češka, Milan (oponent) ; Křena, Bohuslav (vedoucí práce)
Diplomová práce je věnovaná aplikaci formální metody bounded model checking pro automatickou opravu chyb. Oprava se specializuje na chyby spojené se souběžností. Práce je zaměřena na programy napsané v jazyce Java, a proto pro verifikační metodu byl zvolen model checker Java Pathfinder, který je určen pro Java programy. Vlastní verifikační metoda spočívá v aplikaci strategie pro navigaci stavovým prostorem do místa verifikace. Z daného místa je spuštěn bounded model checking pro ověření opravy. Navigace stavovým prostorem je implementována pomocí strategie record&replay trace. Pro aplikaci bounded model checkingu jsou implementovány další parametry a moduly pro verifikaci speciálních vlastností systému, které ověřují koreknost opravy chyby. Bounded model checking se provádí v okolí opravy.
|
|
|
Implementace 3D logické hry v JavaScriptu
Knapovský, Martin ; Beran, Vítězslav (oponent) ; Dudka, Vendula (vedoucí práce)
Tato bakalářská práce se zabývá vývojem logické webové hry, která vznikla na základě analýzy hry Berušky 2. Jsou zde stručně představeny technologie potřebně k vývoji a také teorie nutná k pochopení postupů použitých při implementaci. Výsledné řešení je podrobeno testům, jejichž výsledky jsou podkladem pro diskuzi obecné využitelnosti technologií, které se dnes v rámci webu nově objevují.
|
|
|
JamVM: Alternativní virtuální stroj Javy
Kalman, Ondřej ; Kočí, Radek (oponent) ; Dudka, Vendula (vedoucí práce)
Cílem této práce je srovnání dvou virtuálních strojů Javy a to virtuálního stroje HotSpot a~virtuálního stroje JamVM. Úvodní část práce čtenáře seznamuje s platformou Java, jsou zde také shrnuty obecné vlastnosti a principy funkčnosti všech virtuálních strojů Javy. Na tento teoretický úvod poté navazuje kapitola, ve které jsou srovnány klíčové vlastnosti virtuálních strojů HotSpot a JamVM. Na základě těchto vlastností je poté navržena a popsána sada výkonnostních testů, které byly v rámci této práce implementovány a provedeny. Poslední kapitoly této práce jsou věnovány prezentaci výsledků provedených výkonnostních testů a jejich vyhodnocení.
|
|
|
Integrace JMS poskytovatelů třetích stran
Žiaková, Nikoleta ; Letko, Zdeněk (oponent) ; Dudka, Vendula (vedoucí práce)
Tato práce se zabývá komunikací pomocí zasílání zpráv a integrací JMS poskytovatelů třetích stran do aplikačního serveru JBoss. Cílem práce bylo navrhnout a implementovat univerzální testovací sadu, která navrženou integraci jednoduše otestuje. Nejprve bylo potřebné nastudovat klíčové technologie důležité pro integraci, ke kterým patří standard Java Message Service, Java EE Connector Architecture, vybraní JMS poskytovatelé a JBoss AS. Konkrétní postupy integrace byly navrženy a popsány pro JMS poskytovatele Apache ActiveMQ, IBM WebSphere MQ a Red Hat MRG Messaging. Pro ověření funkčnosti integrace byla navržena a implementována testovací sada zaměřená na čtyři oblasti - transakce, clustering, vysokou dostupnost a výkonnost. Testování bylo automatizováno pomocí nástroje průběžné integrace Jenkins. Na závěr byla testovací aplikace použita na vyhodnocení funkčnosti integrace a porovnání jednotlivých JMS poskytovatelů a různých verzí JBoss AS.
|
|
|
Monitoring aplikací běžících v JVM pomocí JVM Tool Interface
Vomáčka, Pavel ; Dudka, Vendula (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá návrhem a tvorbou agenta pro sledování běžící Java aplikace. Monitoruje obsazení zásobníku a haldy se zaměřením na lokalizaci alokace objektů. Zabývá se také vytvořením grafického uživatelského rozhraní pro zobrazení získaných informací. Je zde také popsáno použité rozhraní JVM TI a způsob práce s ním. Dále práce rozebírá virtuální stroj Javy a popisuje jeho důležité části s hlavním zaměřením na správu paměti.
|
|
|
Měření výkonnosti balíčku java.math
Frýz, Pavel ; Letko, Zdeněk (oponent) ; Dudka, Vendula (vedoucí práce)
Cílem této práce je porovnat výkonnost jednotlivých implementací java virtuálních strojů při užití balíčku java.math. Jsou popsány třídy BigInteger a BigDecimal a existující nástroje pro výkonnostní testování java virtuálních strojů. V textu práce je zdokumentovaná použitá testovací sestava a v rámci práce vytvořený nástroj na měření výkonnosti implementace tříd BigInteger a BigDecimal. Jsou uvedeny a analyzovány výsledky měření tímto nástrojem.
|
|
|
Informační systém pro školu bojových umění
Lorenc, Ján ; Dudka, Vendula (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato bakalářská práce se zabývá vytvořením informačního systému pro školu bojových umění. Charakterizuje pojem informačního systému, popisuje návrh a implementaci informačního systému. Součástí práce je také porovnání několika PHP frameworků. Vytvořený systém je platformně nezávislý a je založen na technologiích CakePHP, MySQL, HTML, CSS, Javascript.
|
|
|
Monitoring aplikací běžících v JVM pomocí JVM Tool Interface
Vomáčka, Pavel ; Dudka, Vendula (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá návrhem a tvorbou agenta pro sledování běžící Java aplikace. Monitoruje obsazení zásobníku a haldy se zaměřením na lokalizaci alokace objektů. Zabývá se také vytvořením grafického uživatelského rozhraní pro zobrazení získaných informací. Je zde také popsáno použité rozhraní JVM TI a způsob práce s ním. Dále práce rozebírá virtuální stroj Javy a popisuje jeho důležité části s hlavním zaměřením na správu paměti.
|
|
|
Měření výkonnosti balíčku java.math
Frýz, Pavel ; Letko, Zdeněk (oponent) ; Dudka, Vendula (vedoucí práce)
Cílem této práce je porovnat výkonnost jednotlivých implementací java virtuálních strojů při užití balíčku java.math. Jsou popsány třídy BigInteger a BigDecimal a existující nástroje pro výkonnostní testování java virtuálních strojů. V textu práce je zdokumentovaná použitá testovací sestava a v rámci práce vytvořený nástroj na měření výkonnosti implementace tříd BigInteger a BigDecimal. Jsou uvedeny a analyzovány výsledky měření tímto nástrojem.
|
|
|
JamVM: Alternativní virtuální stroj Javy
Kalman, Ondřej ; Kočí, Radek (oponent) ; Dudka, Vendula (vedoucí práce)
Cílem této práce je srovnání dvou virtuálních strojů Javy a to virtuálního stroje HotSpot a~virtuálního stroje JamVM. Úvodní část práce čtenáře seznamuje s platformou Java, jsou zde také shrnuty obecné vlastnosti a principy funkčnosti všech virtuálních strojů Javy. Na tento teoretický úvod poté navazuje kapitola, ve které jsou srovnány klíčové vlastnosti virtuálních strojů HotSpot a JamVM. Na základě těchto vlastností je poté navržena a popsána sada výkonnostních testů, které byly v rámci této práce implementovány a provedeny. Poslední kapitoly této práce jsou věnovány prezentaci výsledků provedených výkonnostních testů a jejich vyhodnocení.
|
host ::
RSS.