Název: Aplikace pro formální testování PLC programu
Překlad názvu: Software for Formal Testing of PLC Program
Autoři: Sýkora, Ondřej ; Benešl, Tomáš (oponent) ; Arm, Jakub (vedoucí práce)
Typ dokumentu: Bakalářské práce
Rok: 2022
Jazyk: cze
Nakladatel: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií
Abstrakt: [cze] [eng]
Tato 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. This 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.
Klíčová slova: C#; Testování správnosti PLC kódu; TIA Portal; TIA Portal Openness; Windows form aplikace; XML; C#; PLC code correctness testing; TIA Portal; TIA Portal Openness; Windows application form; XML

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: http://hdl.handle.net/11012/205762

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-503336


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Bakalářské práce