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

Abstract

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.