|
|
Automatic Testing of Software
Mrázik, Matej ; Tisovčík, Peter (oponent) ; Korček, Pavol (vedoucí práce)
The main goal of the bachelor thesis is to automate the testing of IQRF Gateway Daemon software. The practical output is a tool capable of testing the IQRF Gateway Daemon through an emulated virtual network of intelligent devices. In the theoretical part, the work outlines the issues of software testing to the reader. These principles are then applied in testing the IQRF GW Daemon. The reader will get acquainted with the resulting tool and its functionality, which will be able to further expand if necessary.
|
|
|
Vyhodnocování spolehlivostních ukazatelů systémů odolných proti poruchám
Suchánek, Martin ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Spoľahlivosť je dôležitou súčasťou rôznych systémov. Cieľom práce je vytvorenie spoľahlivostných modelov niektorých opravovaných a neopravovaných systémov odolných proti poruchám a následné vyhodnocovanie ich spoľahlivostných ukazateľov. Na vytváranie modelov je využitý nástroj Uppaal spolu s rozšírením SMC, ktoré slúži na verifikáciu. Výsledkom práce je overenie modelov a vyhodnocovanie spoľahlivostných ukazateľov s využitím nástroja Uppaal SMC.
|
|
|
Domovní vodoměry
Zvejška, Tomáš ; Tureček, Jan (oponent) ; Ručka, Jan (vedoucí práce)
Bakalářská práce se zabývá přesností měření domovních vodoměrů při velmi nízkých průtocích. Při takto nízkých průtocích dochází k určitým chybám měření. Zatím však není známo, jakých hodnot tyto chyby nabývají. Cílem práce bylo tedy stanovení velikosti těchto chyb. Výsledků bylo dosaženo za pomoci laboratorního měření.
|
|
|
Zamrznutí
Ševčík, Andrej ; Chrobák, Ondřej (oponent) ; Kvíčala, Petr (vedoucí práce)
Předmětem diplomové práce je cyklus obrazů, animace a videa. Vycházím z chyby operačního systému, zaměřuji se na známý jev zamrznutí počítače a následného vrstvení systémových okének přes sebe. Díky chybě vznikají estetické obrazce, které mohou odkazovat ke geometrické abstrakci. Na tomto jevu mě zajímají především elementární aspekty malby, budování prostoru v ploše, geometrie, pohyb, tvar.
|
|
|
Pasportizace stavebně-technického stavu rodinného domu v Brně
Zahradníková, Lenka ; Najt, Eduard (oponent) ; Šmahel, Milan (vedoucí práce)
Diplomová práce se zabývá problematikou pasportu rodinných domů a jeho vytváření. První část práce popisuje pasportizaci z teoretického hlediska, její výhody, účely a rozdělení, možné zadavatele pasportizace a také její legislativní zázemí. Podrobně se zaměřuje na postup vypracování pasportu a tento postup aplikuje na rodinném domě v Brně. Střední pasport rodinného domu se zaměřuje na popis jeho stavebně technického stavu, popisuje stávající vady a poruchy a způsoby, kterými byly objeveny. Následuje vždy návrh řešení těchto úprav s rozlišením naléhavosti v konkrétních případech.
|
|
|
Návrh testeru paměti RAM ve VHDL
Charvát, Jiří ; Straka, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce popisuje problematiku hardwarového testování polovodičových pamětí. Popisuje princip fungování základních typů pamětí, způsob, jakým uchovávají data a způsob komunikace. Dále ukazuje typické poruchy, které v těchto pamětech mohou nastat. Součástí je také návrh a implementace modelu paměti a testeru v jazyce VHDL. Do paměti je možné zanést chyby a následně je připojeným testerem odhalit. Závěrem je nastíněno, jaká je úspěšnost při detekci různých druhů chyb použitím různých druhů testů. Zaměřuje se hlavně na detekci chyb pomocí march testu a jeho variant.
|
|
|
Samočinný test ALU za provozu
Bednář, Jaroslav ; Růžička, Richard (oponent) ; Drábek, Vladimír (vedoucí práce)
Práce se zabývá různými poruchami, které mohou nastat při výrobě a provozu ALU. Nastiňuje vícero dělení poruch a jejich modely. Jsou rozebrány přístupy k zajištění bezpečnosti systému zejména po hardwarové stránce. Následuje shrnutí softwarových metod pro testování ALU. Poslední kapitola rozebírá návrh knihovny pro testy mikrokontroléru MSP430.
|
|
|
Porovnání přesnosti metod pasivní IP geolokace
Mrázová, Andrea ; Komosný, Dan (oponent) ; Verner, Lukáš (vedoucí práce)
Táto práca je zameraná na vyhodnocovanie fyzickej polohy staníc v sieti Internet použitím pasívnych geolokačných metód, konkrétne za použitia geolokačných databáz. V prvej časti práce je všeobecne popísané, čo to IP geolokácia je, v druhej časti sú popísané aktívne a pasívne metódy IP geolokácie a tretia časť obsahuje popis praktickej časti bakalárskej práce a výsledky, ku ktorým sme dospeli.
|
|
| |
|
|
Nízkovýkonový přístrojový transformátor proudu
Zolich, Ladislav ; Hrabčík,, Miroslav (oponent) ; Dostál, Lukáš (vedoucí práce)
Diplomová práce se soustřeďuje na problematiku přístrojových transformátorů proudů, proudových senzorů a nízkovýkonových přístrojových transformátorů proudů. Jsou porovnávány výhody a nevýhody jednotlivých přístrojů. Dále je navrhován nízkovýkonový přístrojový transformátor proudu, který následně vyroben a změřen. Dosažené výsledky jsou pak porovnány s teoretickými hodnotami.
|
host ::
RSS.