Test-oriented platform wiring fault monitoring and early warning method and system

Abstract

The application discloses a test platform wiring fault monitoring and early warning method and system, and relates to the technical field of wiring monitoring. The method constructs a physical topology set, an allocation set and a demand set. The three set data sources are independent of each other, and the update of any set does not trigger the change of other sets. The verification direction is set as from the demand set to the physical topology set through the allocation set, and reverse correction is prohibited. The difference set of the demand set and the allocation set, the difference set of the allocation set and the physical topology set, and the difference set of the physical topology set and the allocation set are calculated. According to the empty set state of each difference set and whether there is a complete mapping path of the allocation set between the demand set and the physical topology set, a normal state, an abnormal state or an undeterminable state is output, and in the abnormal or undeterminable state, the elements in the non-empty difference set and the set name to which the elements belong are output as fault link positioning information.

Description

Technical Field

[0001] This invention relates to the field of wiring monitoring technology, specifically to a method and system for monitoring and early warning of wiring faults in test platforms. Background Technology

[0002] Existing test platforms typically use databases to store physical connection and interface mapping data for cabling management. This database is considered the sole reference for describing the cabling status by the system.

[0003] Existing technologies rely on port detection or link layer detection methods of electronic patch panels to automatically record and update the database; these detection technologies can only determine whether a cable is inserted into the port or whether the physical layer of the link is conductive; the detection technologies cannot perceive the correspondence between the signal identifiers recorded in the database and the actual signals transmitted by the physical cables.

[0004] Initial manual input errors or accumulated deviations in historical configurations may cause database records to deviate from physical reality; and this database will become the sole data source for all subsequent monitoring and early warning logic; existing configuration conflict detection and signal duplication identification rely on the contents of this database for judgment; therefore, any verification operation can only check whether the database is internally consistent.

[0005] The system consistently uses this database as a reference standard when performing fault detection; all auxiliary verification methods ultimately require comparing the measurement results with the historical values ​​in this database. This comparison process still implicitly references the database to be verified.

[0006] The aforementioned processing logic forms an unbreakable closed loop, meaning there is no independent verification channel between the database and physical reality; therefore, the system can never independently detect overall database deviations. This defect constitutes an inherent technical challenge in the field of wiring fault monitoring, resulting in a lack of effective detection methods in existing technologies when dealing with overall database offsets.

[0007] To address the aforementioned issues, this invention proposes a method and system for monitoring and warning of wiring faults in test platforms. Summary of the Invention

[0008] The purpose of this invention is to provide a method and system for monitoring and early warning of wiring faults in test platforms, so as to solve the problems raised in the prior art.

[0009] To achieve the above objectives, the present invention provides the following technical solution: A method for monitoring and early warning of wiring faults in test platforms, applied to the wiring system of test platforms, includes the following steps: S1. Construct a physical topology set, an allocation set, and a requirement set for the test platform wiring system. The data sources of the three sets are independent of each other, and an update to any set does not trigger changes to the other sets. S2. Set the verification direction to be from the demand set through the allocation set to the physical topology set. Prohibit the physical topology set from correcting the allocation set in reverse and prohibit the allocation set from correcting the demand set in reverse. S3. Calculate the difference between the demand set and the allocation set to obtain the first difference set that represents the anomaly of unallocated demand in the test platform; S4. Calculate the difference between the allocation set and the physical topology set to obtain the second difference set that characterizes the configuration without physical support anomaly in the test platform. S5. Calculate the difference between the physical topology set and the allocation set to obtain the third difference set that characterizes the physical connection redundancy anomaly in the test platform. S6. Output the test platform wiring fault monitoring and early warning status based on the first difference set, the second difference set, and the third difference set. When the first difference set, the second difference set, and the third difference set are all empty sets, output a normal status. When there is a non-empty difference set in the first difference set, the second difference set, and the third difference set, and there is a complete mapping path between the demand set and the physical topology set through the allocated set, output an abnormal status and output the elements in the non-empty difference set and the name of their respective sets as the test platform wiring fault link location information. When there is a non-empty difference set in the first difference set, the second difference set, and the third difference set, and there is no complete mapping path between the demand set and the physical topology set through the allocated set, output an undeterminable status and output the elements in the non-empty difference set and the name of their respective sets.

[0010] S1 further includes the following: The element structure of the physical topology set is a tuple containing a first port identifier and a second port identifier; The physical topology set is constructed through physical layer connectivity detection, which only confirms whether there is a conductive physical transmission medium between ports; The data source for the physical topology set is the physical layer probe circuit; The element structure of the allocation set is a tuple containing signal identifiers and port identifiers, and the allocation set is constructed through signal allocation records generated during the test task configuration phase; The data source for the allocation set is the test task configuration tool; The requirement set is structured as a triple containing a task identifier, a signal identifier, and a target port identifier. The requirement set is constructed using the test case definition file of the test task. The data source for the requirement set is the test case management system; Updates to any set are triggered independently by their respective data sources, without sending data synchronization signals to other sets or cascading to trigger automatic corrections in other sets.

[0011] S2 further includes the following: The verification direction is fixed as a one-way path from the demand set to the allocation set and then to the physical topology set; The elements in the requirement set serve as the starting point for verification, the elements in the allocation set serve as intermediate verification nodes, and the elements in the physical topology set serve as the end point for verification. It is prohibited to pass any characteristic of an element in the physical topology set back to the allocation set to modify the composition of the allocation set; It is prohibited to backpropagate any characteristic of an element in the allocation set to the demand set to modify the composition of the demand set; The data flow between the demand set, the allocation set, and the physical topology set is only allowed to be transmitted unidirectionally from the demand set to the allocation set to the physical topology set; data transmission in the opposite direction is completely cut off.

