|
|
Middleware for Testos Framework
Červinka, Radim ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
This goal of this thesis is to create a communication bus for the Testos platform, which enables the tools to communicate and utilize each other's services. The thesis consists of a research of current Publish-Subscribe protocols and solutions. It also outlines the requirements for a communication bus that fits the Testos platform's needs and proposes solutions that satisfy them. As a part of the research, there were 3 message-oriented software solutions explored - MQTT, DDS and AMQP. The examination of each solution was focused on the communication model and main features. The MQTT protocol was chosen as the starting point of the bus implementation. The thesis also specifies how to extend the protocol in order to satisfy the requirements. Main MQTT extensions proposed by this project include an introduction of a management of request life cycle on top of the MQTT message delivery and the request/response mechanism. The protocol was also expanded by ability to pack messages into a BULK packet to decrease the needed network resources. The result is a Testos Bus, which is based on a modified and expanded version of MQTT, that includes a broker implementation as well as implementation of client libraries for Python and C++. Testos Bus satisfies all mandatory requirements, which is verified by automated tests.
|
|
|
Knihovna pro profilování datových struktur programů C/C++
Pavela, Jiří ; Rogalewicz, Adam (oponent) ; Fiedor, Tomáš (vedoucí práce)
Výkonnostní chyby mohou do velké míry negativně ovlivnit kvalitu vyvíjeného systému a v některých kritických odvětvích způsobit nevratné škody. K nalezení těchto chyb je obvykle využita profilace v současnosti jedna z nejvíce rozšířených technik výkonnostní analýzy. Přestože existují rozšířené profilovací nástroje, tak většina z nich postrádá srozumitelný grafický výstup a schopnost detailnějšího studia složitostí algoritmů. Tato práce představuje nový profilovací nástroj zaměřený právě na automatizovaný odhad složitostí algoritmů a operací nad dynamickými datovými strukturami. Principem navrženého řešení je sběr statistických dat z běhu programu a následné provedení regresní analýzy s cílem nalézt model, který nejvhodněji reprezentuje složitost algoritmu. Výsledný prototyp byl podroben sérii experimentů, které vyhodnocují přesnost produkovaných výsledků, demonstrují praktická využití nástroje a názorně představují jeho grafický výstup.
|
|
|
Chat a sdílená kreslící plocha pro mobilní telefony s Bluetooth
Pitner, Ivo ; Rogalewicz, Adam (oponent) ; Novosad, Petr (vedoucí práce)
Tato práce se zabývá analýzou, návrhem a implementací aplikace pro mobilní zařízení, která umožní dvěma uživatelům komunikovat. Jako příklad by mohla sloužit situace, kdy se lidé potřebují dohodnout, ale není možné rušit okolí rozhovorem. Komunikace probíhá textově nebo graficky. Program je napsán v jazyce Java 2 Micro Edition a ke spojení zařízení využívá rozhraní Bluetooth.
|
|
|
Agile Model Editor
Korec, Tomáš ; Pavela, Jiří (oponent) ; Rogalewicz, Adam (vedoucí práce)
The thesis aims to minimize time spent on modeling software architecture and provide a practical tool to create, order, and visualize system models. The current modeling ap- proaches consume too much time, often creating and editing the model costs more time than implementing such a system. The work focuses primarily on representing complex models efficiently, finding the best modeling language to do this task, and developing an agile editor.
|
|
|
Přehledná správa virtuálních strojů v projektu OVirt
Macko, Samuel ; Fiedor, Tomáš (oponent) ; Rogalewicz, Adam (vedoucí práce)
Táto práca sa zaoberá myšlienkou virtualizácie a virtuálnych počítačov. Teoretická časť pokrýva základy virtualizácie z rôznych aspektov. Predstavuje koncept virtualizácie a rôzne architektúry využívané na jej dosiahnutie. Práca takisto skúma populárne implementácie spomenutých architektúr rovnako ako komerčne dostupné virtualizačné riešenia vyžívajúce tieto implementácie. Cieľom praktickej časti je navrhnúť a implementovať desktopovú aplikáciu pre administrátorskú úroveň prehľadu virtuálneho prostredia bežiacom v službe oVirt. Hlavným cieľom je vyriešiť niektoré z jeho známych problémov súvisiacich s prístupnosťou dát.
|
|
|
Asynchronous Task Processing in PCS Project
Pospíšil, Michal ; Pavela, Jiří (oponent) ; Rogalewicz, Adam (vedoucí práce)
The PCS project is a distributed application; therefore, many actions need a way to launch actions in remote application instances. The goal of this thesis is to implement a minimum viable solution for executing actions through a REST API that uses the asynchronous programming model. However, actions themselves are not implemented asynchronously and cannot be invoked directly from asynchronous code. The REST API is connected to an asynchronous scheduler that circumvents this limitation by launching actions in a process pool. The scheduler hides actions behind an abstraction layer of tasks that store information about their status and results. All the actions need to send real-time updates to the clients. This is made possible via a one-way communication channel from the actions to the scheduler that updates the tasks. The REST API provides methods for creating, getting results, and killing tasks. Clients can periodically check the task status and show these updates to the user. Clients can also choose to kill tasks that take too long to finish.
|
|
|
Porovnávání jazyků a redukce automatů používaných při filtraci síťového provozu
Havlena, Vojtěch ; Rogalewicz, Adam (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce se zabývá porovnáváním jazyků automatů a redukcí automatů používaných při monitorování síťového provozu. Je navrženo několik přístupů pro přibližnou redukci automatů (nezachovávající jazyk) a přístup pro porovnávání jejich jazyků. Redukce jsou založeny na podaproximaci jazyka automatu, kdy dochází k odstraňování stavů nebo na nadaproximaci jazyka, kdy dochází k přidávání nových smyček (a odstranění zbytečných stavů později). Navržené metody pro přibližnou redukci a navržená pravděpodobnostní vzdálenost využívají informaci ze síťového provozu. Jsou poskytnuty formální záruky vzhledem k modelu síťového provozu, který je reprezentován pravděpodobnostním automatem. Metody byly implementovány a jejich vlastnosti byly ověřeny na automatech používaných pro filtrování síťového provozu.
|
|
|
Penetrační testování open-source software
Hrozek, Jakub ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a implementací integrovaného systému pro penetrační testování. První a druhá kapitola se zaměřují na na seznámení čtenáře s problematikou penetračního testování. Popisují základní techniky a rozdělení testů, zmiňuje některé nejčastěji používané metodiky a diskutuje potřebu penetrační testování pokud možno automatizovat. Pátá a šestá kapitola se zabývají specifikací a podrobným návrhem nástroje pro provádění penetračních testů. Implementace a problémy řešené během ní jsou předmětem sedmé kapi- toly. Poslední část práce popisuje praktické experimenty, provedené s vyvinutým programem a poskytuje některé rady, které mohou sloužit k bezpečnějšímu nastavení sítí.
|
|
|
Podpora průběžné integrace v rámci systému Copr
Klusoň, Martin ; Hruška, Martin (oponent) ; Rogalewicz, Adam (vedoucí práce)
Práce se zabývá implementací průběžné integrace pro build systém Copr. Implementace využívá framework Citool a jeho moduly, které se již používají pro průběžnou integraci build systému Koji. Výsledný systém umožňuje automaticky spustit testování pro nový balíček v build systému Copr a otestovat ho v prostředí virtuálního stroje. Práce ukazuje způsob, jakým je možné realizovat průběžnou integraci pro build systém Copr.
|
|
|
Lidské rozhraní k automatovým knihovnám nástroje MONA
Pyšný, Radek ; Šimáček, Jiří (oponent) ; Rogalewicz, Adam (vedoucí práce)
Konečné stromové automaty jsou formalismem používaným v mnoha různých oblastech informatiky, mimo jiné v oblasti formální verifikace. V současné době existuje několik nástrojů pro práci s konečnými stromovými automaty, avšak knihovny nástroje MONA jsou pro tyto účely nejlepší. Právě konečné stromové automaty jsou častým nástrojem pro formální verifikaci počítačových systémů, které pracují s dynamickými datovými strukturami. Způsob, jakým je realizováno zadávání konečných stromových automatů pro knihovny nástroje MONA , je pro člověka značně náročný, protože je nutné funkci přechodu konečného stromového automatu zadat ve formě několika multiterminálních binárních rozhodovacích diagramů. Cílem této diplomové práce je navrhnout a implementovat nástroj pro převod konečných stromových automatů zapsaných výčtem pravidel do interního formátu nástroje MONA .
|
host ::
RSS.