|
|
Portace nástroje OptaPlanner na Android
David, Tomáš ; Rogalewicz, Adam (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce se zabývá portací nástroje OptaPlanner na operační systém Android. OptaPlanner je nástroj pro řešení plánovacích problémů a je kompletně napsán v programovacím jazyce Java, který je také využíván pro vývoj aplikací operačního systému Android. Ten však neobsahuje všechny knihovny z Java Standard Edition Application Programming Interface a při portaci nástroje OptaPlanner na Android tak dochází k problémům se závislostmi. Výsledkem této práce je návrh a implementace řešení výše zmíněných problémů a ukázková aplikace věnující se problému okružních jízd, který je řešen pomocí portovaného nástroje OptaPlanner.
|
|
|
Výukový nástroj pro barvené Petriho sítě
Navrátil, Ondřej ; Kočí, Radek (oponent) ; Rogalewicz, Adam (vedoucí práce)
Barvené Petriho sítě (CPN) jsou rozšířením klasických place-transition Petriho sítí (P/T PN). Všechny tokeny a místa zde mají svůj typ (příp. i hodnotu), do sítě lze dále vkládat různé typy inskripcí. CPN vynikají svou snadnou čitelností a skvělou vyjadřovací schopností. Zároveň disponují pevnými formálními podklady, jenž usnadňují jejich počítačovou simulaci a v omezené míře umožňují verifikovat některé vlastnosti. Motivací tohoto projektu je fakt, že v současnosti je veřejně dostupný pouze jediný nástroj pro úpravu a simulaci CPN, a sice CPNTools vyvíjený na univerzitě v Aarhusu. Program je však komplikovaný a pro nezainteresovaného uživatele obtížně uchopitelný. Cílem projektu je prozkoumat možnosti a vlastnosti CPN a nástroje CPNTools a na základě získaných znalostí navrhnout a implementovat didaktickou aplikaci se svižným a intuitivním rozhraním, která umožní uživatelům bez hlubších teoretických vědomostí získat přehled o problematice CPN.
|
|
|
Chart Builder Ansible Automation Analytics
Berky, Levente ; Smrčka, Aleš (oponent) ; Rogalewicz, Adam (vedoucí práce)
This thesis focuses on creating a web component to render charts from a structured data format (schema for short), and creating an user facing interface for editing and creating the schema for the Ansible Automation Analytics. The thesis explores the current implementation of the Ansible Automation Analytics and the corresponding API, researches similar charting libraries and describes the fundamentals of used technologies. The practical part describes the requirements for the component and describes the development and the implementation of the plugin. Furthermore, the thesis describes the process of testing and the future development plans of the plugin.
|
|
|
Využití Linuxových kontejnerů pro stálost testů
Országh, Marián ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
Táto práca sa zaoberá štúdiom Linuxových kontajnerov a ich aplikáciou na vytvorenie stabilného prostredia pre testovanie softvéru. Programové riešenie problém delí na niekoľko častí. Najprv sa podľa požiadavok používateľa vytvorí konfigurácia, následne sa podľa nej vytvorí kontajner a nakoniec sa tento kontajner spustí spolu s dodanými testami za použitia platformy Docker. Program sám o sebe naplňuje počiatočné požiadavky, avšak jeho funkcionalita nie je zaručená vzhľadom na využitie softvéru tretej strany ako napríklad správcovia balíkov, čo môže spôsobiť neočakávané chyby za behu programu. Hlavným prínosom práce je zaobalenie platformy Docker tak, aby od užívateľa vyžadovala minimálnu, alebo žiadnu znalosť platformy Docker a umožňovala vytvárať kontajnery zjednodušenou formou.
|
|
|
Centralizace správy bezpečnostních politik v Javě
Kalina, Jan ; Rogalewicz, Adam (oponent) ; Letko, Zdeněk (vedoucí práce)
WildFly je platformou pro distribuované prostředí splňující specifikaci Java Enterprise Edition. Tato práce se zabývá možnostmi centrální správy bezpečnostních politik v tomto prostředí. Bezpečnostní politika je sada oprávnění, na které virtuální stroje Javy (JVM) omezují možnosti spuštěných aplikací. Právě možnosti používání bezpečnostních politik byly ve WildFly dosud silně omezeny. Výsledkem práce jsou rozšiřující moduly WildFly, doplňující programové rozhraní WildFly a webovou administrační konzolu WildFly o možnost centrálního nasazování bezpečnostních politik na jednotlivé servery domény WildFly bez potřeby jejich restartu. Součástí výsledku je také záplata samotného jádra WildFly, řešící problém výměny bezpečnostní politiky za běhu JVM.
|
|
|
Analýza práce s dynamickými datovými strukturami v C programech
Šoková, Veronika ; Rogalewicz, Adam (oponent) ; Vojnar, Tomáš (vedoucí práce)
Táto diplomová práca sa zaoberá analýzou dynamických dátových štruktúr pomocou analýzy tvaru použitej v nástroji Predator. Popisuje zvolenú abstraktnú doménu pre reprezentáciu pamäte vo forme symbolických grafov pamäte. Ďalej sa zaoberá návrhom prostredia pre vývoj statických analyzátorov nad clang/LLVM. Prínosom tejto práce je vytvorenie a otestovanie transformačných priechodov zjednodušujúcich LLVM IR medzikód. Ďalším prínosom je optimalizácia parametrov paralelnej nadstavby Predatora opakovaným spúšťaním testov z medzinárodnej súťaže SV-COMP'16, kde táto verzia nástroja Predator získala zlatú medailu v kategórii Heap Data Structures. Posledným prínosom je návrh architektúry samotného verifikačného jadra s ohľadom na SMG doménu.
|
|
|
Webová aplikace pro správu elektronické knihovny
Kocman, Radim ; Rogalewicz, Adam (oponent) ; Lengál, Ondřej (vedoucí práce)
Cílem této práce je vytvoření webové aplikace pro správu elektronické knihovny, která vytváří webové rozhraní nad programem Calibre. Při tvorbě bylo dbáno na to, aby byl výsledek dále jednoduše rozšiřitelný a přístupný širokému okruhu uživatelů. Základem systému je jazyk PHP a knihovna Nette Framework. Text této práce popisuje kompletní vývojový cyklus aplikace od rozboru současného stavu přes analýzu požadavků, návrh systému a návrh uživatelského rozhraní až po implementační detaily a rozbor testování na vzorku uživatelů.
|
|
|
Nástroj pro tvorbu definic OVAL v projektu OpenSCAP
Černý, Jan ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá standardem SCAP používaným v oblasti počítačové bezpečnosti a popisuje jeho svobodnou implementaci OpenSCAP. V textu je analyzován jazyk OVAL sloužící pro popis zraniteností a bezpečné konfigurace systémů. Důraz je kladen na typické problémy tohoto jazyka. Na základě získaných poznatků je navrženo rozšíření projektu OpenSCAP o možnost reportování a diagnostiky průběhu interpretace jazyka OVAL. Práce následně popisuje implementaci, integraci a testování tohoto rozšíření.
|
|
|
Testování aplikací s využitím Linuxových kontejnerů
Marhefka, Matúš ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
Táto diplomová práca sa zaoberá softwarovými kontajnermi (obzvlášť Docker kontajnermi) ako jednou variantou serverovej virtualizácie. Softwarové kontajnery namiesto virtualizácie hardwaru spočívajú na vrchole jedinej inštancie operačného systému a sú z hľadiska systémových zdrojov oveľa účinnejšie ako hypervisory. Docker kontajnery uľahčujú balenie a distribúciu aplikácií, a zaručujú, že aplikácie budú vždy bežať rovnako, bez ohľadu na prostredie, v ktorom budú spustené. K dispozícii je celý rad prípadov použitia kontajnerov, táto práca skúma ich použitie v oblasti testovania softwaru. Diplomová práca navrhuje tri hlavné kategórie prípadov použitia pre beh softwarových systémov v Docker kontajneroch. Predstavuje aspekty pre aplikácie bežiace v kontajneroch, ktoré by mali poskytnúť lepší prehľad o nastaveniach aplikácie v rámci infraštruktúry kontajnerov. Následne sú diskutované možné problémy s testovaním softwarových systémov bežiacich v Docker kontajneroch a sú navrhnuté testovacie metódy, ktoré predložené problémy riešia. Jedna navrhnutá testovacia metóda bola tiež použitá pri implementácii frameworku na testovanie softwaru bežiaceho v Docker kontajneroch, ktorý bol vyvinutý v rámci tejto práce.
|
|
|
Efektivní algoritmy pro práci s konečnými automaty
Hruška, Martin ; Rogalewicz, Adam (oponent) ; Lengál, Ondřej (vedoucí práce)
Nedeterministické konečné automaty jsou používány v mnoha oblastech informatiky, mimo jiné také ve formální verifikaci, při návrhu číslicových obvodů nebo pro reprezentaci regulárlních jazyků. Jejich výhodou oproti deterministickým konečným automatům je schopnost až exponenciálně stručnější reprezentace jazyka. Nicméně, tato výhoda může být pozbyta, jestliže je zvolen naivní přístup k implementaci některých operací, jako je na\-pří\-klad test jazykové inkluze dvojice automatů, jehož naivní implementace provádí explicitní determinizaci jednoho z automatů. V nedávné době bylo ale představeno několik nových přístupů, které právě explicitní determinizaci při testu jazykové inkluze předcházejí. Tyto přístupy využívají tzv. antichainů nebo tzv. bisimulace vzhůru ke kongruenci. Cílém této práce je vytvoření efektivní implementace zmíněných přístupů v podobě nového rozšíření knihovny VATA. Vytvořená implementace byla otestována a je až řádově rychlejší v 90% testovaných případů nežli implementace jiné
|
host ::
RSS.