[0012] S3 further includes the following: Obtain each triplet element in the requirement set, wherein the triplet element contains a task identifier, a signal identifier, and a target port identifier; Extract the signal identifier and the target port identifier from the triplet elements, and use the signal identifier and the target port identifier to form a pair to be matched; Search the allocation set to see if there exists a tuple element that is exactly the same as the tuple to be matched; "Completely identical" means that the signal identifiers and port identifiers are identical; All triplet elements in the demand set that do not have a complete matching pair in the allocation set are assigned to the first difference set; The formula for calculating the first difference set is D1={r(s,p)|r∈R,(s,p)∉A}, Where R represents the demand set, A represents the allocation set, r represents any triple element in the demand set, s represents the signal identifier in the triple element, p represents the target port identifier in the triple element, and (s,p) represents the pair to be matched consisting of the signal identifier and the target port identifier.

[0013] S4 further includes the following: Retrieve each tuple element in the allocation set, wherein the tuple element contains a signal identifier and a port identifier; Extract the port identifier from the tuple element as the port identifier to be matched; traverse each tuple element in the physical topology set, where each tuple element in the physical topology set contains a first port identifier and a second port identifier; Check whether each tuple element of the physical topology set contains the port identifier to be matched; All binary elements in the allocation set that do not contain a binary element with its port identifier in the physical topology set are assigned to the second difference set. The formula for calculating the second difference set is D2={a(s,p)|a∈A, there is no t∈T such that t contains the port identifier p}. Where A represents the allocation set, T represents the physical topology set, a represents any binary element in the allocation set, s represents the signal identifier in the binary element, p represents the port identifier in the binary element, and t represents any binary element in the physical topology set.

[0014] S5 further includes the following: Obtain each binary element in the physical topology set, wherein the binary element contains a first port identifier and a second port identifier; Extract the first port identifier from the binary elements of the physical topology set as the first port identifier to be matched, and extract the second port identifier as the second port identifier to be matched; Traverse each tuple element in the allocation set, where each tuple element contains a signal identifier and a port identifier; Check whether the port identifier in each tuple element of the allocation set is equal to the first port identifier to be matched; Check whether the port identifier in each tuple element of the allocation set is equal to the second port identifier to be matched; All tuples in the physical topology set that do not contain a tuple element with its first port identifier and do not contain a tuple element with its second port identifier are assigned to the third difference set. The formula for calculating the third difference set is D3={t(p1,p2)|t∈T, there is no a∈A such that the port identifier of a is equal to p1, and there is no a∈A such that the port identifier of a is equal to p2}; Where T represents the physical topology set, A represents the allocation set, t represents any binary element in the physical topology set, p1 represents the first port identifier in the binary element, p2 represents the second port identifier in the binary element, and a represents any binary element in the allocation set.

[0015] The determination of whether there is a complete mapping path between the demand set and the physical topology set via the allocation set in S6 further includes the following: The complete mapping path means that every triplet element in the demand set can find a completely matching binary element in the allocation set, and every binary element in the allocation set can find a binary element containing its port identifier in the physical topology set. When the first difference set is empty and the second difference set is empty, it is determined that there is a complete mapping path between the demand set and the physical topology set through the allocation set. At this time, the empty or non-empty state of the third difference set does not affect the determination result. When the first difference set is not empty or the second difference set is not empty, it is determined that there is no complete mapping path between the demand set and the physical topology set through the allocation set.

[0016] The output of normal state, abnormal state, and undeterminable state in S6 further includes the following: When the first difference set, the second difference set, and the third difference set are all empty sets, the system outputs a normal state. When the third difference set is not empty and both the first and second difference sets are empty, the system outputs an abnormal status and outputs each element in the third difference set along with the name of the set to which that element belongs. When the first difference set is not empty or the second difference set is not empty, the system outputs an undecidable state and outputs each element in all non-empty difference sets along with the name of the set to which that element belongs.

[0017] A wiring fault monitoring and early warning system for test platforms includes the following units: The data acquisition unit is used to independently collect raw data from various data sources and construct physical topology sets, allocation sets, and demand sets based on the raw data. The maintenance of the three sets is independent of each other. The set operation unit is used to perform the difference operation between the demand set and the allocation set, the difference operation between the allocation set and the physical topology set, and the difference operation between the physical topology set and the allocation set. The state determination unit is used to output the normal state, abnormal state, or undeterminable state based on the empty set state of each difference set and whether there is a complete mapping path between the demand set and the physical topology set through the allocated set. The output unit is used to output the determination status and the elements in the non-empty difference set, as well as the name of the set to which they belong.

[0018] Compared with the prior art, the beneficial effects of the present invention are: 1. This invention constructs three independent data sets—a physical topology set, an allocation set, and a demand set—and establishes a fixed verification direction from the demand set through the allocation set to the physical topology set. Simultaneously, it prohibits the physical topology set from correcting the allocation set in reverse, and the allocation set from correcting the demand set in reverse. This enables the system to obtain independent verification evidence independent of the content of a single database. Existing technologies store physical connectivity relationships, signal allocation relationships, and test demand relationships in the same database. All verification operations can only check whether the database is internally consistent, ultimately forming a self-referential closed loop where there is no independent verification channel between the database and physical reality. This invention completely separates these three types of information at the set level. Updates to any set are independently triggered by its respective data source and do not cascade to affect other sets. Data flow is only allowed to be transmitted unidirectionally in a fixed direction; data transmission in the opposite direction is completely cut off. This eliminates the basis for the formation of a self-referential verification closed loop at the logical architecture level, enabling the system to detect overall deviations between the database and physical reality.

