Access interlocking relation test method, electronic equipment and readable storage medium

Abstract

The invention relates to a route interlocking relation testing method which comprises the following steps: S1, identifying and abstracting a route interlocking relation in an interlocking system, including defining the route interlocking relation and a protocol of interlocking equipment; s2, carrying out formalized modeling on the route interlocking relation protocol and route interlocking equipment; and S3, deploying a test environment, instantiating the model and executing a test. According to the method, an accurate non-formalized test specification description method is adopted, automatic identification and analysis of an automatic tool are facilitated, and ambiguity caused by understanding is avoided. The constructed route interlocking equipment formal model can improve the development efficiency of interlocking software and reduce the maintenance cost.

Description

Technical Field

[0001] The present invention relates to the field of rail transit, and in particular to a method for testing an approach interlocking relationship, an electronic device, and a readable storage medium. Background Art

[0002] In the rail transit signal system, the computer interlocking system has a complex route interlocking relationship, including the important interlocking relationship between the route (referred to as Route) and the signal (referred to as Signal), the route and the turnout (referred to as Switch), and the route and the section (referred to as CI block). The route contains a variety of signal equipment, and there is a mutual constraint relationship between these signal equipment. Any change in the state of any signal equipment in the route will affect the change of the interlocking state of the route, including the failure of the route locking state, the loss of the route signal state, the incomplete route locking state, the change of the route direction, the establishment of the route occupation state, etc. The change of the route interlocking state will further affect the functional safety and correctness of other signal subsystems that interface with the computer interlocking system.

[0003] At the same time, with the widespread application of computer interlocking systems in urban rail transit, the interlocking relationship of the approach has become more complicated due to the design and layout of line equipment such as flood gates (FDG), platform screen doors (PSD), emergency stop buttons (ESP), staff protection switches (SPKS), and protection sections (OVERLAP) in subway lines. The approach interlocking relationship needs to consider the interlocking relationship between the approach and FDG, the approach and PSD, the approach and SPKS, the approach and ESP, and the approach and OVERLAP. Whether all the interlocking relationships of the approach are correctly described in the demand stage, and whether they are correctly understood and implemented by developers in the design stage and the test stage, needs to be guaranteed through a large number of testing processes. In particular, when the approach contains multiple interlocking relationships, it is necessary to perform interlocking relationship traversal tests on each type of device object, each device object, and each device object state attribute and the approach state corresponding to each interlocking relationship.

[0004] Assume: there are s interlocking relationships in the route, n equipment types included in the route, m equipment objects of each type, t equipment status attributes in the route, and x interlocking states of the route.

[0005] The basic number of times that all interlocking relationships and interlocking states of the route need to be tested is: s·n·m·t·x.

[0006] In addition to considering the interlocking relationship of the equipment objects in the route that affects the route status, it is also necessary to ensure that the equipment objects outside the route have no effect on the route interlocking relationship. The number of equipment outside the route is y times that of equipment inside the route. If a complete traversal test of the signal equipment in the entire station is to be achieved, the number of tests executed will increase exponentially at the level of y.

[0007] In previous testing activities, the test requirements of the interlocking system were obtained manually based on the interlocking system requirements, user requirements and industry standards, and test cases were constructed. The identification and implementation of test cases were all done manually. During the test case production process, it was easy for human factors such as personnel qualifications and inconsistent understanding of requirements to lead to incomplete identification of test requirements. In addition, the test execution process used the equivalence test method and manual testing, which could not meet the requirements of repeated testing during iterative testing. In addition, during the manual equivalence test, the impact of the unique change of the route interlocking object on the route status could not be fully tested, and traversal testing could not be performed.

[0008] Such a large amount of manual testing is time-consuming and laborious, and repetitive testing operations are prone to fatigue and human errors. Therefore, it is very necessary to design test models that can be tested automatically and perform automatic testing. In particular, when it comes to traversal testing involving the number of devices and device states, a set of rigorous mathematical methods is required to ensure 100% coverage of the test state space. Summary of the invention

