|
|
Nástroj pro generování testovacích cest dle zadaného kritéria
Bíl, Jan ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
Automatické generování testovacích vstupů dle zadaného kritéria pokrytí má potenciál ušetřit velkou část nákladů při vývoji kritických aplikací. V rámci této práce byl navržen a naimplementován nástroj, který postupně generuje cesty grafem toku řízení odpovídající funkcím takové aplikace, které splňují zadané kritérium pokrytí. Tyto cesty převádí na odpovídající SMT (Satisfiability Modulo Theories) formuli pro kterou se ověří její sémantická splnitelnost SMT řešičem Z3. Pro sémanticky splnitelné cesty je zároveň vygenerováno ohodnocení vstupů, pro které formule platí. Tato ohodnocení dohromady tvoří sadu testovacích vstupů splňující zadané kritérium pokrytí. Tyto testovací vstupy jsou hodnoty parametrů testované funkce a stavu globálních proměnných.
|
|
|
Metody detekce stavu odepření služby
Horský, Milan ; Zeman, Václav (oponent) ; Sikora, Marek (vedoucí práce)
Tato bakalářská práce se zabývá metodikou pro detekci a popis stavu odepření služby (Denial of Service - DoS) na webovém serveru. Cílem práce je vyvinout a implementovat metody, které umožní efektivní detekci DoS útoků v experimentální síti. Teoretická část se zaměřuje na analýzu různých typů DoS útoků, včetně jejich detekce na straně aplikačního serveru a sítě, a diskutuje možné důvody falešně pozitivních výsledků. V praktické části byly vytvořeny softwarové nástroje pro monitorování a analýzu serverových a síťových zdrojů, které byly následně testovány proti různým typům DoS útoků. Výsledkem práce je navržená metodika, která byla ověřena a implementována v experimentální síti, což poskytuje užitečné nástroje pro zvýšení bezpečnosti a stability webových serverů.
|
|
|
Běhová prostředí pro testování činnosti rozšíření pro webový prohlížeč
Petráňová, Jana ; Dolejška, Daniel (oponent) ; Polčák, Libor (vedoucí práce)
Tato práce přibližuje problematiku sledování uživatele při pohlížení internetu a jmenuje nejvíce populární rozšíření prohlížeče se zaměřením na bezpečnost a soukromí. Soustředí se na projekt JShelter a jeho testy, jejichž ideologií se inspiruje při implementaci praktické části práce. Zmiňuje projekt PETInspector, jehož implementační části převezme a upraví pro potřeby výsledného běhového prostředí. Definuje požadavky na běhové prostředí a popisuje jeho návrh. Implementaci návrhu realizuje a popisuje její zajímavé aspekty. Pro výslednou implementaci testuje splnění definovaných podmínek a nakonec shrnuje testy provedené pomocí výsledného běhového prostředí a popisuje jejich výsledky.
|
|
|
Modelování a simulace PLC-BPL komunikace chytrého měření v simulačním nástroji Network Simulator 3
Baranyk, Matěj ; Rusz, Martin (oponent) ; Benešl, Lukáš (vedoucí práce)
V posledních letech se technologie BPL využívá stále více. I přesto, že technologie nevyužívá další kabeláž, je nutné se ujistit, zda její instalace má smysl či jaké budou požadavky. Z tohoto důvodu budou simulovány různé reálné obvody a porovnány s výstupem simulačního programu ns-3. Tímto způsobem lze dokázat schopnost využitelnosti programu v reálných situacích ještě před tím, než budou provedeny jakékoliv plány, čímž je šetřen čas a náklady. Nadále lze tento postup využít pro diagnostikování již fungujících BPL tras. Nadále bude provedeno laboratorní měření pro rozšíření stávajících datasetů a pro rozšíření možností porovnávání.
|
|
|
Promítaná rozšířená realita pro robotické pracoviště
Štrof, Jakub ; Kapinus, Michal (oponent) ; Materna, Zdeněk (vedoucí práce)
Cílem této práce je vytvoření promítaného uživatelského rozhraní, které vhodně doplní aplikaci pro programování robotů AREditor a kalibrace Kinectu a projektoru pomocí existující kalibrační metody. Pro kalibraci jsem použil metodu procam-calibration, která využívá promítání Grayových kódů na šachovnici pro výpočet kalibračních parametrů. Pomocí ní mohou být virtuální objekty umisťovány na správné místo v reálném prostoru. Uživatelské rozhraní jsem implementoval v herním engine Unity. Testováním rozhraní bylo zjištěno, že uživateli pomáhá lépe pochopit vztah mezi reálným a virtuálním prostorem při umisťování virtuálních objektů do robotického pracoviště. Také zlepšuje povědomí uživatele o pohybech robota při spolupráci.
|
|
|
Prostředí pro automatizované testování síťových aplikací
Rozprým, Dalimil ; Setinský, Jiří (oponent) ; Šišmiš, Lukáš (vedoucí práce)
Tato práce si klade za cíl vytvořit prostředí pro komplexní podporu automatizace testování síťových aplikací. Testování síťových aplikací přináší svá specifika, která se nevyskytují v procesu testování jiného softwaru. Příkladem těchto specifik je zejména nutnost práce se síťovou architekturou, obsahující různá vzájemně komunikující zařízení. V tomto textu jsou nejprve nastíněny příklady aplikací pro testování ve vytvořeném prostředí a následně se věnuje popisu prostředí samotného. Popsány jsou technologie využité pro realizaci prostředí, jeho návrh, detaily implementace a také příležitosti k dalšímu rozšíření. Prostředí pro automatizované testování síťových aplikací řeší problematiku zejména řízení automatizace na platformě GitLab CI/CD, distribuci informací o běhovém prostředí samotným testům a reálné propojení fyzických zařízení na testovací síti. Vzhledem k dynamice problematiky vycházející z vývoje nových síťových aplikací a zavádění nového hardwaru do síťových architektur, je realizace prostředí zaměřena na jeho rozšířitelnost.
|
|
|
Rozvoj rytmického cítění dětí předškolního věku v heterogenní skupině
Šumpíková, Magdaléna ; Kmentová, Milena (vedoucí práce) ; Hons, Marie (oponent)
Bakalářská práce se zabývá rozvojem rytmického cítění dětí předškolního věku ve věkově heterogenní skupině. V rámci práce byl realizován terénní výzkum v mateřské škole, při kterém byl zkoumán rozvoj rytmického cítění jednotlivých dětí během tříměsíčního období. Práce je rozdělena na dvě hlavní části: teoretickou a praktickou. V teoretické části je práce zaměřena na hudební rytmus a jeho složky, smysl pro rytmus a jak rozvíjet rytmické cítění a problematiku diagnostiky rytmického cítění. Praktická část popisuje charakteristiku zkoumané skupiny, průběh a výsledky terénního výzkumu orámovaného individuální diagnostikou rytmického cítění dětí v mateřské škole. Cílem výzkumu je ověřit validitu existujícího testu rytmického cítění podle Miloše Kodejšky s použitím nové hudební složky (písně) u dětí ve věku 3-5 let, u nichž stávající test dosud nebyl použit. Tento test se ukázal při výzkumu téměř funkční, mimo jednoho úkolu a části nekontinuální bodové hodnotící škály. Během výzkumného období se téměř u všech dětí zlepšilo rytmické cítění prokázané pretestem a posttestem.
|
|
|
Návrh a realizace platformy pro řízení měniče typu LLC se širokým rozsahem vstupního napájecího napětí pomocí obvodu FPGA
Pokorný, Ondřej ; Levek, Vladimír (oponent) ; Prokop, Roman (vedoucí práce)
Tato diplomová práce se zabývá emulací řízení měniče typu LLC s širokým vstupním rozsahem napětí pomocí vytvořené emulační platformy. První část práce je zaměřena na návrh rezonančních měničů s širokým vstupním rozsahem napětí. Na základě teoretických poznatků je provedena úprava emulačního LLC měniče, která je zakončená simulací, při níž byla ověřena správnost návrhu a splnění parametru ZVS v celém rozsahu vstupního napětí. V navazující části práce je proveden rozbor problematiky řízení rezonančních měničů, přesněji potom rezonančních měničů typu LLC. Získané poznatky jsou použity pro návrh nové emulační platformy, která bude sloužit pro emulaci řízení měničů LLC s širokým vstupním rozsahem napětí. Závěrečná část se zaměřuje na vytvoření emulačního programu pro FPGA v jazyce SystemVerilog. Práce je zakončená ověřením funkčnosti emulace na fyzickém hardwaru.
|
|
|
Návrh termo-vakuové komory pro testování CubeSatů
Jalůvka, Jiří ; Mašek, Jakub (oponent) ; Lazar, Václav (vedoucí práce)
Práce se zaměřuje na vývoj termo-vakuových komor pro měření CubeSatů. V rámci toho byl proveden průzkum dostupných termo-vakuových komor v České republice. Další část práce se věnuje definování požadavků na testování CubeSatů v termo-vakuovém prostředí. S ohledem na tyto požadavky bylo provedeno srovnání existující komory na Leteckém ústavu VUT a byly navrženy různé varianty řešení pro jednotlivé problémy. Konkrétně byly navrženy tři inovativní přístupy do komory, termální systémy a způsoby uchycení satelitu v komoře. Práce tedy nejen popisuje ideální podobu termo-vakuové komory s veškerými systémy, ale také přináší konkrétní návrhy pro optimalizaci stávající komory na Leteckém ústavu, pro možnost úspěšného testování CubeSatů.
|
|
|
Návrh zlepšení využití optimalizačních úloh v bankovnictví
Holobrádek, Michal ; Špatenka, Jan (oponent) ; Luhan, Jan (vedoucí práce)
Tato diplomová práce se zabývá využitím optimalizačních úloh v podmínkách vybrané bankovní instituce. V práci jsou popsána teoretická východiska pro vypracování práce, analýza současného stavu ve vybrané společnosti se zaměřením na schvalovací proces u žádostí o úvěrové produkty. Součástí praktického návrhu práce je otestování interního prostředí společnosti určeného pro optimalizační úlohy využívané ve schvalovacím procesu.
|
host ::
RSS.