|
|
Zpřístupnění funkcí CLIPS z jazyka Ruby
Čecho, Jaroslav ; Smrčka, Aleš (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce popisuje knihovnu rbClips, která zpřístup\v{n}uje funkce CLIPS v jazyce Ruby. CLIPS je software pro tvorbu expertních systémů původně vyvinutý v NASA na začátku 90. let. Nástroj je napsán v jazyce C a jeho uživatelské rozhraní je velice podobné jazyku Lisp. Ruby je moderní dynamický skriptovací jazyk, který programátorovi nabízí flexibilní syntax, otevřenost objektů, čistě objektové prostředí a další zajímavé vlastnosti. Výsledná knihovna bude použita v antivirovém programu k tvorbě expertního systému pro automatickou detekci malware.
|
|
|
PHP framework pro tvorbu jednoduchých informačních systémů
Ludwig, Jakub ; Zendulka, Jaroslav (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato bakalářská práce popisuje a dokumentuje vývoj frameworku pro tvorbu jednoduchých informačních systému a v něm nové verze informačního systému Studentské Unie FIT VUT v Brně. Práce obsahuje popis jednotlivých etap vývoje od analýzy existujících PHP frameworků, přes sběr požadavků zákazníků (v tomto případě členů SU FIT) na nový informační systém, přes analýzu a návrh jednotlivých částí frameworku a informačního systému, až po jeho implementaci a testování. Popisuje jednotlivé technologie, které byly použité při vývoji, jako například PHP, JavaScript (framework jQuery), HTML, MySQL a UML. V závěru se snaží shrnout výsledek práce, nastínit možný budoucí vývoj informačního systému a frameworku.
|
|
|
Jídelní menu pro mobilní telefony s Bluetooth
Dzurňák, Tomáš ; Letko, Zdeněk (oponent) ; Novosad, Petr (vedoucí práce)
Cílem projektu bylo navrhnout a realizovat aplikaci pro mobilní telefon a stolní počítač, která umožní v restauraci pomoci mobilního telefonu procházet jídelní menu a následně zadávat objednávky. Stolní počítač poskytuje informace z jídelního menu a spravuje objednávky. Stolní počítač je schopný komunikovat naráz s více mobilními telefony simultánně. Komunikace mezi mobilním telefonem a stolním počítačem je realizována pomoci bezdrátové technologie Bluetooth. Uživatelské rozhraní mobilní aplikace je navrženo tak, aby se ovládalo intuitivně a bylo dostupné ve více jazycích. V závěru jsou navržena možná pokračováni v projektu.
|
|
|
Nástroj pro vytváření testovacích vstupů v XML
Očenáš, Martin ; Letko, Zdeněk (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem této bakalářské práce je představit nástroj pro generování testovacích vstupů ve formátu XML. Nástroj se u generovaného XML dokumentu zaměřuje na různé kombinace elementů, atributů a jejich hodnot. Uživatel nástroje má možnost volby 3 různých scénářů generování XML dat, každá z nich vyžaduje jinou úroveň znalosti.
|
|
|
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.
|
|
|
Pokrytím řízené testování vícevláknových programů
Lietavcová, Zuzana ; Šimková, Hana (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce se zabývá problematikou hledání chyb ve vícevláknových programech pomocí techniky pokrytím řízeného testování, jak je chápáno ve studovaném nástroji Maple. Testování se se skládá ze dvou fází. V první fázi se buduje množina pokrytelných chování testovaného programu. Následně se algoritmus snaží dosáhnout těchto chování za pomoci deterministického vykonání testu.Hlavní přínos práce spočívá v uceleném popisu nástroje Maple, včetně technických detailů.Na základě studia jsou identifikovány slabá místa. Některé z nich, konkrétně využívání náhodného rozhodování a prioritizace vynucovaných chování, jsou blíže studovány.Výsledkem je několik úprav nástroje Maple, ze kterých některé vedou k většímu počtu úspěšných dosažení chování a v určitých případech k vyššímu počtu vyvolání chyb, což je experimentálně demonstrováno na sadě vícevláknových programů.
|
|
|
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.
|
|
|
Praktická efektivita kontejnerů
Halámka, Jan ; Letko, Zdeněk (oponent) ; Holík, Lukáš (vedoucí práce)
Práce se zabývá teoretickým a praktickým porovnáním následujících kontejnerů: vector, deque, list, hash table, avl-tree, red black tree, splay tree, sg-tree, treap, B-tree, binomiální halda, fibonacciho halda, rope, skiplist při práci s množinami. U každé z nich jsou v práci zmíněny jejich asymptotické třídy složitosti, amortizované složitosti a složitosti v průměrném případě. U každé struktury je rovněž zmíněn způsob jakým se dá implementovat a jak vypadá v paměti počítače. Pro porovnání byla v práci rovněž navržena a implementována sada testů jejíž výsledky jsou k dispozici.
|
|
|
Optimalizace testování pomocí algoritmů prohledávání prostoru
Starigazda, Michal ; Holík, Lukáš (oponent) ; Letko, Zdeněk (vedoucí práce)
Testování vícevláknových programů je náročný proces kvůli velkému množství možných interakcí mezi vlákny, které je třeba otestovat. Technika vkládání šumu umožňuje zvýšit počet otestovaných proložení (interakcí) konkurenčních vláken generováním šumu. Tato práce optimalizuje techniky prohledávání prostoru v oblasti testování vícevláknových programů, a to s využitím deterministických heuristik použitých při aplikací genetických algoritmů na prostor míst v běhu programu, do kterých je možné umístit šum. V práci je navrženo několik nových heuristik vkládání šumu, které jsou deterministické, narozdíl od většiny současných heuristik pracujících s generátorem náhodných čísel. Motivací odstranění náhodnosti je informovanější prohledávání a získávání optimálnějších výsledků pomoci zvýšení stability výsledku poskytovaných novými heuristikami. Součástí práce je i základní sada testovacích programů, která bude použita k vyhodnocení výsledků nových heuristik vkládání šumu.
|
|
|
Portace nástroje OptaPlanner na Android
David, Tomáš ; Rogalewicz, Adam (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce se zabývá portací nástroje OptaPlanner na operační systém Android. OptaPlanner je nástroj pro řešení plánovacích problémů a je kompletně napsán v programovacím jazyce Java, který je také využíván pro vývoj aplikací operačního systému Android. Ten však neobsahuje všechny knihovny z Java Standard Edition Application Programming Interface a při portaci nástroje OptaPlanner na Android tak dochází k problémům se závislostmi. Výsledkem této práce je návrh a implementace řešení výše zmíněných problémů a ukázková aplikace věnující se problému okružních jízd, který je řešen pomocí portovaného nástroje OptaPlanner.
|
host ::
RSS.