很多年前我开发了PLC程序测试软件，而且用这一软件发现了PLC教程中的多种程序错误。详细情况可见 plc.lingcore.com, 其中列出了该软件查出的错误。此外，还有两篇论文描述了这一软件用于查错的情况：
陈钢，使用PLC测试软件进行PLC电梯程序错误分析，《PLC&FA 可编程序控制器与工厂自动化》，2011年10月。
陈钢，几个初级PLC程序的逻辑错误分析，《PLC&FA 可编程序控制器与工厂自动化》，2011年7月。
（注：本文是国内第一篇对PLC程序错误进行分析的论文）
我还用这一技术设计了一个基于PLC的列车防追尾算法并进行了仿真测试验证。这一技术已获得专利：
一种防止列车追尾的方法 CN103332212 B? 专利号201310234504.5
可惜到目前为止还没有找到工业界的合作伙伴。我本人很愿意用这一技术帮助企业进行PLC程序的测试。