|
|
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.
|
|
|
Nitrate Client Performance Improvement with Cache Implementation
Holec, Filip ; Letko, Zdeněk (referee) ; Müller, Petr (advisor)
The goal of the thesis is to design and implement performance improvements in python-nitrate module. Performance improvements are based on gathered use cases, which use large amount of data and network bandwidth. Performance test suite was implemented in order to measure impact of changes in module. Testing proved, that python-nitrate module with integrated performance improvements is in certain cases several times faster, but also can be slower in two cases. Discussion regarding possible extensions is present in the conclusion.
|
|
|
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 .
|
|
|
Automatic Comparison of Static Analysis Outputs on Different Versions of Programs
Kompová, Radmila ; Müller, Petr (referee) ; Vojnar, Tomáš (advisor)
This thesis aims at development of a tool support for comparing the output of static analysis applied to different versions of program source codes. The thesis also comprises a discussion of three opensource static analyzers of the C source code. Based on this discussion, one of these analyzers, Cppcheck, was chosen for the implementation of the designed tool. The static analyzer's outputs, obtained for various versions of a specific program, are compared on the basis of the context of the line at which an error was found. The patch utility is used for comparing the appropriate contexts. Detected errors are classified into three groups: new, old, and fixed errors. A web interface allowing an easier-to-follow presentation of the results is also provided. The designed tool set has been successfully tested on three opensource projects, including the Linux kernel, Coreutils and CPython.
|
|
|
A Tool for Analyzing Performance of Memory Allocators in Linux
Müller, Petr ; Peringer, Petr (referee) ; Vojnar, Tomáš (advisor)
This diploma thesis presents a tool for dynamic memory allocator analysis, focused on their performance. The work identifies the important memory allocator performance metrics, as well as the environment and program factors influencing these metrics. Using this knowledge, a tool was designed and implemented. This tool allows to gather and analyze these metrics. The tool provides the ability to create memory allocator usage scenarios for the purpose of the allocator behavior analysis under different conditions. The tool was tested on several available memory allocators with free license.
|
|
|
Performance Test Suite for MIT Kerberos
Špaček, Petr ; Müller, Petr (referee) ; Zelený, Jan (advisor)
Tato práce se zaměřuje na vyvinutí nástrojů pro výkonnostní testování, které umožní otestovat infrastrukturu systému MIT Kerberos, zjistit její výkonnostní charakteristiky a detekovat potenciální problémy. Práce shrnuje teoretické základy protokolu Kerberos a analyzuje potenciální výkonnostní problémy v různých konfiguracích MIT Kerberosu. Dále práce obsahuje popis návrhu a implementace sady nástrojů pro distribuované testování. Pomocí implementovaných nástrojů bylo odhaleno několik výkonnostních problémů, které jsou v práci popsány spolu s návrhem jejich řešení.
|
|
|
Integration of Jenkins CI with Undertow
Barteček, Jakub ; Letko, Zdeněk (referee) ; Müller, Petr (advisor)
This master's thesis deals with replacement of the servlet container in Jenkins CI with server Undertow. In the thesis, general information about programs, which are related to this topic, are described and current state of the servlet container is analyzed. The result is newly created servlet container for Jenkins CI. Both versions of the Jenkins CI were performance tested and the new version gave better results.
|
|
|
Support for Jenkins Plugin Development in Python Language
Bambas, Tomáš ; Letko, Zdeněk (referee) ; Müller, Petr (advisor)
Jenkins CI, the continuous integration server, enables to extend its functionality by plug-ins. These plug-ins can be written in Java and Ruby. The support for Python language is missing although it is one of the most popular programming languages. Therefore we have implemented the SDK for Python plug-in development and this SDK has been integrated into the Jenkins CI community repository. The documentation for the plug-in development in Python has been also published. Thanks to that work, developers can now implement plug-ins in Python programming language.
|
|
|
Minimum Quantity Lubrication in Reaming
Müller, Pavel ; Humár, Anton (referee) ; Píška, Miroslav (advisor)
V důsledku enviromentálních aspektů se zavádí obrábění za sucha nebo obrábění s minimem mazání. Převážně se jedná o mazání s průtokem cca 50 ml/h. Tato technologie se úspěšně zavedla pro soustružení, frézování, ale je málo probádána pro vrtání a vystružování. Právě tématu vystružování s použitím minmálního množství mazání je věnována tato diplomová práce.
|
|
|
Virtualization for the x86 platform
Müller, Pavel ; Kyselý, František (referee) ; Pelka, Tomáš (advisor)
A thesis describes a virtualization of x86 platform. In the first part the virtualization, its utilization and specific types of virtualization are described in a general way. The specific types of virtualization are full virtualization, paravirtualization, virtualization on core level, hardware virtualization and application virtualization. There is also described a general function of virtual machine, reasons of virtualization implementing, current development, focusing on future development and virtualization security. In the second part the thesis tries to find a solution with establishment charges of virtualization. To test purposes the following software programs were used. The first one is freeware benchmark Sandra from SiSoft company and second one is a software created on the basis of the thesis. For the tests the CPU overhead both an arithmetic-logical unit and a unit for work with numbers and floating decimal point, a RAM data transmission efficiency and a hard disk logging rate were chosen. The following test machines were described: VMWare, VirtualBox and Xen. In the third and the last part of the thesis is a description of network interface virtualization methods with a utilization of tun and tap system. In each particular step a virtual network interface creation and implementation are presented. Model situations of communication among virtual and physical machines with usage of these devices are described at the end of the thesis.
|
guest ::
RSS feed.