[0009] The purpose of the present invention is to overcome the defects of the above-mentioned prior art and to provide a formal traversal test method for the test requirements of the route interlocking relationship, so as to quickly realize the automated test of the route interlocking relationship and ensure the correctness of the route interlocking relationship and the iterative execution of the test model. Through the precise description of the test requirements, the omission of the test scenarios is avoided and the integrity of the test is ensured. The formal description of the test specification is conducive to the parsing and execution of the tool. By tracking and traversing the state attributes of the equipment objects in the route, it is ensured that the implementation of the route interlocking relationship meets the test requirements in each cycle of the computer interlocking system.

[0010] The present invention provides a method for testing an approach interlocking relationship, comprising the following steps:

[0011] S1. Identify and abstract the interlocking relationship of the access in the interlocking system, including defining the interlocking relationship of the access and the protocol of the interlocking device;

[0012] S2. Formal modeling of route interlocking relationship specifications and route interlocking equipment;

[0013] S3. Deploy the test environment, instantiate the model and execute the test.

[0014] Furthermore, the step S1 includes the following contents:

[0015] S11. Analyze route functions and application scenarios, and modularize application scenarios;

[0016] S12, identifying the type of route interlocking equipment in the route interlocking relationship;

[0017] S13, analyzing the logical status information associated with the route interlocking device;

[0018] S14. Define the protocols of the approach interlocking relationship and interlocking equipment in accordance with the prescribed protocol format.

[0019] Furthermore, step S2 includes the following contents:

[0020] S21. Establishing the access interlocking equipment model;

[0021] S22, establishing a test protocol model for route interlocking relationship and route interlocking equipment;

[0022] S23. Establish mirror matching rules between the route interlocking relationship specification model, the interlocking device model and the test object.

[0023] Furthermore, step S3 includes the following contents:

[0024] Deploy the test tool to the test environment, import the object under test, the interlocking device model, the test specification model, and the mirror matching rule in step S2 into the test tool, and perform a syntax satisfiability check.

[0025] Furthermore, the step S2 is to perform formal modeling based on the PiSPEC formal language.

[0026] Furthermore, the satisfiability check in step S3 includes:

[0027] S31, parsing the model in step S2 based on PiSPEC grammar rules;

[0028] S32. Check the matching correctness between the variable information in the measured data and the model, including:

[0029] S321, according to the mirror matching rule in step S2, instantiate the test specification model and interlocking device model in step S2 to generate an approach interlocking relationship test set and an approach device object set;

[0030] S322: Execute the test cases in the interlocking relationship test set, traverse and execute the finally obtained logic formula, and obtain the test results of all interlocking relationship test sets.

[0031] Furthermore, the application scenarios included in step S1 include: application scenarios of mutual constraints between routes and switches, routes and signals, routes and sections, routes and flood prevention doors, routes and shielding doors, routes and emergency stop buttons, routes and staff protection switches, and routes and protection sections.

[0032] Furthermore, the types of interlocking equipment in step S1 include: approach, signal, switch, section, flood prevention door, shield door, staff protection switch and protection section.

[0033] In addition, the present invention also proposes an electronic device, including a processor and a memory, wherein a computer program is stored in the memory, and when the computer program is executed by the processor, the method described is implemented.

[0034] In addition, the present invention also provides a readable storage medium, in which a computer program is stored. When the computer program is executed by a processor, the method described is implemented.

[0035] The formalized specification description method and route interlocking relationship test method described in this scheme stipulate the unified rules for the requirement description of route interlocking relationship. In the requirement description, the equipment objects in the route interlocking relationship are cross-cut as much as possible, and the route components are decomposed with the route as the unit. The features of each component unit are extracted to generate a requirement tree that can be automatically recognized by the computer. According to the requirement tree, the device object model of the route component unit and its characteristic elements is established with PiSPEC; and according to the mutual constraint relationship of the route interlocking relationship of the characteristic elements, a test specification model with the route as the main body is constructed. The correctness test of the route interlocking relationship of the object under test is realized by checking the satisfiability of the object under test and the test specification model. The test specification is described with mathematical technical methods, and the changes of the test object are tracked in each cycle to ensure 100% coverage of the test state space. BRIEF DESCRIPTION OF THE DRAWINGS

