|
|
Web Based Issue Tracker
Krivák, Radoslav ; Poch, Tomáš (vedoucí práce) ; Libič, Peter (oponent)
Predložená práca sa zaoberá analýzou, návrhom a implementáciou issue tracking systému s webovým rozhraním. V úvode je vysvetlené, čo je to issue tracker a aké sú prínosy jeho nasadenia v organizácii alebo fi rme. Následne je navrhnuté nové riešenie, ktoré je popísané pomocou usecases. Práca prináša prehlad existujúcich technológií a postupov používaných pri vývoji webových aplikácií v jazyku Java. Je popísaná architektúra aplikácie a spôsob použitia jednotlivých technológií. Hlavnou časťou práce je implementácia samotnej aplikácie v jazyku Java za použitia technológií Struts2, Spring, Hibernate a Lucene.
|
|
|
Syntax-based extraction of component behavior specifications
Reidinger, Josef ; Poch, Tomáš (vedoucí práce) ; Šimko, Viliam (oponent)
Pro velké softwarové systémy je možné použít komponentový způsob vývoje. Jeho výhody jsou, že lze snadno části použít opakovaně a pokud obsahuje i popis chování, tak lze systém snadněji analyzovat. Komponenty jsou tvořeny popisem rozhraní a volitelně popisem chovaní. Popis chování je možné zkoumat na porušení omezení jiných komponent při jejich použití, jestli chování je očekávané a jestli komponenty k sobě pasují. Popis chování definuje omezení použítí komponenty a jak reaguje na zavolaní každé své poskytované metody. Reakce popisuje pořadí a četnost volání metod požadovaných komponent. Manuální definování chovaní komponenty je náchylné k chybám a mělo by se zautomatizovat. Výsledkem této práce je nástroj který z kódu, který splňuje omezení, je schopen vygenerovat automaticky popis chování. Nástroj je možné použít pro automatické generování popisu chování při převodu běžného softwaru na komponenty nebo při úpravě komponenty ke kontrole změny chování změnené komonenty. Práce také obsahuje prozkoumání možných technologií využitelných pro analýzu. Nástroj je součástí mezinárodního Q-Impress projektu a využívá jeho nástroje pro svoji funkci a naopak.
|
|
|
Sewing pattern editor
Černý, Martin ; Šerý, Ondřej (vedoucí práce) ; Poch, Tomáš (oponent)
Konstrukce střihů je základní součástí oděvního návrhářství. Předmětem této práce je implementace editoru textilních střihů, který by vyhovoval potřebám nezávislých oděvních návrhářů a výrobců zakázkového šatstva. Práce v editoru je velmi blízká ručnímu navrhování střihu a program je tedy pro návrháře snadno použitelný. Implementace pokrývá nejdůležitější oblasti navrhování střihů. Střihy v programu vytvořené mohou být použity pro různé zákazníky, protože se automaticky přizpůsobují zadaným tělesným mírám.
|
|
|
Distributed Behavior Protocol Checker
Poch, Tomáš
Nárůst dostupné výpočetní síly umožnil v posledních letech praktické využití formální verifikace softwarových systémů. Nejpalčivějším problémem, který zabraňuje širšímu využití však zůstává velikost stavových prostorů. Proto jsou tyto techniky zatím omezeny na relativně malé úlohy. Jednou z možností jak podstatně snížit počet stavů je modelování softwaru pomocí behavior protokolů. [1] Jedná se o regulární výrazy, které popisují chování softwarových komponent. Konkrétní implementace komponenty je tedy ověřena jen jednou oproti protokolu a při verifikaci celé aplikace je již skryta. Ta se pak redukuje na ověření toho, že protokoly komponent ze kterých se aplikace skládá k sobě pasují. Nicméně velikost i takto zjednodušeného stavového prostoru bývá typicky exponenciální vzhledem k délce popisu modelu. Distribuovaný průchod stavovým prostorem společně s jeho generováním 'za letu' [2] by měl ještě více rozšířit rozsah problémů zvládnutelných touto technikou.
|
|
|
M-lizer
Woska, Aleš ; Kofroň, Jan (vedoucí práce) ; Poch, Tomáš (oponent)
Tato bakalářská práce se zabývá problematikou vývoje programového zvukového syntetizéru nad platformou .NET. Cílem je vytvořit programový nástroj, který z MIDI dat vytvoří data, která mohou být přímo předaná zvukové kartě, nebo podobnému zařízení, a být přehrána na výstupním zvukovém zařízení s důrazem na věrohodnost zvukového výstupu. Vytvořený zvuk by se tedy měl co nejvíce podobat zvuku skutečných nástrojů. Dalším cílem je vytvořit návod, jak psát programový zvukový syntetizér podporující technologii VST. Powered by TCPDF (www.tcpdf.org)
|
|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (vedoucí práce) ; Poch, Tomáš (oponent)
Threaded Behavior Protocols (TBP) je specifikační jazyk pro modelování chování softwarových komponent. Tato práce se zaměřuje na analýzu TBP specifikací v rámci prostředí, která obsahují neomezené množšví replikovaných vláken. Takové specifikace spolu s modely možných prostředí způsobí nekonečnost stavového prostoru analýzy, který obsahuje velké množství symetrií, způsobených replikací vláken. V práci je navžena technika analýzy takových modelů, která redukuje symetrie s použitím abstrakce zvané Symbolic Counter Abstraction. Pro její použití je však nutné převést vlastnosti modelu na problém dosažitelnosti stavů vláken. Navrhovaná technika je bezpečná ve smyslu odhalení všech chyb v modelu. Na druhou stranu může způsobovat tzv. spurious erros, tj. chyby které neodpovídají skutečným chybám v modelu. Tyto chyby jsou v práci dobře identifikovány a dále jsou nastíněny způsoby jejich redukce. Práce navíc může představovat malý krok směrem k podpoře dynamického vytváření vláken v TBP specifikacích.
|
|
|
Aplikace pro prezentaci dat naměřených v systému SCADA
Široký, Jan ; Ježek, Pavel (vedoucí práce) ; Poch, Tomáš (oponent)
Cílem práce bylo vytvořit webovou aplikaci, která slouží k zobrazování a prezentaci dat naměřených v systému SCADA. Skládá se ze dvou částí - klentské a serverové. Serverová část slouží k načtení a zpracování dat z archivní databáze, kde jsou uloženy naměřené hodnoty a následně k jejich odeslání klientovi. Klientská část tyto data prezentuje uživateli ve formě tabulek, grafů nebo gra ckých schémat. Pro gra cká schémata bylo nutné navrhnout jejich formát a reprezentaci a implementovat pro ně jednoduchý editor. V něm je možné sestavit nové schéma ze základních geometrických tvarů, bitmapových obrázků, textových popisků, apod. a propojit vybrané vlastnosti těchto objektů s datovými zdroji, takže se grafi cké schéma dynamicky mění v závislosti na datech.
|
|
|
Management and monitoring framework based on XMPP protocol
Vachna, Michal ; Poch, Tomáš (vedoucí práce) ; Kofroň, Jan (oponent)
V súčasnosti je veľa dostupných programov a nástrojov pre monitorovanie a správu. Každý ponúka určitú sadu funkcií a užívateľské rozhranie,ktoré je často vo forme špecifickej aplikácie. Nástroj vyvinutý v tejto bakalárskej práci sa snaží ukázať, že použitím prostriedku, akým je protokol XMPP, je možné monitorovať a spravovať vzdialené systémy prostredníctvom okna konverzácie v IM klientovi. Interaktívnosť protokolu XMPP zabezpečuje rýchlu notifikáciu, čo je pri monitorovaní veľmi dôležité. Svojou štruktúrou jadra s pluginmi, nástroj umožňuje užívateľom rozširovať funkcionalitu a prispôsobovať si nástroj vlastným potrebám.
|
|
|
Investment Strategies Simulator
Helešic, Tomáš ; Šerý, Ondřej (vedoucí práce) ; Poch, Tomáš (oponent)
Název práce: Simulátor obchodních strategií Autor: Tomáš Helešic Katedra (ústav): Katedra softwarového inženýrství Vedoucí bakalářské práce: RNDr. Ondřej Šerý e-mail vedoucího: ondrej.sery@d3s.mff.cuni.cz Abstrakt: Předmětem této práce je vytvoření simulátoru obchodních strategií. Výsledný program umožňuje uživatelům stahovat aktuální i historická burzovní data, vizualizovat je pomocí grafů a implementovat na ně prostředky technické analýzy. Tyto komponenty jsou navrženy a propojeny tak, aby vytvořily plnohodnotné prostředí pro psaní, vyhodnocení a zobrazení uživatelských strategií. Klíčová slova: Obchodní strategie; Technická analýza; Skriptování;
|
|
|
Distributed Behavior Protocol Checker
Poch, Tomáš
Nárůst dostupné výpočetní síly umožnil v posledních letech praktické využití formální verifikace softwarových systémů. Nejpalčivějším problémem, který zabraňuje širšímu využití však zůstává velikost stavových prostorů. Proto jsou tyto techniky zatím omezeny na relativně malé úlohy. Jednou z možností jak podstatně snížit počet stavů je modelování softwaru pomocí behavior protokolů. [1] Jedná se o regulární výrazy, které popisují chování softwarových komponent. Konkrétní implementace komponenty je tedy ověřena jen jednou oproti protokolu a při verifikaci celé aplikace je již skryta. Ta se pak redukuje na ověření toho, že protokoly komponent ze kterých se aplikace skládá k sobě pasují. Nicméně velikost i takto zjednodušeného stavového prostoru bývá typicky exponenciální vzhledem k délce popisu modelu. Distribuovaný průchod stavovým prostorem společně s jeho generováním 'za letu' [2] by měl ještě více rozšířit rozsah problémů zvládnutelných touto technikou.
|
host ::
RSS.