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