[0036] Figure 1 It is a flow chart of the testing method of the present invention;

[0037] Figure 2 is a structural diagram of the testing method of the present invention;

[0038] Figure 3 It is the interlocking relationship diagram of the approach and signal equipment;

[0039] Figure 4 It is the route interlocking relationship in the station instance;

[0040] Figure 5 Description of the process of modeling the test specification for the route interlocking relationship. DETAILED DESCRIPTION

[0041] The following is a further detailed description of a route interlocking relationship testing method, electronic device, and readable storage medium proposed in the present invention in combination with the accompanying drawings and specific embodiments. According to the following description, the advantages and features of the present invention will be clearer. It should be noted that the accompanying drawings are in a very simplified form and use non-precise proportions, which are only used to conveniently and clearly assist in explaining the purpose of the embodiments of the present invention. In order to make the purposes, features and advantages of the present invention more obvious and easy to understand, please refer to the accompanying drawings. It should be noted that the structures, proportions, sizes, etc. illustrated in the drawings of this specification are only used to match the contents disclosed in the specification for people familiar with this technology to understand and read, and are not used to limit the limiting conditions for the implementation of the present invention, so they have no technical substantive significance. Any structural modification, change in proportional relationship or adjustment of size, without affecting the effects that the present invention can produce and the purposes that can be achieved, should still fall within the scope of the technical content disclosed by the present invention.

[0042] like Figure 1 , 2 As shown, a method for testing the interlocking relationship of an approach proposed by the present invention comprises the following steps:

[0043] S1. Identify and abstract the route interlocking relationship in the interlocking system, including defining the protocols that describe the route interlocking relationship and route interlocking equipment.

[0044] S11. Analyze the route functions and application scenarios, and modularize the application scenarios; the application scenarios include the mutual constraints between the route and the turnout, the route and the signal, the route and the section, the route and the flood prevention door, the route and the shield door, the route and the emergency stop button, the route and the staff protection switch, and the route and the protection section;

[0045] S12. Identify the types of interlocking equipment, including approaches, signals, switches, sections, flood control doors, shield doors, staff protection switches and protection sections; Figure 2 Describes the types of interlocking devices involved in the route interlocking relationship.

[0046] S13. Analyze the logical state information associated with the interlocking device; distinguish the general characteristic information and individual characteristic information of the interlocking device. Describe all characteristic information according to the prescribed rules, use "{}" as the information package file for describing the characteristic information, all characteristic information is included in the information package file, and each characteristic variable information ends with ";", for example:

[0047] Device Type {

[0048] A. Input variables: interface variables that are input from external devices and affect the state of the approach interlocking, including the physical idle state information from the trackside device CI_BLOCK, the state information indicating the SWITCH position, the signal mode information from the zone controller (ZC), etc.

[0049] B. Output variables: variables that need to be output to the external system after the route interlocking system calculates, such as route direction information sent to ZC, route locking status sent to ATS, etc.;

[0050] C. Internal variables: Intermediate process variables generated by executing logical operations of route interlocking relationships according to input information in route interlocking relationships, which do not need to be output;

[0051] D. Relationship attributes: It is a description of the association between two or more interlocking objects, including the starting signal of the route and the inner section of the route, which are used to describe the relationship between the route and the interlocking object signal and section respectively;

[0052] }

[0053] The above steps S11 to S13 form the route interlocking relationship equipment object specification.

[0054] S14. Define the protocols that describe the approach interlocking relationships and interlocking devices in accordance with the established format.

