|
|
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.