摘要
嵌入式系统的软件测试具有特殊的难度和重要性。7.23动车事件突显出不充分的测试所带来的灾难性后果。为了解决PLC程序测试问题,灵芯实验室致力于PLC测试软件的研发。本文报告我们用该软件测试一个公开发表的电梯程序的情况。测试发现,当电梯处在二楼,人在一楼按下上楼电钮时,电梯不能按要求下降;当我们纠正了这个错误之后,又发现该电梯开始下降之后不能停止。这些错误反映出PLC程序测试的重要性。
Testing of embedded software is of particular difficulty and importance.The high speed train accident on July 23,2011 shows the disaster result of insufficient testing. To deal with the PLC program testing problem,Lingcore laboratory is developing an innovative PLC testing technology and software.The paper reports the test of an elevator program using our testing software.It is discovered that,when the elevator stays at the second floor and a button is pressed at the first floor,the elevator can not descend.After resolving this issue,we discovered that the elevator can move down,but can not stop. These errors demonstrate the importance of PLC testing.