[0055] According to the route interlocking relationship defined in S11, identify the constraint relationship of the route interlocking device on the route state one by one. According to the logical state of the route interlocking device defined in S13, analyze the constraint relationship and potential impact of each logical state on the route interlocking state. According to the full state space variable definition method, define the impact on the route state when the logical state of each route object is true; define the impact on the route state when the logical state of the route object is false. The route interlocking test specification description format includes:

[0056] 1) In the process of specification description, the logical noun terms appearing are described in bold style, such as Signal, Route;

[0057] 2) In the process of describing the specification, the logical states that appear are described in italics, such as clear and blocked;

[0058] 3) When describing the interlocking object model, if all device models or logic state names are multiple strings, the strings are connected with underscores "_", such as route_open, cbtc_mode;

[0059] 4) When describing the object model, the package names of all devices are defined in uppercase letters and in bold style, such as SWITCH;

[0060] 5) During the specification description process, for the device state, if the device state is only in two states (either A or B, and the states of A and B are mutually exclusive), the context of the device state described is unified and only one state is used to represent it. For example, for the unlocked state of a segment, if released is used to describe the unlocked state of the segment, then not_released should be used to describe the locked state of the segment. Released and locked should not be used to define the unlocking and locking of a segment;

[0061] 6) The device status described in the interlocking object model, the default parameter value is 1 for the current device status. If the device status is valid when the parameter value is 0, the parameter value status needs to be additionally described. For example, for the lock parameter SJ of the section, if the section lock is described, SJ=0 needs to be defined, and the corresponding parameter SJ cannot be written directly;

[0062] 7) If the specification requirement describes the state from rising edge (0→1) to state continuation (1 is continuously 1), and the interlocking relationship of the rising edge has commonality with the check conditions of the state continuation, then the state continuation stage describes all the check conditions;

[0063] 8) When describing the relationship attributes of interlocking objects, the subject of the relationship should be the package of the device itself;

[0064] S2. Formal modeling of the equipment types and the relationships between the equipment in the route interlocking relationship is performed according to the specification.

[0065] S21. Establishing the access interlocking equipment model;

[0066] Based on the PiSPEC formal language, a station signal equipment object model oriented to route objects is established, including route model (ROUTE), signal machine model (SIGNAL), switch model (SWITCH), section small model (CI_BLOCK), flood control door model (FDG), SPKS model (SPKS), shield door model (PSD) ESP model (ESP), OVERLAP model (OV). Each interlocking equipment model is classified and defined according to the individual characteristics and common feature information defined in step S13.

[0067] S22, establish a test protocol model for route interlocking relationship and interlocking equipment;

[0068] The PiSPEC formal language is used to establish the test specification model of the route interlocking relationship and route interlocking equipment. Keywords such as ALL, wait, and foreach are used to define the state change information of each test object in each cycle of the interlocking object, which is used to track the system state changes during the execution of the test specification to ensure that the test covers each cycle of state operation and each interlocking object. Among them, ALL is used to define the traversal execution rules of all routes and all route interlocking objects; wait is used to set the execution rules of each cycle of the route interlocking relationship logic operation, and foreach is used to define the traversal execution relationship of each device in the route.

[0069] S23. Establish mirror matching rules between the route interlocking relationship specification model, the interlocking device model and the test object.

[0070] The configuration model associates the variables in S11 and S12 in this step with the test specification model state, automatically identifies the information in the test object, and serves as the input for the automatic test of the route interlocking relationship.

[0071] S3. Deploy the test environment, instantiate the model and execute the test.

[0072] The step S3 includes the following contents:

[0073] S31, parsing the model in step S2 based on PiSPEC grammar rules;

[0074] S32. Check the matching correctness between the variable information in the measured data and the model, including:

[0075] S321, according to the mirror matching rule in step S2, instantiate the test specification model and interlocking device model in step S2 to generate an approach interlocking relationship test set and an approach device object set;

