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.
Anotace v angličtině
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
Klíčová slova v angličtině
programmable logic device, FPGA, Simulink, white box testing, black box testing, automated testing, test vectors, test cases
Rozsah průvodní práce
86 s.
Jazyk
CZ
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.
Anotace v angličtině
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
Klíčová slova v angličtině
programmable logic device, FPGA, Simulink, white box testing, black box testing, automated testing, test vectors, test cases
Zásady pro vypracování
Seznamte se s principy modelování SW/FW pro programovatelné hradlové pole.
Prostudujte možnosti a přístupy využívané při testování softwaru.
Seznamte se se strukturou souborů *.mdl a možnostmi jejich parsování.
Definujte požadavky na vstupní, výstupní soubory a funkcionalitu systému.
Navrhněte architekturu vyvíjeného systému.
Proveďte vývoj a implementaci systému dle sestaveného návrhu.
Verifikujte implementaci pomocí testovacích vzorových příkladů.
Zásady pro vypracování
Seznamte se s principy modelování SW/FW pro programovatelné hradlové pole.
Prostudujte možnosti a přístupy využívané při testování softwaru.
Seznamte se se strukturou souborů *.mdl a možnostmi jejich parsování.
Definujte požadavky na vstupní, výstupní soubory a funkcionalitu systému.
Navrhněte architekturu vyvíjeného systému.
Proveďte vývoj a implementaci systému dle sestaveného návrhu.
Verifikujte implementaci pomocí testovacích vzorových příkladů.
Seznam doporučené literatury
ŠŤASTNÝ, Jakub. FPGA prakticky: realizace číslicových systémů pro programovatelná hradlová pole. Praha: BEN - technická literatura, 2010. ISBN 978-80-7300-261-9.
ŠŤASTNÝ, Jakub. FPGA prakticky: realizace číslicových systémů pro programovatelná hradlová pole. Praha: BEN - technická literatura, 2010. ISBN 978-80-7300-261-9.
Student nejprve seznámil komisi s výsledky své diplomové práce. Poté byly prezentovány posudky vedoucího a oponenta. Následně byla vedena rozprava,
během které byly položeny následující otázky a komentáře:
V praktické části práce je rozsáhlým způsobem popsán vývoj
cíleného nástroje. Zvláště oceňuji odpovědný přístup k testování výsledné aplikace a také vývoj této
aplikace s ohledem na její možné škálování a modularitu. Drobné nedostatky lze nalézt pouze
v nepříliš přehledné definici požadavků na výslednou aplikaci. Toto ve spojením s menší mírou
formálních chyb však nesnižuje kvalitu práce. (dr. Janků)
Samotná praktická část má odpovídající komplexitu pro diplomovou práci a je dostatečně popsána.
Chybí snad jen ukázka realizace vlastního logického bloku realizovaného v Simulinku, což by
poskytlo větší náhled do popisované problematiky. Lze vytvořený parser použít pro libovolný *.mdl soubor, nebo se využívá znalosti
knihoven/organizace specifických pro Honeywell? (ing. Došek)
Kde vnímáte aplikační nasazení výsledků vaší práce? Jak máte zabezpečen kód, když uvažujete nasazení v bezpečnostním sboru? (prof. Jašek)