Original title: Aplikace pro formální testování PLC programu
Translated title: Software for Formal Testing of PLC Program
Authors: Sýkora, Ondřej ; Benešl, Tomáš (referee) ; Arm, Jakub (advisor)
Document type: Bachelor's theses
Year: 2022
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií
Abstract: [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.
Keywords: C#; PLC code correctness testing; TIA Portal; TIA Portal Openness; Windows application form; XML; C#; Testování správnosti PLC kódu; TIA Portal; TIA Portal Openness; Windows form aplikace; XML

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/205762

Permalink: http://www.nusl.cz/ntk/nusl-503336


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Bachelor's theses