[0076] S322: Execute the test cases in the interlocking relationship test set, traverse and execute the finally obtained logic formula, and obtain the test results of all interlocking relationship test sets.

[0077] by Figure 4 The station example in the figure illustrates the abstraction of route interlocking relationship, formal description of requirements and modeling process. Figure 4 The interlocking equipment included in the station yard are:

[0078] ● Route type: R1 indicates the path between signal S1 and signal S2; R2 indicates the path between signal S1 and signal S7;

[0079] Signal type: S1, S2, S3, etc.

[0080] ·Turnout type: P1, P4, etc.;

[0081] Segment type: T1, T2, T4, etc.

[0082] Flood-proof door type: FDG1, etc.

[0083] Emergency stop button type: ESP1, etc.

[0084] ·Shielded door type: PSD1, etc.

[0085] · Type of staff protection switch: SPKS, etc.;

[0086] Protection zone type: S3-OV1, etc.

[0087] If the above route interlocking devices have overlapping or covering relationships with the route, the interlocking relationship between the route and the above interlocking devices is defined as input in the test requirements;

[0088] Identify the individual characteristics of the interlocking relationship components of the approach. This process simultaneously defines the relationship between the characteristic elements and the test object. The interlocking relationship includes:

[0089] ·Route: Starting from the signal, the route includes sections, route lock status (JLSBZT), route open status (JLKFZT), route direction (JLTD), route requisition status (JLZYZT), etc.

[0090] Signal: route start, route end, signal open without checking downstream OVERLAP, signal filament status (1DJ-DI), blocking status (FSAJ), signal train permission status (LXJ), signal guidance status (YXJ), signal mode information (DDJ), train detention status (KCJ), route start establishment request (LRC), route end establishment request (LXS), etc.

[0091] ·Turnout: turnout within route, turnout protection, blocking status (PFSAJ), turnout positioning detection status (DBJ-DI), turnout reverse detection status (FBJ-DI), turnout positioning operation request (DCCL), turnout positioning operation status (DCJ), turnout positioning operation control (DCJ-SBO), etc.;

[0092] · Section: the first section on the inside of the route, the first section on the outside of the route, the blocking status (FSAJ), the section idle detection (DGJ-DI), the section physical status (DGJ), the section logical status (DGJATP), the section locking status (SJ), etc.;

[0093] FDG: access-related FDG, FDG door open and locked status detection (FDG-DI), flood door closing request detection (FDGCR-DI), flood door closing request (FDQQJ), flood door closing authorization (FDGCA), etc.

[0094] ●PSD: route-associated PSD, PSD door opening and locking status detection (PDKJ-DI), PSD bypass status detection (PDBPJ-DI), PSD status (PDKJ), PSD door opening control (KMJ-SBO), PSD door closing control (GMJ-SBO), etc.;

[0095] ESP: route association ESP, association outbound signal, association inbound signal, ESP activation status detection (ESP-DI), ESP bypass status detection (QTAJ-DI), ESP status (ESP), etc.

[0096] SPKS: route association with SPKS, SPKS activation status detection (SPKS-DI), SPKS status (SPKS), SPKS indicator light control (SK-SBO), etc.

[0097] OVERLAP: route-related OVERLAP, OVERLAP establishment status (OLSET), OVERLAP locking status (OVSJ), OVERLAP requisition status (OVCFJC), OVERLAP unlocking status (ROBMOV), OVERLAP signal, OVERLAP inside, etc.

[0098] Define the regulations according to the rules. For example, routes, signals, switches, etc. are defined according to the following rules.

[0099] Access:

[0100] ROUTE{

[0101] begin_at; / / Starting from the signal

[0102] route_locking_status; / / Route locking status

[0103] route_open_check_status; / / Route open status

[0104] route_direction; / / Route direction status

[0105] route_claim_status; / / Route claim status

[0106] …

[0107] };

[0108] Signal:

