• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Industrial Informatics, IEEE Transactions on >Static Code Analysis of IEC 61131-3 Programs: Comprehensive Tool Support and Experiences from Large-Scale Industrial Application
【24h】

Static Code Analysis of IEC 61131-3 Programs: Comprehensive Tool Support and Experiences from Large-Scale Industrial Application

机译：IEC 61131-3程序的静态代码分析：全面的工具支持和大规模工业应用的经验

获取原文
获取原文并翻译 | 示例
       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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.
机译：静态代码分析技术在不实际执行程序的情况下检查程序。主要好处在于通过在开发的早期阶段检测有问题的代码构造和潜在缺陷来提高软件质量。如今，静态代码分析已成为一种广泛使用的质量保证技术，并且许多工具可用于已建立的编程语言，例如C / C ++，Java或C＃。但是，在可编程逻辑控制器（PLC）编程领域，尽管PLC编程语言的许多属性都对静态分析技术有所帮助，但是静态代码分析工具仍然很少见。因此，已经开发出一种用于IEC 61131-3程序的静态代码分析的方法和工具，能够检测PLC编程中常见的一系列问题。该方法采用不同的分析方法，例如程序结构上的模式匹配，控制流和数据流分析，尤其是调用图和指针分析技术。基于初步分析项目的结果，该项目已研究了PLC程序静态分析的常见问题，本文说明了PLC程序分析技术的采用和扩展，并提出了大规模工业应用的结果。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号