|
|
Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java
Letko, Zdeněk ; Kolář, Dušan (oponent) ; Vojnar, Tomáš (vedoucí práce)
Hledání chyb plynoucích ze souběžného zpracovávání výpočtů je obtížné. Proto se tato diplomová práce zabývá detekcí a léčením časově závislých chyb nad daty a chyb plynoucích z nesprávné atomicity operací v prostředí Java. Práce prezentuje dva různé algoritmy pro detekci. Jedním z nich je nový algoritmus nazvaný AtomRace, který detekuje časově závislé chyby nad daty jako speciální případ nesprávné atomicity operací. Následné léčení detekovaných chyb je založeno na potlačení opakování chyby, buď zavedením přídavné synchronizace, nebo legálním ovlivňováním plánovače Javy, za účelem vynucení správné atomicity operací. Navržená architektura, která pracuje souběžně se sledovaným programem, využívá ke sledování a ovlivňování výpočtu techniku instrumentace na úrovni Java bytecode. Architektura a algoritmy byly implementovány a otestovány v několika případových studiích.
|
|
|
Podpora pro užití jazyka Python pro vývoj zásuvných modulů serveru Jenkins
Bambas, Tomáš ; Letko, Zdeněk (oponent) ; Müller, Petr (vedoucí práce)
Server pro průběžnou integraci Jenkins CI umožňuje rozšiřovat svou funkcionalitu pomocí zásuvných modulů. Tyto moduly lze programovat v jazycích Java a Ruby. Podpora pro jazyk Python chybí, přestože se jedná o jeden z nejpopulárnějších programovacích jazyků současnosti. Implementovali jsme proto vývojářské nástroje, které umožňují programovat moduly v jazyce Python a tyto nástroje jsme začlenili do projektu Jenkins CI. K nástrojům byla zveřejněna uživatelská dokumentace. Programátoři mohou teď díky této práci implementovat moduly do Jenkins CI v jazyce Python.
|
|
|
Studie frameworku Lombok
Paštrnák, Ján ; Müller, Petr (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce se věnuje frameworku Lombok a jeho využití pro vývoj Java programů. Framework Lombok umožňuje generování primitivního, často se opakujícího kódu, během překladu anotovaného kódu. Pomoci anotací programátor specifikuje, co a kde má framework při překladu generovat. Tato práce se zabývá vysvětlením základních principů frameworku a návrhem testů, které ukážu praktické aspekty jeho použití při tvorbě Java programů. Důraz je kladen zejména na odhad ušetřeného času vývoje prostřednictvím Lomboku, studium jeho vlivu na proces překladu a testování integrace frameworku se třemi vývojovými prostředími - NetBeans, Eclipse a InteliJ IDEA. Práce tak shrnuje pozitiva i negativa využití tohoto frameworku v praxi.
|
|
|
Portálové řešení pro malou firmu
Verbó, Ondrej ; Letko, Zdeněk (oponent) ; Kočí, Radek (vedoucí práce)
Cílem práce je prozkoumat a zanalyzovat možnosti portálových aplikací, výhody a nevýhody spojené s riziky nasazení pro malou společnost. Práce se zabývá různými hledisky, které provázejí rozhodování o použití portálové aplikace a hodnotí je s klasickým přístupem k tvorbě internetových aplikací. Zaměřuje se při tom na portálovou aplikaci LifeRay Portal.
|
|
|
Měření výkonnosti vybraných nástrojů Drools
Široký, Petr ; Fiedor, Jan (oponent) ; Letko, Zdeněk (vedoucí práce)
Testování výkonu aplikací je velmi často opomíjeno. Tato práce popisuje proces testování výkonu nástrojů Drools Expert a Drools Fusion. Drools je platforma pro integraci podnikové logiky, moduly Expert a Fusion jsou její součástí. Expert je na pravidlech založený expertní systém, Fusion slouží k detekci a zpracování událostí. Testy jsou navrženy a implementovány především za účelem nalezení výkonnostní regrese mezi různými verzemi nástrojů Expert a Fusion. V závěru práce jsou diskutovány výsledky pro dvě konkrétní verze těchto nástrojů.
|
|
|
Sada portletů pro správu času
Basovník, Martin ; Kočí, Radek (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato diplomová práce se zabývá vývojem mini-aplikací tzv. portletů do prostředí portálů. Portály jsou alternativním typem webových informačních systémů. Portály umožňují dynamickou správu portletů, dokáží uživateli snadno přizpůsobit jejich obsah a jsou ideálním místem pro agregaci obsahu z různých datových zdrojů. Cílem této práce je vyzkoušet alternativní přístup kombinace několika technologií pro vytvoření sady portletů se zaměřením na správu času. Jedná se o kombinaci technologií portálů, portletů a tzv. portletových mostů. Tato práce je jedna z prvních demonstračních ukázek, jak se dají tyto technologie zkombinovat a bude použita firmou Red Hat jako výukový materiál pro vývoj portletů v jejich portále GateIn. Sada portletů pro správu času obsahuje správu uživatelských kalendářů, úkolů a kontaktů. V teoretické části práce se srovnávají existující aplikace pro správu času, zmiňují se standardy pro výměnu dat mezi nimi a následně se popisují všechny důležité technologie pro tuto práci. V praktické části je popisován návrh a implementace portletů a vyhodnocuje se vytvořený produkt. Vývoj popsaných portletů dokázal, že kombinace technologií portálů, portletů a portletových mostů je rychlý a efektivní způsob, jak vyvíjet informační systémy.
|
|
|
Systém pro plánování cest
Vrba, Bohumil ; Letko, Zdeněk (oponent) ; Ruttkay, Ladislav (vedoucí práce)
Bakalářská práce se zabývá návrhem a vývojem webové aplikace sloužící k plánování cestovních tras s využitím technologie Google Maps. Věnuje se popisu použitých technologií, zejména ASP.NET, databázovému systému MS SQL Server a mapovému systému Google Maps. Dále se věnuje specifikaci požadavků, jejich zápisem za pomoci jazyka UML a návrhem datového modelu. Popisuje implementaci vyvíjené aplikace s důrazem na použitou architekturu.
|
|
|
Ovládání desktopové prezentace pomocí mobilního telefonu s Bluetooth
Tesař, Miroslav ; Letko, Zdeněk (oponent) ; Novosad, Petr (vedoucí práce)
Cílem projektu je osvobodit osobu provádějící prezentaci z notebooku nebo i stolního počítače od nutnosti ovládat prezentaci z klávesnice. Systém využívá mobilní telefon s podporou mobilní Javy a Bluetooth technologie ke komunikaci s počítačem. Práce se zaměřuje na užívání v širokém spektru mobilních telefonů a je nezávislá na prezentačních programech možností samostatné definice ovládacích prvků uživatelem. Dokument také obsahuje krátké seznámení s technologiemi mobilní Javy a Bluetooth.
|
|
|
Testování platformy JBoss Drools založené na modelu
Široký, Petr ; Holík, Lukáš (oponent) ; Letko, Zdeněk (vedoucí práce)
Technika testování založeného na modelu (MBT) využívá model chování systému k automatickému generování sady testů, čímž snižuje nákladnost testování oproti konvenčnímu manuálnímu vývoji a udržbě testů. Tato práce se zaměřuje na využití zvoleného MBT nástroje OSMO při testování reálného softwarového produktu. Konkrétně se o jedná kompilátor podnikových pravidel využívaný v systému Drools, který je spoluvyvíjený společností Red Hat. V práci je popsán způsob zavedení MBT přístupu s ohledem na jeho dobré přijetí komunitou vývojářů, dále pak vytvoření modelu možných vstupů testovaného kompilátoru a zhodnocení vytvořené testovací sady. Využití MBT přístupu vedlo k odhalení pěti nahlášených a tří potencionálních a dosud nehlášených chyb v testovaném kódu. Práce na příkladu shrnuje hlavní přednosti i praktické nedostatky využití MBT technik v praxi.
|
|
|
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.
|
host ::
RSS.