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