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

Abstract

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.