|
|
Dynamická analýza použití knihovních volání
Malík, Viktor ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato bakalářská práce se zabývá vývojem dynamického analyzátoru, který sleduje používání knihovních volání analyzovaným programem. Analyzátor dále tato volání automaticky ovládá za účelem vytváření různých běhů programu, které pak agreguje do výsledného grafu toku řízení. Pro sledovaní a ovládání volání používá analyzátor vlastní sdílenou knihovnu pro operační systém GNU/Linux. Součástí práce je jak podrobný návrh celé aplikace, tak i její implementace v~jazycích C/C++ zaměřující se na sledování standardních knihovních volání nad souborovým systémem.
|
|
|
Automatické konfigurování služeb operačního systému
Schiffer, Peter ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato diplomová práce se zabývá konfigurací operačních systémů, jejich možnostmi a způsoby nastavení. Představuje rozdíly v konfiguraci operačních systémů podle jejich zaměření a pokročilé možnosti konfigurace operačních systémů pomocí aplikací třetích stran. Praktická část diplomové práce se zabývá návrhem nového počítačového jazyka zaměřeného na popis konfigurace operačního systému a jeho služeb. Tento popis konfigurace sloužící na automatickou konfiguraci systémových služeb se překládá na sekvenci konfiguračních příkazů. Výhoda jazyka spočívá v jeho dobré čitelnosti pro člověka, ale podobnost s přirozeným jazykem přináší určitou úroveň nejednoznačnosti. Navrhovaná metoda automatického generování příkazů řeší nejednoznačnost vyhledáváním co nejméně destruktivního řešení v podobě kombinaci konfiguračních příkazů.
|
|
|
Application for OpenShift Plaform for Testing of Students Projects
Országh, Marián ; Janoušek, Vladimír (oponent) ; Smrčka, Aleš (vedoucí práce)
The aim of this thesis is to design a service for automated requirements-based testing of student programming assignments, and thereafter implement this service using the OpenShift, Python and Git technologies. By creating such a service, a foundation is set for a unified testing process, which includes executing the test suites in separate Linux containers. Such a process is intended for simplification of the grading by teachers and teacher assistants, and at the same time improvement of student's performance in such tasks. This Master's thesis explains the basics of software testing, while focusing on requirements-based testing specifically. Furthermore, it provides insight into the container technology, as well as how these themes are applied in the project's design, and how they are reflected in the service's requirements. Afterwards, the implementation details of the service are put under examination in order to provide a reference material for any future extensions of the project. The implemented service allows for basic operations, including testing of multiple student projects in separate containers concurrently, creating a containerized debugging session, or automatically building a testing container image for a given assignment.
|
|
|
Nástroj pro podporu tvorby automatické testovací sady
Studený, Martin ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem bakalářské práce je vytvořit nástroj Suiter , který testerovi zjednoduší a částečně zautomatizuje proces tvorby testovacích skriptů v širokém spektru programovacích jazyků. Důraz je kladen na testování rozhraní pro programování aplikací ( API ) kombinováním vstupních hodnot v určitém stavu webové aplikace. Aplikace Suiter generuje spustitelnou sadu testů uspokojující požadovaná kombinační kritéria. Výsledky této práce umožňují testerům zrychlit a zefektivnit testování API .
|
|
|
Optimalizace platformy pro distribuované výpočty Hadoop
Čecho, Jaroslav ; Smrčka, Aleš (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato diplomová práce se zabývá možnostmi optimalizace frameworku Hadoop za pomocí platformy CUDA. Apache Hadoop je frameworku umožnující analýzu obrovských objemů dat. Obsahuje distribuovaný souborový systém a implementaci programovacího paradigmatu mapreduce s jehož pomocí se poté píší uživatelské aplikace. Platforma CUDA firmy NVIDIA umožnuje využít výkon grafické karty počítače i k jiným účelům než je generování grafického výstupu na zobrazovací zařízení počítače. Má prace obsahuje seznam a experimentální implementaci výpočtů frameworku Hadoop vhodných k přesunu z hlavního procesoru počítače na grafickou kartu za účelem dosáhutí časové optimalizace běžících mapreduce aplikací.
|
|
|
Fuzz testování výkonu programu
Liščinský, Matúš ; Smrčka, Aleš (oponent) ; Rogalewicz, Adam (vedoucí práce)
Oprava jednej chyby niekedy prináša do programu ďalších desať. Na odhalenie týchto chýb, najmä výkonnostných, často musíme programu poskytnúť vstup, ktorý vynúti jeho správanie pre najhorší prípad. Populárnym riešením pre automatické generovanie vstupov je tzv. fuzzing, avšak jeho cieľom je nájsť funkčné chyby programu. V tejto práci sa preto snažíme vytvoriť automatický generátor vstupov, ktorého úlohou bude vyvolať výkonnostné výkyvy. Navrhli sme preto vyladené fuzzing pravidlá pre mutáciu a spôsob spracovania informácií o behu programu so zámerom zachytiť výkonnostnú degradáciu. Naše riešenie je integrované do nástroja Perun, správcu výkonnostných profilov, ktorý uchováva informácie o každom behu vo forme profilu a je schopný porovnať tieto profily s cieľom detekovať zmenu vo výkone. Takýmto spôsobom môžeme dokázať, že beh programu s určitým vstupom zaberie viac času alebo pamäte. Náš fuzzer sme testovali na niekoľkých umelo vytvorených projektoch, kde ukazuje svoj potenciál generovanými vstupmi, ktoré markantne predlžujú dobu behu programu. Prínosom takéhoto riešenia je možnosť pre vývojárov pravidelne otestovať každú verziu projektu na výskyt výkonnostných chýb a vyhýbať sa im automatickým vyhľadávaním nečakaných vstupov.
|
|
|
Frontend pro generátor testovacích dat
Freyburg, Petr ; Janoušek, Vladimír (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem této bakalářské práce je webová aplikace pro generování strukturovaných testovacích dat pro účely testování software. Projekt integruje existující generátor testovacích dat Gestr. Součástí tohoto projektu je aplikační rozhraní REST a webový frontend. Nástroj je implementován v jazyce Python a ve frameworku Flask, uživatelské rozhraní je realizováno pomocí HTML, CSS a JavaScriptu. Aplikace umožňuje připravit vstupy pro generátor a spustit generování.
|
|
|
Automatizované ověřování konfigurace operačního systému MS Windows pomocí projektu OpenSCAP
Černý, Jan ; Barabas, Maroš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá problematikou bezpečné konfigurace výpočetních systémů, jako jsou operační systémy, aplikace a služby. Seznamuje čtenáře s konceptem bezpečnostních politik a jejich ověřováním. Soustředí se na problematiku automatizace bezpečné konfigurace s důrazem na standard SCAP. Popisuje projekt OpenSCAP, který se používá jako SCAP scanner, jeho aplikace a jejich použití. Navrhuje rozšířit OpenSCAP i na operační systém Microsoft Windows, který doposud nebyl podporován. Těžištěm práce je identifikace nutných změn projektu OpenSCAP a návrh jeho rozšíření. Všechny navržené úpravy jsou implementovány. Implementované řešení je demonstrováno s využitím bezpečnostních politik pro Windows, vyhodnoceno a také jsou diskutovány možnosti jeho budoucího vylepšení.
|
|
| |
|
|
Interaktivní generátor syntaxe heterogenních datových struktur
Kotraš, Martin ; Janoušek, Vladimír (oponent) ; Smrčka, Aleš (vedoucí práce)
V dnešní době jsou softwarové systémy často skládány z několika komponent předávající si data různými komunikačními kanály. I přes to, že existuje řada standardizovaných formátů kódování dat, vývojáři stále vytváří své vlastní většinou s ohledem na specifické použití jimi vytvářeného softwaru. Jednou ze zásadních částí ověření kvality nebo minimalizace chyb z přenosu dat je validace vstupních dat. Prvním krokem k validaci je formalizace jazyka popisující datové struktury. Nejobecnějším formalismem pro tyto účely je gramatika jazyka ve standardním popisu, např. BNF, ABNF, nebo EBNF. Tvorba gramatiky specifického jazyka však může být krok, který je citlivý na vznik chyby pro nezkušeného vývojáře. Cílem tohoto projektu je jednoduchá aplikace pro tvorbu gramatiky ze vzorku dat. V práci je řešeno generování gramatiky a následných validačních kousků kódu z nahraného ukázkového řetězce jazyka, např. zdrojového kódu programovacího jazyka. Problém řeší uživatel aplikace postupným označováním částí nahraného řetězce, jejich pojmenováním a přiřazováním vlastností. K tomu mu dopomáhají nástroje na rozdělování pravidel, slučování prefixů a/nebo sufixů pravidla, vytváření seznamů a optimalizaci výsledných pravidel. V rámci práce vznikla jednostránková webová aplikace, která při testování na jazycích JSON a XML dokázala poměrně dobře obstát a bylo možné tak vytvořit obecnější gramatiku i přes problémy se slabým syntaktickým analyzátorem. Díky této práci tak mohou i méně zkušení uživatelé vytvářet obecnější gramatiky jejich řetězců a používat je pro validaci. Práce navíc dává základ pro další zkoumání v této oblasti a je otevřená pro další vylepšení.
|
host ::
RSS.