鎮江靈芯軟件實驗室 陳 鋼
摘 要：嵌入式系統的軟件測試具有特殊的難度和重要性。7.23動車事件突顯出不充分的測試所帶來的災難性后果。為了解決PLC程序測試問題，靈芯實驗室致力于PLC測試軟件的研發。本文報告我們用該軟件測試一個公開發表的電梯程序的情況。測試發現，當電梯處在二樓，人在一樓按下上樓電鈕時，電梯不能按要求下降；當我們糾正了這個錯誤之后，又發現該電梯開始下降之后不能停止。這些錯誤反映出PLC程序測試的重要性。
關鍵詞：PLC測試 嵌入式系統
1引言
邏輯程序控制器PLC是工業領域中廣泛使用的嵌入式計算機控制裝置，許多PLC被用于關鍵系統的自動化控制，比如航天設備，高速鐵路。然而，由于缺乏良好的調試機制，許多PLC程序中存在嚴重的錯誤。 為了解決這個問題，靈芯實驗室正在開發一個基于仿真的PLC測試軟件，以創新的方式支持PLC的離線程序調試。目前這一測試軟件已經具備對PLC核心程序的測試功能，并成功應用于一批PLC程序的測試，發現了多個程序錯誤。
下面是某教科書中的五層電梯控制程序。測試發現該程序在某些情況下居然無法啟動。具體地說，當電梯在二樓，人在一樓按下上樓電梯之后，這個PLC程序卻不能向電梯發出下樓指令。
這個程序的特殊之處是具有換速功能，電梯正常運行時是快速，當接近目標樓層時變為慢速。由于換速處理不當，導致該程序出現上述錯誤。
首先介紹一下程序的控制要求和IO點分配，后面是梯形圖。然后我們分析程序的錯誤，并指出怎樣糾正這一錯。
2概述
交流雙速電梯在自動運行狀態下換速和換向子程序
換向說明：電梯內或門廳按鈕按下時，根據檢測到的上行或下行指令給出相應信號，
控制電機動作。當多個信號到達時，執行方式為優先響應向上運行信號，
再響應另一方向信號。對未及時響應信號要保留。
換速說明：電梯正常狀態下快速啟動，當藥到達需要停止的樓層時，給出換速信號；
控制拖動電機轉為慢速運行，以確保電梯平穩停止。
信號說明：傳感器樓層監測：一層到五層-- I0.0 I0.1 I0.2 I0.3 I0.4；
電梯內樓層選擇：一層到五層-- I0.5 I0.6 I0.7 I1.0 I1.1；
門廳內下樓按鈕：二層到五層-- I1.2 I1.3 I1.4 I1.5；
門廳內上樓按鈕：一層到四層--I1.6 I1.7 I2.0 I2.1。
電機正轉：Q0.0 --電梯向上。
電機反轉：Q0.1 --電梯向下；
快速：Q0.2。
慢速：Q0.3。
共0條 [查看全部] 網友評論