|
|
Industrial power supply with output control
Čunderlík, Dávid ; Herencsár, Norbert (referee) ; Krajsa, Ondřej (advisor)
This bachelor’s thesis covers basic theory about power supplies, it’s design and usage. Theory provide detailed information about each functional part in PSU. The main object are switch-mode power supplies and converters, their function and design. Industrial power supply is designed with functions of controling the outputs. This power supply is designed to be mounted on DIN rail. Designed power supply have 6 independent regulated outputs with total power of 120W. Theory about components for controling and comunicating are discused on theoretical basis. Practical part of thesis is assembly of a whole power supply, 3D model and it’s technical documnetation.
|
|
|
Influence of physical parameters and age of power lines on PLC/BPL performance and reliability
Benešl, Lukáš ; Sláčik, Ján (referee) ; Mlýnek, Petr (advisor)
BPL technology is quite widespread nowadays and the public is also somewhat aware of it. This technology can be used as a means of communication without the need to install additional media and thus use the existing infrastructure. In an effort to use the full potential of the technology, BPL communication began to be used to monitor the current state of cables in distribution networks online. Where the technology is already fully implemented, the distributor can use the data to evaluate the current situation. In this way, BPL technology can be used as a diagnostic tool to test the quality of a cable connection on which not only time but also humidity and other external influences could have a significant effect.
|
|
|
Automated Testing of Web Applications
Běloch, Tomáš ; Očenášek, Pavel (referee) ; Rychlý, Marek (advisor)
This bachelor's thesis deals with the automation in the process of testing web applications. The theoretical part is focused on providing the quality of software products and services. The thesis also discusses the problematic of automation of the partial types of testing; some of the testing tools are described here as well. The theoretical part gives more details on the tool called Selenim and continuous integration systems. The practical part is focused on the detailed analysis, proposal and realization of automated test scripts for the Cloud service of the IBA CZ Corporation. The conclusion of this thesis summarizes its contribution to the author and company and outlines the further planned development.
|
|
| |
|
|
Test-Driven Software Development
Navrátil, Dušan ; Rychlý, Marek (referee) ; Zendulka, Jaroslav (advisor)
This bachelor's thesis introduces an agil method called test-driven development and illustrates it by an example using a testing tool. The way to reach objectives of software project is explained during the illustration. Further, the effect of test-driven development on the quality of software product is discussed.
|
|
|
Testing of generated C compilers for processors in embedded systems
Dolíhal, Luděk ; Kubátová, Hana (referee) ; Vojnar, Tomáš (referee) ; Hruška, Tomáš (advisor)
Vestavěné systémy se staly nepostradatelnými pro náš každodenní život. Jsou to obvykle úzce zaměřená, vysoce optimalizovaná, jednoúčelová zařízení. Jádro vestavěných zařízení obvykle tvoří jeden nebo více aplikačně specifických instrukčních procesorů. Tato disertační práce se zaměřuje na problematiku testování nástrojú pro návrh aplikačně specifických procesorů a následně i samotných aplikačne specifických procesorů. Snahou bylo vytvořit systém, ve kterém bude možné otestovat jednotlivé nástroje, jako například překladač, assembler, disassembler, debugger. Nicméně vyvstává také potřeba provádět složitější testy, například integrační, které zaručí, že mezi jednotlivými nástroji nevzniká nekompatibilita. Autor vytvořil s podporou přůběžně integračního serveru prostředí, které napomáhá odhalování a odstraňování chyb při návrhu aplikačně specifických procesorů a které je navíc do značné míry automatizované.
|
|
|
Practical Methods of Automated Verification of Concurrent Programs
Fiedor, Jan ; Arcaini, Paolo (referee) ; Farchi, Eitan (referee) ; Vojnar, Tomáš (advisor)
V dnešní době jsou vícevláknové programy běžné a s nimi i chyby v souběžnosti. Během posledních let bylo vytvořeno mnoho technik pro detekci takovýchto chyb, a i přesto mají vývojáři softwaru problém nalézt správné nástroje pro analýzu svých programů. Důvod je jednoduchý, fungující neznamená vždy praktický. Hodně nástrojů implementujících detekční techniky je obtížně použitelných, přizpůsobených pro konkrétní typy programů nebo synchronizace, nebo špatně škálují, aby zvládly analyzovat rozsáhlý software. Pro některé typy chyb v souběžnosti dokonce ani neexistují nástroje pro jejich detekci, i přesto že vývojáři softwaru na tyto chyby často narážejí ve svých programech. Hlavním cílem této práce je navrhnout nové techniky pro detekci chyb ve vícevláknových programech. Tyto techniky by měly být schopny analyzovat rozsáhlé programy, umožnit detekci méně studovaných typů chyb v souběžnosti, a podporovat širokou škálu programů s ohledem na to, jaké programové konstrukce používají.
|
|
|
Automatic Generation of Test Cases from Data-Flow
Kraut, Daniel ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
This thesis deals with automatic generation of test cases on Unit testing level for source codes in C language. In order to achieve automatization are used methods of approach to software as a Data-flow of variables. There is outlined a process of creating tests here as well as a function of CSP solvers which are necessary part of solving this problems. Static code analysis is accessed with LibTooling libraring as part of a compiler front-end project Clang. Output of a developed application are provided here which is automatically generated input values for test cases.
|
|
|
Comparasion of the results of athletics talent tests in years 2007 - 2016
Skalická, Andrea ; Jebavý, Radim (advisor) ; Vindušková, Jitka (referee)
Title: Comparasion of the results of athletics talent tests in years 2007 - 2016 Objectives: The objective of my thesis is to compare the results of athletics entrance talent tests to FTVS UK in years 2007 - 2016. In the researched group there are both - men and women applying for single-subject and double- subject forms of study, full - time and distance form of education. Methods: The methodology of the thesis is focused on all candidates who applied for talent tests in 2007 - 2016 and achieved the minimal required score of 1 point. Results: The results monitor efficiency of candidates in running disciplines over a period of ten years. Keywords: athletics, testing, talent tests, motoric tests, 800 m women, 1500 m men, sprint, 100 m
|
|
|
Warming-up and toning in foolball
Slicho, Tomáš ; Jebavý, Radim (advisor) ; Hojka, Vladimír (referee)
Title: Warm-up and toning in football Objectives: Comparison of the two types of warm-ups on repeated tests of explosive force of upper, lower limbs, acceleration and agility test. Methods: The research group consisted of 17 players in the category of U15, who passed four tests of two selected types of warm-ups, warm-up with toning and warm-up without toning. The measured tests consisted of a acceleration test to 30 meters, a shuttle run, a medicine ball throw and a long jump. A total of three training sessions were measured, with a weekly pause between tests, within a field training experiment. In the result part we used the method of analysis to analyze the results of all tests. The comparison was used to compare the results of all tests after two different types of warming-ups. The measured values were processed by using tables and graphs. Results: The values of the players in the tests after the toning warm-up were better than the results of the players after the warm-up without toning but on the limit of a low substantive signifikance. The biggest difference was in the acceleration test to 30 meters, the smallest difference was in the throw of the medicine ball. The first hypothesis was not confirmed but the second one was succesfully confirmed. Summary: Even when the results we measured did...
|
guest ::