[0109] SIGNAL{

[0110] train_signal_attribute; / / Start of train route

[0111] option_signal_aspect_announce_downstream_signal; / / Signal is open without checking the status of downstream signal machine

[0112] signal_hold_on; / / car hold

[0113] lxj_input_output_consistency; / / Signal machine drive consistency

[0114] cbtc_mode; / / Signal mode

[0115] sigal_permissive_filament; / / Signal filament status

[0116] …

[0117] };

[0118] Turnout:

[0119] SWITCH{

[0120] in_route; / / included in the route

[0121] route_required_position; / / The position required by the route

[0122] switch_detection_position; / / Route detection position

[0123] …

[0124] }

[0125] Segment Type:

[0126] CI_BLOCK{

[0127] track_inroute; / / included in the route

[0128] not_sdd_blocking; / / segment blocking

[0129] logically_clear_elapsed; / / segment logically idle

[0130] …

[0131] };

[0132] Define the requirements for testing the interlocking relationship of the route, such as the section within the route is idle, the switch position is correct, the hostile conditions are met, and the route allows the open signal.

[0133] The individual characteristics of the route elements and the test requirements are modeled using PisPEC. The test requirement modeling process is as follows: Figure 5 As shown in the figure, the test specification model of the route open state includes:

[0134] ① Determine whether the route is a train route;

[0135] ②Pre-process each train route, input route establishment request and lock the route;

[0136] ③ Determine what types of route interlocking objects exist in the route (including signals, switches, sections, FDG, etc.); identify the types of equipment objects that are not related to the route;

[0137] ④ Preprocessing of route interlocking object characteristics: pre-judge the individual characteristic status of each device in each type of interlocking object in the currently tested route, and determine whether each individual characteristic affects the current route; simultaneously identify the device type unrelated to the currently tested route and its route status-related attributes (the characteristics that affect the route status are defined as key characteristics);

[0138] ⑤ Preset the characteristic attributes that affect the state of the measured route, set the preset state, set the tracking cycle, and set the expected value;

[0139] ⑥ Determine whether the route status meets expectations after traversing the tested route steps ③, ④, and ⑤, and give the test results.

[0140] After the above steps, the formal model and the object under test can be tested according to the test tool. Thanks to the design of the test model, it is easy to implement traversal testing and model reuse, reducing the complexity and workload of test case design. The interlocking relationship test method described in this article has been applied to multiple rail transit line interlocking systems, which can effectively improve system testing efficiency and interlocking system data quality, and prevent system data design problems from escaping to the site. At the same time, the test requirements method described in this solution is conducive to the automatic identification of requirements parsing tools, providing a unified requirement template for automatic modeling and verification of requirements, improving the quality of requirement descriptions, and providing standards for requirement descriptions.

[0141] This embodiment further provides an electronic device, including a processor and a memory, wherein a computer program is stored in the memory, and when the computer program is executed by the processor, the method described above is implemented.

[0142] This embodiment further provides a readable storage medium, in which a computer program is stored. When the computer program is executed by a processor, the method described above is implemented.

[0143] Compared with the prior art, the present invention has the following beneficial effects:

[0144] 1. The present invention provides an accurate informal test specification description method, which takes the logical state of the path interlocking relationship as the object and describes the test specification requirement tree with unified rules, effectively avoiding inconsistencies and ambiguities in requirement acquisition and understanding, and facilitates automatic recognition and parsing by automated tools.

[0145] 2. Based on the formal language PiSPEC, the interlocking relationship of the route and the equipment objects pointed to by the route relationship are horizontally modeled and designed. The mathematical description method test specification and the use of wait, foreach, and ALL syntax keywords minimize the complexity of the model, reduce the number of model loops in the process of implementing traversal testing, and use the minimum model to achieve equipment traversal and coverage of all cycles.