[0019] 2. This invention introduces a three-state output mechanism: normal state, abnormal state, and undecidable state. When there is no complete mapping path between the demand set and the physical topology set via the assigned set, the system outputs an undecidable state and outputs the elements in the non-empty difference set along with the names of their respective sets. Existing technologies only output normal and abnormal states, forcibly normalizing to a normal or abnormal conclusion when evidence is insufficient. Essentially, this is a direct output of the database self-consistency judgment result, failing to distinguish between two distinct situations: database internal consistency but deviation from physical reality, and internal contradictions within the database. This invention, by determining that a complete mapping path does not exist when the first or second difference set is non-empty, and the system lacks sufficient evidence to draw a normal or abnormal conclusion, proactively outputs an undecidable state and provides the location of the breakpoint, avoiding potential misjudgments that might result from forced determination. It also clearly indicates the specific boundaries requiring manual verification for operators. Attached Figure Description

[0020] Figure 1 This is a flowchart of the method for monitoring and early warning of wiring faults on a test platform according to the present invention. Detailed Implementation

[0021] The technical solutions of the embodiments of the present invention will be clearly and completely described below with reference to the accompanying drawings. Obviously, the described embodiments are only some embodiments of the present invention, and not all embodiments. Based on the embodiments of the present invention, all other embodiments obtained by those skilled in the art without creative effort are within the scope of protection of the present invention.

[0022] Example: Figure 1 As shown, the present invention provides a technical solution. A method for monitoring and early warning of wiring faults in test platforms, applied to the wiring system of test platforms, includes the following steps: S1. Construct a physical topology set, an allocation set, and a requirement set for the test platform wiring system. The data sources of the three sets are independent of each other, and an update to any set does not trigger changes to the other sets. S2. Set the verification direction to be from the demand set through the allocation set to the physical topology set. Prohibit the physical topology set from correcting the allocation set in reverse and prohibit the allocation set from correcting the demand set in reverse. S3. Calculate the difference between the demand set and the allocation set to obtain the first difference set that represents the anomaly of unallocated demand in the test platform; S4. Calculate the difference between the allocation set and the physical topology set to obtain the second difference set that characterizes the configuration without physical support anomaly in the test platform. S5. Calculate the difference between the physical topology set and the allocation set to obtain the third difference set that characterizes the physical connection redundancy anomaly in the test platform. S6. Output the test platform wiring fault monitoring and early warning status based on the first difference set, the second difference set, and the third difference set. When the first difference set, the second difference set, and the third difference set are all empty sets, output a normal status. When there is a non-empty difference set in the first difference set, the second difference set, and the third difference set, and there is a complete mapping path between the demand set and the physical topology set through the allocated set, output an abnormal status and output the elements in the non-empty difference set and the name of their respective sets as the test platform wiring fault link location information. When there is a non-empty difference set in the first difference set, the second difference set, and the third difference set, and there is no complete mapping path between the demand set and the physical topology set through the allocated set, output an undeterminable status and output the elements in the non-empty difference set and the name of their respective sets.

[0023] S1 further includes the following: The element structure of the physical topology set is a tuple containing a first port identifier and a second port identifier; The physical topology set is constructed through physical layer connectivity detection, which only confirms whether there is a conductive physical transmission medium between ports; The data source for the physical topology set is the physical layer probe circuit; The element structure of the allocation set is a tuple containing signal identifiers and port identifiers, and the allocation set is constructed through signal allocation records generated during the test task configuration phase; The data source for the allocation set is the test task configuration tool; The requirement set is structured as a triple containing a task identifier, a signal identifier, and a target port identifier. The requirement set is constructed using the test case definition file of the test task. The data source for the requirement set is the test case management system; Updates to any set are triggered independently by their respective data sources, without sending data synchronization signals to other sets or cascading to trigger automatic corrections in other sets.

[0024] S2 further includes the following: The verification direction is fixed as a one-way path from the demand set to the allocation set and then to the physical topology set; The elements in the requirement set serve as the starting point for verification, the elements in the allocation set serve as intermediate verification nodes, and the elements in the physical topology set serve as the end point for verification. It is prohibited to pass any characteristic of an element in the physical topology set back to the allocation set to modify the composition of the allocation set; It is prohibited to backpropagate any characteristic of an element in the allocation set to the demand set to modify the composition of the demand set; The data flow between the demand set, the allocation set, and the physical topology set is only allowed to be transmitted unidirectionally from the demand set to the allocation set to the physical topology set; data transmission in the opposite direction is completely cut off.

[0025] S3 further includes the following: Obtain each triplet element in the requirement set, wherein the triplet element contains a task identifier, a signal identifier, and a target port identifier; Extract the signal identifier and the target port identifier from the triplet elements, and use the signal identifier and the target port identifier to form a pair to be matched; Search the allocation set to see if there exists a tuple element that is exactly the same as the tuple to be matched; "Completely identical" means that the signal identifiers and port identifiers are identical; All triplet elements in the demand set that do not have a complete matching pair in the allocation set are assigned to the first difference set; The formula for calculating the first difference set is D1={r(s,p)|r∈R,(s,p)∉A}, Where R represents the demand set, A represents the allocation set, r represents any triple element in the demand set, s represents the signal identifier in the triple element, p represents the target port identifier in the triple element, and (s,p) represents the pair to be matched consisting of the signal identifier and the target port identifier.

