Systém pro automatizaci zpracování modelů testovaných řídicích systémů

Bc. Michal Klhůfek

Diplomová práce

A System for the Model-processing of Tested Control Systems

Anotace:

Tato diplomová práce se zabývá problematikou testování logických programovatelných obvodů. Popisuje principy plánování a implementování zmíněných obvodů s tím, že hlavní důraz je zde kladen na automatické testování. V práci jsou popsány různé přístupy, podle kterých se provádí testování programovatelných obvodů se zaměřením na reálné využití v praxi. Práce také popisuje implementaci programu, který bude sloužit k automatickému testování zmíněných obvodů. Postupně jsou zde popsány jednotlivé části, ze kterých se aplikace skládá spolu se sadou testů, které ověřují její správnost. V závěru je zhodnocena práce jako celek.

Abstract:

This diploma thesis considers problematics of testing programmable logic circuits. It describes principles of planning and implementation of programmable logic circuits, with the main focus on automatic testing of these circuits. Thesis describes various approaches to programmable circuits testing with a focus on real use in practice. Along with this, thesis describes implementation of a program that will automatically test this programmable logic circuits. At the end, the implementation of the solution is evaluated, and the other parts of the application are described, together with a set of tests that verify its correctness. In conclusion it evaluated thesis as whole.

Klíčová slova

logické programovatelné obvody, FPGA, Simulink, testování pomocí černé a bílé skříňky, automatizované testování, testovací vektory, testovací scénáře

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 5. 8. 2020

Obhajoba závěrečné práce

Univerzita Tomáše Bati ve Zlíně

Fakulta aplikované informatiky

Magisterský studijní program / obor:
Inženýrská informatika / Informační technologie