镇江灵芯软件实验室 陈 钢
摘 要：嵌入式系统的软件测试具有特殊的难度和重要性。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条 [查看全部] 网友评论