【作者】 李卢强；

【导师】 程磊；

【作者基本信息】 合肥工业大学 ， 计算机应用技术， 2010， 硕士

【摘要】 随着科学技术的飞速发展,计算机联锁系统已经取代了电气集中联锁系统,成为将来车站联锁系统的主要发展方向。计算机联锁软件是保障铁路车站列车或机车作业安全的关键软件,而高效、充分的测试对于保证其安全性具有举足轻重的作用。在现今的软件测试中大多数还是以手工测试为主,这样做存在测试不充分与测试效率低下等弊病。因此,研究一种计算机联锁软件自动测试系统将是一项极有意义的工作,可以促使联锁试验面向规范化、程序化、简单化,从而提高工作效率、缩短试验时间,并能消除因联锁试验失误带来的事故隐患。论文首先介绍了课题的目的、意义及研究内容;深入地研究了HJ04A计算机联锁系统的框架结构、软硬件体系和功能特性等,并分析了联锁系统软件的输入输出模型,确定了使用基于灰盒测试的自动测试方法,并在此基础上提出了一种基于图形分析的测试结果的自动分析与判定方法和一种基于OPC的联锁系统状态模拟方法,从而使得测试系统可以在不对被测系统进行直接接口的情况下进行测试工作,保障了测试结果的客观性,也使得测试工作更加简单。其次,在分析联锁软件安全性需求的基础上建立了联锁软件安全性需求的Petri网模型,给出了一种求解割集的算法实现,并构造了安全性测试用例的自动生成方法;最后,详细地描述了铁路信号计算机联锁系统自动测试系统的基本逻辑结构及其功能模块设计,并对全文的研究工作进行了总结和展望。更多还原

【Abstract】 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.更多还原