面向轨道交通控制系统的需求模型分析与验证

发布时间：2018-02-05 19:15

本文关键词： 轨道交通控制系统需求分析需求验证场景描述仿真　出处：《华东师范大学》2017年硕士论文　论文类型：学位论文

【摘要】：我国轨道交通在不断地发展,而列车自动保护系统作为列车控制系统的基础,保证它的安全性和可靠性更是重中之重。但是目前在轨交领域中,主流的安全性保障方法基本依赖人工手段对此类系统的代码进行测试,并没有一个行之有效的方法自动化地完成需求模型的分析与验证。同时,即使需求模型被认为是正确的,在实践中进行基于模型的自动化测试仍然面临如何使模型自动化执行的问题。针对此问题,本文提出了一套面向轨道交通控制系统进行分析和验证的方法,该方法可以自动化地进行需求模型构建、测试场景转化、需求仿真执行,最后对仿真执行结果进行分析。主要的贡献如下:需求模型构造:本文使用定义的需求描述语言CASDL(CASCO Specification Description Language)描述需求,并对相应的需求文档进行建模。通过模型对需求进行语法检查和性质检查,帮助测试人员分析并改正需求,保证需求编写规范和逻辑的正确性,并为之后需求仿真执行做好准备。测试场景脚本:为确保ATP系统(Automatic Train Protection System)需求的正确性,需要通过列车运行场景对需求进行验证。本文使用场景描述语言CASSL(CASCO Scenario Language)描述测试场景,保证场景设计的规范性。通过对相应场景脚本进行语法检查和逻辑检查来保证脚本规范和逻辑的正确性。最后通过对场景脚本进行自动化的分析和计算,生成供测试平台使用的测试脚本。测试平台执行测试脚本后,可以得到预期的测试数据,为需求仿真执行做好准备。需求仿真执行:本文实现的需求仿真是使用需求模型模拟ATP系统在给定场景下的运行过程,需求仿真执行算法可以根据测试数据和需求模型生成计算数据结果。工具对计算数据与预期测试数据进行分析,发现需求或系统实现中的错误,供测试人员进行处理,提高测试效率。本文提出的需求模型分析与验证方法已实现相应工具,并投入到轨道交通控制系统测试的工程应用中。
[Abstract]:Rail transit is developing continuously in our country. As the foundation of train control system, the automatic train protection system is the most important thing to ensure its safety and reliability. However, it is in the field of rail transit at present. The mainstream security methods basically rely on manual means to test the code of this kind of system, and there is no effective method to automate the analysis and verification of the requirement model. At the same time. Even if the requirement model is considered to be correct, there is still a problem of how to automate the execution of the model in practice. This paper presents a method for analysis and verification of rail transit control system. This method can automate the construction of requirement model, test scene transformation and requirement simulation. Finally, the simulation results are analyzed. The main contributions are as follows: requirements model construction: this paper uses the defined requirements description language (CASDL). CASCO Specification Description language describes requirements. Through the model to check the syntax and nature of the requirements, help the testers to analyze and correct the requirements, and ensure the correctness of the requirements specification and logic. Test scenario script: to ensure that the ATP system is automatic Train Protection system. Correctness of requirements. It is necessary to validate the requirement through the train running scenario. This paper uses the scenario description language (CASSL(CASCO Scenario language) to describe the test scenario. Ensure the normative design of the scene. By checking the syntax and logic of the corresponding scenario script to ensure the correctness of the script specification and logic. Finally, through the analysis and calculation of the scene script automation. Generate test scripts for use by the test platform. After the test platform executes the test script, the expected test data can be obtained. Requirement simulation execution: the requirement simulation in this paper is to simulate the running process of ATP system in a given scenario using the requirement model. The requirement simulation execution algorithm can generate the result of calculation data according to the test data and the requirement model. The tool analyzes the calculated data and the expected test data and finds the error in the requirement or the system implementation. The requirement model analysis and verification method proposed in this paper has realized the corresponding tools and has been applied in the engineering application of rail transit control system test.
【学位授予单位】：华东师范大学
【学位级别】：硕士
【学位授予年份】：2017
【分类号】：U284.48;TP273

【参考文献】