CN115892146A - Automatic test method for interactive code bits of interlocking system and external system interface - Google Patents
Automatic test method for interactive code bits of interlocking system and external system interface Download PDFInfo
- Publication number
- CN115892146A CN115892146A CN202211451795.9A CN202211451795A CN115892146A CN 115892146 A CN115892146 A CN 115892146A CN 202211451795 A CN202211451795 A CN 202211451795A CN 115892146 A CN115892146 A CN 115892146A
- Authority
- CN
- China
- Prior art keywords
- interface
- route
- station
- variable
- test
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Classifications
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
- Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
- Y02P90/02—Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS]
Landscapes
- Train Traffic Observation, Control, And Security (AREA)
Abstract
The invention provides an automatic test method of code bits of an interface of an interlocking system and an external system, which comprises the steps of obtaining access and signal machine information of the interface of the interlocking system and the external system and code bit information interacted between the interlocking system and the external system through an interface information table; executing simulation on a general use case of a test scene written by a formal language through automatic test software, traversing a test object of the station, and generating an instantiated use case according to the general use case and station yard data; assigning values to input code bits of the interlocking system, and automatically calculating by automatic test software according to an interlocking rule of the interlocking system to obtain a calculated value of output code bits; and the automatic test software executes consistency comparison and judges whether the output code bits of the interlocking system and the external system interface meet expectations or not. The invention can improve the testing efficiency and the coverage rate of the testing object, reduce the manual testing time and avoid manual omission.
Description
Technical Field
The invention relates to the field of system test, in particular to an automatic test method for interactive code bits of an interlocking system and an external system interface.
Background
The interlock system (CI) is the guarantee of safe operation of the train in the station, is an important subsystem of the train control system, and can complete a series of functions such as automatic external input acquisition, interlock logic operation, output of control instructions of external equipment and the like. The interlocking system has more interfaces with external systems, such as an interface between the interlocking system and a train control center (namely CI-TCC) and an interface between the interlocking system and a radio block center (namely CI-RBC), and the correctness of information interaction between the interfaces directly influences the driving safety. Therefore, the testing of the CI-TCC and the CI-RBC interface code bits is always an important link of the interlocking test, but an automatic testing technology aiming at the items is lacked at present.
Disclosure of Invention
The invention provides an automatic test method for interactive code bits of an interlocking system and an external system interface, which can respectively test interactive code bit information between CI-TCC interfaces and CI-RBC interfaces and improve the test efficiency.
In order to achieve the aim, the technical scheme of the invention is to provide an automatic testing method for code bits of interfaces of an interlocking system and an external system, which comprises the steps of obtaining access and annunciator information of the interfaces of the interlocking system and the external system and code bit information interacted between the interlocking system and the external system through an interface information table;
executing simulation on a general use case of a test scene compiled by a formal language through automatic test software, traversing a test object of a station, and generating an instantiated use case according to the general use case and station yard data;
assigning the input code bits of the interlocking system, and automatically calculating by automatic test software according to the interlocking rule of the interlocking system to obtain the calculated values of the output code bits;
and the automatic test software executes consistency comparison and judges whether the output code bits of the interface of the interlocking system and the external system meet expectations.
Optionally, the external system, including a train control center TCC;
when the automatic test method is used for automatically testing the interface code bits of the interlocking system and the train control center, reading in an interface information table of the interlocking system and the train control center, and acquiring a station basic information file, a station field basic information file and other external interface files;
acquiring an access name and a direction port signal machine name of a column control center interface and code bit information interacted between the interlocking system and the column control center through an interface information table of the interlocking system and the column control center; the code bit information comprises code bits acquired by the interlocking system from the column control center and code bits sent to the column control center by the interlocking system;
the station basic information file comprises an interlocking table, a local station signal machine, a turnout, basic attributes of a section and direction port blocking information;
the station yard basic information file comprises the topological connection relation of the station and all the equipment attribute information of the station;
the external interface file comprises an interlocking system and a trackside interface information code bit table, an interlocking system and a radio block center interface information table, and an adjacent station interlocking system interface information code bit table.
Optionally, the general use cases which can be identified by the automatic test software and are written in the formal programming language include test cases corresponding to the test scenes of the column control center;
the test case comprises the scenes of the establishment of an access, the opening of a signal, different signals displayed in the opening state, normal unlocking, manual unlocking of the access and section/signal machine/turnout fault; under different scenes, in the test case, setting an initial value for an input parameter to simulate command issuing operation, and setting waiting time for executing an interlocking rule; and setting a corresponding expected value of the interface variable of the train control center as a reference value for consistency comparison.
Optionally, consistency comparison is performed through automatic test software, whether output code bits sent to the train control center by the interlocking system meet expectations or not is judged, a test passing result is given when the output code bits are consistent with the expectations, and a test case failure result is given when the output code bits are not consistent with the expectations;
when consistency comparison is performed, the method comprises the following steps: checking whether the TCC variable change of the route/equipment to be tested is in accordance with expectation, whether TCC variables of other unrelated routes/equipment at the station are not affected, and whether RBC variable states of unrelated routes at the station are not affected; wherein RBC refers to the radio block center.
Optionally, the consistency comparison performed comprises:
traversing each route with the column control center interface, and performing the following check when executing the test case corresponding to the test scene of the column control center:
judging whether the state change of TCC variables related to the route meets the expectation;
judging whether the state change of TCC variables of all other unrelated routes which are not the route is not influenced;
judging whether the state change of RBC variables of all irrelevant routes is not influenced;
and traversing each route which is not connected with the interface of the column control center, and carrying out the following check when executing the test case corresponding to the test scene of the column control center:
judging whether the state change of TCC variables related to the route is not influenced;
judging whether the state change of TCC variables of all irrelevant routes is not influenced;
and judging whether the state change of the RBC variables of all the irrelevant routes is not influenced.
Optionally, the external system comprises a radio block center RBC;
when the automatic test method is used for automatically testing the interface code bits of the interlocking system and the wireless block center, reading in an interface information table of the interlocking system and the wireless block center, and acquiring a station basic information file, a station field basic information file and other external interface files;
acquiring the route name of the interface of the wireless block center and the code bit information interacted between the interlocking system and the wireless block center for the route adopting the RBC1, RBC2 or RBC3 protocol mode interface through an interface information table of the interlocking system and the wireless block center; the code bit information comprises code bits sent to a wireless block center by an interlocking system; for the access route adopting the RBC2 protocol interface, the name of an authorized point signal machine is also obtained through the interface information table;
the station basic information file comprises an interlocking table, a signal machine of the station, a turnout, basic attributes of a section and direction port blocking information;
the station yard basic information file comprises the topological connection relation of the station and all the equipment attribute information of the station;
the external interface file comprises an interlocking system and a trackside interface information code bit table, an interlocking system and a train control center interface information table, and an adjacent station interlocking system interface information code bit table.
Optionally, the general use cases which can be identified by the automatic test software and written in the formal programming language include the test cases corresponding to the test scenario of the radio block center;
the interface mode adopts a test case suitable for the RBC2 protocol, and comprises the scenes of test route establishment, signal failure closure, normal route unlocking, manual unlocking and section/signal machine/turnout equipment failure;
the interface mode adopts a test case applicable to an RBC1 or RBC3 protocol, and the included scenes can be used for testing the change of related variables when the RBC route states are mutually converted; the relationship of RBC route state conversion comprises: "not activate- > normal", "not activate- > guide", "not available- > not activate", "using- > not activate", "normal- > using", "guide- > passing", "not available- > normal", "not available- > guide";
under different scenes, simulating command issuing operation by setting an initial value for an input parameter in the test case, and setting waiting time for executing an interlocking rule; and setting a corresponding RBC interface variable expected value as a reference value for consistency comparison.
Optionally, consistency comparison is performed through automatic test software, whether output code bits sent to a radio block center by the interlocking system meet expectations or not is judged, a test passing result is given when the output code bits are consistent with the expectations, and a test case failure result is given when the output code bits are inconsistent with the expectations;
when consistency comparison is performed, the method comprises the following steps: checking whether the RBC variable change state of the route/authorization point to be tested is in accordance with the expectation, whether the RBC variable state of other irrelevant route/authorization points of the station is not influenced, and whether the TCC variable state of irrelevant routes of the station is not influenced; wherein TCC refers to the train control center.
Optionally, when the RBC2 protocol is adopted in the interface mode, and the authorization point has a corresponding sub-route, the consistency comparison performed includes:
traversing each route of the RBC2 protocol and the radio block center interface, executing a test case suitable for the RBC2 protocol, and carrying out the following checks:
judging whether the state of the relevant variable of the signal authorization point corresponding to the access path meets the expectation;
judging whether the relevant variable states of signal authorization points corresponding to all other irrelevant routes which are not the route are not influenced;
judging whether TCC variables, RBC1 variable states and RBC3 variable states of all irrelevant routes are not influenced;
and traversing each route which does not interface with the RBC2 protocol, executing the test case applicable to the RBC2 protocol, and performing the following checks:
judging whether the states of the relevant variables of the signal authorization points corresponding to the routes are not influenced;
judging whether the relevant variable states of the signal authorization points corresponding to all irrelevant routes are not influenced;
judging whether TCC variables, RBC1 variable states and RBC3 variable states of all irrelevant routes are not influenced;
when the RBC2 protocol is adopted in the interface mode and the authorization points have no corresponding sub-access, the consistency comparison is executed, namely, the RBC2 interface test case is executed by traversing the relevant signal authorization points, and whether the variable state change of the relevant RBC2 signal authorization points is in accordance with the expectation is judged;
wherein, the route without RBC2 protocol interface includes the route without interface with the radio block center, and also includes the route adopting other protocols except RBC2 protocol to interface with the radio block center;
the irrelevant route refers to a route that needs to be excluded when an executed test case has an influence on an RBC variable/TCC variable of any route.
Optionally, when the interface mode adopts an RBC1 or RBC3 protocol, the consistency comparison performed includes:
traversing each route of the RBC1 or RBC3 protocol and the radio block center interface, executing a test case applicable to the RBC1 or RBC3 protocol, and performing the following checks:
judging whether the RBC1 variable state and the RBC3 variable state change related to the route are in accordance with expectations or not;
judging whether the RBC1 variable state and the RBC3 variable state change of all other irrelevant routes which are not the route are not influenced;
and judging whether state changes of TCC variables and RBC2 variables of all irrelevant routes are not influenced.
Traversing each route which does not use the RBC1 or RBC3 protocol interface, executing the test case suitable for the RBC1 or RBC3 protocol, and carrying out the following checks:
judging whether the RBC1 variable state and the RBC3 variable state change related to the route is not influenced;
judging whether the RBC1 variable state and the RBC3 variable state change of all irrelevant routes are not influenced;
judging whether state changes of TCC variables and RBC2 variables of all irrelevant routes are not influenced;
wherein, the route without RBC1 or RBC3 protocol interface includes the route without interface with the radio block center, and also includes the route adopting other protocols except RBC1, RBC3 protocol to interface with the radio block center;
the irrelevant route refers to that when an executed test case has an influence on an RBC variable/TCC variable of any route, the route needs to be eliminated.
Compared with the prior art, the technical scheme of the application has the following beneficial effects:
(1) The method adopts a formal automatic test script, and the general test script and the station data are independent, so that the test case has good universality, and the test script can be applied to test when the interlocking data input requirement provided by the invention is met;
(2) The general test case has good expansibility, and supports the test cases of adding code bits of other external interfaces such as the CI and adjacent station CI;
(3) The test case is executed in a traversal mode, 100% coverage is achieved on the test object, time and labor are saved compared with a manual test mode, and the test object is prevented from being omitted due to manual negligence;
(4) In the test script, besides the state change of the RBC/TCC variables related to the test scene, the test script also increases the check that the irrelevant variables are not influenced, and the test variable range is more comprehensive.
Drawings
FIG. 1 is a flow chart of the method for automatically testing CI-TCC interface code bits of the present invention;
fig. 2 is a flow chart of the automatic testing method of CI-RBC interface code bits of the present invention.
Detailed Description
The invention is described in detail below with reference to the figures and the specific embodiments.
The invention provides an automatic test method for code bits of interfaces of an interlocking system and an external system, which is mainly used for testing code bit information interacted between CI-TCC interfaces and CI-RBC interfaces aiming at two safety interfaces CI-TCC and CI-RBC of a state railway interlocking system. TCC, RBC represent two external systems: train control center, radio block center.
In the test method, the access of the CI and TCC or RBC interfaces of the interlocking system, the information of the signaler and the information of the code bit of corresponding interaction are obtained by using a CI-TCC or CI-RBC interface information table; adopting a universal use case of a test scene written by a formal language; executing simulation through automatic test software, traversing test objects of the station, and generating instantiation cases according to the general cases and station yard data; and performing consistency comparison through automatic test software to judge whether the output code bits of the CI-TCC or the CI-RBC meet the expectation. In the test case, besides the test of the relevant interface variables, the test case also needs to traverse and check the irrelevant interface variables of the whole station, so that the test surface is more complete. The test objects of the interlock system are, among others, station equipment (traffic signal/switch/segment) and routes.
The automatic test software supports reading and identifying test case scripts modeled by a formal language and written by the formal language. A test case is a set of input-output relationships that include inputs, execution conditions, and outputs, and is used to test whether a program meets a particular requirement. The main realization method of the test case is that the input code bits of the interlocking system are assigned, automatic test software carries out automatic calculation according to the interlocking rule of the interlocking system and can provide the calculation result of any code bit, whether the calculation value of the required code bit is consistent with the expected result or not is compared, if so, a test passing result is given, and if not, a test case failure result is given; the automatic test software provides functions of visualizing a station diagram interface, debugging instantiated cases, tracking variables and the like.
The automatic test software can traverse all test objects according to the general use cases of the test scene to generate corresponding instantiation test cases and can support debugging and variable tracking of the instantiation cases. The universal use case is a test script written by a formal language, supports foreach to traverse a test object, supports wait/reduce to set delay time, supports expect to set an expected result, and has good readability.
The interlocking rule is a set of BOOL expressions, and related BOOL variables comprise input variables, intermediate variables and output variables. The variable value is a pool type value. The values of the intermediate variable and the output variable can be calculated according to the input variable value and the BOOL expression.
As shown in FIG. 1, the automatic test method for CI-TCC interface code bits in the invention specifically comprises the following steps:
step S101: reading in a CI-TCC interface information table, and acquiring a station basic information file, a station field basic information file and other external interface files;
step S102: acquiring an access name and a direction port signal machine name of a TCC interface and code bit information interacted correspondingly by using a CI-TCC interface information table;
step S103: adopting a formal programming language to compile a general use case of a TCC test scene which can be identified by automatic test software;
step S104: executing simulation through automatic test software, traversing a test object of the station, and generating an instantiation case according to a general case and station yard data;
step S105: and executing consistency comparison by automatic test software to judge whether the output code bit of CI- > TCC is in accordance with expectation.
The CI-TCC interface information table comprises information of access, direction port signal machines, shunting danger signals, disaster alarms and the like interacted between CI and TCC, and code bit information interacted between CI and TCC, including code bits acquired by CI from TCC and code bits sent to TCC by CI.
The station basic information file comprises equipment information conditions of a station, such as an interlocking list, a signal machine of the station, a turnout, basic attributes of a section, direction port blocking information and the like.
The station yard basic information file comprises the topological connection relation of the station and all the equipment attribute information of the station.
The external interface file comprises an interface information code bit table of CI and trackside, an interface information table of CI and RBC, and an interface information code bit table of the CI and the CI of the adjacent station.
The test cases corresponding to the TCC test scene comprise the establishment of an access, signal opening (different signal display), normal unlocking, manual unlocking of the access and section/annunciator/turnout fault scenes. Under different scenes, simulating command issuing operation by setting an initial value for an input parameter in the test case, and setting waiting time for executing an interlocking rule; the corresponding TCC interface variable expected value is also set as a reference value for consistency comparison.
The consistency comparison includes checking whether the TCC variable of the route/device to be tested is in expectation, whether the TCC variables of other unrelated routes/devices at the station are not affected, and whether the RBC variable states of unrelated routes at the station are not affected.
In particular, the consistency comparison of CI- > TCC interfaces needs to be checked as follows:
(1) Traversing each route with the TCC interface, and executing a TCC interface test case:
(1) judging whether the state change of TCC variables related to the route meets the expectation;
(2) judging whether the state change of TCC variables of all other unrelated routes which are not the route is not influenced;
(3) and judging whether the state change of the RBC variables of all the irrelevant routes is not influenced.
(2) Traversing each route which is not connected with the TCC interface, and executing a TCC interface test case:
(1) judging whether the state change of TCC variables related to the route is not influenced;
(2) judging whether the state change of TCC variables of all irrelevant routes is not influenced;
(3) and judging whether the state change of the RBC variables of all the irrelevant routes is not influenced.
The irrelevant route refers to that when an executed test case has an influence on an RBC variable/TCC variable of a certain route, the route needs to be eliminated.
As shown in fig. 2, the method for automatically testing CI-RBC interface code bits of the present invention specifically comprises the following steps:
step S201: reading in a CI-RBC interface information table, and acquiring a station basic information file, a station field basic information file and other external interface files;
step S202: obtaining a route name and an authorized point signal machine name of an RBC interface and code bit information interacted correspondingly by using a CI-RBC interface information table; wherein, the name of the authorization point signal machine is only obtained in the RBC protocol two-interface mode;
step S203: compiling a general use case of an RBC test scene which can be identified by automatic test software by adopting a formal programming language;
step S204: executing simulation through automatic test software, traversing a test object of the station, and generating an instantiation case according to a general case and station yard data;
step S205: and executing consistency comparison through automatic test software, and judging whether the output code bit of the CI- > RBC accords with expectation.
The CI-RBC interface information table comprises an interactive information table between RBC protocol I, protocol II and protocol III (RBC 1, RBC2 and RBC 3) and CI, and comprises route information of RBC1/RBC3 mode interfaces, route information of RBC2 mode interfaces, and signal authorization point information and disaster area information corresponding to each route. Specifically, the route name of the RBC1 or RBC3 mode interface and the corresponding interactive code bit information can be obtained through the CI-RBC interface information table; or, the route name, authorization point information (authorization point signal name), and corresponding interactive code bit information of the RBC2 mode interface may be acquired. The code bit information comprises relevant code bits sent to the RBC by the CI, and mainly comprises relevant code bits of access/signal authorization points.
The station basic information file comprises equipment information conditions of a station, such as an interlocking list, a signal machine of the station, a turnout, basic attributes of a section, direction port blocking information and the like.
The station base information file comprises the topological connection relation of the station and all the equipment attribute information of the station.
The external interface file comprises an interface information code bit table of CI and trackside, an interface information table of CI and TCC, and an interface information code bit table of the CI and the CI of the adjacent station.
When the RBC2 protocol is adopted in the interface mode, the test case corresponding to the RBC test scene comprises test route establishment, signal failure closing, normal route normal unlocking, manual unlocking and fault scenes of a section/signal machine/turnout device; when the interface mode adopts RBC1 or RBC3 protocol, testing the part 1 of the CTCS-3 level train control system Radio Block Center (RBC) interface specification: the RBC-CBI interface specification specifies that when RBC route states are converted, the related variables change, wherein the RBC route state conversion relationship includes: "not activated-," not available-, "not activated-," used-, "normal-," led-, "passing", "not available-," normal ", and" not available-, "all" meaning of each route state is referred to as "CTCS-3 level train control system Radio Block Center (RBC) interface specification section 1: RBC-CBI interface document.
Under different scenes, setting an initial value for an input parameter in a test case to simulate command issuing operation, and setting waiting time for executing an interlocking rule; and setting a corresponding RBC interface variable expected value as a reference value for consistency comparison.
The consistency comparison includes checking whether the RBC variable change state of the route/authorization point to be tested is in accordance with the expectation, whether the RBC variable state of other irrelevant route/authorization points of the station is not affected, and whether the TCC variable state of the irrelevant route of the station is not affected.
Specifically, consistency comparison of CI- > RBC (protocol two mode) interfaces requires checking as follows:
the authorization point has corresponding sub-routes:
(1) Traversing each route which is connected with the RBC2 protocol interface, and executing the test case applicable to the RBC2 protocol:
(1) judging whether the state of the relevant variable of the signal authorization point corresponding to the access path meets the expectation;
(2) judging whether the relevant variable states of signal authorization points corresponding to all other irrelevant routes which are not the route are not influenced;
(3) and judging whether the states of TCC variables and RBC1/RBC3 variables of all irrelevant routes are not influenced.
(2) Traversing each route which is not interfaced with the RBC2 protocol, and executing the applicable test case of the RBC2 protocol:
(1) judging whether the states of the relevant variables of the signal authorization points corresponding to the routes are not influenced;
(2) judging whether the states of the relevant variables of the signal authorization points corresponding to all the irrelevant access paths are not influenced;
(3) and judging whether the states of TCC variables and RBC1/RBC3 variables of all irrelevant routes are not influenced. The routes not interfaced with the RBC2 protocol include routes not interfaced with the RBC and routes interfaced with the RBC via other protocols (except the RBC2 protocol).
The authorization point has no corresponding sub-route:
and traversing the related signal authorization points, executing a test case applicable to the RBC2 protocol, and judging whether the variable state change of the related RBC2 signal authorization points accords with the expectation.
Specifically, for consistency comparison of CI- > RBC (protocol one/protocol three mode) interfaces, the following check is required:
(1) Traversing each route with RBC1 or RBC3 protocol interface, executing RBC1/RBC3 interface test case:
(1) judging whether the RBC1 and RBC3 variable state change related to the route accords with the expectation;
(2) judging whether the state change of RBC1 and RBC3 variables of all other irrelevant routes which are not the route is not influenced;
(3) and judging whether state changes of TCC variables and RBC2 variables of all irrelevant routes are not influenced.
(2) Traversing each route which is not connected with the RBC1 or RBC3 protocol interface, and executing the RBC1/RBC3 interface test case:
(1) judging whether the state change of RBC1 and RBC3 variables related to the route is not influenced;
(2) judging whether the state change of RBC1 and RBC3 variables of all irrelevant routes is not influenced;
(3) and judging whether the state changes of the TCC variable and the RBC2 variable of all the irrelevant routes are not influenced.
The routes not interfaced with the RBC1 or RBC3 protocol include routes not interfaced with the RBC and routes interfaced with the RBC with other protocols (except the RBC1/RBC3 protocol). The irrelevant route refers to that when an executed test case has an influence on an RBC variable/TCC variable of a certain route, the route needs to be eliminated.
In summary, the invention provides an automatic test method for interface code bits of an interlock system and an external system, wherein a formal test script is adopted to compile a test case, and an automatic test tool is utilized, so that the automatic test of the information code bits between interfaces is facilitated, the test efficiency of the interlock system and the interface code bits between the external system and the coverage rate of a test object are effectively improved, the manual test time is reduced, and manual omission is avoided.
While the present invention has been described in detail with reference to the preferred embodiments, it should be understood that the above description should not be taken as limiting the invention. Various modifications and alterations to this invention will become apparent to those skilled in the art upon reading the foregoing description. Accordingly, the scope of the invention should be determined from the following claims.
Claims (10)
1. An automatic test method for interface code bits of an interlocking system and an external system is characterized in that,
acquiring access and signal information of an interface between the interlocking system and an external system and code bit information interacted between the interlocking system and the external system through an interface information table;
executing simulation on a general use case of a test scene written by a formal language through automatic test software, traversing a test object of the station, and generating an instantiated use case according to the general use case and station yard data;
assigning values to input code bits of the interlocking system, and automatically calculating by automatic test software according to an interlocking rule of the interlocking system to obtain a calculated value of output code bits;
and the automatic test software executes consistency comparison and judges whether the output code bits of the interface of the interlocking system and the external system meet expectations.
2. The automated testing method of claim 1,
the external system comprises a train control center TCC;
when the automatic test method is used for automatically testing the interface code bits of the interlocking system and the train control center, reading in an interface information table of the interlocking system and the train control center, and acquiring a station basic information file, a station field basic information file and other external interface files;
acquiring an access name and a direction port signal machine name of a column control center interface and code bit information interacted between the interlocking system and the column control center through an interface information table of the interlocking system and the column control center; the code bit information comprises code bits acquired by the interlocking system from the column control center and code bits sent to the column control center by the interlocking system;
the station basic information file comprises an interlocking table, a local station signal machine, a turnout, basic attributes of a section and direction port blocking information;
the station yard basic information file comprises the topological connection relation of the station and all the equipment attribute information of the station;
the external interface file comprises an interlocking system and a trackside interface information code bit table, an interlocking system and a radio block center interface information table, and an adjacent station interlocking system interface information code bit table.
3. The automated testing method of claim 2,
the general use cases which can be identified by automatic test software and are compiled by a formal programming language comprise test cases corresponding to test scenes of the column control center;
the test case comprises the scenes of the establishment of an access, the opening of a signal, different signals displayed in the opening state, normal unlocking, manual unlocking of the access and section/signal machine/turnout fault; under different scenes, in the test case, setting an initial value for an input parameter, simulating a command, issuing an operation, setting a waiting time and executing an interlocking rule; and setting a corresponding expected value of the interface variable of the train control center as a reference value for consistency comparison.
4. The automated testing method of claim 3,
executing consistency comparison through automatic test software, judging whether output code bits sent to a train control center by an interlocking system meet expectations or not, giving a test passing result when the output code bits are consistent with the expectations, and giving a test case failing result when the output code bits are inconsistent with the expectations;
when consistency comparison is performed, the method comprises the following steps: checking whether the change of the TCC variable of the route/equipment to be tested accords with the expectation, whether the TCC variables of other unrelated routes/equipment at the station are not influenced, and whether the variable states of RBC of unrelated routes at the station are not influenced; wherein RBC refers to the radio block center.
5. The automated testing method of claim 4,
the performed consistency comparison includes:
traversing each route with the column control center interface, and performing the following check when executing the test case corresponding to the test scene of the column control center:
judging whether the state change of TCC variables related to the route accords with the expectation;
judging whether the state change of TCC variables of all other unrelated routes which are not the route is not influenced;
judging whether the state change of RBC variables of all irrelevant routes is not influenced;
and traversing each route which is not connected with the interface of the column control center, and carrying out the following check when executing the test case corresponding to the test scene of the column control center:
judging whether the state change of TCC variables related to the route is not influenced;
judging whether the state change of TCC variables of all irrelevant routes is not influenced;
and judging whether the state change of the RBC variables of all the irrelevant routes is not influenced.
6. The automated testing method of claim 1,
the external system comprises a Radio Block Center (RBC);
when the automatic test method is used for automatically testing the interface code bits of the interlocking system and the wireless block center, reading in an interface information table of the interlocking system and the wireless block center, and acquiring a station basic information file, a station field basic information file and other external interface files;
acquiring the route name of the interface of the wireless block center and the code bit information interacted between the interlocking system and the wireless block center for the route adopting the RBC1, RBC2 or RBC3 protocol mode interface through an interface information table of the interlocking system and the wireless block center; the code bit information comprises code bits sent to a wireless block center by an interlocking system; for the access route adopting the RBC2 protocol interface, the name of an authorized point signal machine is also obtained through the interface information table;
the station basic information file comprises an interlocking table, a local station signal machine, a turnout, basic attributes of a section and direction port blocking information;
the station yard basic information file comprises the topological connection relation of the station and all the equipment attribute information of the station;
the external interface file comprises an interlocking system and a trackside interface information code bit table, an interlocking system and a train control center interface information table, and an adjacent station interlocking system interface information code bit table.
7. The automated testing method of claim 6,
the general use cases which can be identified by automatic test software and are compiled by a formal programming language comprise test cases corresponding to a test scene of a radio block center;
the interface mode adopts a test case applicable to the RBC2 protocol, and comprises the scenes of test route establishment, signal fault closing, normal route unlocking, manual unlocking and section/annunciator/turnout equipment fault;
the interface mode adopts a test case suitable for the RBC1 or RBC3 protocol, and the included scenes can be used for testing the change of related variables when the RBC route states are mutually converted; the RBC route state conversion relationship comprises: "not activate- > normal", "not activate- > guide", "not available- > not activate", "using- > not activate", "normal- > using", "guide- > passing", "not available- > normal", "not available- > guide";
under different scenes, setting an initial value for an input parameter in a test case to simulate command issuing operation, and setting waiting time for executing an interlocking rule; and setting a corresponding RBC interface variable expected value as a reference value for consistency comparison.
8. The automated testing method of claim 7,
executing consistency comparison through automatic test software, judging whether an output code bit sent to a wireless block center by an interlock system meets expectations or not, giving a test passing result when the output code bit is consistent with the expectations, and giving a test case failing result when the output code bit is inconsistent with the expectations;
when consistency comparison is performed, the method comprises the following steps: checking whether the RBC variable change state of the route/authorization point to be tested is in accordance with the expectation, whether the RBC variable state of other irrelevant route/authorization points of the station is not influenced, and whether the TCC variable state of irrelevant routes of the station is not influenced; wherein TCC refers to the train control center.
9. The automated testing method of claim 8,
when the RBC2 protocol is adopted in the interface mode and the authorization point has a corresponding sub-route, the consistency comparison executed comprises the following steps:
traversing each route of the RBC2 protocol and the radio block center interface, executing a test case suitable for the RBC2 protocol, and carrying out the following checks:
judging whether the state of the relevant variable of the signal authorization point corresponding to the access path meets the expectation;
judging whether the relevant variable states of signal authorization points corresponding to all other irrelevant routes which are not the route are not influenced;
judging whether TCC variables, RBC1 variable states and RBC3 variable states of all irrelevant routes are not influenced;
and traversing each route which does not use the RBC2 protocol interface, executing the test case which is suitable for the RBC2 protocol, and carrying out the following checks:
judging whether the states of the relevant variables of the signal authorization points corresponding to the routes are not influenced;
judging whether the relevant variable states of the signal authorization points corresponding to all irrelevant routes are not influenced;
judging whether TCC variables, RBC1 variable states and RBC3 variable states of all irrelevant routes are not influenced;
when the RBC2 protocol is adopted in the interface mode and the authorization points have no corresponding sub-access, the consistency comparison is executed, namely, the RBC2 interface test case is executed by traversing the relevant signal authorization points, and whether the variable state change of the relevant RBC2 signal authorization points is in accordance with the expectation is judged;
wherein, the route without RBC2 protocol interface includes the route without interface with the radio block center, and also includes the route adopting other protocols except RBC2 protocol to interface with the radio block center;
the irrelevant route refers to a route that needs to be excluded when an executed test case has an influence on an RBC variable/TCC variable of any route.
10. The automated testing method of claim 8,
when the interface mode adopts the RBC1 or RBC3 protocol, the consistency comparison executed includes:
traversing each route of the RBC1 or RBC3 protocol and the radio block center interface, executing a test case applicable to the RBC1 or RBC3 protocol, and performing the following checks:
judging whether the RBC1 variable state and the RBC3 variable state change related to the route are in accordance with expectations or not;
judging whether the RBC1 variable state and the RBC3 variable state change of all other irrelevant routes which are not the route are not influenced;
and judging whether the state changes of the TCC variable and the RBC2 variable of all the irrelevant routes are not influenced.
Traversing each route which does not use the RBC1 or RBC3 protocol interface, executing the test case which is suitable for the RBC1 or RBC3 protocol, and carrying out the following checks:
judging whether the RBC1 variable state and the RBC3 variable state change related to the route is not influenced;
judging whether the RBC1 variable state and the RBC3 variable state change of all irrelevant routes are not influenced;
judging whether state changes of TCC variables and RBC2 variables of all irrelevant routes are not influenced;
wherein, the route without RBC1 or RBC3 protocol interface includes the route without interface with the radio block center, and also includes the route adopting other protocols except RBC1 and RBC3 protocol to interface with the radio block center;
the irrelevant route refers to that when an executed test case has an influence on an RBC variable/TCC variable of any route, the route needs to be eliminated.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202211451795.9A CN115892146A (en) | 2022-11-18 | 2022-11-18 | Automatic test method for interactive code bits of interlocking system and external system interface |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202211451795.9A CN115892146A (en) | 2022-11-18 | 2022-11-18 | Automatic test method for interactive code bits of interlocking system and external system interface |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN115892146A true CN115892146A (en) | 2023-04-04 |
Family
ID=86477971
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202211451795.9A Pending CN115892146A (en) | 2022-11-18 | 2022-11-18 | Automatic test method for interactive code bits of interlocking system and external system interface |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN115892146A (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN116142253A (en) * | 2023-04-23 | 2023-05-23 | 卡斯柯信号(北京)有限公司 | Code bit table generation method and device |
-
2022
- 2022-11-18 CN CN202211451795.9A patent/CN115892146A/en active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN116142253A (en) * | 2023-04-23 | 2023-05-23 | 卡斯柯信号(北京)有限公司 | Code bit table generation method and device |
| CN116142253B (en) * | 2023-04-23 | 2023-08-01 | 卡斯柯信号(北京)有限公司 | Code bit table generation method and device |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7725303B2 (en) | Device and method for checking railway logical software engines for commanding plants, particularly station plants | |
| zu Hörste et al. | Modelling and simulation of train control systems using Petri nets | |
| CN112000557B (en) | Automatic testing device for rail transit signal system | |
| CN112765020A (en) | Automatic testing method of computer interlocking system | |
| CN112527683B (en) | Automatic interface test system for computer interlocking system and application | |
| CN109857087A (en) | A kind of urban rail zone controller system hardware is in ring test system | |
| CN115892146A (en) | Automatic test method for interactive code bits of interlocking system and external system interface | |
| CN112198815A (en) | Interlocking function simulation automatic test method and system | |
| Iliasov et al. | SafeCap domain language for reasoning about safety and capacity | |
| CN111016978A (en) | Method for realizing regional controller equipment test based on GoogleTest test framework | |
| Tsuji et al. | Prioritizing scenarios based on STAMP/STPA using statistical model checking | |
| Lin et al. | Functional safety verification of train control procedure in train-centric CBTC by colored petri net | |
| CN112306039B (en) | Debugging method and system for full-electronic interlocking system | |
| CN111766845B (en) | Test method, test system and test device for train control system signal equipment | |
| CN112416715A (en) | Computer interlocking performance test system based on operation scene | |
| CN114691488A (en) | Automatic testing system and method for interlocking system | |
| CN114706747A (en) | Automatic test system for TACS (train operation control System) | |
| Banci et al. | Some experiences on formal specification of railway interlocking systems using statecharts | |
| CN113836127A (en) | Data checking method applied to area controller | |
| CN112612704A (en) | Automatic testing method for interlocking software | |
| CN115167344B (en) | High-speed rail train control ground signal control equipment supervision test method, system and application | |
| Calame et al. | TTCN-3 testing of hoorn-kersenboogerd railway interlocking | |
| CN113268415B (en) | Automatic interlocking rule testing system and method based on test cases | |
| Bouwman | A model-based test platform for rail signalling systems | |
| Rao et al. | Safety-critical system modeling in model-based testing with hazard and operability analysis |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| REG | Reference to a national code |
Ref country code: HK Ref legal event code: DE Ref document number: 40084325 Country of ref document: HK |