[0026] For the first difference set, the operation principle is that each element in the demand set is a triplet structure, which includes the task identifier, signal identifier, and target port identifier; Each element in the allocation set is a binary tuple structure containing a signal identifier and a port identifier. The system extracts the signal identifier and the target port identifier from each triple element in the demand set and combines them into a pair to be matched. The system iterates through all tuple elements in the allocation set and checks whether there is a tuple element whose signal identifier and port identifier are completely identical to the tuple to be matched. If no such binary element exists in the allocation set, then the triple element of the requirement set is assigned to the first difference set; the purpose of this difference set is to characterize the missing signal mapping that the test task has explicitly required but the corresponding item is not configured in the allocation record. This design enables positive verification between the requirement layer and the allocation layer. Any requirement at the requirement layer that does not have a corresponding record at the allocation layer is identified as an unallocated requirement exception.

[0027] S4 further includes the following: Retrieve each tuple element in the allocation set, wherein the tuple element contains a signal identifier and a port identifier; Extract the port identifier from the tuple element as the port identifier to be matched; traverse each tuple element in the physical topology set, where each tuple element in the physical topology set contains a first port identifier and a second port identifier; Check whether each tuple element of the physical topology set contains the port identifier to be matched; All binary elements in the allocation set that do not contain a binary element with its port identifier in the physical topology set are assigned to the second difference set. The formula for calculating the second difference set is D2={a(s,p)|a∈A, there is no t∈T such that t contains the port identifier p}. Where A represents the allocation set, T represents the physical topology set, a represents any binary element in the allocation set, s represents the signal identifier in the binary element, p represents the port identifier in the binary element, and t represents any binary element in the physical topology set.

[0028] For the second difference set, the operation principle is to assign each element in the set as a binary tuple structure, which includes signal identifier and port identifier; Each element in the physical topology set is a binary tuple structure containing a first port identifier and a second port identifier; the system extracts the port identifier from each binary tuple element in the allocation set and uses that port identifier as the port identifier to be matched; The system traverses all tuple elements in the physical topology set and checks whether there is a tuple element that contains the port identifier to be matched. "Contains" means that the port identifier to be matched is equal to the first port identifier or the second port identifier of the physical topology tuple. If there is no tuple element containing the port identifier in the physical topology set, then the tuple element of the allocation set is assigned to the second difference set. The purpose of this difference set is to characterize invalid configuration entries that have been assigned to a port but that port has no connectivity in the physical topology; This design enables positive verification between the allocation layer and the physical topology layer. Any configuration at the allocation layer that does not have a corresponding connected port in the physical topology is identified as an anomaly due to lack of physical support.

[0029] S5 further includes the following: Obtain each binary element in the physical topology set, wherein the binary element contains a first port identifier and a second port identifier; Extract the first port identifier from the binary elements of the physical topology set as the first port identifier to be matched, and extract the second port identifier as the second port identifier to be matched; Traverse each tuple element in the allocation set, where each tuple element contains a signal identifier and a port identifier; Check whether the port identifier in each tuple element of the allocation set is equal to the first port identifier to be matched; Check whether the port identifier in each tuple element of the allocation set is equal to the second port identifier to be matched; All tuples in the physical topology set that do not contain a tuple element with its first port identifier and do not contain a tuple element with its second port identifier are assigned to the third difference set. The formula for calculating the third difference set is D3={t(p1,p2)|t∈T, there is no a∈A such that the port identifier of a is equal to p1, and there is no a∈A such that the port identifier of a is equal to p2}; Where T represents the physical topology set, A represents the allocation set, t represents any binary element in the physical topology set, p1 represents the first port identifier in the binary element, p2 represents the second port identifier in the binary element, and a represents any binary element in the allocation set.

[0030] For the third difference set, the operation principle is that each element in the physical topology set is a binary tuple structure, containing the first port identifier and the second port identifier. Each element in the allocation set is a binary tuple structure containing a signal identifier and a port identifier. The system extracts the first port identifier and the second port identifier from each binary tuple element in the physical topology set, and uses them as the first port identifier to be matched and the second port identifier to be matched, respectively. The system iterates through all tuple elements in the allocation set, checking if there exists a tuple element that contains either the first or second port identifier to be matched. "Contains" means that the port identifier in the allocation set is equal to either the first or second port identifier to be matched. If there is neither a tuple element containing the first nor the second port identifier to be matched in the allocation set, then the tuple element of this physical topology set is assigned to the third difference set. The purpose of this difference set is to characterize redundant connection items in the physical topology that have connectivity relationships but no signals are assigned to the ports involved in the connectivity relationship; This design enables reverse redundancy verification between the physical topology layer and the allocation layer. Any physically existing connectivity relationship that does not have a corresponding signal definition at the allocation layer is identified as a physical connection redundancy anomaly.

[0031] The determination of whether there is a complete mapping path between the demand set and the physical topology set via the allocation set in S6 further includes the following: The complete mapping path means that every triplet element in the demand set can find a completely matching binary element in the allocation set, and every binary element in the allocation set can find a binary element containing its port identifier in the physical topology set. When the first difference set is empty and the second difference set is empty, it is determined that there is a complete mapping path between the demand set and the physical topology set through the allocation set. At this time, the empty or non-empty state of the third difference set does not affect the determination result. When the first difference set is not empty or the second difference set is not empty, it is determined that there is no complete mapping path between the demand set and the physical topology set through the allocation set.

[0032] The output of normal state, abnormal state, and undeterminable state in S6 further includes the following: When the first difference set, the second difference set, and the third difference set are all empty sets, the system outputs a normal state. When the third difference set is not empty and both the first and second difference sets are empty, the system outputs an abnormal status and outputs each element in the third difference set along with the name of the set to which that element belongs. When the first difference set is not empty or the second difference set is not empty, the system outputs an undecidable state and outputs each element in all non-empty difference sets along with the name of the set to which that element belongs.

