|
|
Java Collections Performance Testing on Multicore Systems
Husar, Martin ; Müller, Petr (referee) ; Letko, Zdeněk (advisor)
This thesis deals with Java collections performance testing on multicore systems. The aim of the work is studying of core collections contained in Java Collection Framework and studying also some other collections from package java.util.concurrent and third-party project known as Javolution. The task was to suggest appropirate performance test for these collections and create based on its results a comparison. Afterwards the basic solution is an implementation of suggested tests in Java programming language and evaluation of achieved results.
|
|
|
Detection of Expressions with Undefined Behavior in C Language
Hellebrandt, Lukáš ; Vojnar, Tomáš (referee) ; Müller, Petr (advisor)
Práce se zabývá detekcí nedefinovaného chování v programech v jazyce C. Zaměřujemese na nedefinované chování vznikající nesprávnou prací se sekvenčními body a vedlejšími efekty. Provedeme teoretický rozbor a pojmy jako nedefinované chování nebo vedlejší efekt zasadíme do kontextu práce. Dále vysvětlíme nebezpečnost konstrukcí vedoucích k nedefinovanému chování. Navrhneme metodu pro automatickou detekci zmíněného druhu nedefinovaného chování. Nakonec navrhneme a implementujeme nástroj pro jeho automatizovanou statickou detekci a popíšeme principy funkce tohoto nástroje. Při jeho návrhu klademe, narozdíl od současných řešení, důraz na funkčnost i v případě přístupu k paměti přes ukazatel nebo z volané funkce. Práce obsahuje příklady nebezpečných konstrukcí, na některých z nich jsou demonstrovány funkce vytvořeného nástroje.
|
|
|
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.
|
|
|
Machining of titanium alloys
Müller, Peter ; Sliwková, Petra (referee) ; Píška, Miroslav (advisor)
The bachelor thesis specifies the most important properties and production processes of titanium, categorizes titanium alloys and their properties. In the experimental part, titanium alloy Ti-6Al-4V blank was machined and cutting forces were measured, depending on selected feeds per revolution. Subsequently specific cutting force was calculated and compared with values given by the tool manufacturers.
|
|
|
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.
|
|
|
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í.
|
|
|
Lombok Framework Study
Paštrnák, Ján ; Müller, Petr (referee) ; Letko, Zdeněk (advisor)
The aim of this thesis is to analyze Lombok framework and its usage for the development of Java programs. Framework Lombok enables the generation of a primitive, often repetitive code during compilation of the annotated code. Using annotations, programmer specifies what and where the framework needs to generate during the compilation. This thesis explains the basic principles of the framework and design tests that demonstrate practical aspects of its use for creation of Java programs. Emphasis is placed on the estimation of the time saved through the development of Lombok, study its influence on the process of compilation and testing framework integrity with three development environments - NetBeans, Eclipse and IDEA InteliJ. The thesis summarizes the pros and cons of using this framework in real work.
|
|
|
Corrosion resistance of cast duplex stainless steels
Müller, Peter ; Záděra, Antonín (referee) ; Pernica, Vítězslav (advisor)
The master’s thesis deals with corrosion resistance of cast duplex steels. In the first part the corrosion mechanisms and their individual types are described, the second part characterizes the types of stainless steels in terms of their properties, use, structural components, and their impact on mechanical and corrosion properties of steels. Individual chapter is dedicated to duplex steels. In the experimental part the resistance of 1.4517 steel against pitting corrosion depending on the alloy contents and the PREN value was investigated. Four specimens graded according to PREN were cast. Supplemented with sample stirrer blade which was affected by corrosion during service they were subjected to corrosion test according to ASTM G48-11 standard in 6% FeCl3 solution. Cast specimens were subjected to tensile test and impact test.
|
|
|
A Tool for Evaluation of Quality of Contribution to Open-Source Projects
Špigel, Radim ; Müller, Petr (referee) ; Smrčka, Aleš (advisor)
The aim of this work is an examination of contributions quality in development of open-source projects written in programming language Pytho. Detection of this quality is being probed by static analysis tools and hypotethical algorithm which is based on duration of curent contribution changlessness. In this work there is a basic description of revision control systems and distributed system Git. There is also a mention about basic software metrics and D3 library.
|
|
| |
guest ::
