|
| |
|
|
Extrakce grafu toku řízení z bajtkódu Java
Sečkařová, Petra ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
Grafy toku řízení (Control Flow Graph -- CFG) slouží jako základ pro mnoho analýz vyhodnocujících kvalitu programu. Takovou analýzou je i testování založené na modelech (model-based testing), které na základě analýzy modelu kódu, např. grafu, generuje testovací případy. Aby bylo možné tuto analýzu provádět co nejobecněji, je vhodné, aby instrukce obsažené v CFG patřily do některé z obecných instrukčních sad.Tato práce se zabývá extrakcí grafů toku řízení z bajtkódu jazyka Java a následným překladem jednotlivých instrukcí bajtkódu uvnitř základních bloků do instrukční sady LLVM IR. Výsledný program dokáže spolehlivě získat grafy toku řízení z programů v jazyce Java zadaných v jakékoli z nejběžnějších forem pro šíření tohoto typu software (.jar archiv, .java nebo .class soubory). Grafy na výstupu jsou navíc koncipovány tak, aby nad nimi bylo možné provádět analýzu za účelem generování jednotkových testů.
|
|
|
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.
|
|
|
Case Study Comparing Model-Driven Approaches to Software Design
Osadský, Lukáš ; Smrčka, Aleš (oponent) ; Kočí, Radek (vedoucí práce)
This bachelor thesis deals with various approaches to software design and its implementation. The main goal of this thesis is to compare the classical approach of software development to an alternate approach called Model-Driven Engineering (MDE), which is based on abstract models transformations. These two approaches are then demonstrated on a case study of simple conference review system. At the end of the work, the possibilities and limitations of MDE techniques are discussed.
|
|
|
Správa paměti v Linuxu
Tuček, Jaroslav ; Kočí, Radek (oponent) ; Vojnar, Tomáš (vedoucí práce)
Práce popisuje správu paměti v jádře linuxu. První část je věnována stručnému shrnutí architektury operačních systémů a teorii správy paměti - jmenovitě virtuální paměti, stránkovacím tabulkám, algoritmům stránkování a jádrovým alokátorům. Druhá část se soustřeďuje na vlastní implementaci zmíněných principů ve skutečném operačním systému, linuxu. Součástí je též sada testů navržených pro zjištění chování paměťového správce a krátké zmínění současně existujících omezení včetně jejich navrhovaných řešení.
|
|
|
Kvalitní vizualizace Petriho sítí pro publikační účely
Bednář, Drahoslav ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce řeší problém grafické vizualizace Petriho sítí v textových publikacích. Cílem práce je vytvoření nástroje, který usnadní generování obrázků Petriho sítí a zároveň zajistí estetičtější grafický výstup, než dokáží existující postupy a nástroje. Byl použit simplexový algoritmus pro automatické rozložení uzlů sítě. Program má grafické rozhraní i textový režim a dokáže spolupracovat se známými mástroji pro práci s Petriho sítěmi, které text také zmiňuje. Program je schopný načíst soubor ve formátu pnml a vyprodukovat použitelný obrázek ve formátech png, pdf a svg.
|
|
|
Inteligentní klient pro hudební přehrávací server MPD
Wagner, Tomáš ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Cílem diplomové práce je návrh a implementace inteligentní klientské aplikace pro hudební přehrávací server Music Player Daemon (MPD), která vyhledává a prezentuje související metadata k přehrávanému obsahu. Samotnému návrhu předchází teoretický rozbor, který zahrnuje analýzu agentních systémů, metod klasifikace dat, webových komunikačních protokolů a jazyků pro popis dokumentu. Současně je proveden rozbor MPD serveru a komunikačního protokolu využívaného klientskou aplikací. Dále jsou v práci popsány současné klientské aplikace, které prezentují uživateli metadata. V posledních kapitolách práce je popsán návrh a implementace klientské a serverové aplikace. Je rozebrán způsob řešení implementace a řešení vzniklých problémů. V práci jsou také popsány výsledky testování.
|
|
|
Editor Objektově orientovaných Petriho sítí
Karlubík, Peter ; Rogalewicz, Adam (oponent) ; Kočí, Radek (vedoucí práce)
Tato bakalářská práce se zabývá návrhem a implementací nástroje pro editaci a simulaci Objektově orientovaných Petriho sítí. Nástroj podporuje dva formáty zápisu Objektově orientovaných Petriho sítí, a to PNtalk a PNML. Výsledná aplikace v jazyku Java poskytuje dvě hlavní skupiny funkcionalit - vytvářet, načítat a ukládat sítě v těchto formátech a vzdáleně spolupracovat se simulátorem a s jeho využitím zjistit stav simulace a zobrazit ho. První část práce je věnovaná teorii, v které jsou objasněné koncepty spojené s Objektově orientovanými Petriho sítěmi. Ve druhé části se zabýváme popisem implementace a funkcionality implementovaného nástroje pro editaci OOPN a způsobem propojení nástroje se simulátorem.
|
|
|
Databáze pro genealogické modely
Hoffmann, Michael ; Zbořil, František (oponent) ; Kočí, Radek (vedoucí práce)
Bakalářská práce je součástí projektu DEMoS, který si klade za cíl vytvořit systém pro správu digitalizovaných záznamů starých matrik. Cílem této bakalářské práce je navrhnout a vytvořit aplikaci s databází, která bude umožňovat uživatelům spravovat vytvořené či vygenerované genealogické modely, přičemž bude možné provázat osoby uvedené v modelech se záznamy v databázi digitalizovaných matrik. Pro řešení byly využity technologie PHP, Javascript, HTML, CSS a Neo4j.
|
|
|
Remote API Web Reference for Java Enterprise Applications
Krpec, Ondřej ; Turoňová, Lenka (oponent) ; Kočí, Radek (vedoucí práce)
The Master's thesis focuses on testing REST API interfaces of web applications. The result of the thesis is the Restty application, which allows to test API endpoints of said interfaces, as well as to create extensive test cases from the interface's endpoints. The theoretical part of the thesis explains the principles of web services, remote interfaces, technologies that are used for development of the application, and the Swagger framework upon which the application is built. Subsequently, the design drafts of the application are presented in detail. The following section covers Restty's implementation and demonstrates how the Restty can be used for testing the interface of a Red Hat JBoss BPM Suite application. In conclusion, the benefits of the Restty application are evaluated and its possible extensions are proposed.
|
host ::
RSS.