PLC程序测试与验证的研究进展

• 作者: 王达 薛文轩 赵千川
• 来源期刊: 清华大学学报：自然科学版
• 学科: 工学
• 关键词: PLC程序 形式化方法 测试 验证
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 自动化
• 页码范围: 1617-1623
• 页数: 7页
• 分类号: TP332.3
• 语种: 中文

摘要

可编程逻辑控制器（PLC）是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛文轩		9	64	4.0	8.0
2	赵千川		50	662	11.0	25.0
3	王达		2	15	1.0	2.0