|
|
Automatizovaná syntéza stromových struktur z reálných dat
Želiar, Dušan ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Táto diplomová práca sa zaoberá problematikou analýzy štrukturovaných stromových dát. Cieľom práce je návrh a implementácia nástroja pre automatizovanú detekciu závislostí vzoriek reálnych dát, pričom zohľadňuje ich stromovú štruktúru a hodnoty uzlov. Nástroj vytvorí predpis pre syntézu umelých dát, ktoré sú významom a štruktúrou podobné reálnym vzorkám. Nástroj je súčasťou platformy Testos vyvíjané na Fakulte informačných technológií.
|
|
|
Fuzz testování aplikací komunikujících prostřednictvím OData protokolu
Mjachky, Ľuboš ; Fiedor, Tomáš (oponent) ; Vojnar, Tomáš (vedoucí práce)
Dodávať stabilný a spoľahlivý softvér nie je jednoduché. Aplikácie sú náchylné k chýbam bez ohľadu na dôslednosť a skúsenosť vývojárov. Aby sa zabránilo chybovým stavom na strane zákazníka, používajú sa vo všetkých fázach vývoja softvéru rôzne automatizované testovacie metódy či nástroje. Cieľom tejto práce je navrhnúť a implementovať automatizovaný nástroj na testovanie biznis aplikácií. Akákoľvek akcia, s ktorou sa v aplikácii nesprávne naloží, môže spôsobiť zlyhanie s katastrofickými následkami. Na simulovanie takýchto scenárov je možné pri testovaní použiť také testovacie sady, ktoré obsahujú náhodné alebo poškodené dáta. Takýto spôsob testovania sa odborne nazýva fuzz testovanie, pričom sa na vstup aplikácie zavádzajú náhodné alebo zmutované dáta. Navrhnutý nástroj ODfuzz slúži na fuzz testovanie aplikácií komunikujúcich prostredníctvom protokolu OData, ktorý je postavený na metodológiách HTTP a REST. Nástroj ODfuzz generuje požiadavky, ktoré obsahujú náhodné dáta a odosiela ich na serverovú časť aplikácie. Dáta z požiadavky prechádzajú pri spracovávaní rôznymi vetvami kódu, čo v konečnom dôsledku môže vyústiť do chybového stavu. Nástroj ODfuzz bol použitý na testovanie backend modulov moderných SAP aplikácii naprogramovaných v jazyku ABAP.
|
|
|
Grafické uživatelské rozhraní pro správu výkonnostních profilů
Grzybowská, Martina ; Smrčka, Aleš (oponent) ; Fiedor, Tomáš (vedoucí práce)
Jedným z najčastejších spôsobov testovania výkonu systému je technika profilácie programu vykonávajúca zber údajov o spotrebe zdrojov a ich následné vyhodnotenie vedúce k detegovaniu potenciálnych výkonnostných zmien, ktorých existencia môže mať negatívny dopad na vyvíjaný systém. Pre realizáciu procesu profilácie a komplexnejšej správy výkonu aplikácie už existuje niekoľko zavedených riešení. Perun patrí medzi novších správcov výkonnosti, sprostredkováva ako automatizáciu vytvárania, tak aj správu výkonnostných profilov projektov. Súčasná verzia však poskytuje len terminálové užívateľské rozhranie a nie je tak vhodná pre nasadenie do napr. cloudu. Cieľom tejto práce je špecifikovať, navrhnúť a implementovať grafické užívateľské rozhranie pre nástroj Perun. Výsledné užívateľské rozhranie cieli ako na možnosť vykonávať základnú funkcionalitu nástroja, ako je zber profilovacích dát podľa zadanej konfigurácie, ich následné spracovanie či efektívnu vizualizáciu, tak aj na možnosť prehľadne informovať o stave degradácie výkonu medzi jednotlivými verziami zobrazovaných projektov. Riešenie je demonštrované na troch netriviálnych verziovacích systémoch anotovaných výkonnostnými profilmi.
|
|
|
Přehledná správa virtuálních strojů v projektu OVirt
Macko, Samuel ; Fiedor, Tomáš (oponent) ; Rogalewicz, Adam (vedoucí práce)
Táto práca sa zaoberá myšlienkou virtualizácie a virtuálnych počítačov. Teoretická časť pokrýva základy virtualizácie z rôznych aspektov. Predstavuje koncept virtualizácie a rôzne architektúry využívané na jej dosiahnutie. Práca takisto skúma populárne implementácie spomenutých architektúr rovnako ako komerčne dostupné virtualizačné riešenia vyžívajúce tieto implementácie. Cieľom praktickej časti je navrhnúť a implementovať desktopovú aplikáciu pre administrátorskú úroveň prehľadu virtuálneho prostredia bežiacom v službe oVirt. Hlavným cieľom je vyriešiť niektoré z jeho známych problémov súvisiacich s prístupnosťou dát.
|
|
|
Asistent pro generování testovacích scénářů
Červinka, Radim ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem bakalářské práce je vytvořit webový nástroj, který pomůže testerům v situaci, kdy chtějí uplatnit kombinační testování. Program Combine vygeneruje testovací sadu (a pokud bude tester chtít, tak i konkrétní hodnoty paramatrů) takovou, která uspokojí dané T-Wise kritérium. Práce popisuje, co je to T-Wise testing a jakými způsoby vytvořit testovací sadu pokrývající dané kritéria. Dále také více do hloubky pojednává o metodě IPOG a její implementaci v nástroji Combine.
|
|
|
Rozšíření frameworku ANaConDA pro podporu kontraktů s parametry a jejich omezeními
Mužikovská, Monika ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá problematikou kontraktů pro paralelismus. Jedná se o protokol umožňující specifikovat požadavky na atomicitu v paralelních programech a následnou tvorbu automatických nástrojů pro detekci porušení atomicity. Součástí prostředí ANaConDA pro dynamickou analýzu programů je nástroj pro detekci tohoto druhu chyb, ale jeho výsledky mohou být příliš obecné. Cílem práce bylo navrhnout a implementovat metodu, která bude podporovat kontrakty rozšířené o parametry a jejich omezení, což povede k přesnějším výsledkům analýzy. Experimenty provedené pomocí nově vzniklého analyzátoru na programech se známými chybami ukázaly, že díky zahrnutí parametrů do analýzy je možné výsledky zredukovat až o desítky hlášení o situacích, které při zohlednění kontextu nejsou chybné a pouze zbytečně zatěžovaly vývojáře a znesnadňovaly odhalení skutečných chyb.
|
|
|
Performance Testing and Analysis of Qpid Dispatch Router
Stejskal, Jakub ; Rogalewicz, Adam (oponent) ; Fiedor, Tomáš (vedoucí práce)
Application performance testing has recently become more important during the application development of all kinds. This paper maps the fundamentals of performance testing that are commonly used and it analyzes performance testing of components used in Messaging systems, especially Apache ActiveMQ Artemis and Qpid-Dispatch. However, currently used methods for performance testing of these components are primarily focused only on Apache ActiveMQ Artemis by system Messaging Performance Tool called Maestro. This paper proposes improvements of Messaging Performance Tool to allow proper performance testing of Qpid-Dispatch and its capabilities in automatic testing. The solution is demonstrated on series of experiments with different topologies. The final report evaluates the proposed application, the performance of Qpid-Dispatch component and develops ideas for future works.
|
|
|
Knihovna pro profilování a vizualizaci spotřeby paměti programů C/C++
Podola, Radim ; Peringer, Petr (oponent) ; Fiedor, Tomáš (vedoucí práce)
Chování programu z hlediska výkonu je důležitou, a pro některé třídy programů až kritickou stránkou běhu. Současné přístupy k profilování výkonnosti však nejsou zdaleka dostačující. Cílem této bakalářské práce je rozšířit současný stav profilovacích a vizualizačních řešení novými technikami, které mohou značně usnadnit hledání výkonnostních chyb programů v jazyce C/C++ a jejich následnou interpretaci uživateli. Práce stručně představuje existující nástroje, které se zabývají podobnou problematikou, a následně navrhuje nové řešení pro kolekci profilovacích dat a jejich ilustrativní interpretaci. Výsledná implementace je navíc integrována do platformy Perun --- Performance Control System --- pro správu výkonnostních profilů. Funkčnost implementace je demonstrována na řadě netriviálních programů.
|
|
|
Průběžné testování interoperability knihoven TLS/SSL
Šumšal, František ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem této práce je implementace systému pro testování Secure Socket Layer (SSL) / Transport Layer Security (TLS) knihoven na podporovaných systémech a jeho využití na rozšířené sadě testů pro verifikaci jejich interoperability. Tento systém umožňuje jak průběžné testování, tak testování na vyžádání pro specifickou verzi knihovny. Hlavním přínosem této práce je zajištění inteoperability nejznámějších SSL/TLS knihoven již ve fázi vývoje a detekce chyb v co nejkratším čase. Výsledky této práce ukazují nalezené problémy na skutečných případech využití těchto knihoven a jejich dopad na systém, kde jsou použity
|
|
|
Web-Based Crash Data Querying Tool
Cyprian, Michal ; Fiedor, Tomáš (oponent) ; Rogalewicz, Adam (vedoucí práce)
Hundred of thousands crash reports are collected from Fedora and CentOS users every day by Automatic Bug Reporting Tool. Processed data are sent to Fedora Analysis Framework server and used by developers and operating system component maintainers to find common problems. Fedora Analysis Framework provides statistic data and a basic way to filter them. The aim of this thesis is to design and implement tool to sort, filter and join the reports, which will help developers to prioritize their work. The design of this toolset is based on existing solutions, issues reported in Fedora Analysis Framework project repository and information provided by its users.
|
host ::
RSS.