|
Hardware Accelerated Functional Verification
Zachariášová, Marcela ; Kotásek, Zdeněk (referee) ; Kajan, Michal (advisor)
Funkční verifikace je jednou z nejrozšířenějších technik ověřování korektnosti hardwarových systémů podle jejich specifikace. S nárůstem složitosti současných systémů se zvyšují i časové požadavky kladené na funkční verifikaci, a proto je důležité hledat nové techniky urychlení tohoto procesu. Teoretická část této práce popisuje základní principy různých verifikačních technik, jako jsou simulace a testování, funkční verifikace, jakož i formální analýzy a verifikace. Následuje popis tvorby verifikačních prostředí nad hardwarovými komponentami v jazyce SystemVerilog. Část věnující se analýze popisuje požadavky kladené na systém pro akceleraci funkční verifikace, z nichž nejdůležitější jsou možnost jednoduchého spuštění akcelerované verze verifikace a časová ekvivalence akcelerovaného a neakcelerovaného běhu verifikace. Práce dále představuje návrh verifikačního rámce používajícího pro akceleraci běhů verifikace technologii programovatelných hradlových polí se zachováním možnosti spuštění běhu verifikace v uživatelsky přívětivém ladicím prostředí simulátoru. Dle experimentů provedených na prototypové implementaci je dosažené zrychlení úměrné počtu ověřovaných transakcí a komplexnosti verifikovaného systému, přičemž nejvyšší zrychlení dosažené v sadě experimentů je více než 130násobné.
|
|
Wastewater treatment plant testbed controlled by PLC
Kopáč, Ondřej ; Blažek, Petr (referee) ; Pospíšil, Ondřej (advisor)
This master thesis deals with the design of a wastewater treatment plant, which will be controlled by a PLC. The theoretical part describes the types of wastewater and sewage systems that are important in the design of wastewater treatment plants. The thesis also describes programmable logic controllers, theirs programming languages, SCADA (Supervisory Control And Data Acquisition) systems and automation.The thesis also deals with theoretical description of wastewater treatment plants, their functions and security. Next part describes the design of the wastewater treatment plant. The last part of the thesis describes implementation of the wastewater treatment plant controlled by a PLC.
|
|
Deep Neural Networks for Reinforcement Learning
Ludvík, Tomáš ; Bambušek, Daniel (referee) ; Hradiš, Michal (advisor)
The aim of this thesis is to use deep neural networks for task in reinforcement learning. I use my modification of 2D game Tuxánci for the purposes of the test environment. This modification provides the possibility of using the game as an environment for machine learning. Subsequently, Iam solving the task of learning the agent by using reinforcement learning with the Double DQN algorithm.
|
|
Automated Testing Environment
Verevkin, Aleksandr ; Januš, Filip (referee) ; Malinka, Kamil (advisor)
Tato práce se zabývá úkolem nastavení prostředí pro testování softwaru. Hlavním cílem je tento proces zjednodušit a zautomatizovat. Zvolený problém je určen k řešení pomocí stávajících nástrojů pro automatizaci workflow. Konkrétně, za pomocí Apache Airflow, platformou pro správu pracovních toků pro datové inženýrské pipeliny. Přínos této práce je ve studiu existujících nástrojů pro automatizaci pracovních postupů a vytvoření frameworku pro automatické nasazování infrastruktury.
|
|
Deep Neural Networks for Reinforcement Learning
Ludvík, Tomáš ; Bambušek, Daniel (referee) ; Hradiš, Michal (advisor)
The aim of this thesis is to use deep neural networks for task in reinforcement learning. I use my modification of 2D game Tuxánci for the purposes of the test environment. This modification provides the possibility of using the game as an environment for machine learning. Subsequently, Iam solving the task of learning the agent by using reinforcement learning with the Double DQN algorithm.
|
|
Wastewater treatment plant testbed controlled by PLC
Kopáč, Ondřej ; Blažek, Petr (referee) ; Pospíšil, Ondřej (advisor)
This master thesis deals with the design of a wastewater treatment plant, which will be controlled by a PLC. The theoretical part describes the types of wastewater and sewage systems that are important in the design of wastewater treatment plants. The thesis also describes programmable logic controllers, theirs programming languages, SCADA (Supervisory Control And Data Acquisition) systems and automation.The thesis also deals with theoretical description of wastewater treatment plants, their functions and security. Next part describes the design of the wastewater treatment plant. The last part of the thesis describes implementation of the wastewater treatment plant controlled by a PLC.
|
|
Risk management methods within the banking institution's test environment
Mádl, Jiří ; Bruckner, Tomáš (advisor) ; Mandera, Petr (referee)
In the presented bachelor thesis I focus on methods of risk management within the hypothetical banking institution's test environment. Risk management includes data anonymization and the creation of the test environment to offer the most faithful copy of the production environment. In the theoretical part I deal with the theory of data anonymization, the legislative framework of the Czech Republic and the European Union, the theory of testing and define the theoretical production environment of a hypothetical banking institution that is based on the real environment of ČSOB Leasing a.s.. I subsequently propose and analyze possible solutions to create a test environment. The aim of this analysis is to choose the most appropriate way of creating a test environment, which is applied in a practical part to a hypothetical environment. The practical part is also devoted to the governance of the proposed process.
|
|
Optimizing of Virtualization Environment
Vlček, Martin ; Musil, Martin (referee) ; Ondrák, Viktor (advisor)
The bachelor thesis deals with the optimization of VMware virtualization tools needed especially for manual software testing at AVG Technologies CZ. It analyzes the current state of their application and compares the productivity and benefits optimized version. In conclusion evaluates the benefits of this solution for the company.
|
|
Hardware Accelerated Functional Verification
Zachariášová, Marcela ; Kotásek, Zdeněk (referee) ; Kajan, Michal (advisor)
Funkční verifikace je jednou z nejrozšířenějších technik ověřování korektnosti hardwarových systémů podle jejich specifikace. S nárůstem složitosti současných systémů se zvyšují i časové požadavky kladené na funkční verifikaci, a proto je důležité hledat nové techniky urychlení tohoto procesu. Teoretická část této práce popisuje základní principy různých verifikačních technik, jako jsou simulace a testování, funkční verifikace, jakož i formální analýzy a verifikace. Následuje popis tvorby verifikačních prostředí nad hardwarovými komponentami v jazyce SystemVerilog. Část věnující se analýze popisuje požadavky kladené na systém pro akceleraci funkční verifikace, z nichž nejdůležitější jsou možnost jednoduchého spuštění akcelerované verze verifikace a časová ekvivalence akcelerovaného a neakcelerovaného běhu verifikace. Práce dále představuje návrh verifikačního rámce používajícího pro akceleraci běhů verifikace technologii programovatelných hradlových polí se zachováním možnosti spuštění běhu verifikace v uživatelsky přívětivém ladicím prostředí simulátoru. Dle experimentů provedených na prototypové implementaci je dosažené zrychlení úměrné počtu ověřovaných transakcí a komplexnosti verifikovaného systému, přičemž nejvyšší zrychlení dosažené v sadě experimentů je více než 130násobné.
|
|
Agile methodology of testing enterprise applications using HP ALM
Studnička, Michal ; Pavlíček, Antonín (advisor) ; Veber, Jaromír (referee)
Usage of information systems and technologies (IS/ICT) is almost necessary nowadays for all kind of organizations. These, that want it to be successful know, that it is necessary to pay attention to technology innovations and make sure about their quality. Quality of information system is equal of quality theirs single elements, which are created by linked software applications. Their development is currently guided by many different methodologies or instructions how to create them in the shortest time possible, as cheaply and with sufficient quality. This imaginary triangle forms the basis for the ongoing struggle for necessary compromise on one side or the other. Part of these development methodologies is in most cases a section which is dealing with testing. The results of development have to be checked before delivery to the customer and also on the client side is necessary to test quality of what he paid. Therefore, testing is very important, but still neglected article of software development. The main objective of this thesis is modification of testing methodology from Iveta Králová. Modified methodology was adapted for specific environment of small developement team with support of HP ALM software. Original methodology was intended only for system testing and ends in transmission to acceptance tests. Modified methodology goes beyond these boundaries and also covers this area. Partial aim is to enrich methodology on how to implement and manage test environments suitable for this type of operations. The main contribution of this work is the development of agile methodology that is specific for a particular type of operation and works with HP ALM.
|