摘要
随着通信技术、网络技术、控制技术、电子技术、计算机软硬件技术、仿真技术、人工智能技术的快速发展,计算机联锁系统在世界范围内得到广泛应用,成为车站联锁系统的主要发展方向。计算机联锁作为一种安全相关系统,要求具有很高的安全性和可靠性,满足铁路信号系统的安全-故障原则。而联锁软件作为计算机联锁系统的关键软件,影响着整个系统的安全性和可靠性,因此,在投入使用前对计算机联锁软件进行测试是必不可少的重要环节。
以往的联锁软件测试往往还是采用手工方法进行,测试案例一般也是由富有经验的调试工程师手工设计生成,这种方法本身存在着效率低和测试不全面等严重的缺陷,无法确保联锁系统的高安全性和高可靠性,同时也与计算机联锁技术的发展水平极不适应。为了适应计算机联锁系统的发展需要,针对本实验室开发的SWJTU-Ⅱ型计算机联锁系统的特点,我们设计开发了一套计算机联锁软件仿真测试系统,利用这套系统可以对计算机联锁软件进行仿真自动测试,使测试案例能被连续加载、自动生成并能对测试结果进行动态判定,克服了人工测试的不足,从而提高工作效率、缩短试验时间,消除因联锁失误带来的事故隐患,做到联锁试验的规范化,程序化和简单化。
本文对计算机联锁软件仿真测试系统进行了阐述,对其各个组成部分作了详细说明。首先,对SWJTU-Ⅱ型计算机联锁系统的软硬件结构作了详细阐述,并利用UML建模方法对其进路控制过程建模,分析了进路控制过程的状态变化。其次,对计算机联锁仿真测试系统的结构作了介绍,分析了仿真测试系统的功能需求,研究了仿真测试系统的结果判定方法,提出了仿真测试系统的软件结构,并给出了测试的总体思路。再次,阐述了仿真测试系统详细设计。对测试用数据生成部分,采用站场形数据结构构造了站场拓扑数据文件,运用进路搜索法实现了联锁表数据的自动生成。对于测试程序部分则给出了详细的实现算法流程。最后,对仿真测试系统的应用作了介绍。
With the rapid development of communication technology, network technology, control technology, electronic technology, software & hardware of computer, simulation technology and artificial intelligent technology, computer interlocking system has been widely applied in the world, and becomes the main development direction of the station interlocking system. As being a safety-related system, high safety and reliability are needed for meeting the safety-failure principle of railway signal system. Moreover, interlocking software is the key software for the computer interlocking system resulting in having effect on the safety and reliability of the whole system, so before taking into application the testing of the computer interlocking software is a absolutely necessary and important step.
In the foretime, interlocking systems were tested by manual testing, namely, testing cases are designed by the experienced engineers. There exist some faults in this method, such as low efficiency and the testing imperfection .etc, leading to no guarantee for the high safety and reliability of interlocking system. According to the prosperities of the SWJTU-II computer interlocking system developed by our library, a new simulating & testing software for the computer interlocking system has been introduced, by which the computer interlocking software can be auto-tested and continuous loading of the testing cases can be realized, as well as auto-generating and dynamic testing result determination. The faults of the manual testing can be overcome by our proposed software, improving efficiency, cutting the testing time and eliminating the event hidden troubles induced by the failure of the interlocking will achieved at the same time, and then the interlocking testing has been made standardized, programmed and simplified.
In this paper, an overall introduction of the simulating & testing of computer interlocking system has been presented, the components of which are described in detail. Firstly, a brief introduction of the SWJTU-II computer interlocking system's hardware and software structure is proposed. The route control process adopted in this system has been modeled through UML method, by which the state change of the route control process was analyzed. Secondly, introduces simulating & testing structure of computer interlocking system, analyzes the function need of simulating & testing system, studies the testing result determination method, and proposes the structure of interlocking simulation software and the general idea on simulating & testing. Next, the design of the simulating & testing has been discussed in detail. Data generation used in simulating & testing has been realized as follows: station topology data files are formed by data structure on station filed shape, then interlocking table data is auto-generated through the routing-searching. Detailed flow of the algorithm implementing has been give for simulating & testing. Finally, the simulating & testing implementing process of simulating & testing system has been introduced.
引文
[1]谢文站.国产计算机联锁系统的发展现状[J].铁路通信信号工程技术,2008,5(1):51-53.
[2]何文卿.6502电气集中电路[M].北京:中国铁道出版社,1984.
[3]赵志熙.微机联锁系统技术[M].北京:中国铁道出版社,1995.
[4]赵志熙.计算机联锁系统技术[M].北京:中国铁道出版社,1999.
[5]Cullyer,J.,Wai Wong.Application of formal methods to railway signalling-a case study[J].Computing & Control Engineering Journal.Volume 4,Issue 1,Feb.1993:15-22.
[6]Short R C.Software requirements for railway signalling systems[J].Software Requirements for High Integrity Systems,IEE Colloquium on 10 Nov 1988:4/1-4/3.
[7]A.S.Evans,A.J.Wellings.UML and the formal development of safety-critical real-time systems[J].Applicable Modelling,Verification and Analysis Techniques for Real-Time Systems(Ref.No.1999/006),IEE Colloquium on 11 Jan.1999:2/1-2/4.
[8]刘振安,董兰芳,刘燕君.面向对象技术与UML[M].北京.机械工业出版社.2007.
[9]尤克滨.UML应用建模实践过程[M].北京.机械工业出版社.2003.
[10]Rumbaugh,J.The Unified Language Reference Manual[M].北京,机械工业出版社.2005.
[11]徐宏喆,陈建明.UML自动化测试技术[M].西安.西安交通大学出版社.2006.
[12]Michece Banci.Geographical vs Functional modeling by statecharts of interlocking systems.Electronic Notes in Theoretical Computer Science.2004.3:23-31.
[13]Miehele Banci Alessandro Fanteehi.Instantiating Generic Charts for Railway Interlocking Systems.Foundations of Software Engineering.2004.7:122-128.
[14]Dr Crispin Bayley.Modelling Interlocking with UML.IEE Seminar Digests. 2004.2:312-324.
[15]程梁.基于UML的联锁软件建模与仿真研究[D].北京交通大学硕士学位论文,北京:2007.
[16]谢保峰.车站计算机联锁系统的现状和发展[J].交通运输系统工程和信息.2004,4(4):86-90.
[17]杨扬,邹少文,郭进.SWJTU-Ⅱ型计算机联锁控制系统设计和实现[J].铁道学报.2005,27(3):118-123
[18]古乐、史久林.软件测试技术概论[M],北京:清华大学出版社2004.
[19]曲朝阳、刘志颖等.软件测试技术[M],北京:中国水利水电出版社,2006.
[20]Elfriede Dustin、JeffRashka、John Paul著.软件自动化测试:引入、管理与实施,北京:电子工业出版社,2003.1.
[21]李巍巍,吴芳美.计算机联锁测试评估平台的数据通信研究[J].上海铁道大学学报.1999,20(4):5-10.
[22]吴芳美.计算机联锁软件测试评估.铁路计算机应用[J].1998,8(1):7-10
[23]荆剑、吴芳美.计算机联锁安全软件测试评估平台的静态数据交换策略[J].上海铁道大学学报.1999,20(12):1-5.
[24]吴芳美.计算机联锁软件现场测试方法及实现.中国铁路[J].2001,(7):27-28.
[25]屠海澄,吴芳美.基于软件测试平台的车站现场仿真.铁道学报,1997,8:51-55.
[26]屠海滢,吴芳美.铁路车站通用信号仿真系统的研究与实现[J].铁道学报,1999,21(5):47-50
[27]屠海滢,任晓旭,吴芳美.论铁路信号仿真的模型、算法及策略[J].上海铁道大学学报.1998,19(3-4):43-16.
[28]王艳红.计算机联锁软件模拟自动测试系统的研究与实现[D].铁道科学研究院硕士学位论文.北京:2004.
[29]鲍红杰.计算机联锁软件测试平台关键技术的研究与设计[D].合肥工业大学硕士学位论文.合肥:2006.
[30]王琦.基于对比环境的铁路信号监控软件安全测试方法的研究与应用[D].合肥工业大学硕士学位论文.合肥:2003.
[31]康凤举.现代仿真技术与应用[M].国防工业出版社,2001
[32]黄柯棣.系统仿真技术[M].国防科技大学出版社,1998
[33]徐中伟,吴芳美.高速铁路信号安全软件自动测试案例建模研究.铁道学报,1997,19卷(增刊):107-114.
[34]STANDARD NE50128.Railway Application:Software for Railway Control and Protection Systems,Ver.1.0,Feb.1994.
[35]IEC 61508-1998.Functional safety of electrical/electronic/programmable electronic safety-related systems-Part 1:General requirements and Part3:Software requirements.
[36]Malcolm B.Software in safety-related system:Basic concepts and concerns.PhilB.Safety Aspects of Computer Control.Great Britain:Butterworth Heinemann Ltd,1993:1-18.
[37]R.C.Short.Safety assurance of configuration data for railway signal interlockings[J].System Safety,2006.The First Institution of Engineering and Technology International Conference on6-8 June 2006:5.
[38]王爽,吴芳美.区间信号系统测试平台专用数据库[J].城市轨道交通研究.2004,(1):52-54.
[39]陈志颖等.计算机联锁进路搜索算法的分析与研究[J].铁道通信信号.2007,43(43):4-6.
[40]徐洪泽,燕永田,徐立新.计算机联锁控制系统的进路生成算法研究[J].北方交通大学学报.1998,22(5):94-98.
[41]虞诩,吴芳美,基于图搜索策略的车站信号操作集自动生成算法,上海铁道大学学报[J],1996,17(4):51-57.
[42]左淑利,吴芳美,基于图搜索策略的车站运行仿真命令集的自动生成算法,上海铁道大学学报,1999,20(2):28-32.
[43]赵志熙.车站计算机联锁ABC[M].北京:中国铁道出版社,2007.
[44]徐洪泽,岳强.车站信号计算机联锁控制系统原理与应用[M].北京:中国铁道出版社,2005.
[45]朱明,王晓明.一种铁路微机联锁进路搜索的实现方法[J].铁路计算机应用.2007,16(11):45-47.
[46]唐劲旅,魏宗寿,徐登科.一种自动生成联锁表的实现方法[J].铁道通信信号.2007,43(10):11-13.
[47]覃崇乾,吴芳美.一种搜索与交互相结合的联锁表自动生成算法[J].上海铁道大学学报.1999,20(12):6-11.
[48]江月萍,吴芳美.地铁车站计算机联锁系统的测试[J].城市轨道交通研.2000,(4).:36-39.
[49]陈邦兴,吴芳美.地铁集中运输控制系统联锁软件的第三方测试[J].计算机工程.2008,28(8):35-37.
[50]徐中伟,吴芳美.基于规则的联锁软件测试集自动生成[J].计算机工程.2002,28(1):96-97.
[51]杨威.计算机联锁控制系统检验方法的研究[J].北方交通大学学报.1998,22(5):107-110.
[52]董昱,李敬文,李丽兰.计算机联锁软件测试方法研究[J].兰州交通大学学报(自然科学版).2005,24(1):22-25.
[53]Behrouz A.Forouzan,Richard F.Gilberg.计算机科学—C++软件工程方法[M].李海峰,张耀辉.第2版.北京:清华大学出版社,2006.
[54]Stanley B.Lippman,Josee lajoie,Barbara E.Moo.C++Primer中文版[M].李师贤,蒋爱军,梅小勇,林瑛.第4版.北京:人民邮电出版社.2006
[55]尤克斌.UML应用建模实现过程[M].北京:机械工业出版社.2003.
[56]Professor W.J.Cullyer,J.W.Wise.Formal methods for railway signaling.Computers and Safety,1989.A First International Conference on the Use of Programmable Electronic Systems in Safety Related Applications 8-10 Nov 1989:86-91.
[57]Robert A.Maksimchuk,Eric J.Naiburg.UML初学者指南[M].李虎,范思怡.北京:人民邮电出版社.2005.