PLC程序测试与验证的研究进展 (2011年)

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