1  引言    逻辑程序控制器PLC是工业领域中广泛使用的嵌入式计算机控制装置，许多PLC被用于关键系统的自动化控制，比如航天设备、高速铁路。然而，由于缺乏良好的调试机制，许多PLC程序中存在严重的错误。 为了解决这个问题，灵芯实验室正在开发一个基于仿真的PLC测试软件，以创新的方式支持PLC的离线程序调试。目前这一测试软件已经具备对PLC核心程序的测试功能，并成功应用于一批PLC程序的测试，发现了多个程序错误。    下面是某教科书中的五层电梯控制程序。测试发现该程序在某些情况下居然无法启动。具体[登陆后可查看全文]