1  引言
   逻辑程序控制器PLC是工业领域中广泛使用的嵌入式计算机控制装置，许多PLC被用于关键系统的自动化控制，比如航天设备、高速铁路。然而，由于缺乏良好的调试机制，许多PLC程序中存在严重的错误。 为了解决这个问题，灵芯实验室正在开发一个基于仿真的PLC测试软件，以创新的方式支持PLC的离线程序调试。目前这一测试软件已经具备对PLC核心程序的测试功能，并成功应用于一批PLC程序的测试，发现了多个程序错误。
   下面是某教科书中的五层电梯控制程序。测试发现该程序在某些情况下居然无法启动。具体地说，当电梯在二楼，人在一楼按下上楼电梯之后，这个PLC程序却不能向电梯发出下楼指令。
   这个程序的特殊之处是具有换速功能，电梯正常运行时是快速，当接近目标楼层时变为慢速。由于换速处理不当，导致该程序出现上述错误。
首先介绍一下程序的控制要求和IO点分配，后面是梯形图。然后我们分析程序的错误