1  引言    邏輯程序控制器PLC是工業領域中廣泛使用的嵌入式計算機控制裝置，許多PLC被用于關鍵系統的自動化控制，比如航天設備、高速鐵路。然而，由于缺乏良好的調試機制，許多PLC程序中存在嚴重的錯誤。 為了解決這個問題，靈芯實驗室正在開發一個基于仿真的PLC測試軟件，以創新的方式支持PLC的離線程序調試。目前這一測試軟件已經具備對PLC核心程序的測試功能，并成功應用于一批PLC程序的測試，發現了多個程序錯誤。    下面是某教科書中的五層電梯控制程序。測試發現該程序在某些情況下居然無法啟動。具體[登陸后可查看全文]