[0146] 3. The constructed formal model of route interlocking equipment can be applied to the testing of national railway and subway application business fields of rail transit computer interlocking system, and can also be applied to the formal verification process of safety requirements of safety-critical systems in the same field. The testing and verification process of safety data can reuse the same set of basic equipment models. After any development process (verification or testing) is established, the established object model does not need to be rebuilt. Verification or testing can be carried out directly according to the data structure defined by the object model, which is conducive to improving the development efficiency of interlocking software and reducing maintenance costs.

[0147] 4. The above method provides a traversal test of the route interlocking relationship and interlocking status. In addition to considering the impact of the equipment objects within the route, it also considers that the equipment objects outside the route have no impact on the route relationship, which ensures the correctness of the design and implementation of the route interlocking relationship from a technical point of view. The formal design method greatly reduces the cycles in the test process and greatly shortens the test time.

[0148] Although the content of the present invention has been described in detail through the above preferred embodiments, it should be appreciated that the above description should not be considered as a limitation of the present invention. After reading the above content, it will be apparent to those skilled in the art that various modifications and substitutions of the present invention will occur. Therefore, the protection scope of the present invention should be limited by the appended claims.

Claims

1. A method for testing route interlocking relationship, characterized in that: The following steps are involved: S1. Identify and abstract the interlocking relationship of the access in the interlocking system, including defining the interlocking relationship of the access and the protocol of the interlocking device; S2. Formal modeling of route interlocking relationship specifications and route interlocking equipment; S3. Deploy the test environment, instantiate the model and execute the test.

2. The route interlocking relationship testing method according to claim 1, characterized in that: The step S1 includes the following contents: S11. Analyze route functions and application scenarios, and modularize application scenarios; S12, identifying the type of route interlocking equipment in the route interlocking relationship; S13, analyzing the logical status information associated with the route interlocking device; S14. Define the protocols of the approach interlocking relationship and interlocking equipment in accordance with the prescribed protocol format.

3. The route interlocking relationship testing method according to claim 1, characterized in that: The step S2 includes the following contents: S21. Establishing the access interlocking equipment model; S22, establishing a test protocol model for route interlocking relationship and route interlocking equipment; S23. Establish mirror matching rules between the route interlocking relationship specification model, the interlocking device model and the test object.

4. The route interlocking relationship testing method according to claim 3, characterized in that: The step S3 includes the following contents: Deploy the test tool to the test environment, import the object under test, the interlocking device model, the test specification model, and the mirror matching rule in step S2 into the test tool, and perform a syntax satisfiability check.

5. The route interlocking relationship testing method according to claim 4, characterized in that: The step S2 is to perform formal modeling based on the PiSPEC formal language.

6. The route interlocking relationship testing method according to claim 5, characterized in that: The satisfiability check in step S3 includes: S31, parsing the model in step S2 based on PiSPEC grammar rules; S32. Check the matching correctness between the variable information in the measured data and the model, including: S321, according to the mirror matching rule in step S2, instantiate the test specification model and interlocking device model in step S2 to generate an approach interlocking relationship test set and an approach device object set; S322: Execute the test cases in the interlocking relationship test set, traverse and execute the finally obtained logic formula, and obtain the test results of all interlocking relationship test sets.

7. The route interlocking relationship testing method according to claim 1, characterized in that: The application scenarios included in step S1 include: application scenarios of mutual constraints between routes and switches, routes and signals, routes and sections, routes and flood prevention doors, routes and shielding doors, routes and emergency stop buttons, routes and staff protection switches, and routes and protection sections.

8. The route interlocking relationship testing method according to claim 1, characterized in that: The types of interlocking equipment in step S1 include: approach, signal, turnout, section, flood prevention door, shield door, staff protection switch and protection section.

9. An electronic device, characterized in that: The method comprises a processor and a memory, wherein a computer program is stored in the memory, and when the computer program is executed by the processor, the method according to any one of claims 1 to 8 is implemented.

10. A readable storage medium, characterized in that: The readable storage medium stores a computer program, and when the computer program is executed by a processor, the method according to any one of claims 1 to 8 is implemented.

Images