[0033] A wiring fault monitoring and early warning system for test platforms includes the following units: The data acquisition unit is used to independently collect raw data from various data sources and construct physical topology sets, allocation sets, and demand sets based on the raw data. The maintenance of the three sets is independent of each other. The set operation unit is used to perform the difference operation between the demand set and the allocation set, the difference operation between the allocation set and the physical topology set, and the difference operation between the physical topology set and the allocation set. The state determination unit is used to output the normal state, abnormal state, or undeterminable state based on the empty set state of each difference set and whether there is a complete mapping path between the demand set and the physical topology set through the allocated set. The output unit is used to output the determination status and the elements in the non-empty difference set, as well as the name of the set to which they belong.

[0034] As a feasible embodiment, a test platform is configured with 8 physical ports, numbered from port 1 to port 8. The test platform is currently executing three test tasks: Task 1, Task 2, and Task 3.

[0035] The platform administrator scanned the connectivity of all ports using the physical layer detection circuit of the electronic patch panel. The detection circuit confirmed that there was a physical cable connection between port 1 and port 2, a physical cable connection between port 3 and port 4, a physical cable connection between port 5 and port 6, and a physical cable connection between port 7 and port 8.

[0036] The detection circuit records the above four sets of connectivity relationships as a physical topology set T. This set contains four binary elements: the combination of port 1 and port 2, the combination of port 3 and port 4, the combination of port 5 and port 6, and the combination of port 7 and port 8. The detection circuit only confirms whether there is a conductive physical transmission medium between the ports, and does not analyze any signal content carried on the physical transmission medium.

[0037] The test task configuration tool generates a signal allocation record during the configuration phase. This record allocates signal A to port 2, signal B to port 4, signal C to port 6, and signal D to port 8.

[0038] The configuration tool outputs the above four allocation records to allocation set A, which contains four binary elements: the combination of signal A and port 2, the combination of signal B and port 4, the combination of signal C and port 6, and the combination of signal D and port 8.

[0039] The test case management system provides three test case definition files for test tasks to be executed. The definition file for task 1 records that the task requires signal A to arrive at port 2, the definition file for task 2 records that the task requires signal B to arrive at port 4, and the definition file for task 3 records that the task requires signal C to arrive at port 5.

[0040] For each test task, the system extracts the task identifier, required signal identifier, and required target port identifier. These three pieces of information are combined into a triplet element. All three triplet elements together constitute the requirement set R. R contains the combination of task 1 with signal A and port 2, the combination of task 2 with signal B and port 4, and the combination of task 3 with signal C and port 5.

[0041] The data sources for the three sets mentioned above are completely independent of each other. The only data source for the physical topology set T is the output of the physical layer probe circuit; the only data source for the allocation set A is the output of the test task configuration tool; and the only data source for the requirement set R is the output of the test case management system.

[0042] The three sets are stored independently. Once any set is updated, it does not send any data synchronization signals to the other two sets, nor does it trigger automatic correction in the other sets. After the system completes the construction of the three sets, it enters the verification phase.

[0043] The system sets the verification direction as a unidirectional path from the demand set R through the allocation set A to the physical topology set T. In this path, all triples in the demand set R serve as the verification starting point, all binary elements in the allocation set A serve as intermediate verification nodes, and all binary elements in the physical topology set T serve as the verification endpoint.

[0044] The system enforces a hard constraint: it prohibits any feature in the physical topology set T from being transmitted back to the allocation set A to modify the composition of the allocation set A, and it also prohibits any feature in the allocation set A from being transmitted back to the demand set R to modify the composition of the demand set R. Data flow between the three sets is only allowed to be unidirectional, from the demand set R to the allocation set A to the physical topology set T; data transmission in the reverse direction is completely cut off by the system.

[0045] The system begins calculating the first difference set. The system obtains the first triplet element in the requirement set R, which is the combination of task 1, signal A, and port 2. From this triplet, signal A and port 2 are extracted to form the pair to be matched, A and 2. This pair to be matched finds a perfect match in the assignment set A.

[0046] The system continues to obtain the second triplet element in the demand set R, namely the combination of task 2, signal B, and port 4. It extracts signal B and port 4 to form the pair B and 4 to be matched, and finds a perfect match in the allocation set A.

[0047] The system continues to retrieve the third triplet element from the requirement set R, namely the combination of task 3, signal C, and port 5. It extracts signal C and port 5 to form the pair to be matched, C and 5. After traversing all pairs in the allocation set A, no pair with signal identifier C and port identifier 5 is found. Allocation set A only contains the pair of signal C and port 6, whose port identifier is 6, not 5. Therefore, this pair to be matched has no perfect match in the allocation set. The system assigns the triplet element of this requirement set, namely the combination of task 3, signal C, and port 5, to the first difference set D1, which contains one element.

[0048] The system continues to calculate the second difference set. The system obtains the first tuple element in the allocation set A, which is the combination of signal A and port 2. From this tuple, port 2 is extracted as the port identifier to be matched. The system finds that the combination of port 1 and 2 in the physical topology set T contains port 2. Therefore, this tuple is not assigned to the second difference set.

[0049] The system retrieves the second tuple element from allocation set A, which is the combination of signal B and port 4. Port 4 is extracted as the port identifier to be matched. The system finds that the combination of port 3 and 4 in T contains port 4, therefore this tuple is not assigned to the second difference set. The system retrieves the third tuple element from allocation set A, which is the combination of signal C and port 6. Port 6 is extracted as the port identifier to be matched. The system finds that the combination of port 5 and 6 in T contains port 6, therefore this tuple is not assigned to the second difference set.

