|
|
Automatické generování UML diagramu tříd
Brázdil, Martin ; Bartík, Vladimír (oponent) ; Kreslíková, Jitka (vedoucí práce)
Tato diplomová práce se zabývá analýzou, návrhem a implementací aplikace pro automatické generování UML diagramu tříd. Aplikace je koncipována jako webová služba, což umožňuje vzdálený přístup, ale především neustálou aktuálnost vygenerovaného diagramu tříd. Vstupem služby je již přeložená libovolná aplikace psaná pro platformu C# .NET nebo Java. V práci je čtenář obeznámen se základy reverzního inženýrství pro zmíněné platformy a strukturou UML diagramu tříd. Následně jsou tyto znalosti aplikovány v návrhu a implementaci. Hlavním cílem práce je usnadnění a urychlení činnosti členů softwarových vývojových týmů.
|
|
|
Optimalizace velikosti bajtkódu Javy
Poncová, Vendula ; Smrčka, Aleš (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá optimalizací bajtkódu jazyka Java zhlediska jeho velikosti. Popisuje virtuální stroj Javy a formát jeho instrukčního souboru a uvádí přehled některých knihoven pro manipulaci sbajtkódem. Spomocí těchto knihoven byla provedena analýza vybraného vzorku dat a nalezeny sekvence instrukcí, které by bylo možné optimalizovat. Na základě výsledků analýzy byly navrhnuty a implementovány metody pro optimalizaci velikosti bajtkódu. Velikost bajtkódu zkoumaného vzorku dat se po aplikaci metod snížila o zhruba 25%.
|
|
|
Správa přepínání procesů v aplikaci Jenkins
Ondrušek, Libor ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Projekt se zabývá návrhem a řešením zásuvného modulu pro Jenkins server, umožňujícího řízení běžících úkolů na uzlech v clusteru serverů pro systém průběžné integrace. Modul by měl umožnit pozastavení probíhajícího dlouhotrvajícího procesu, vykonání procesu s vyšší prioritou a následného obnovení původního procesu v místě, kde byl přerušen.
|
|
|
Automatická koordinace a řízení procesů na platformě Java
Janyš, Martin ; Smrčka, Aleš (oponent) ; Kočí, Radek (vedoucí práce)
Předmětem diplomové práce je téma odolnosti a stability webových aplikací se zaměřením na platformu Java. Řada existujících informačních systémů postavených nejen nad touto platformou se potýká s problémy, které narušují stabilitu aplikace. Tyto problémy pak mohou vyústit ve výpadek, odstávku a následně i finanční nebo obchodní ztrátu v důsledku nefunkčnosti celé služby. Cílem bude ukázat problémy, se kterými se aplikace potýkají v provozním prostředí, a jak je proaktivně řešit. Jako možná dílčí řešení zvýšení stability mohou být vhodná konfigurace JVM (Java Virtual Machine), analýza a oprava odhalených chyb anebo technika na zvýšení stability nazývaná Sandboxing, které se věnuje tato práce. Pomocí této techniky je možné rozdělit aplikace do samostatných částí, které se nemohou ovlivnit. Zamezí se tak šíření chyb mezi částmi aplikace a tím zvýšíme stabilitu celé aplikace. Mezi cílové aplikace patří Java aplikace realizované za pomoci aplikačního rámce Spring. Do takto postavených aplikací lze zavést techniku Sanboxing vhodnou konfigurací, která zajistí, že běh aplikace bude rozdělen do určených částí, které budou automaticky testovány a případně restartovány. Aplikace se tak sama zotaví v postižených částech bez kompletního výpadku. Projekt nese jméno Java Capsules.
|
|
|
Porovnání výkonnosti virtuálního stroje CACAO s HotSpot JVM
Malík, Nikolaj ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Cílem této práce je představit platformu Java a dva vybrané zástupce implementací virtuálních strojů (JVM). V první řadě bude představen rozšířený virtuální stroj JVM HotSpot, v druhé řadě jedna z alternativních variant, JVM CACAO. Práce popisuje vybrané prvky implementace obou strojů, kde uvedené informace jsou vhodné pro všechny, kdo se zabývají optimalizacemi běhu programů. Závěrečná část prezentuje výsledky porovnání vybraných oblastí výše zmíněných strojů z hlediska paměťové a časové náročnosti.
|
|
| |
|
|
Preprocesor Java bytecode pro verifikační nástroje
Šafařík, Tomáš ; Parízek, Pavel (vedoucí práce) ; Hnětynka, Petr (oponent)
Nástroje J2BP a PANDA umožňují verifikovat zkompilované Java programy. V současné době tyto nástroje nejsou schopny správně zpracovat programy s určitými sekvencemi instrukcí JVM bytecodu. Tyto sekvence instrukcí jsme popsali a navrhli jejich transformace. Na základě těchto návrhů jsme implementovali novou aplikaci BytecodeTransformer. Tato aplikace transformuje zkompilované Java programy a nahrazuje v nich problematické sekvence instrukcí bytecodu. Díky tomu se tedy rozšířila množina programů, které nástroje J2BP a PANDA dokážou verifikovat. Dále jsme vyhodnotili aplikaci BytecodeTransformer prostřednictvím našich i cizích Java programů. Tyto testy ukázaly správnou funkcionalitu implementované aplikace. Powered by TCPDF (www.tcpdf.org)
|
|
|
Instrumentation and Evaluation for Dynamic Program Analysis
Marek, Lukáš ; Tůma, Petr (vedoucí práce) ; Hasselbring, Wilhelm (oponent) ; Krall, Andreas (oponent)
Dynamická analýza aplikací zprostředkovává důležité informace během pozdějších fází vývoje. Napomáhá při laděni, profilování, výkonnostní optimalizaci nebo při detekci bezpečnostních chyb. Nicméně, podpora pro vytváření vlastních nástrojů pro dynamickou analýzu, speciálně v oblasti řízených jazyků, je poměrně omezená. Tato práce prezentuje dva systémy, které pomáhají zlepšit sledování aplikací na platformě Java. DiSL je jazyk a framework, který umožňuje jednoduchou a flexibilní instrumentaci zaměřenou na dynamickou analýzu. DiSL poskytuje abstrakce vyšší úrovně pro rychlé prototypování i pro vývojáře, kteří nemají znalosti interních systémů v Javě. Kvalifikovaný vývojář získává plnou kontrol na instrumentačním procesem, tudíž se nemusí bát nevyžádaných alokací nebo skryté běhové režie. ShadowVM je platforma poskytující separaci mezi sledovanou aplikací a prostředím pro analýzu. Pro zmírnění interakcí mezi analýzou a aplikací, ShadowVM transportuje události analýzy mimo kontext aplikace. I když je primárním cílem platformy izolace, ShadowVM zavádí několik technik tak, aby zůstala rychlostně srovnatelná a vytvářela obobné vývojové podmínky jako existující frameworky pro dynamickou analýzu.
|
|
|
Správa přepínání procesů v aplikaci Jenkins
Ondrušek, Libor ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Projekt se zabývá návrhem a řešením zásuvného modulu pro Jenkins server, umožňujícího řízení běžících úkolů na uzlech v clusteru serverů pro systém průběžné integrace. Modul by měl umožnit pozastavení probíhajícího dlouhotrvajícího procesu, vykonání procesu s vyšší prioritou a následného obnovení původního procesu v místě, kde byl přerušen.
|
|
| |
host ::
RSS.