| PLC程序测试与验证的研究进展 |
| |
| 引用本文： | 赵千川,王达,薛文轩.PLC程序测试与验证的研究进展[J].清华大学学报(自然科学版),2011(11):1527-1533. |
| |
| 作者姓名： | 赵千川 王达 薛文轩 |
| |
| 作者单位： | 清华大学自动化系智能与网络化系统研究中心清华信息科学与技术国家实验室(筹); |
| |
| 基金项目： | 国家自然科学基金项目(61074034,60736027,61021063,61174105) |
| |
| 摘 要： | 可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。
|
| 关 键 词： | PLC程序 形式化方法 测试 验证 |
Testing and validation of programmable logic controller programs |
| |
| ZHAO Qianchuan,WANG Da,XUE Wenxuan.Testing and validation of programmable logic controller programs[J].Journal of Tsinghua University(Science and Technology),2011(11):1527-1533. |
| |
| Authors: | ZHAO Qianchuan WANG Da XUE Wenxuan |
| |
| Institution: | ZHAO Qianchuan,WANG Da,XUE Wenxuan(Tsinghua National Laboratory for Information Science and Technology,Center for Intelligent and Networked Systems,Department of Automation,Tsinghua University,Beijing 100084,China) |
| |
| Abstract: | Programmable logic controllers(PLC) are widely used in various industries.The increasing size and complexity of PLC programs make testing and validation challenging.The testing and validation of PLC programs are analyzed to describe the research progress on verification and testing.The basic idea of each method is described with the advantages.Future trends for testing and validation of PLC programs are given.All existing testing and validation methods for PLC programs have limitations and need further stud... |
| |
| Keywords: | programmable logic controller(PLC) program formal method testing validation |
| 本文献已被 CNKI 等数据库收录！ |
|
