|
|
Automatizované metody hledání chyb v překladačích
Müller, Petr ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce se zabývá aplikací metody fuzz testing k testování překladačů a interpretů. V první části pojednává o překladačích, optimalizacích a chybách typických pro optimalizující překladač. Analyzuje vhodnost metod statické a dynamické analýzy pro hledání těchto chyb a jako vhodnou navrhuje dynamickou metodu fuzz testování. V rámci práce byl implementován nástroj pro testování překladačů používající tuto metodu, který byl aplikován na několik případů, přičemž se podařilo nalézt sérii chyb v rozšířených překladačích, a to včetně např. GCC.
|
|
|
Zvýšení výkonu Nitrate klienta pomocí vyrovnávací paměti
Holec, Filip ; Letko, Zdeněk (oponent) ; Müller, Petr (vedoucí práce)
Cílem práce je návrh a implementace výkonnostních vylepšení modulu python-nitrate. Výkonnostní vylepšení jsou založeny na sesbíraných případech užití, které využívají velké množství dat. Za účelem měření dopadu změn v modulu byly implementovány výkonnostní testy. Testování ukázalo, že modul python-nitrate s integrací vylepšení je v některých případech až několikanásobně rychlejší, avšak ve dvou případech může nastat zpomalení. Závěr práce obsahuje diskusi ohledem pokračování prací.
|
|
|
Automated Fuzz Testing of Applications Using D-Bus Communication System
Marhefka, Matúš ; Smrčka, Aleš (oponent) ; Müller, Petr (vedoucí práce)
This thesis discusses use of the fuzzing for testing applications communicating through D-Bus system. The first part is focused on introducing the concept of the fuzzing and on use of this method when testing applications. Subsequently, there is a description of D-Bus system and its architecture. In the second part, the thesis deals with an appropriate way of using the fuzzing method for testing applications communicating through D-Bus system. A tool was implemented within this thesis for testing applications which use this system for interprocess communication. During implementation of the tool there was an effort to make it possible to test the greatest variety of applications. Testing took place on the three selected applications - GNOME Shell , IMSettings and Evince . In the two of these three applications ( GNOME Shell , IMSettings ) was found bugs which caused their crash. Implemented tool also detected memory leaks in IMSettings application.
|
|
|
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.
|
|
|
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í.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
Minimum Quantity Lubrication in Reaming
Müller, Pavel ; Humár, Anton (oponent) ; Píška, Miroslav (vedoucí práce)
As a consequence of increasing environmental concern, Dry Cutting and Minimum Quantity of Lubricant (MQL) machining are increasingly used in manufacturing. In MQL machining, a mist of oil in compressed air is used as lubricant, at flow rates of approx. 50 ml/h. MQL machining has been successfully introduced in turning, milling and sawing while MQL in drilling, reaming, etc. has not yet been fully developed. For this purpose, this master thesis concentrates on developing a procedure for testing the performance of cutting fluid in reaming and its application to MQL.
|
|
|
Virtualizace platformy x86
Müller, Pavel ; Kyselý, František (oponent) ; Pelka, Tomáš (vedoucí práce)
Práce popisuje virtualizaci platformy x86. V první části práce je popsána virtulizace obecně, její využití a jednotlivé druhy. Těmi jsou plná virtualizace, paravirtualizace, virtualizace na úrovni jádra, hardwarová virtualizace a aplikační virtualizace. Dále je popsána obecná funkce virtuálního stroje, důvody zavádění, aktuální vývoj, směřování do budoucnosti a nastíněna je také bezpečnost v této oblasti. Druhá část práce řeší problematiku režie virtuálních strojů. K testování byly použity dva programy. První je volně dostupný testovací program Sandra od společnosti SiSoft, druhý je programvytvořený v rámci této práce. Testována je režie procesoru a to jak aritmeticko logické jednotky tak jednotky pro práci s čísly s pohyblivou desetinnou čárkou. Testována je také propustnost operační paměti a rychlost zápisu na pevný disk. Popsány jsou vlatnosti testovaných strojů, kterými jsou: VMWare, VirtualBox a Xen. Třetí a poslední část práce popisuje metody virtualizace síťového rozhraní s využitím tun a tap zařízení. V jednotlivých krocích je uvedeno vytvoření virtuálního síťového rozhraní, dále implementace a nakonec jsou uvedeny modelové situace komunikace mezi virtuálními a fyzickými stroji s využitím těchto zařízení.
|
host ::
RSS.