Aplikace pro formální testování PLC programu

Simple item page
but.committeedoc. Ing. Miloslav Steinbauer, Ph.D. (předseda) doc. Ing. Zdeněk Bradáč, Ph.D. (místopředseda) doc. Ing. Jakub Arm, Ph.D. (člen) Ing. František Burian, Ph.D. (člen) Ing. Lukáš Pohl, Ph.D. (člen) Ing. Stanislav Pikula, Ph.D. (člen)cs
but.defenceStudent obhájil bakalářskou práci. Komise neměla žádné námitky k řešené práci. V průběhu odborné rozpravy odpověděl na dotazy, jak dlouho prostředí TIA Portal neposkytuje vlastní nástroj pro kontrolu chyb podle firemních standardů. Následovalo objasnění, že nalezené chyby a varování jsou chybami pouze z hlediska interních norem firmy, která práci zadala.cs
but.jazykčeština (Czech)
but.programAutomatizační a měřicí technikacs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorArm, Jakubcs
dc.contributor.authorSýkora, Ondřejcs
dc.contributor.refereeBenešl, Tomášcs
dc.date.created2022cs
dc.description.abstractTato bakalářská práce rozebírá testovací techniky, používané v klasickém IT odvětví a analogicky je aplikuje na průmyslové odvětví - konkrétně programování PLC. V práci je navržena a realizována testovací aplikace, jejímž účelem je najít chyby vytvořené PLC programátorem nebo generátorem PLC kódu v projektu prostředí TIA Portal. Aplikace dokáže najít a rozpoznat až 10 různých chyb. Jedná se o windows form aplikaci, vyvinutou v jazyce C#, využívající otevřené rozhraní TIA Portal Openness. Následně je otestována její funkčnost na malém testovacím projektu se známým množstvím chyb a na velkém firemním projektu s neznámým množstvím chyb.cs
dc.description.abstractThis bachelor’s thesis analyzes the testing techniques used in the IT industry and applies them analogously to the machine industry - specifically PLC programming. In this work, a test application is designed and implemented. It’s purpose is to find errors created by a PLC programmer or PLC code generator in the TIA Portal environment project. The application can find and detect up to 10 different errors. It is a windows form application, developed in C#, using the open interface of TIA Portal Openness. Subsequently, its functionality is tested on a small test project with a known number of errors and also on a large company project with an unknown number of errors.en
dc.description.markAcs
dc.identifier.citationSÝKORA, O. Aplikace pro formální testování PLC programu [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2022.cs
dc.identifier.other142140cs
dc.identifier.urihttp://hdl.handle.net/11012/205762
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectTestování správnosti PLC kóducs
dc.subjectWindows form aplikacecs
dc.subjectC#cs
dc.subjectXMLcs
dc.subjectTIA Portalcs
dc.subjectTIA Portal Opennesscs
dc.subjectPLC code correctness testingen
dc.subjectWindows application formen
dc.subjectC#en
dc.subjectXMLen
dc.subjectTIA Portalen
dc.subjectTIA Portal Opennessen
dc.titleAplikace pro formální testování PLC programucs
dc.title.alternativeSoftware for Formal Testing of PLC Programen
dc.typeTextcs
dc.type.driverbachelorThesisen
dc.type.evskpbakalářská prácecs
dcterms.dateAccepted2022-06-15cs
dcterms.modified2022-06-17-08:36:46cs
eprints.affiliatedInstitution.facultyFakulta elektrotechniky a komunikačních technologiícs
sync.item.dbid142140en
sync.item.dbtypeZPen
sync.item.insts2025.03.17 16:25:01en
sync.item.modts2025.01.17 12:12:52en
thesis.disciplinebez specializacecs
thesis.grantorVysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. Ústav automatizace a měřicí technikycs
thesis.levelBakalářskýcs
thesis.nameBc.cs
Files
Original bundle
Now showing 1 - 3 of 3
Thumbnail Image
Name:
final-thesis.pdf
Size:
3.75 MB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Download
Thumbnail Image
Name:
appendix-1.zip
Size:
2.77 MB
Format:
zip
Description:
appendix-1.zip
Download
Thumbnail Image
Name:
review_142140.html
Size:
3.8 KB
Format:
Hypertext Markup Language
Description:
file review_142140.html
Download
Collections
2022