|
|
Software Versions Management in Containers Deployment
Růžička, Adam ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
The aim of this thesis is to analyse requirements and design a solution for using the open-source project Katello to manage software present on Docker images. In this thesis there are introduced virtualization technologies with emphasis on container virtualization and also projects Foreman and Katello and their usage for content management of RPM software packages. Furthermore, it deals with design and implementation of extension for project Katello allowing managing Docker images. The functionality of the application was experimentally tested and verified and further possibilities for extension were outlined.
|
|
|
Přesné heuristiky pro vkládání šumu v nástroji SearchBestie
Kozák, David ; Smrčka, Aleš (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato práce se zabývá efektivními způsoby testování vícevláknových programů psaných v jazyce Java. Pro zvýšení šance na odhalení časově závislých chyb se využívá techniky vkládání šumu, kdy dochází ke vložení dalších instrukcí do testované aplikace za účelem prozkoumání netypických proložení událostí. Pro nalezení vhodných konfigurací pro vkládání šumu byl navržen nástroj SearchBestie, který využíval nástroj ConTest pro spouštění testů a instrumentaci bytecodu. Jelikož vývoj ConTestu byl zastaven, bylo třeba najít vhodnou alternativu. V průběhu této bakalářské práce bylo dokončeno propojení SearchBestie s nástrojem RoadRunner, který ConTest nahradil. Dále došlo k navržení a implementaci nových heuristik, které umožňují šum vkládat na přesně zvolená místa v kódu. Experimenty prokázaly, že ve většině případů skutečně přesné heuristiky dosahují lepších výsledků než heuristiky využívající náhodnosti.
|
|
|
Podpora snapshotu a rollbacku pro konfigurační soubory v distribuci Fedora
Včelák, Jan ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá analýzou možností zálohování a verzování konfiguračních souborů pod operačním systémem GNU/Linux. Na základě zjištěných skutečností je navržen, implementován a otestován nový nástroj pro distribuci Fedora. Jeho cílem je zachovat výhody existujích řešení a odstranit jejich nedostatky. Také přináší nové užitečné funkce, jako je synchronizace se vzdáleným serverem a možnost integrace do jiných nástrojů pro správu.
|
|
|
Skrytý souborový systém pro GNU/Linux
Pavlásek, Martin ; Smrčka, Aleš (oponent) ; Lengál, Ondřej (vedoucí práce)
Některá citlivá data vyžadují takový způsob ukrytí, který skryje nejen obsah dat, ale i samotnou jejich existenci. Cílem této bakalářské práce je vytvoření souborového systému, který umožňuje skrývání souborů s citlivými daty do jiných souborů. Práce obsahuje přehled principů používaných v souborových systémech a popis struktury a použití technologie FUSE. Dále je v práci popsán návrh souborového systému skrývajícího souborory do ID3 značek hudebních souborů ve formátu MP3 a jeho implementace v jazyce C++. V závěru práce je vzniklý souborový systém experimentálně ověřen a zhodnocen.
|
|
|
Nástroj pro kontrolu dodržování UX principů
Kříž, Vítězslav ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem této práce je vytvořit nástroj pro automatizované kontrolování správných vlastností uživatelského rozhraní. Součástí práce je seznam pravidel z prostředí GNOME, KDE a OSX, která jsou vhodná k automatické kontrole. Nástroj na pozadí ověřuje prvky uživatelského rozhraní, zatímco uživatel ovládá testovanou aplikaci. Pravidla jsou ohodnocena podle závažnosti a výstupem programu je mimo jiné i výsledné skóre. V závěru práce jsou otestovány běžně dostupné programy. Výsledná aplikace je vhodná pro ověřování grafického uživatelského rozhraní při vývoji.
|
|
|
Kontejnerizace detektorů nad relačními databázemi
Oberreiter, Michal ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá kontejnerizací aplikací pro příkazové řádky, konkrétně pak analyzátorů obsahu databáze. Práce je řešena v kontextu platformy Testos, která cílí na automatizaci softwarového testování. Cílem řešení je navrhnout a implementovat univerzálně použitelný nástroj, který by také vhodným způsobem řešil specifické požadavky databázových detektorů. Pro účely kontejnerizace byl zvolen nástroj Docker, nad kterým byl postaven zapouzdřující systém. Dále bylo vytvořeno webové uživatelské rozhraní komunikující s API. Výsledné řešení umožňuje snadno spravovat aplikace příkazové řádky a získávat z nich relevantní výstupy. Přínosem této práce je usnadnění práce s aplikacemi, které vyžadují své specifické závislosti. Usnadnění spočívá v zapouzdření specifik nástroje Docker pod obecnější model práce a také ve vytvoření uživatelsky přívětivého grafického rozhraní.
|
|
|
Automatizované metody hledání chyb v překladačích
Müller, Petr ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce se zabývá aplikací metody fuzz testing k testování překladačů a interpretů. V první části pojednává o překladačích, optimalizacích a chybách typických pro optimalizující překladač. Analyzuje vhodnost metod statické a dynamické analýzy pro hledání těchto chyb a jako vhodnou navrhuje dynamickou metodu fuzz testování. V rámci práce byl implementován nástroj pro testování překladačů používající tuto metodu, který byl aplikován na několik případů, přičemž se podařilo nalézt sérii chyb v rozšířených překladačích, a to včetně např. GCC.
|
|
|
Automatické generování testovacích dat informačních systémů
Naňo, Andrej ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Nastroj ISAGENumoznuje automaticke generovanie komplexnych sturkturovanych testovacich vstupov imitujucich realnu komunikaciu z prostredia modernych informacnych systemov. Komplexne data, typicky so strukturou stromu v sucasnosti predstavuju zakladny transportacny prostriedok pre prenos informacii medzi uzlami distribuovanych informacnych systemov. Automaticky generator ISAGENvychadza z metodologie datami riadeneho testovania a vyuziva konkretne data z produkcneho prostredia ako hlavnu charakteristiku a specifikaciu pre riadenie generovania novych podobnych dat pre testovacie pripady splnajuce zadane kombinacne kriteria. Hlavnym prinosom tejto prace je obsiahle predlozenie technik pre automatizovane generovanie dat spolocne s praktickou implementaciou, ktora demonstruje ich pouzitie. Vytvorene riesenie umoznuje testerom vytvarat viac relevantne testovacie data, ktore vhodne reprezentuju realnu komunikaciu z produkcnych informacnych systemov.
|
|
|
Nástroj pro vyvolávání chyb založený na infrastrukuře Systemtap
Zelinka, Martin ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
Práce popisuje různé metody vkládání chyb, princip systémových volání v operačním systému Linux a nástroj Systemtap. Hlavním cílem práce je návrh a implementace aplikace pracující na principu vkládání chyb do systémových volání pomocí nástroje Systemtap. Realizovaná aplikace si nejprve automaticky identifikuje existující systémová volání s jejich chybovými návratovými hodnotami, kterými jsou potom nahrazovány původní návratové hodnoty systémových volání.
|
|
|
Automated Fuzz Testing of Applications Using D-Bus Communication System
Marhefka, Matúš ; Smrčka, Aleš (oponent) ; Müller, Petr (vedoucí práce)
This thesis discusses use of the fuzzing for testing applications communicating through D-Bus system. The first part is focused on introducing the concept of the fuzzing and on use of this method when testing applications. Subsequently, there is a description of D-Bus system and its architecture. In the second part, the thesis deals with an appropriate way of using the fuzzing method for testing applications communicating through D-Bus system. A tool was implemented within this thesis for testing applications which use this system for interprocess communication. During implementation of the tool there was an effort to make it possible to test the greatest variety of applications. Testing took place on the three selected applications - GNOME Shell , IMSettings and Evince . In the two of these three applications ( GNOME Shell , IMSettings ) was found bugs which caused their crash. Implemented tool also detected memory leaks in IMSettings application.
|
host ::
RSS.