[0050] The system retrieves the fourth tuple element from allocation set A, which is the combination of signal D and port 8. Port 8 is extracted as the port identifier to be matched. In T, the system finds that the combination of port 7 and 8 contains port 8; therefore, this tuple is also not included in the second difference set. After traversing all four tuple elements of allocation set A, the system finds no corresponding item in the physical topology set T that does not contain its port identifier; therefore, the second difference set D2 is empty.

[0051] The system continues calculating the third difference set. The system retrieves the first binary element in the physical topology set T, namely the combination of port 1 and port 2. Port 1 and port 2 are extracted. In the allocation set A, there exists a binary element containing signal A and port 2 that includes port 2. Therefore, at least one port in this physical topology binary element is covered by an allocation record, and this element is not included in the third difference set. The system retrieves the second binary element in the physical topology set T, namely the combination of port 3 and port 4. Port 3 and port 4 are extracted. In the allocation set A, there exists a binary element containing signal B and port 4 that includes port 4. Therefore, this element is not included in the third difference set.

[0052] The system retrieves the third pair of elements from the physical topology set T, namely the combination of port 5 and port 6. Ports 5 and 6 are extracted. Since a pair of signals C and port 6 exists in the allocation set A that includes port 6, this element is not included in the third difference set. The system then retrieves the fourth pair of elements from the physical topology set T, namely the combination of port 7 and port 8. Ports 7 and 8 are extracted. Since a pair of signals D and port 8 exists in the allocation set A that includes port 8, this element is not included in the third difference set.

[0053] After the system traverses all four binary elements of the physical topology set T, it finds no corresponding item in the allocation set A that contains neither its first port identifier nor its second port identifier. Therefore, the third difference set D3 is an empty set.

[0054] The system then obtains that the first difference set D1 contains a triplet consisting of task 3, signal C, and port 5; the second difference set D2 is empty; and the third difference set D3 is empty. The system determines that there exists a non-empty difference set in the first, second, and third difference sets, i.e., D1 is non-empty. The system further determines whether there exists a complete mapping path between the demand set R and the physical topology set T, via the allocation set A.

[0055] According to the system's preset judgment rules, a complete mapping path is considered to exist when both the first difference set and the second difference set are empty. Since the first difference set D1 is currently non-empty, the system determines that there is no complete mapping path between the demand set R and the physical topology set T via the allocation set A. Based on this judgment result, the system outputs an undecidable state and simultaneously outputs each element in all non-empty difference sets along with the name of the set to which that element belongs. Specifically, it outputs the element in the first difference set D1, namely the combination of task 3, signal C, and port 5, and the name of its corresponding set, i.e., the demand set R.

[0056] The output indicates that the system cannot currently confirm whether the correspondence between the demand layer and the physical layer is consistent because the mapping record from signal C to port 5 is missing in the allocation layer. The system does not have sufficient basis to make a normal or abnormal conclusion, and the operator needs to manually check the broken node.

[0057] To further demonstrate the system's output logic under abnormal conditions, a variant scenario on the same test platform is considered. In this variant scenario, the test task configuration tool assigns signal C to port 5 instead of port 6, while all other conditions remain exactly the same as the previous scenario.

[0058] At this point, allocation set A contains four pairs: signal A and port 2, signal B and port 4, signal C and port 5, and signal D and port 8. Demand set R still contains three triplets: task 1 and signal A and port 2, task 2 and signal B and port 4, and task 3 and signal C and port 5. The system performs the first difference calculation. Each of the three triplets in demand set R has a matching pair in allocation set A; therefore, D1 is an empty set. The system performs the second difference calculation. The pair of signal C and port 5 in allocation set A finds a combination of port 5 and 6 in the physical topology set T, which contains port 5. All other pairs have corresponding entries in T containing their port identifiers; therefore, D2 is an empty set.

[0059] The system performs the third difference calculation. In the physical topology set T, the combination of ports 7 and 8 has a corresponding item in the allocation set A, where signal D corresponds to port 8; the combination of ports 1 and 2 has a corresponding item in the allocation set A, where signal A corresponds to port 2; the combination of ports 3 and 4 has a corresponding item in the allocation set A, where signal B corresponds to port 4; and the combination of ports 5 and 6 has a corresponding item in the allocation set A, where signal C corresponds to port 5. All four physical topology pairs have at least one port covered by the allocation record, therefore D3 is an empty set.

[0060] The system obtained that D1, D2, and D3 are empty sets, and the difference sets of the three layers are all empty sets. The system outputs a normal state, indicating that the wiring configuration of the test platform is fully connected in the forward verification chain from the demand layer to the allocation layer to the physical topology layer.

[0061] To further demonstrate another scenario where the system outputs an undeterminable state, consider a variant scenario of this test platform. In this variant scenario, the physical layer probing circuit confirms that there is a physical cable connection between port 1 and port 2, a physical cable connection between port 3 and port 4, and a physical cable connection between port 7 and port 8, but there is no physical cable connection between port 5 and port 6.

[0062] The assignment records generated by the test task configuration tool contain three pairs: signal A with port 2, signal B with port 4, and signal C with port 6. The test case definition file contains three triplets: task 1 with signal A with port 2, task 2 with signal B with port 4, and task 3 with signal C with port 6. The system performs the first difference calculation, and all three triplets of the requirement set R have a matching pair in the assignment set A; therefore, D1 is an empty set.

[0063] The system performs the second difference calculation, and searches for a pair containing port 6 in the physical topology set T for the pair of signal C and port 6 in the allocation set A. There are only three sets of connectivity relationships in T: port 1 and 2, port 3 and 4, and port 7 and 8. There is no pair containing port 6. Therefore, the pair of signal C and port 6 is assigned to the second difference set D2.

