|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
Integrace serveru Undertow se systémem Jenkins CI
Barteček, Jakub ; Letko, Zdeněk (oponent) ; Müller, Petr (vedoucí práce)
Tato diplomová práce se zabývá nahrazením servlet kontejneru v systému Jenkins CI za server Undertow. V práci jsou popsány obecné informace o programech, které se této problematiky týkají a je analyzován současný stav servlet kontejneru v Jenkins CI. Výstupem této práce je vytvořený nový servlet kontejner pro Jenkins CI. Obě varianty Jenkins CI byly testovány z hlediska výkonu a nová varianta prokázala lepší výsledky.
|
|
|
Biodegradabilní kostní implantáty na bázi železa
Müller, Petr ; Kazda, Tomáš (oponent) ; Sedlaříková, Marie (vedoucí práce)
Osteosynthesis, temporary bone replacement, biodegradable metals, biodegradation, biocompatibility, powder metallurgy, sintering, iron, ferrous alloys, electrochemical corrosion, corrosion potential, spectroscopy
|
|
|
Nástroj pro analýzu výkonu alokátorů paměti v operačním systému Linux
Müller, Petr ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato diplomová práce prezentuje nástroj, který umožňuje analýzu vlastností dynamických paměťových alokátorů se zaměřením na jejich výkon. Práce identifikuje důležité výkonnostní metriky paměťových alokátorů a také faktory prostředí a programu, které tyto metriky mohou ovlivnit. Na základě těchto nalezených metrik byl navrhnut a implementován nástroj, který umožnuje jejich sběr a analýzu. Nástroj umožňuje tvorbu různých scénářů použití alokátorů tak, aby bylo možné analyzovat chování alokátorů za různých podmínek. Tento nástroj byl testován na několika dostupných paměťových alokátorech se svobodnou licencí.
|
host ::
RSS.