铁路信号计算机联锁系统自动测试系统的构造研究
|
摘要
随着科学技术的飞速发展,计算机联锁系统已经取代了电气集中联锁系统,成为将来车站联锁系统的主要发展方向。计算机联锁软件是保障铁路车站列车或机车作业安全的关键软件,而高效、充分的测试对于保证其安全性具有举足轻重的作用。在现今的软件测试中大多数还是以手工测试为主,这样做存在测试不充分与测试效率低下等弊病。因此,研究一种计算机联锁软件自动测试系统将是一项极有意义的工作,可以促使联锁试验面向规范化、程序化、简单化,从而提高工作效率、缩短试验时间,并能消除因联锁试验失误带来的事故隐患。
论文首先介绍了课题的目的、意义及研究内容;深入地研究了HJ04A计算机联锁系统的框架结构、软硬件体系和功能特性等,并分析了联锁系统软件的输入输出模型,确定了使用基于灰盒测试的自动测试方法,并在此基础上提出了一种基于图形分析的测试结果的自动分析与判定方法和一种基于OPC的联锁系统状态模拟方法,从而使得测试系统可以在不对被测系统进行直接接口的情况下进行测试工作,保障了测试结果的客观性,也使得测试工作更加简单。
其次,在分析联锁软件安全性需求的基础上建立了联锁软件安全性需求的Petri网模型,给出了一种求解割集的算法实现,并构造了安全性测试用例的自动生成方法;
最后,详细地描述了铁路信号计算机联锁系统自动测试系统的基本逻辑结构及其功能模块设计,并对全文的研究工作进行了总结和展望。
With the rapid development of science and technology,Computer-based Interlocking System has replaced the electric interlocking system,and becoming the main development direction of station interlocking system.Computer-based interlocking software is the key to ensuring the safety of railway station and locomotive operation,and high-efficient and sufficient testing are indispensable to its security.On the stage, the testing of interlocking software mainly relies on manual testing to complete, which has the disadvantages of insufficiency and low-efficiency.So the researching of the automatic testing system for interlocking software is significant. It can not only promote interlock testing to standardization,procedures, simplification ,but enhance the efficiency and reduce the testing time, moreover,it can also eliminate the hidden dangers of the testing errors.
To begin with, it illustrates the source, purpose and the significance of the dissertation,it puts its emphasis on the research of the HJ04A computer interlocking system’s frame and structure, hardware and software architecture and functional characteristics and so on, it also analyses the input and output models of computer interlocking software, and on the basis of determining gray-box automatic testing methods, and on this basis was proposed graphics-based analysis of test results, and formed the automatic analysis and determination methods, followed by the OPC-based interlocking system state simulation method, which makes the test system can normally testing in the case of not directly tested the system’s interface, guarantee the objectivity of test results,and makes the testing process easier .
What’s more, on the basis of analyzing the security requirement of interlocking software,established Petri Net models of security requirement of interlocking software, and given an implementation algorithm for solving cut set, and further constructed a auto-build method of security testing use cases.
Finally,it detailed described the basic logic structure and function module design of the automatic test of the computer interlocking system,and makes a summary and outlook to the full text.
论文首先介绍了课题的目的、意义及研究内容;深入地研究了HJ04A计算机联锁系统的框架结构、软硬件体系和功能特性等,并分析了联锁系统软件的输入输出模型,确定了使用基于灰盒测试的自动测试方法,并在此基础上提出了一种基于图形分析的测试结果的自动分析与判定方法和一种基于OPC的联锁系统状态模拟方法,从而使得测试系统可以在不对被测系统进行直接接口的情况下进行测试工作,保障了测试结果的客观性,也使得测试工作更加简单。
其次,在分析联锁软件安全性需求的基础上建立了联锁软件安全性需求的Petri网模型,给出了一种求解割集的算法实现,并构造了安全性测试用例的自动生成方法;
最后,详细地描述了铁路信号计算机联锁系统自动测试系统的基本逻辑结构及其功能模块设计,并对全文的研究工作进行了总结和展望。
With the rapid development of science and technology,Computer-based Interlocking System has replaced the electric interlocking system,and becoming the main development direction of station interlocking system.Computer-based interlocking software is the key to ensuring the safety of railway station and locomotive operation,and high-efficient and sufficient testing are indispensable to its security.On the stage, the testing of interlocking software mainly relies on manual testing to complete, which has the disadvantages of insufficiency and low-efficiency.So the researching of the automatic testing system for interlocking software is significant. It can not only promote interlock testing to standardization,procedures, simplification ,but enhance the efficiency and reduce the testing time, moreover,it can also eliminate the hidden dangers of the testing errors.
To begin with, it illustrates the source, purpose and the significance of the dissertation,it puts its emphasis on the research of the HJ04A computer interlocking system’s frame and structure, hardware and software architecture and functional characteristics and so on, it also analyses the input and output models of computer interlocking software, and on the basis of determining gray-box automatic testing methods, and on this basis was proposed graphics-based analysis of test results, and formed the automatic analysis and determination methods, followed by the OPC-based interlocking system state simulation method, which makes the test system can normally testing in the case of not directly tested the system’s interface, guarantee the objectivity of test results,and makes the testing process easier .
What’s more, on the basis of analyzing the security requirement of interlocking software,established Petri Net models of security requirement of interlocking software, and given an implementation algorithm for solving cut set, and further constructed a auto-build method of security testing use cases.
Finally,it detailed described the basic logic structure and function module design of the automatic test of the computer interlocking system,and makes a summary and outlook to the full text.
引文
[1]王仲生.智能容错技术及应用[M].国防工业出版社,2007(12):50-56.
[2]上海无线电厂哈尔滨工业大学编.继电器及其应用[M].上海科学技术出版社,2009(2):16-18
[3]赵志熙.车站信号控制系统[M].北京:中国铁道出版社,1993.
[4]铁道部.铁路主要技术政策[M].北京:中国铁道出版社,1994.
[5]燕永田.微机联锁控制系统的可靠性与安全性保障技术,铁道通信信号[J].vol. 33(4),1997:30-33.
[6] Mark Fewster & Dorothy Graham.软件测试自动化技术与实例详解[M].北京:电子工业出版社,2000:56-60.
[7]秦红磊,路辉,郎荣玲.自动测试系统—硬件及软件技术[M].高等教育出版社,2007:3-6.
[8]吴芳美.计算机联锁软件测试评估,铁路计算机应用[J].vol. 28(1),1998:7-10.
[9]赵晖,王刚.软件自动测试方法浅谈,雷达与对抗[J].第3期,1997:68-72.
[10]黄辉先.城市交通信号优化控制方法的研究[D].西北工业大学,2000(6):36-40.
[11]钟孝顺,聂让等.测量学[M].人民交通出版社,2004(1):30-36.
[12]孙文涛.VXI总线虚拟仪器在自动测试中的应用[D].中国科学院研究生院长春光学精密器械与物理研究所,2002(4):48-50.
[13]王增力.计算机联锁系统全电子一体化研究[D].北京:北方交通大学, 2002:11-13.
[14]王玉芳.铁路信号设备[M].北京:中国铁道出版社,1990:46-51.
[15]李映红.高速铁路信号系统[M].西南交通大学出版社,2006:60-62.
[16]徐建国.车站微机联锁[M].洛阳铁路出版社,1998(7):3-10.
[17]赵志熙.计算机联锁系统技术[M].中国铁道出版社,1997.
[18]赵志熙.计算机联锁系统技术[M].中国铁道出版社,2002.
[19]刘自忠.6502电气集中及计算机联锁系统操作问答[M].中国铁道出版社,2008:100-110.
[20]何文卿.6502电气集中电路[M].北京:中国铁道出版社,1984:1-2.
[21]张福新,杜玉越.改进的最小割集生成算法与联锁系统模型的安全性测试,计算机应用研究[J]. 2009,26(8).
[22]魏臻,陆阳著.CRI2002企业铁路智能运输调度综合信息平台[M].合肥工业大学出版社,2006:56-60.
[23]杨立民,胡庆新,魏臻等.铁路信号计算机联锁系统的研究与设计,微计算机信息[J].Vol.16,No.2,2000(8):16-18.
[24]林瑜筠等.电气化铁路信号设备[M].中国铁道出版社,2006(10):62-68.
[25]铁道部电务局文件.计算机联锁系统暂行技术条件.电综〔1994]50号:1-22.
[26]吴能.联锁软件安全性测试的研究与实践[D].安徽:合肥工业大学, 2001:10-26.
[27]赵耀原.机车铁路信号故障诊断系统,太原理工大学学报[J].Vol.33,No.2,2002:186-188.
[28]陈铁军,谢春萍.PC机与RS 485总线多机串行通信的软硬件设计,现代电子技术[J].30(5),2007:103-105.
[29]祝庚.铁路信号计算机联锁控制系统的故障模型建立及故障诊断方法的研究[D].安徽:合肥工业大学,2003:40-48.
[30] TB/T3027-2002,计算机联锁技术条件[S].中华人民共和国铁道部发布.
[31]王岚.浅谈网络中的远程控制,承德石油高等专科学校学[J].2009,11(1):40-43
[32]王伟.浅谈网络中的拥塞控制,计算机应用研究[J].2008,10(5):20-23.
[33] Ron Patton著.软件测试[M].周予滨,姚静等译.北京:机械工业出版社,2002(3):50-55.
[34]贺平.软件测试技术[M].北京:机械工业出版社,2004:10-15.
[35] [美]William E.Lewis Gunasekaran Veerapillai著.软件测试与连续质量改进[M].陈绍英等译.人民邮电出版社,2008(02):20-22.
[36]朱鸿,金凌紫.软件质量保障与测试[M].北京科学出版社,1997:33-36.
[37]廉师友.人工智能技术导论[M].西安电子科技大学出版社,2002:56-58.
[38]黄正德.形式语义学引论[M].中国社会科学,2005:32-3.
[39]张志檩,王群,王海芹.化工实验室信息管理系统LIMS[M].化学工业出版社,2006:66-70.
[40]高强,马丁.西门子PLC应用程序设计[M].电子工业出版社,2009(9):466-470.
[41]叶青.基于OPC通讯技术的PlC之间的数据共享,江西冶金[J].2009,29(5):46-48.
[42]吴哲辉著.Petri网导论[M].机械工业出版社,2006(4):1-8.
[43] Kuit Jensen.Coloured Petri Nets-Basic Concepts,Analysis Method- sandPractical Use[M].Gernany:Springer,Vol.3,1997:39-50,73-84, 99-114,213-224.
[44]任磊,王峰等.基于Petri网的柔性制造系统无死锁遗传调度算法,控制理论与应用[J].2010,27(1):13-18.
[45] Eric Y T Juan,Jeffrey J P Tsai,Tadao Murata. Reducetion methodsFor real-time systems using delay time Petri nets,IEEE Transactions On Software Engineering [J].27(5),2001:422-447.
[46] Klaudel Hanna. Compositional high-level Petri net semantics of a Parallel programming language with procedures,Science of Computer Programming,November[J].41(3),2001:195-240.
[47]鲍红杰.计算机联锁软件测试平台关键技术[D].安徽:合肥工业大学, 2006(5):60-67.
[48]荆剑,吴芳美.计算机联锁安全软件测试评估平台的静态数据交换策略,上海铁道大学学报[J].1999,20(12):1-5.
[49]胡智文,陈连云,余增亮.通过鼠标自动控制实现程序的自动化操作[J]. 2003(24):113-114
[50]张立科等.Windows API函数参考手册[M].人民邮电出版社,2002(10): 514-524.
[2]上海无线电厂哈尔滨工业大学编.继电器及其应用[M].上海科学技术出版社,2009(2):16-18
[3]赵志熙.车站信号控制系统[M].北京:中国铁道出版社,1993.
[4]铁道部.铁路主要技术政策[M].北京:中国铁道出版社,1994.
[5]燕永田.微机联锁控制系统的可靠性与安全性保障技术,铁道通信信号[J].vol. 33(4),1997:30-33.
[6] Mark Fewster & Dorothy Graham.软件测试自动化技术与实例详解[M].北京:电子工业出版社,2000:56-60.
[7]秦红磊,路辉,郎荣玲.自动测试系统—硬件及软件技术[M].高等教育出版社,2007:3-6.
[8]吴芳美.计算机联锁软件测试评估,铁路计算机应用[J].vol. 28(1),1998:7-10.
[9]赵晖,王刚.软件自动测试方法浅谈,雷达与对抗[J].第3期,1997:68-72.
[10]黄辉先.城市交通信号优化控制方法的研究[D].西北工业大学,2000(6):36-40.
[11]钟孝顺,聂让等.测量学[M].人民交通出版社,2004(1):30-36.
[12]孙文涛.VXI总线虚拟仪器在自动测试中的应用[D].中国科学院研究生院长春光学精密器械与物理研究所,2002(4):48-50.
[13]王增力.计算机联锁系统全电子一体化研究[D].北京:北方交通大学, 2002:11-13.
[14]王玉芳.铁路信号设备[M].北京:中国铁道出版社,1990:46-51.
[15]李映红.高速铁路信号系统[M].西南交通大学出版社,2006:60-62.
[16]徐建国.车站微机联锁[M].洛阳铁路出版社,1998(7):3-10.
[17]赵志熙.计算机联锁系统技术[M].中国铁道出版社,1997.
[18]赵志熙.计算机联锁系统技术[M].中国铁道出版社,2002.
[19]刘自忠.6502电气集中及计算机联锁系统操作问答[M].中国铁道出版社,2008:100-110.
[20]何文卿.6502电气集中电路[M].北京:中国铁道出版社,1984:1-2.
[21]张福新,杜玉越.改进的最小割集生成算法与联锁系统模型的安全性测试,计算机应用研究[J]. 2009,26(8).
[22]魏臻,陆阳著.CRI2002企业铁路智能运输调度综合信息平台[M].合肥工业大学出版社,2006:56-60.
[23]杨立民,胡庆新,魏臻等.铁路信号计算机联锁系统的研究与设计,微计算机信息[J].Vol.16,No.2,2000(8):16-18.
[24]林瑜筠等.电气化铁路信号设备[M].中国铁道出版社,2006(10):62-68.
[25]铁道部电务局文件.计算机联锁系统暂行技术条件.电综〔1994]50号:1-22.
[26]吴能.联锁软件安全性测试的研究与实践[D].安徽:合肥工业大学, 2001:10-26.
[27]赵耀原.机车铁路信号故障诊断系统,太原理工大学学报[J].Vol.33,No.2,2002:186-188.
[28]陈铁军,谢春萍.PC机与RS 485总线多机串行通信的软硬件设计,现代电子技术[J].30(5),2007:103-105.
[29]祝庚.铁路信号计算机联锁控制系统的故障模型建立及故障诊断方法的研究[D].安徽:合肥工业大学,2003:40-48.
[30] TB/T3027-2002,计算机联锁技术条件[S].中华人民共和国铁道部发布.
[31]王岚.浅谈网络中的远程控制,承德石油高等专科学校学[J].2009,11(1):40-43
[32]王伟.浅谈网络中的拥塞控制,计算机应用研究[J].2008,10(5):20-23.
[33] Ron Patton著.软件测试[M].周予滨,姚静等译.北京:机械工业出版社,2002(3):50-55.
[34]贺平.软件测试技术[M].北京:机械工业出版社,2004:10-15.
[35] [美]William E.Lewis Gunasekaran Veerapillai著.软件测试与连续质量改进[M].陈绍英等译.人民邮电出版社,2008(02):20-22.
[36]朱鸿,金凌紫.软件质量保障与测试[M].北京科学出版社,1997:33-36.
[37]廉师友.人工智能技术导论[M].西安电子科技大学出版社,2002:56-58.
[38]黄正德.形式语义学引论[M].中国社会科学,2005:32-3.
[39]张志檩,王群,王海芹.化工实验室信息管理系统LIMS[M].化学工业出版社,2006:66-70.
[40]高强,马丁.西门子PLC应用程序设计[M].电子工业出版社,2009(9):466-470.
[41]叶青.基于OPC通讯技术的PlC之间的数据共享,江西冶金[J].2009,29(5):46-48.
[42]吴哲辉著.Petri网导论[M].机械工业出版社,2006(4):1-8.
[43] Kuit Jensen.Coloured Petri Nets-Basic Concepts,Analysis Method- sandPractical Use[M].Gernany:Springer,Vol.3,1997:39-50,73-84, 99-114,213-224.
[44]任磊,王峰等.基于Petri网的柔性制造系统无死锁遗传调度算法,控制理论与应用[J].2010,27(1):13-18.
[45] Eric Y T Juan,Jeffrey J P Tsai,Tadao Murata. Reducetion methodsFor real-time systems using delay time Petri nets,IEEE Transactions On Software Engineering [J].27(5),2001:422-447.
[46] Klaudel Hanna. Compositional high-level Petri net semantics of a Parallel programming language with procedures,Science of Computer Programming,November[J].41(3),2001:195-240.
[47]鲍红杰.计算机联锁软件测试平台关键技术[D].安徽:合肥工业大学, 2006(5):60-67.
[48]荆剑,吴芳美.计算机联锁安全软件测试评估平台的静态数据交换策略,上海铁道大学学报[J].1999,20(12):1-5.
[49]胡智文,陈连云,余增亮.通过鼠标自动控制实现程序的自动化操作[J]. 2003(24):113-114
[50]张立科等.Windows API函数参考手册[M].人民邮电出版社,2002(10): 514-524.