基于符号约束的PLC程序正确性验证
发布时间：2018-08-22 15:56
【摘要】：符号约束描述了程序中的变量关系,被广泛运用于模型检测、符号执行等程序的静态分析方法中。将符号约束应用于可编程逻辑控制器(PLC)程序的正确性验证,能够发现程序中的逻辑错误。人工计算符号约束不仅冗杂枯燥,而且错误率高。针对语句表形式的PLC程序,提出一种基于符号约束的正确性验证方法,通过分析PLC源代码的控制流及数据流,构造程序的控制流图并将其转换为静态单赋值形式的三地址码,最后使用迭代计算的方法求出每个变量的符号约束。
[Abstract]:Symbolic constraints describe variable relationships in programs and are widely used in static analysis of programs such as model checking, symbolic execution, and so on. The logic errors in the program can be found by applying the symbolic constraint to the correctness verification of the (PLC) program of the programmable logic controller. The symbol constraint of manual calculation is not only boring, but also has high error rate. This paper presents a correctness verification method based on symbolic constraints for PLC programs in the form of statement tables. By analyzing the control flow and data flow of the PLC source code, the control flow diagram of the program is constructed and converted into three address codes in the form of static single assignment. Finally, the symbolic constraints of each variable are obtained by iterative computation.
【作者单位】： 合肥电子工程学院;
【分类号】：TP273
[Abstract]:Symbolic constraints describe variable relationships in programs and are widely used in static analysis of programs such as model checking, symbolic execution, and so on. The logic errors in the program can be found by applying the symbolic constraint to the correctness verification of the (PLC) program of the programmable logic controller. The symbol constraint of manual calculation is not only boring, but also has high error rate. This paper presents a correctness verification method based on symbolic constraints for PLC programs in the form of statement tables. By analyzing the control flow and data flow of the PLC source code, the control flow diagram of the program is constructed and converted into three address codes in the form of static single assignment. Finally, the symbolic constraints of each variable are obtained by iterative computation.
【作者单位】： 合肥电子工程学院;
【分类号】：TP273
【相似文献】
相关期刊论文 前10条
1 谭华;王建军;陈萧;;PLC程序在数控机床故障诊断中的应用[J];无锡商业职业技术学院学报;2006年06期
2 许云理;;PLC程序在数控机床故障诊断中的应用[J];制造技术与机床;2006年10期
3 张淑侠;;PLC程序的可读性研究[J];新课程学习(中);2011年12期
4 孙建华,高广章,蒋志强,施进发;程序分析法在产线平衡中的应用[J];机械设计与制造;2005年05期
5 龚仲华;802S/C夹紧/松开PLC程序的改进[J];制造技术与机床;2005年11期
6 宁晓东;广钢4号高炉PLC程序改进[J];冶金丛刊;2002年01期
7 刘海涛;;合成气压缩机PLC程序改进[J];化工自动化及仪表;2013年02期
8 袁力强;SN368回放处理程序分析[J];石油仪器;1993年02期
9 刘建功;范力e，
本文编号：2197590
本文链接：https://www.wllwen.com/kejilunwen/zidonghuakongzhilunwen/2197590.html
