|
|
Orchestrace modulů multitenantních systémů
Jeřábek, Filip ; Janoušek, Vladimír (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem práce je navrhnout a demonstrovat řešení alternativního převodu aplikace do multitenantní podoby spolu s jejím přesunem ze zákaznického serveru a nasazením na sdílený server firmy, která tento systém vyvíjí. Součástí převodu není klasická modifikace původní aplikace a implementace multitenance přímo do jejího kódu. Pomocí systémů jako je Docker a Kubernetes budou vyčleňovány, kontejnerizovány a orchestrovány moduly původní aplikace, díky čemuž vznikne iluze multitenance. Práce necílí na předložení jednoho řešení, ale apeluje na poskytnutí potřebných znalostí, více variant návrhu a implementace univerzálního demonstračního řešení, kdy je před použitím nějakého z návrhů předpoklad jeho upravení dle specifických potřeb vlastního řešení a jeho následná implementace. Navrhovaná řešení mají za cíl zjednodušení procesu tohoto převodu, což souvisí s ušetřením prostředků, a také poskytnutí možnosti vytvoření iluze multitenance u systémů, kde je klasický postup příliš náročný nebo nemožný.
|
|
|
Balíček modulů pro tvorbu webových aplikací pomocí PHP
Rybák, Aleš ; Novosad, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Balíček modulů pro tvorbu webových aplikací pomocí PHP je projekt zaměřený na usnadnění a zvýšení efektivnosti práce programátora při vývoji webových aplikací s~využitím skriptovacího jazyka PHP v~návaznosti na projekt "Vývopjový systém webových aplikací". Cílem projektu je úprava stávajícího vývojového systému pro jednoduchou návaznost modulů na něj a následná implementace modulů, které programátorům umožní systém využívat.
|
|
|
Metody synchronizace uživatelské databáze v prostředí zařízení s iOS
Matěj, Kryštof ; Smrčka, Aleš (oponent) ; Hrubý, Martin (vedoucí práce)
Cílem této práce je ověřit funkčnost synchronizace objektových databází přes CoreData a Datastore. Ověření funkčnosti synchronizace objektových databázi jsem provedl pomocí dvou zařízení a experimentálního serveru. V předložené bakalářské práci jsem vytvořil kni- hovnu DB2iCloud, která poskytuje abstraktní rozhraní CoreData pro Datastore. Přínosem této práce je vytvoření knihovny DB2iCloud v demonstrační aplikaci a ověření funkčnosti CoreData a Datastore.
|
|
|
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.
|
|
|
Generování testovacích vstupů podle stopy programu
Sušovský, Tomáš ; Malík, Viktor (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a implementací nástroje pro automatické generování testových vstupů na základě určené stopy programu. Cílem je zjednodušit a zefektivnit proces vytváření testových sad splňující pokročilá kritéria pokrytí (používaných v kritických aplikacích psaných v nízko úrovňových jazycích C/C++ splňující přísná omezení). Na základě modelu programu nástroj zkoumá, jaké přesné podmínky musí nastat pro průchod programu dle zadané stopy. Pro nalezení vhodných hodnot využívá existující pokročilý nástroj řešič SMT specializovaný na řešení problému splnitelnosti. Nástroj využívá knihovny překladačového rámce LLVM pro práci s modelem programu a knihovnu Z3 pro práci s řešičem SMT. Výsledkem této práce je návrh architektury nástroje pro generování testových vstupů, který dokáže vygenerovat vstupy pro vykonání zadané stopy programu díky analýzování modelu programu, a implementace jeho prototypu.
|
|
|
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.
|
|
|
Implementace GIS nástroje pro mobilní počítačová zařízení
Kalčík, Vojtěch ; Smrčka, Aleš (oponent) ; Hrubý, Martin (vedoucí práce)
Diplomová práce se zabývá návrhem GIS nástroje pro mobilní počítačová zařízení. Výsledný program bude přizpůsoben pro sběr geografických dat v terénu. Program bude pracovat se standardními formáty souborů pro GIS. Velký důraz je kladen na ovládání, které je na mobilních zařízeních s kapacitním displejem specifické. Program bude navržen tak, aby mohl běžet jak na smartphone, tak na tabletu. Součástí práce je vysvětlení principu mapování a popis geografických informačních systémů.
|
|
|
Rozvoj instrumentace programu při překladu
Ševčík, Václav ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Diplomová práce se věnuje vytvoření nástroje pro instrumentaci programu během překladu v LLVM překladači. Nástroj umožňuje instrumentovat přístupy do paměti a funkce. Instrumentace byla realizována pomocí přidání průchodu v optimalizační fázi překladače LLVM. Informace o proměnných jsou spravovány vytvořeným frameworkem, který se připojí k programu během sestavování. Doba běhu programu se zavedenou instrumentací zvýší časovou režii programu při vypnuté nepřímé adresaci průměrně o 14 % a při zapnuté nepřímé adresaci o 23 %. Hlavním přínosem práce je poskytnutí snadné instrumentace programu, která dokáže sledovat i operace nad lokálními proměnnými (nepřímou adresaci) a umožňuje instrumentovat i vícevláknové programy. Nástroj je také začleněn do sady nástrojů Testos, kde poskytuje automatickou instrumentaci pro nástroj Spectra.
|
|
|
Automatizované testování GUI pomocí kontejnerů
Sojčák, Juraj ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
Cieľom bakalárskej práce je vytvorenie systému na automatizované testovanie GUI desktopových aplikácií, ktorý sa dá jednoducho nasadiť ako testovacie prostredie. Tento systém pozostáva z nástroja, v ktorom je užívateľ schopný vytvárať testovacie skripty, a interpretu, ktorý spúšťa dané testovacie skripty a vyhodnocuje ich. Testovacie skripty užívateľ vytvára pomocou jazyka, ktorý je tiež popísaný v tejto práci. Jednoduché nasadenie systému zabezpečuje použitie kontajnerovej virtualizácie.
|
|
|
Případ užití procesu BDD v testování aplikací v PHP
Kudaiberdiyeva, Farida ; Letko, Zdeněk (oponent) ; Smrčka, Aleš (vedoucí práce)
Bakalářská práce je zaměřena na odhalení hlavních výhod a nevýhod použití chováním řízeného vývoje softwarovými firmami jak v České Republice, tak i v zahraničí. Věnuje se odlišnostem a mezerám v tomto přístupu testování webových aplikací oproti klasickému přístupu. Za klasický přístup se považuje použití nástroje Selenium při tvorbě testovacích sad. Cílem práce je zjistit, zda použití BDD procesu je vhodnější a efektivnější oproti klasickému přístupu testování software. Pro dosažení cíle byly porovnány dva nástroje: PHP Selenium Client od Nearsoft a Behat. Kritéria zvolená pro porovnání jsou: pokrytí testovacích případů, způsob zápisu a vykonání scénáře, srozumitelnost pro počítačově nezaložené lidi, čas potřebný pro napsání testů, pravděpodobnost nezanesení chyby při vytváření testu a úroveň abstrakce testu. Z dosažených výsledků lze stanovit hlavní výhody a nevýhody použití každého z těchto nástrojů. Nejefektivnějším přístupem je kombinace obou tedy použití nástroje Behat s přidáváním vlastních vět a zdrojového kódu. Nejméně efektivní je způsob testování využitím pouze implicitních vět nástroje Behat. Přínosem této práce je zjištění, zda je BDD vhodný a efektivní pro společnost Dixons Carphone (dříve Dixons Retail). Zjištění je založeno na reálných příkladech.
|
host ::
RSS.