|
|
Testování výkonnosti Java kolekcí na vícejádrových systémech
Husar, Martin ; Müller, Petr (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce se zabývá testováním výkonnosti Java kolekcí na vícejádrových systémech. Cílem práce bylo nastudovat kolekce z rámce Java Collection Framework a také některé další kolekce z balíku java.util.concurrent a projektu Javolution. Pro tyto kolekce bylo za úkol navrhnout vhodné zátěžové testy, na základě kterých bude možné porovnat výkonnost jednotlivých kolekcí. Základní řešení obnáší implementaci navržených testů v jazyce Java a jejich závěrečné vyhodnocení.
|
|
|
Detection of Expressions with Undefined Behavior in C Language
Hellebrandt, Lukáš ; Vojnar, Tomáš (oponent) ; Müller, Petr (vedoucí práce)
This thesis engages in detection of undefined behavior in the C language programs. We focus on undefined behavior stemming from incorrect work with sequence points and side effects. We perform a theoretical analysis and put terms like undefined behavior or side effect in context of the paper. Furthermore, we explain dangerousness of the constructs leading to undefined behavior. We propose a method for automated detection of the mentioned kind of undefined behavior. Finally, we design and implement a tool for its automated static detection and show the principles of the tool’s function. While designing the tool, contrary to current solutions, we stress functionality even in cases like accessing the memory via a pointer or from a called function. The thesis contains examples of dangerous constructs, functions of the created tool are demonstrated on some of them.
|
|
|
Automatické srovnávání výstupu statické analýzy na různých verzích programů
Kompová, Radmila ; Müller, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Práce se zabývá vývojem nástrojové podpory pro srovnávání výstupu statické analýzy uplatněné na různé verze zdrojových kódů programů. Součástí je rovněž diskuze tří volně dostupných statických analyzátorů pro jazyk C, z nichž byl pro implementaci práce zvolen Cppcheck. Výstupy analyzátoru získané pro různé verze určitého programu jsou srovnávány na základě kontextu v okolí řádku, na němž byla nalezena chyba. Pro porovnávání dvou kontextů je využit nástroj patch. Chyby jsou po srovnání klasifikovány do tří skupin\,--\, nové, staré a opravené. Součástí práce je rovněž webové rozhraní umožňující přehlednější prezentaci výsledků. Vytvořený nástroj byl úspěšně otestován na třech projektech s otevřenými zdrojovými kódy, konkrétně na jádře Linux, Coreutils a CPython.
|
|
|
Obrábění titanových slitin
Müller, Peter ; Sliwková, Petra (oponent) ; Píška, Miroslav (vedoucí práce)
Táto bakalárska práca popisuje najvýznamnejšie vlastnosti a výrobu titánu, uvádza rozdelenie titánových zliatin a ich charakteristiku. V experimentálnej časti bol sústružený polotovar zo zliatiny Ti-6Al-4V a v závislosti od zvolených posuvov na otáčku merané rezné sily. Následne bola vypočítaná merná rezná sila a porovnaná s hodnotami udávanými výrobcami nástrojov.
|
|
|
Podpora pro užití jazyka Python pro vývoj zásuvných modulů serveru Jenkins
Bambas, Tomáš ; Letko, Zdeněk (oponent) ; Müller, Petr (vedoucí práce)
Server pro průběžnou integraci Jenkins CI umožňuje rozšiřovat svou funkcionalitu pomocí zásuvných modulů. Tyto moduly lze programovat v jazycích Java a Ruby. Podpora pro jazyk Python chybí, přestože se jedná o jeden z nejpopulárnějších programovacích jazyků současnosti. Implementovali jsme proto vývojářské nástroje, které umožňují programovat moduly v jazyce Python a tyto nástroje jsme začlenili do projektu Jenkins CI. K nástrojům byla zveřejněna uživatelská dokumentace. Programátoři mohou teď díky této práci implementovat moduly do Jenkins CI v jazyce Python.
|
|
|
Performance Test Suite for MIT Kerberos
Špaček, Petr ; Müller, Petr (oponent) ; Zelený, Jan (vedoucí práce)
The aim of this thesis is to develop performance test suite, which will enable to test MIT Kerberos system infrastructure, assess gained performance characteristics and detect potential bottlenecks. This thesis summarizes necessary theoretical background of Kerberos protocol. Potential performance problems are analyzed on different MIT Kerberos configurations. This thesis describes distributed test suite design and implementation. Several performance problems were discovered using this test suite. These problems are described and some solutions are proposed.
|
|
|
Studie frameworku Lombok
Paštrnák, Ján ; Müller, Petr (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce se věnuje frameworku Lombok a jeho využití pro vývoj Java programů. Framework Lombok umožňuje generování primitivního, často se opakujícího kódu, během překladu anotovaného kódu. Pomoci anotací programátor specifikuje, co a kde má framework při překladu generovat. Tato práce se zabývá vysvětlením základních principů frameworku a návrhem testů, které ukážu praktické aspekty jeho použití při tvorbě Java programů. Důraz je kladen zejména na odhad ušetřeného času vývoje prostřednictvím Lomboku, studium jeho vlivu na proces překladu a testování integrace frameworku se třemi vývojovými prostředími - NetBeans, Eclipse a InteliJ IDEA. Práce tak shrnuje pozitiva i negativa využití tohoto frameworku v praxi.
|
|
|
Corrosion resistance of cast duplex stainless steels
Müller, Peter ; Záděra, Antonín (oponent) ; Pernica, Vítězslav (vedoucí práce)
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.
|
|
|
Nástroj pro vyhodnocení kvality příspěvků projektů open-source
Špigel, Radim ; Müller, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá zjištěním kvality příspěvků při vývoji open-source projektů napsaných v jazyce Python. Zjištění této kvality je prováděno pomocí nástrojů pro statickou analýzu a hypotetickým algoritmem založeným na době, jakou daný příspěvek vydržel nezměněn. Taktéž se tato práce věnuje verzovacím systémům, zvláště pak distribuovanému systému Git. Dále jsou zde rozebrány základní softwarové metriky a vizualizační knihovna D3.
|
|
| |
host ::
RSS.