|
|
Software Versions Management in Containers Deployment
Růžička, Adam ; Kočí, Radek (referee) ; Smrčka, Aleš (advisor)
Cílem této práce je analyzovat požadavky a navrhnout řešení pro využití projektu s otevřeným zdrojovým kódem Katello pro správu softwaru nainstalovaného na obrazech aplikace Docker. Nejprve je diskutováno srovnání virtualizačních technik a následně také různých implementací kontejnerové virtualizace na rozdílných platformách. Následně jsou popsány možnosti využití projektu Katello pro správu verzí softwarových balíků RPM a návrh a implementace samotného systému pro správu obrazů aplikace Docker. Funkcionalita aplikace byla experimentálně testována a ověřena a byly navrženy možnosti pro další rozšíření.
|
|
|
Fine-Grain Noise-Injection Heuristics for SearchBestie Infrastructure
Kozák, David ; Smrčka, Aleš (referee) ; Křena, Bohuslav (advisor)
The main topic of this thesis is testing of concurrent Java programs. Concurrency errors often manifest rarely. To increase a chance to spot such errors, a technique called noise injection can be used. This technique inserts extra instruction into the application under test to disturb the scheduler and thus to explore less common thread scheduling. Because noise injection can be parameterized in many ways, a tool called SearchBestie was created to handle noise-based testing as a search problem. SearchBestie used a tool called Contest for bytecode instrumentation and test execution. However, the development of ConTest has been discontinued and therefore an alternative tool was necessary. In the first part of this thesis, SearchBestie was connected with a tool called RoadRunner, which replaced ConTest. Afterwards new fine-grain noise-injection heuristics have been proposed and implemented. Experiments proved that these heuristics achieve better results in most cases.
|
|
|
Support of Snapshot and Rollback of Configuration Files in Fedora
Včelák, Jan ; Rogalewicz, Adam (referee) ; Smrčka, Aleš (advisor)
This thesis deals with current possibilities of creating backups and versioning of configuration files in GNU/Linux operating system. Based on the findings a new tool for Fedora distribution was designed, implemented, and tested. The aim of the tool is to keep the benefits of existing solutions and to eliminate their drawbacks. In addition, it brings some new and useful features like synchronization with remote server and integration with other management tools.
|
|
|
A Hidden GNU/Linux File System
Pavlásek, Martin ; Smrčka, Aleš (referee) ; Lengál, Ondřej (advisor)
Some sensitive data need such a way of hiding that hides not only the content of the data but its preserve itself. The goal of this Bachelor's thesis is to create a file system that enables hiding of files with sensitive data to other files. This text contains an overview of principles used in current file systems and a description of the structure and use of the FUSE technology. Further, the work describes the design of a filesystem that hides files into ID3 tags of MP3 music files and it's implementation in C++. The created filesystem is experimentally assessed and evaluated.
|
|
|
Checker of User Experience Guidelines
Kříž, Vítězslav ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
The aim of this work is to create a tool for automated checking the correct characteristics of the user interface. The thesis includes a list of rules from GNOME, KDE and OSX, which are suitable for automatic control. The tool verifies the background elements of the user interface while the user operates the program under test. The rules are ranked according to the severity and outcome of the program is also overall score. The final part contains testing of normally available programs. The application is appropriate for verifying a graphical user interface in development.
|
|
|
Containerization of Database Detectors
Oberreiter, Michal ; Kočí, Radek (referee) ; Smrčka, Aleš (advisor)
This thesis deals with containerization of command-line applications including containerization of existing tools for database content analysis. The thesis is a part of Testos platform, which aims at software testing automation. The goal was to design and implement a solution that would be both universally usable for command-line applications and at the same time flexible enough to accommodate database detectors and their specific requirements. Docker was chosen as the containerization platform, on which a management system was built. This system provides both a graphical user interface and an application programming interface. The result allows for easy application management and output retrieval. The primary contribution of this thesis is the streamlining and simplification of running command-line applications with specific dependencies. These features come in form of abstracting the underlying mechanisms and providing a graphical user interface.
|
|
|
Automated Methods of Finding Bugs in Compilers
Müller, Petr ; Smrčka, Aleš (referee) ; Vojnar, Tomáš (advisor)
This thesis discusses an application of the fuzz testing method for testing compilers and interpreters. In the first part, it deals with compilers, optimizations, and bugs typical for an optimizing compiler. It analyzes applicability of static and dynamic analysis methods for searching such bugs and proposes dynamic fuzz testing as suitable for this task. A compiler testing tool suite using this method was implemented within this thesis and applied on several real compilers, including GCC, in which the tool revealed a series of bugs.
|
|
|
Automatic Test Input Generation for Information Systems
Naňo, Andrej ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
ISAGENis a tool for the automatic generation of structurally complex test inputs that imitate real communication in the context of modern information systems . Complex, typically tree-structured data currently represents the standard means of transmitting information between nodes in distributed information systems. Automatic generator ISAGENis founded on the methodology of data-driven testing and uses concrete data from the production environment as the primary characteristic and specification that guides the generation of new similar data for test cases satisfying given combinatorial adequacy criteria. The main contribution of this thesis is a comprehensive proposal of automated data generation techniques together with an implementation, which demonstrates their usage. The created solution enables testers to create more relevant testing data, representing production-like communication in information systems.
|
|
|
A Fault Injection Bug Hunting Tool Based on Systemtap
Zelinka, Martin ; Smrčka, Aleš (referee) ; Vojnar, Tomáš (advisor)
This work describes different methods of fault injection, the principles of system calls in operating system Linux and the Systemtap tool. The main aim of thesis is design and implementation of the application that work on the principle of fault injection into the system calls using Systemtap tool. Implemented application automatically identifies the existing system calls with the error return values, which are then replaced the original system calls return value.
|
|
|
Automated Fuzz Testing of Applications Using D-Bus Communication System
Marhefka, Matúš ; Smrčka, Aleš (referee) ; Müller, Petr (advisor)
Tato práce se zaobírá použitím metody fuzzingu na testování aplikací komunikujících přes systém D-Bus. První část je zaměřená na seznámení s pojmem fuzzing a na využití této metody při testování aplikací. Následuje popis systému D-Bus a jeho architektury. V druhé části se práce zaobírá vhodným způsobem, jakým by se daly pomocí metody fuzzingu testovat aplikace komunikující přes systém D-Bus. V rámci práce byl implementovaný nástroj na testování aplikací, které využívají tento systém na meziprocesovou komunikaci. Při implementaci tohoto nástroje byl kladen důraz na to, aby s ním bylo možné otestovat co největší spektrum aplikací. Testování proběhlo na třech vybraných aplikacích - GNOME Shell , IMSettings a Evince . Ve dvou ze tří zmíněných aplikacích ( GNOME Shell , IMSettings ) byly nalezeny chyby, které způsobily jejich pád. Implementovaný nástroj taktéž detekoval úniky paměti v aplikaci IMSettings .
|
guest ::
RSS feed.