[0064] The system performs the third difference calculation. The combination of ports 7 and 8 in the physical topology set T is searched for an allocation record containing either port 7 or port 8 in the allocation set A. Since there is no allocation record for signal D in the allocation set A, there is no pair containing either port 7 or port 8. The combination of ports 7 and 8 is assigned to the third difference set D3.

[0065] The system obtains that D1 is an empty set, D2 contains signal C and port 6, and D3 contains ports 7 and 8. The system determines that there exists a non-empty difference set in the first difference set, the second difference set, and the third difference set, i.e., D2 and D3 are both non-empty.

[0066] The system further determines whether a complete mapping path exists between the demand set R and the physical topology set T via the allocation set A. According to the determination rule, a complete mapping path does not exist if either the first difference set or the second difference set is not empty. Currently, D1 is an empty set, but D2 is not empty. Therefore, the system determines that there is no complete mapping path between the demand set R and the physical topology set T via the allocation set A. The system outputs an undecidable state and outputs each element in all non-empty difference sets along with the name of the set to which that element belongs. Specifically, it outputs signal C and port 6 in the second difference set D2 and the name of their respective allocation set A, and simultaneously outputs ports 7 and 8 in the third difference set D3 and the name of their respective physical topology set T.

[0067] The output results indicate that the system simultaneously detected configuration items without physical support in the allocation layer and redundant connections that were not assigned or defined in the physical layer. However, since a complete derivation path cannot be established between the demand layer and the physical layer, the system does not have sufficient basis to determine the overall status as normal or abnormal. Operators need to manually check the two broken nodes mentioned above.

[0068] The above three scenarios demonstrate the hierarchical response logic of the system's three-state output mechanism to different wiring states. When the information from the demand layer, allocation layer, and physical topology layer is fully connected along the forward verification chain, the system outputs a normal state.

[0069] When the evidence fails to establish a complete deductive bridge between requirements and physical reality, the system outputs an undecidable state, clearly informing the operator of the break in the verification chain. In any scenario, the system's output does not rely on internal database self-consistency checks, but rather on the results of cross-layer positive verification between three independent data sources. This eliminates the self-referential closed loop between the database and physical reality that cannot be independently verified in existing technologies, thus eliminating it from the logical architecture level.

[0070] It will be apparent to those skilled in the art that the present invention is not limited to the details of the exemplary embodiments described above, and that the invention can be implemented in other specific forms without departing from its spirit or essential characteristics. Therefore, the embodiments should be considered in all respects as exemplary and non-limiting, and the scope of the invention is defined by the appended claims rather than the foregoing description. Thus, all variations falling within the meaning and scope of equivalents of the claims are intended to be included within the present invention. No reference numerals in the claims should be construed as limiting the scope of the claims.

Claims

1. A method for monitoring and early warning of wiring faults in test platforms, applied to the wiring system of test platforms, characterized in that: Includes the following steps: S1. Construct a physical topology set, an allocation set, and a requirement set for the test platform wiring system. The data sources of the three sets are independent of each other, and an update to any set does not trigger changes to the other sets. S2. Set the verification direction to be from the demand set through the allocation set to the physical topology set. Prohibit the physical topology set from correcting the allocation set in reverse and prohibit the allocation set from correcting the demand set in reverse. S3. Calculate the difference between the demand set and the allocation set to obtain the first difference set that represents the anomaly of unallocated demand in the test platform; S4. Calculate the difference between the allocation set and the physical topology set to obtain the second difference set that characterizes the configuration without physical support anomaly in the test platform. S5. Calculate the difference between the physical topology set and the allocation set to obtain the third difference set that characterizes the physical connection redundancy anomaly in the test platform. S6. Output the test platform wiring fault monitoring and early warning status based on the first difference set, the second difference set, and the third difference set. When the first difference set, the second difference set, and the third difference set are all empty sets, output a normal status. When there is a non-empty difference set in the first difference set, the second difference set, and the third difference set, and there is a complete mapping path between the demand set and the physical topology set through the allocated set, output an abnormal status and output the elements in the non-empty difference set and the name of their respective sets as the test platform wiring fault link location information. When there is a non-empty difference set in the first difference set, the second difference set, and the third difference set, and there is no complete mapping path between the demand set and the physical topology set through the allocated set, output an undeterminable status and output the elements in the non-empty difference set and the name of their respective sets.

2. The method for monitoring and early warning of wiring faults in a test platform according to claim 1, characterized in that: S1 further includes the following: The element structure of the physical topology set is a tuple containing a first port identifier and a second port identifier; The physical topology set is constructed through physical layer connectivity detection, which only confirms whether there is a conductive physical transmission medium between ports; The data source for the physical topology set is the physical layer probe circuit; The element structure of the allocation set is a tuple containing signal identifiers and port identifiers, and the allocation set is constructed through signal allocation records generated during the test task configuration phase; The data source for the allocation set is the test task configuration tool; The requirement set is structured as a triple containing a task identifier, a signal identifier, and a target port identifier. The requirement set is constructed using the test case definition file of the test task. The data source for the requirement set is the test case management system; Updates to any set are triggered independently by their respective data sources, without sending data synchronization signals to other sets or cascading to trigger automatic corrections in other sets.

