|
Unit checking for Java IDE
Kebrt, Michal ; Parízek, Pavel (oponent) ; Šerý, Ondřej (vedoucí práce)
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., veri cation of device drivers by SLAM), the code model checking tools are not widely used in general software development process. We believe that this could be changed if the developers could use the tools in the same way they already use testing tools. In this work, we present the UnitCheck tool, which enhances the standard unit testing of Java code with model checking. A developer familiar with unit testing can apply the tool on standard unit test scenarios and bene t from the exhaustive traversal performed by a code model checker, which is employed inside UnitCheck. Two well-known Java tools are integrated in UnitCheck. JUnit is used as a testing framework and Java PathFinder provides the model checking capability. The UnitCheck plugin for Eclipse presents the checking results in a convenient way known from unit testing, while providing also a verbose output for the expert users. The UnitCheck Ant task allows to incorporate unit checking in the standard Java development and build process.
|
|
Implementace agilních metodik ve světě rigidního Project Managementu.
Stokláska, Ondřej ; Chocholatý, Drahomír (vedoucí práce) ; Schiffner, Pavel (oponent)
Tato práce si klade za cíl seznámit čtenáře s moderními metodikami a technikami agilního projektového managementu. Čtenářovi bude poskynut krátký exkurz do historie vývoje řízení projektů, kde bude pečlivě demonstrován vývoj tohoto neustále se dynamicky rozvíjejícího odvětví. V další části této kvalifikační práce se pak zaměříme na agilní techniky. Pro nastínění rozdílů mezi agilními a klasickými metodikami jsou zvoleni za zástupce klasických metodik PMBOK a PRINCE2. Mezi agilními metodikami se pak bude naší nejvetší pozornosti těšit extremní projektový management. Toto srovnání bude sloužit jako jakýsi most mezi oběma světy, respektive mezi oběma náhledy na projektové řízení. Pro přiblížení a dokreslení extreme project managementu se dotkneme i principů extrémního programování, jakkoli tato práce není čistě zaměřena na tuto programovací techniku, ale je s ní nedílně spojena. Z výše uvedeného vyplývá, že se tato práce bude soustředit především na vývoj software, nebo-li informačních systémů. Cílem této práce by pak měl být jakýsi návod či příručka pro uživatele - manažera - jež zvažuje, či je okolnostmi tlačen ke změně řízení směrem k využití agilních technik a jejich implementaci v prostředí rigidního řízení. Čtenář pak bude moci sáhnout ke komprimované formě, která bude vyústěním a shrnutím předešlých kapitol. A jako takový by měl být rovněž kompasem pro orientaci na poli agilního projektového řízení.
|
|
Požadavky v životním cyklu vývoje softwaru
Bystřická, Radka ; Buchalcevová, Alena (vedoucí práce) ; Stanovská, Iva (oponent)
Požadavky na software jsou nedílnou součástí procesu vývoje informačních systémů a jejich údržby. Práce s nimi však není jednoduchá a jejich špatné pochopení a poté nesprávná implementace mohou negativně ovlivnit projekt. Nespokojenost vzniká jak na straně zákazníků (protože nedostali, co chtěli), tak na straně vývojového týmu (dělali z jejich pohledu zbytečnou práci). Problémy s požadavky a nastavením správného procesu pro jejich zpracování se zabývá Requirements Management. V jeho rámci bylo během let definováno několik best practices pro práci s požadavky. Tato práce popisuje vybrané základní techniky a pravidla. Jedná se o analýzu požadavků a o jejich rozčlenění na několik druhů. U jednotlivých druhů požadavků jsou pak popsány jejich specifika včetně typických problémů, které v jejich souvislosti vznikají. Existuje několik metodik vývoje a údržby informačních systémů a každá tato metodika adaptuje požadavky a procesy jejich zpracování trochu odlišným způsobem, který vychází ze základních myšlenek dané metodiky. V této práci jsou popsány 3 metodiky. Za klasické metodiky je vybrána Rational Unified Process a agilní jsou zastoupeny metodikami Scrum a Feature Driven Development. U každé metodiky jsou nejprve krátce nastíněny její základy a poté jsou rozebrány role, artefakty a procesy právě v souvislosti s požadavky.
|
|
Redesign IS Multimediální laboratoře VSE (GML).
Burda, Adam ; Horný, Stanislav (vedoucí práce) ; Krsek, Libor (oponent)
Cílem této práce je popsat a následně řešit problémy fungovaní grafické a multimediální laboratoře VŠE (GML). Problémy se týkají informačních technologií zde používaných. Jsou zde řešeny problémy se zálohováním dat, nevyhovující hardware, chybějící software, nevyhovující síťové propojení. Posledním řešeným problémem je návrh na pořízení výpočetní techniky pro práci mimo laboratoř. V multimediální laboratoři probíhají práce spojené s tvorbou grafiky a úpravou videa. Při návrhu řešení bylo navrženo specifické řešení pro tyto účely. Do řešení byl použit hardware určený speciálně pro střihové a grafické aplikace. U většiny problému se snažím najít více řešení. Navržené úpravy často vyžadují pořízení nového hardware či software, které jsou finančně náročné. Proto se snažím uvádět jednu variantu pokud možno co nejlevnější a druhou variantu takovou, jaká se mi zdá optimální. Na závěr je celková finanční náročnost shrnuta do tabulky a v příloze jsou vloženy detailnější propočty. Návrhy vycházejí ze všeobecně používaných postupů řešení podobných problémů. Často jsou řešení doplněny o vlastní praktické zkušenosti se správou sítí a návrhem specifických počítačových systémů.
|
|
Distributed Behavior Protocol Checker
Poch, Tomáš ; Adámek, Jiří (oponent) ; Kofroň, Jan (vedoucí práce)
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.
|
|
Simulace obchodniho domu
Bartušek, Martin ; Koubková, Alena (oponent) ; Černý, Jakub (vedoucí práce)
Cílem práce je napsání programu, který umožní navrhnout model obchodního domu (supermarketu). Do modelu postupně umisťujeme základní prvky - např. regály nebo pokladny, až vytvoříme funkční obchod. Poté diskrétní simulací zkusíme co nejpřesněji napodobit chování skutečných zákazníků. Důraz byl kladen na možnost umístit do modelu akční nabídky zboží a sledovat jejich úspěšnost. Abych porovnal simulaci s realitou, namodeloval jsem skutečný supermarket. Zaměřil jsem se na pozorování průměrné délky nakupování a průměrné útraty. Tato data přibližně odpovídala těm reálně naměřeným. Dále uvedu běžné marketingové techniky, které ovlivňují chování zákazníků, a ověřím jejich účinnost v simulaci. Stručně také popíši komerční simulační software.
|
|
Energetické hodnocení bytového domu
Fečer, Tomáš ; Horák, Petr (oponent) ; Adam, Pavel (vedoucí práce)
Diplomová práca sa zaoberá energetickým auditom bytového domu, ktorý sa nachádza v Brne v Juhomoravskom kraji. Teoretická časť sa sústredí na legislatívu v ČR, metódy energetického hodnotenia budov a škodlivín vnútornej mikroklímy. Nasledujúca časť je zameraná na spracovanie energetického auditu bytového domu. Súčasťou energetického auditu je návrh opatrení. Z navrhnutých opatrení sú vytvorené varianty, pričom z ekonomického a ekologického hľadiska sa hľadá tá najúspornejšia Posledná časť je venovaná k aplikácii výpočtovej techniky. Tu sú popísané použité počítačové programy na vytvorenie 3D modelu, výpočet tepelných strát a súčiniteľov prestupu tepla kvazistacionárnou metódou. Ako posledná je popísaná podrobná ročná numerická simulácia bytového domu.
|
|
Energetické hodnocení administrativní budovy
Lysková, Markéta ; Horák, Petr (oponent) ; Adam, Pavel (vedoucí práce)
Tato diplomová práce se zabývá energetickým auditem průmyslového objektu s administrativní částí, který se nachází v Blansku v Jihomoravském kraji. Teoretická část se soustředí na okna z pohledu energetické bilance, jelikož jedno z opatření na úsporu spotřeby energie je právě výměna stávajících a nevyhovujících výplní otvorů. Hlavním úkolem diplomové práce bude nalézt nejúspornější variantu pro úsporu energie, která bude posouzena z ekologického i ekonomického hlediska. Třetí a poslední část se bude věnovat využití výpočetní techniky jako je software pro vytvoření 3D modelu posuzovaného objektu nebo modelování spotřeby pro jednotlivé systémy, jako je třeba vytápění, v závislosti na vlastnostech různých oken.
|
|
Design of Offshore Cofferdam Loaded by Vertical Surcharge
Zetková, Simona ; Polák, Barnabás (oponent) ; Uhrin, Michal (vedoucí práce)
Cílem této práce je provést zjednodušený návrh a posouzení suchého doku pod svislým zatížením v rámci virtuálního projektu. Suchý dok postavený v moři musí být schopen přenést všechna působící zatížení po dobu životnosti konstrukce. Jelikož se jedná o dočasnou konstrukci postavenou za účelem výstavby hloubeného tunelu, musí konstrukce splňovat minimální rozměry požadované pro konstrukci tunelu. Návrhová životnost této dočasné konstrukce je pět let. Mezi požadované části práce patří zhodnocení geologických podmínek, naplánování fází výstavby, schéma výstavby příčného řezu, posouzení kritického řezu a rozpěrného rámu. Konstrukce je vystavena velkým teplotním změnám, a proto se v diplomové práci zabývám vlivem teploty na horizontální rozpěry pažících konstrukcí a následně je tento vliv zahrnut v návrhu rozpěr. Dalším požadavkem na práci bylo porovnat výsledky z analytických modelů v programech PLAXIS a GEO5. Rozpěrný rám je řešen zvlášť v programu Scia Engineer. V této práci jsou posuzovány pouze konstrukční prvky ocelová pilotová stěna, rozpěra a převážka. Kvůli svislému zatížení, které působí na již deformovanou konstrukci, jsou pro návrh pilotové stěny uvažovány účinky druhého řádu. Pro jsem se zabývala možnostmi, které máme pro uvažování účinků druhého řádu na ocelové konstrukce. Všechny zmíněné části práce byly zpracovány za pomoci potřebné literatury. Podle statické analýzy konstrukce bylo možné navrhnout konstrukci, která vyhovuje požadavkům na suchý dok pro budoucí stavbu tunelu. Jednotlivé fáze výstavby byly navrženy tak, aby zajistily proveditelnost konstrukce a zároveň minimalizovaly deformace pilotové stěny suchého doku. Jelikož se jedná o konstrukci prováděnou převážně z pracovních plošin, je nutné uvažovat i omezený přístup strojové techniky. Porovnání dvou různých analytických modelů ukázalo výrazné rozdíly mezi programy PLAXIS a GEO5. Posouzení všech konstrukčních prvků bylo provedeno podle Eurokódu 3. Rozpěrný rám je dále posouzen na ztrátu prvku.
|
|
Transformace obchodní strategie v jazyce MetaLang na paralelní kód akcelerovaný superpočítačem
Halfar, Vítězslav ; Šimek, Václav (oponent) ; Jaroš, Jiří (vedoucí práce)
Cílem této bakalářské práce je navrhnout a implementovat softwarový systém - MetaTester, který se zabývá testováním a optimalizacemi nastavení automatizovaných obchodních systémů vytvořených pro platformu MetaTrader 4. Tento systém řeší pomocí paralelizace procesů a výpočetního potenciálu superpočítačů výkonnostní problémy nejrozšířenější obchodní platformy na světě využívané k obchodování na největším světovém trhu - Forexu. Práce popisuje architekturu systému, řešené problémy, implementaci dílčích částí a speciální techniky k zajištění co nejvyššího výpočetního výkonu. V závěru jsou shrnuty dosažené výsledky platforem MetaTrader a MetaTester.
|
host ::
