Static Code Analysis of IEC 61131-3 Programs: Comprehensive Tool Support and Experiences from Large-Scale Industrial Application
| Autor: | Herbert Prähofer, Rudolf Ramler, Florian Angerer, Friedrich Grillenberger |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Shape analysis (program analysis)
Java Computer science Computer programming IEC 61131-3 Static program analysis 02 engineering and technology computer.software_genre Control flow analysis Control flow 0202 electrical engineering electronic engineering information engineering Electrical and Electronic Engineering computer.programming_language business.industry Programming language 020208 electrical & electronic engineering 020207 software engineering Static analysis Call graph Software quality Computer Science Applications Data flow diagram Control and Systems Engineering Programming paradigm KPI-driven code analysis business Software engineering computer Pointer analysis Intentional programming Information Systems |
| Zdroj: | IEEE Transactions on Industrial Informatics. 13:37-47 |
| ISSN: | 1941-0050 1551-3203 |
| DOI: | 10.1109/tii.2016.2604760 |
| Popis: | Static code analysis techniques examine programs without actually executing them. The main benefits lie in improving software quality by detecting problematic code constructs and potential defects in early development stages. Today, static code analysis is a widely used quality assurance technique and numerous tools are available for established programming languages like C/C++, Java, or C#. However, in the domain of programmable logic controller (PLC) programming, static code analysis tools are still rare, although many properties of PLC programming languages are beneficial for static analysis techniques. Therefore, an approach and tool for static code analysis of IEC 61131-3 programs has been developed which is capable of detecting a range of issues commonly occurring in PLC programming. The approach employs different analysis methods, like pattern-matching on program structures, control flow and data flow analyses, and, especially, call graph and pointer analysis techniques. Based on results from an initial analysis project, where common issues for static analysis of PLC programs have been investigated, this paper illustrates adoption and extensions of analysis techniques for PLC programs and presents results from large-scale industrial application. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|