| Driven by the ever-increasing level of intelligent technology,Automatic Train Operation(ATO)has begun to be applied in the actual operation of high-speed railways.As an important part of the current train operation control system research,testing is an important method to ensure the reliable and effective operation of the system.For the high-speed railway operation control system with the addition of the ATO system,because of the significant increase in the degree of coupling and complexity of the system,it is particularly necessary to conduct a thorough test on the system.However,the driving environment of the high-speed railway ATO system has infinitely rich,highly complex,unpredictable,and inexhaustible characteristics and a targeted method is needed to realize the construction of the test system.Operational Design Domain(ODD)is a concept used to describe and define the input conditions required for the normal operation of the system,which represents the requirements of system operation.It is necessary to introduce the operational design domain as an effective tool for analyzing the system in system development and completing the analysis of the operating environment of the ATO system.In this paper,by establishing the ODD of the high-speed railway ATO system,combined with Timed Automata(TA)theory and mutation testing related technology,the methods of the high-speed railway ATO system operational scenario analysis and test case generation are provided,the formal modeling and verification of the operation description of the high-speed railway ATO system are realized,and the acquisition of system requirements and test cases are completed.The main works of the thesis are as follows:(1)The operational design domain of the high-speed railway ATO system is extracted from the operational characteristics of Chinese high-speed railways,and an ontology model of the ODD of the high-speed railway ATO system is constructed using the ontology modeling language.A scenario analysis method based on the operational design domain is designed,and the system requirements in the scenario are obtained based on the operational scenario refined by the train’s operational route model.(2)A scenario analysis method based on the operational design domain is designed.Taking the scenario of linkage control between train door and platform door as an example,the ODD ontology model of the high-speed railway ATO system is adopted to analyze the ODD elements of the scenario and obtain the elements of ODD and the elements of TA are converted to construct the TA model of the scenario of linkage control between train door and platform door.The correctness of the model is verified from the functional characteristics and time sequence characteristics.(3)A generation method of test cases based on the operational design domain is designed.The article combined with the ODD of the scenario analyzed the types of failures in the scenario and designed a mutation operator for the scenario of linkage control between train door and platform door.Then the variant model is generated based on the designed mutation operator,and the initial test cases are generated in the Mo Mu T::TA tool combined with the test case generation method.A translation tool for test cases has been developed to translate test cases into higher readability.12 test cases were generated for the scenario of linkage control between train door and platform door.Compared with the existing case set,2 new test function points were added,which improved the coverage on the basis of the existing case set,and verified the effectiveness of the method in this paper.This paper has 60 figures,37 tables and 71 references. |
