|
|
Instrumentace C/C++ programů při překladu
Mušková, Kateřina ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a implementací nástroje TforcTool sloužícího k instrumentaci programů napsaných v jazyce C++, a to instrumentaci přístupu do paměti a volání funkcí. Nástroj staví už na existujícím nástroji Tforc poskytující statickou instrumentaci při překladu, jehož funkcionalitu a použitelnost rozšiřuje. Velkou výhodou oproti stávajícím řešením nabízejícím instrumentaci při překladu je možnost použití nástroje bez změny stávajících překladových skriptů (např. Make).
|
|
|
Generování stromových struktur pro účely testování informačních systémů
Rozsíval, Michal ; Hruška, Martin (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem této práce je vytvořit nástroj automatizující testování informačních systémů. Nástroj vytváří testovací zprávy podobné těm v reálném provozu, přičemž podobností se v rámci této práce rozumí podobnost struktur posílaných dat. Princip činnosti spočívá ve zpracování záznamu komunikace, který si nástroj načte a jednotlivé v něm obsažené zprávy převede do uniformního formátu. Takto uložené zprávy klasifikuje do skupin, které abstrahuje do podoby vhodné pro následné generování náhodných testovacích zpráv. Podporována je komunikace prostřednictvím protokolu REST API a OPC UA a stromově strukturovaná data ve formátu JSON a XML . Nové zprávy jsou vytvářeny na základě kombinačního testování s pokrytím Pair-Wise . Výsledná funkcionalita nástroje byla ověřena na reálných záznamech komunikace.
|
|
|
Testování autonomních vozidel
Nágl, Jiří ; Tobiáš, Martin (oponent) ; Porteš, Petr (vedoucí práce)
Předmětem této bakalářské práce je rešerše autonomních vozidel a jejich testování. V první části je práce zaměřena na autonomní vozidla a konektivitu mezi nimi. Následně se věnuje testování autonomních vozidel na polygonech a testování v reálném provozu. Poslední kapitola zahrnuje virtuální testování a softwary k tomu určené.
|
|
|
Digitální zprovoznění robotizovaného výrobního systému pro obsluhu obráběcího stroje
Roun, Jiří ; Bražina, Jakub (oponent) ; Vetiška, Jan (vedoucí práce)
Diplomová práce pojednává o digitálním zprovoznění robotizovaného výrobního systému pro obsluhu obráběcího stroje. Rešeršní část práce popisuje současný stav poznání na poli produktů průmyslových robotů, jejich typech a možnostech a následně způsoby a SW možnosti pro realizaci virtuálního zprovoznění. Následuje zpracování systémového rozboru pracoviště. Praktická část této práce popisuje sestavení digitálního modelu a návrh SW. Závěrem je virtuální otestování funkce automatizovaného robotického pracoviště.
|
|
|
Bezpečnost protokolu SIP
Tůma, Petr ; Šilhavý, Pavel (oponent) ; Ježek, Jiří (vedoucí práce)
Tato bakalářská práce je zaměřena na problematiku bezpečnosti signalizačního protokolu SIP. Cílem bylo realizovat tři útoky a navrhnout obranu proti nim. Zvolenými útoky byl záplavový útok, útok s modifikovanými zprávami a útok man-in-the-middle. Útoky byly vedeny proti ústředně Asterisk a výsledky ukazují, že některé útoky dokázaly znemožnit komunikaci mezi ústřednou a klienty. Obranná opatření jsou popsána u každého útoku v podkapitole mitigace.
|
|
|
Implementace zabezpečení do DLMS protokolu
Kohout, David ; Sláčik, Ján (oponent) ; Mlýnek, Petr (vedoucí práce)
Práce se zaměřuje na problematiku zabezpečení pro chytré elektroměry podle specifikace DLMS Security Suite. Kromě využití standardu je v práci popsaná problematika adresování, jako jsou klientské a serverové adresy, včetně adresování pomocí sériového čísla. Dále jsou na konkrétní ukázce rozebrány způsoby formátování zpráv. V části zabezpečení jsou představeny způsoby autentizace a šifrování zpráv. S bezpečností také souvisí zabezpečovací sady, které konkretizují použité algoritmy a velikosti klíčů. Práce se také zabývá vývojem testovací aplikace s názvem VUT DLMS Tester, která se využívá k testování tohoto standardu pro reálné využití v distribuční soustavě. Celý vývoj je konzultován a kooperován s distribučními společnostmi a výrobci elektroměrů. Ze strany zabezpečení je aplikace rozšířená o možnosti využití vyšších úrovní zabezpečení, které DLMS podporuje. Pomocí aplikace jsou otestované různé scénáře vyčítání dat z elektroměrů s ohledem na datový nárůst při využití zabezpečení.
|
|
|
Webová aplikace pro testování zranitelností webového serveru
Šnajdr, Václav ; Burda, Karel (oponent) ; Smékal, David (vedoucí práce)
Diplomová práce se zabývá návrhem a implementaci webové aplikace pro testování bezpečnosti SSL/TLS protokolů na vzdáleném serveru. Webová aplikace je vyvíjena ve frameworku Nette. V teoretické části jsou popsány SSL/TLS protokoly, zranitelnosti, doporučení a použité technologie v praktické části. Praktická část se věnuje tvorbě webové aplikace s procesem použití automatických skriptů pro testování a zobrazení výsledků na webové stránce s hodnocením A+ až C. Webová aplikace zároveň zobrazí seznam detekovaných zranitelností a jejich doporučení.
|
|
|
Modules for Manual Penetration Testing of a Web Application
Heriban, Radoslav ; Martinásek, Zdeněk (oponent) ; Šeda, Pavel (vedoucí práce)
The main goal of this master's thesis was development of Burp Suite extension capable of interacting with various other automated tools, accompanied with development of a web application. Chapter two contains analysis of tools commonly used in penetration testing that could benefit from the ability to share Burp Suites data or functionality. The programming languages used were Java and JavaScript. The extension acts as a gateway to inner functionality of Burp Suite. It enables exfiltration of in memory objects such as sitemap, proxy history or found issues in JSON format to other tools, and also listens for incoming data that can be inserted into it's existing modules such as Repeater, Scanner, Spider or Comparer. Frontend application was written using JavaScript library React. The web application offers a graphical visualization of issue data.
|
|
|
Application of Genetic Algorithms and Data Mining in Noise-based Testing of Concurrent Software
Šimková, Hana ; Kofroň, Jan (oponent) ; Lourenco, Joao (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis proposes an improvement of the efficiency of testing concurrent software by employing data mining techniques and genetic algorithms in the process of testing concurrent software. Concurrent, or multi-threaded, programming has become very popular over the last few years. However, as the concurrent programming is far more demanding the sequential programming, its increased use leads to a significant increase in the number of errors that appear in commercial software due to errors in synchronization. Finding such errors using traditional testing methods is difficult. Moreover, repeated test executions of traditional testing that are performed in the same environment will typically examine similar interleavings only. Hence, the noise-based injection approach is used for influencing the scheduling by injecting various kinds of noise (delays, context switches, and so on) into the common thread behaviour which stress the software and can to show some rare behaviour. However, for the noise injection to be efficient, one has to choose suitable noise injection heuristics from among the many existing ones as well as to suitably choose values of their various parameters, which is not easy. In this work, there are used data mining methods and genetic algorithms and their combinations to deal with the problem of choosing such noise injection heuristics and values of their parameters. Besides setting up of the goals of the thesis, this proposal also provides a brief summary of the state of the art in application of data mining techniques and genetic algorithms to program testing problems.
|
|
|
Vliv ředitele školy na vzdělávací výsledky žáků
Kindlová, Hana ; Voda, Jan (vedoucí práce)
NÁZEV: Vliv ředitele školy na vzdělávací výsledky žáků AUTORKA: Hana Kindlová KATEDRA (ÚSTAV): Centrum školského managementu VEDOUCÍ PRÁCE: PhDr. Jan Voda, Ph.D. ABSTRAKT: Předmětem této diplomové práce je zkoumání vlivu ředitele školy na vzdělávací výsledky žáků. Cílem práce je navrhnout a ověřit model, jak zjišťovat vliv ředitele školy na vzdělávací výsledky žáků. Základní výzkumná otázka zní: "Jak lze zjišťovat vztah mezi vzdělávacími výsledky žáků a aspekty práce ředitele školy?". Cíle diplomové práce bylo dosaženo následujícím způsobem. Nejprve byly v teoretické části definovány vzdělávací výsledky žáků a na základě studia zahraniční literatury uvedeny oblasti práce ředitelů škol, které mají vliv na vzdělávací výsledky žáků. Ve výzkumné části byl u vybraného výzkumného vzorku výzkumným šetřením (formou interview) a jeho analýzou, syntézou a zhodnocením, zkoumán, popsán a kvantifikován vliv ředitele školy na vzdělávací výsledky žáků. Následně byl určen a zhodnocen vztah mezi hodnotou kvality práce ředitele a vzdělávacími výsledky žáků, dosaženými v testování NIQES 2013 u žáků 5. a 9. ročníků dané školy ve vybraném výzkumném vzorku. V závěru výzkumu bylo zjišťováno, zda existuje v tomto vzorku vzájemná korelace mezi ohodnocením aspektů práce ředitele a kvalitou výsledků žáků školy. Výzkumná hypotéza však...
|
host ::
RSS.