|
|
Konfigurace testů v projektu Apache Camel pomocí anotací
Karásek, Josef ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá převodem imperativního způsobu konfigurace testů v projektu Apache Camel na deklarativní způsob v podobě anotací. Je zde představen projekt Apache Camel s důrazem na jeho komponentu sloužící k testování distribuovaných aplikací, které používají knihovny tohoto projektu. Testovací komponenta je analyzována a na základě vybraných metod jsou navrženy a implementovány anotace. Projekty JBoss Arquillian a Pax Exam slouží jako inspirace pro následující práci.
|
|
|
Interaktivní simulátor pro grafy toku dat
Kovařík, David ; Smrčka, Aleš (oponent) ; Charvát, Lukáš (vedoucí práce)
Grafy toku dat jsou často používány při návrhu hardware. Jsou však vhodné také pro provádění hlubších analýz návrhů (např. funkční a formální verifikace). Simulátor prezentovaný v této práci vzniká jako podpůrný nástroj pro verifikační prostředí HADES. Cílem simulátoru je snížit potřebný čas a zvýšit kvalitu procesu verifikace. Pro efektivní provádění simulace byl navržen a implementován simulační algoritmus, který díky eliminaci nadbytečných vyhodnocení šetří výpočetní čas. Simulátor je vybaven několika výstupními rozhraními, která jsou připojena k simulačnímu jádru. První rozhraní poskytuje přímý výstup simulace v textové podobě. K němu existuje také interaktivní varianta, která dovoluje uživateli řídit běh simulace a manipulovat se stavem modelu. Třetí vytváří plnohodnotné uživatelské rozhraní určené pro vizualizaci průběhu simulace.
|
|
|
Překladač jazyka VHDL pro potřeby formální verifikace
Matyáš, Jiří ; Smrčka, Aleš (oponent) ; Charvát, Lukáš (vedoucí práce)
Cílem této bakalářské práce je navrhnout a implementovat překladač, který umožňuje převod popisu hardware z jazyka VHDL do grafové reprezentace v jazyce VAM (Variable Assignment Language). Program je určen pro potřeby formální verifikace výzkumné skupiny VeriFIT Fakulty informačních technologií VUT Brno. Důvodem vypracování této práce je poskytnutí možnosti formálně verifikovat návrh hardware s využitím vysokoúrovňových návrhových jazyků, jakým je například jazyk VHDL.
|
|
|
Testování vícevláknových programů pomocí šumu
Kotyz, Jan ; Smrčka, Aleš (oponent) ; Letko, Zdeněk (vedoucí práce)
Cílem této bakalářské práce je vytvoření nástroje pro testování vícevláknových programů vytvořených v jazyce Python. Tento nástroj pro testování sleduje běh testovaného vícevláknového programu, pomocí instrumentace bajtkódu, a na vybraných místech provádí vkládání šumu. Tím výrazně napomáhá ke zvýšení pravděpodobnosti projevu chyb a umožňuje tak efektivnější odhalení chyb typických pro vícevláknové programy. Výsledkem této práce je funkční nástroj pro testování vícevláknových programů v Pythonu.
|
|
|
Rozšíření podpory UNICODE pro základní GNU nástroje
Oprala, Ondrej ; Smrčka, Aleš (oponent) ; Peringer, Petr (vedoucí práce)
Tato práce řeší problém chybějící podpory pro správné zpracováni Unicode vstupu v programech projektu coreutils. Podpora byla implementována pro programy cut, expand, fmt, fold, paste a unexpand. Implementace byla provedena s využitím knihoven libunistring a gnulib. Programy byly řádně otestovány a výkonnostní testy potvrdily že výkon programů je porovnatelný nebo i lepší než u původní implementace.
|
|
|
Software Versions Management in Containers Deployment
Růžička, Adam ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
The aim of this thesis is to analyse requirements and design a solution for using the open-source project Katello to manage software present on Docker images. In this thesis there are introduced virtualization technologies with emphasis on container virtualization and also projects Foreman and Katello and their usage for content management of RPM software packages. Furthermore, it deals with design and implementation of extension for project Katello allowing managing Docker images. The functionality of the application was experimentally tested and verified and further possibilities for extension were outlined.
|
|
|
Nástroj pro kontrolu dodržování UX principů
Kříž, Vítězslav ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem této práce je vytvořit nástroj pro automatizované kontrolování správných vlastností uživatelského rozhraní. Součástí práce je seznam pravidel z prostředí GNOME, KDE a OSX, která jsou vhodná k automatické kontrole. Nástroj na pozadí ověřuje prvky uživatelského rozhraní, zatímco uživatel ovládá testovanou aplikaci. Pravidla jsou ohodnocena podle závažnosti a výstupem programu je mimo jiné i výsledné skóre. V závěru práce jsou otestovány běžně dostupné programy. Výsledná aplikace je vhodná pro ověřování grafického uživatelského rozhraní při vývoji.
|
|
|
Generátor dokumentace pro testy používající knihovnu BeakerLib
Kulda, Jiří ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
Cílem této práce řešené ve spolupráci se společností Red Hat Czech je navrhnout, implementovat a ověřit generátor dokumentace pro testy používající knihovnu BeakerLib, který efektivně vytváří dokumentaci z neokomentovaných BeakerLib testů. V prvním kroku generátor extrahuje data z BeakerLib příkazů. Následně jsou data přetvořena do informací v přirozeném jazyce. Na závěr jsou tyto informace vloženy do šablony dokumentace. Při tvorbě generátoru dokumentace byl použit modul argparse pro hledání dat z BeakerLib příkazů. Ve srovnání s existujícími nástroji navržený generátor přináší nový způsob vytváření dokumentací bez použití dokumentačních komentářů. Díky této vlastnosti lze generovat dokumentace, které jsou vytvořeny na základě automatizovaného porozumění zdrojového kódu testu. Testování, po celou dobu vývoje generátoru, probíhalo na třech zvolených BekerLib testech. Na závěr byl generátor otestován na deseti náhodně zvolených BeakerLib testech.
|
|
|
Automatická koordinace a řízení procesů na platformě Java
Janyš, Martin ; Smrčka, Aleš (oponent) ; Kočí, Radek (vedoucí práce)
Předmětem diplomové práce je téma odolnosti a stability webových aplikací se zaměřením na platformu Java. Řada existujících informačních systémů postavených nejen nad touto platformou se potýká s problémy, které narušují stabilitu aplikace. Tyto problémy pak mohou vyústit ve výpadek, odstávku a následně i finanční nebo obchodní ztrátu v důsledku nefunkčnosti celé služby. Cílem bude ukázat problémy, se kterými se aplikace potýkají v provozním prostředí, a jak je proaktivně řešit. Jako možná dílčí řešení zvýšení stability mohou být vhodná konfigurace JVM (Java Virtual Machine), analýza a oprava odhalených chyb anebo technika na zvýšení stability nazývaná Sandboxing, které se věnuje tato práce. Pomocí této techniky je možné rozdělit aplikace do samostatných částí, které se nemohou ovlivnit. Zamezí se tak šíření chyb mezi částmi aplikace a tím zvýšíme stabilitu celé aplikace. Mezi cílové aplikace patří Java aplikace realizované za pomoci aplikačního rámce Spring. Do takto postavených aplikací lze zavést techniku Sanboxing vhodnou konfigurací, která zajistí, že běh aplikace bude rozdělen do určených částí, které budou automaticky testovány a případně restartovány. Aplikace se tak sama zotaví v postižených částech bez kompletního výpadku. Projekt nese jméno Java Capsules.
|
|
|
Převod výrazů v C do DIMACS formátu
Grim, Pavel ; Charvát, Lukáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se věnuje návrhu převodu výrazů zapsaných v programovacím jazyce C do formátu DIMACS a realizaci programu v jazyce C++ provádějící tento převod. V textu práce se nachází popis programovacího jazyka C a jeho operátorů. Dále obsahuje popis konjunktivní normální formy a popis formátu DIMACS. Následuje návrh vytvoření programu pro uskutečnění převodu z výrazu v programovacím jazyce C do formátu DIMACS a popis realizace programu provádějící tento převod.
|
host ::
RSS.