3. The method for monitoring and early warning of wiring faults in a test platform according to claim 1, characterized in that: S2 further includes the following: The verification direction is fixed as a one-way path from the demand set to the allocation set and then to the physical topology set; The elements in the requirement set serve as the starting point for verification, the elements in the allocation set serve as intermediate verification nodes, and the elements in the physical topology set serve as the end point for verification. It is prohibited to pass any characteristic of an element in the physical topology set back to the allocation set to modify the composition of the allocation set; It is prohibited to backpropagate any characteristic of an element in the allocation set to the demand set to modify the composition of the demand set; The data flow between the demand set, the allocation set, and the physical topology set is only allowed to be transmitted unidirectionally from the demand set to the allocation set to the physical topology set; data transmission in the opposite direction is completely cut off.

4. The method for monitoring and early warning of wiring faults in a test platform according to claim 1, characterized in that: S3 further includes the following: Obtain each triplet element in the requirement set, wherein the triplet element contains a task identifier, a signal identifier, and a target port identifier; Extract the signal identifier and the target port identifier from the triplet elements, and use the signal identifier and the target port identifier to form a pair to be matched; Search the allocation set to see if there exists a tuple element that is exactly the same as the tuple to be matched; "Completely identical" means that the signal identifiers and port identifiers are identical; All triplet elements in the demand set that do not have a complete matching pair in the allocation set are assigned to the first difference set; The formula for calculating the first difference set is D1={r(s,p)|r∈R,(s,p)∉A}, Where R represents the demand set, A represents the allocation set, r represents any triple element in the demand set, s represents the signal identifier in the triple element, p represents the target port identifier in the triple element, and (s,p) represents the pair to be matched consisting of the signal identifier and the target port identifier.

5. The method for monitoring and early warning of wiring faults in a test platform according to claim 1, characterized in that: S4 further includes the following: Retrieve each tuple element in the allocation set, wherein the tuple element contains a signal identifier and a port identifier; Extract the port identifier from the tuple element as the port identifier to be matched; traverse each tuple element in the physical topology set, where each tuple element in the physical topology set contains a first port identifier and a second port identifier; Check whether each tuple element of the physical topology set contains the port identifier to be matched; All binary elements in the allocation set that do not contain a binary element with its port identifier in the physical topology set are assigned to the second difference set. The formula for calculating the second difference set is D2={a(s,p)|a∈A, there is no t∈T such that t contains the port identifier p}. Where A represents the allocation set, T represents the physical topology set, a represents any binary element in the allocation set, s represents the signal identifier in the binary element, p represents the port identifier in the binary element, and t represents any binary element in the physical topology set.

6. The method for monitoring and early warning of wiring faults in a test platform according to claim 1, characterized in that: S5 further includes the following: Obtain each binary element in the physical topology set, wherein the binary element contains a first port identifier and a second port identifier; Extract the first port identifier from the binary elements of the physical topology set as the first port identifier to be matched, and extract the second port identifier as the second port identifier to be matched; Traverse each tuple element in the allocation set, where each tuple element contains a signal identifier and a port identifier; Check whether the port identifier in each tuple element of the allocation set is equal to the first port identifier to be matched; Check whether the port identifier in each tuple element of the allocation set is equal to the second port identifier to be matched; All tuples in the physical topology set that do not contain a tuple element with its first port identifier and do not contain a tuple element with its second port identifier are assigned to the third difference set. The formula for calculating the third difference set is D3={t(p1,p2)|t∈T, there is no a∈A such that the port identifier of a is equal to p1, and there is no a∈A such that the port identifier of a is equal to p2}; Where T represents the physical topology set, A represents the allocation set, t represents any binary element in the physical topology set, p1 represents the first port identifier in the binary element, p2 represents the second port identifier in the binary element, and a represents any binary element in the allocation set.

7. The method for monitoring and early warning of wiring faults in a test platform according to claim 1, characterized in that: The determination of whether there is a complete mapping path between the demand set and the physical topology set via the allocation set in S6 further includes the following: The complete mapping path means that every triplet element in the demand set can find a completely matching binary element in the allocation set, and every binary element in the allocation set can find a binary element containing its port identifier in the physical topology set. When the first difference set is empty and the second difference set is empty, it is determined that there is a complete mapping path between the demand set and the physical topology set through the allocation set. At this time, the empty or non-empty state of the third difference set does not affect the determination result. When the first difference set is not empty or the second difference set is not empty, it is determined that there is no complete mapping path between the demand set and the physical topology set through the allocation set.

8. The method for monitoring and early warning of wiring faults in a test platform according to claim 1, characterized in that: The output of normal state, abnormal state, and undeterminable state in S6 further includes the following: When the first difference set, the second difference set, and the third difference set are all empty sets, the system outputs a normal state. When the third difference set is not empty and both the first and second difference sets are empty, the system outputs an abnormal status and outputs each element in the third difference set along with the name of the set to which that element belongs. When the first difference set is not empty or the second difference set is not empty, the system outputs an undecidable state and outputs each element in all non-empty difference sets along with the name of the set to which that element belongs.

9. A wiring fault monitoring and early warning system for test platforms, applied to the wiring fault monitoring and early warning method for test platforms as described in any one of claims 1 to 8, characterized in that: Includes the following units: The data acquisition unit is used to independently collect raw data from various data sources and construct physical topology sets, allocation sets, and demand sets based on the raw data. The maintenance of the three sets is independent of each other. The set operation unit is used to perform the difference operation between the demand set and the allocation set, the difference operation between the allocation set and the physical topology set, and the difference operation between the physical topology set and the allocation set. The state determination unit is used to output the normal state, abnormal state, or undeterminable state based on the empty set state of each difference set and whether there is a complete mapping path between the demand set and the physical topology set through the allocated set. The output unit is used to output the determination status and the elements in the non-empty difference set, as well as the name of the set to which they belong.

Images