A backpressure verification method, apparatus, storage medium, product, and terminal equipment.

Abstract

This invention discloses a backpressure verification method, apparatus, storage medium, product, and terminal device. The object to be verified in the backpressure verification includes at least one channel, each channel including a set of input interfaces and output interfaces, and the verification parameters are pre-divided into at least two levels. The method includes: for each channel, configuring verification parameters under different level combinations for the input and output interfaces of the same channel, and constructing a first type of backpressure test cases based on the verification parameters corresponding to each level combination of the input and output interfaces of each channel; randomly configuring a level of verification parameters for each input interface and each output interface of all channels included in the object to be verified, and constructing a second type of backpressure test cases based on the configured verification parameters; and performing backpressure verification on the object to be verified according to the first type of backpressure test cases and the second type of backpressure test cases. The technical solution of this invention can improve the comprehensiveness and completeness of backpressure verification.

Description

Technical Field

[0001] This invention relates to the field of computer technology, and in particular to a reverse pressure verification method, apparatus, computer-readable storage medium, computer program product, and terminal equipment. Background Technology

[0002] In digital systems (such as chips, communication modules, and processors), data is transmitted between the interfaces of different modules. When the data receiver (such as a downstream module) is unable to receive data from the data sender (such as an upstream module) in a timely manner due to internal busyness (such as a full buffer or an unready processing unit), a "backpressure mechanism" is triggered. For example, it lowers the "ready" signal to inform the data sender to "stop sending for now." The data sender must respond to this signal by pausing or slowing down data transmission. "Backpressure verification" tests whether this "backpressure mechanism" can work properly by simulating scenarios where downstream processing capacity is insufficient. For example, it tests whether the "backpressure mechanism" can be triggered correctly, whether the data sender can respond in a timely manner, and whether data loss, errors, deadlocks, or other problems occur during transmission.

[0003] Traditional backpressure verification schemes typically verify individual interfaces (input or output) of a module. This is achieved by configuring different delay values ​​(i.e., delay parameters for receiving data at the input interface or for outputting data at the output interface) to simulate varying levels of module workload, thus verifying the backpressure mechanism. However, this approach is limited to isolated verification of a single module interface, lacking a system description of the module (e.g., ignoring the interrelationships between multiple interfaces). This can easily lead to overlooking issues during actual backpressure verification (e.g., missing backpressure verification in scenarios with multiple interconnected interfaces), thus affecting the comprehensiveness and completeness of the verification process. Summary of the Invention

[0004] The purpose of this invention is to provide a backpressure verification method, apparatus, computer-readable storage medium, computer program product, and terminal device that can perform combined backpressure verification on the input and output interfaces of each path of the object being verified, as well as on all input and output interfaces of all paths included in the object being verified, rather than performing isolated backpressure verification on a single interface, thereby improving the comprehensiveness and completeness of backpressure verification.

[0005] To achieve the above objectives, embodiments of the present invention provide a backpressure verification method. The object to be verified in the backpressure verification includes at least one path, each path including a set of input interfaces and output interfaces, and the verification parameters are pre-divided into at least two levels. The method includes:

[0006] For each path, configure verification parameters for different gear combinations for the input and output interfaces of the same path, and construct the first type of backpressure test cases based on the verification parameters corresponding to each gear combination of the input and output interfaces of each path.

[0007] For each input interface and each output interface of all paths contained in the object being verified, a verification parameter of a certain gear is randomly configured, and a second type of backpressure test case is constructed based on the configured verification parameter;

[0008] The object to be verified is subjected to backpressure verification based on the first type of backpressure test case and the second type of backpressure test case.

[0009] Furthermore, when the object being verified includes at least two converged paths as a group of converged paths, the method further includes:

[0010] For each convergence path, configure verification parameters for each input interface of the same convergence path under different gear combinations, randomly configure a gear verification parameter for each output interface of the same convergence path, and construct a third type of backpressure test case based on the verification parameters corresponding to each gear combination of the input and output interfaces of each convergence path.

[0011] Then, the backpressure verification of the object being verified based on the first type of backpressure test case and the second type of backpressure test case specifically includes:

[0012] The object to be verified is subjected to backpressure verification based on the first type of backpressure test case, the second type of backpressure test case, and the third type of backpressure test case.

[0013] Furthermore, components with size boundaries and whose states dynamically change between these boundaries are considered bounded state components. When the object being verified includes at least one bounded state component, the method further includes:

[0014] For each bounded state component, the verification parameters of the input and output interfaces of the path in which the bounded state component is located are dynamically adjusted so that the state of the bounded state component changes from the minimum boundary to the maximum boundary and from the maximum boundary to the minimum boundary. Based on the dynamic adjustment of the verification parameters of the input and output interfaces of the path in which each bounded state component is located, a fourth type of backpressure test case is constructed.

[0015] Then, the backpressure verification of the object being verified based on the first type of backpressure test case and the second type of backpressure test case specifically includes:

[0016] The object to be verified is subjected to backpressure verification based on the first type of backpressure test case, the second type of backpressure test case, and the fourth type of backpressure test case.

[0017] Furthermore, the verification parameter has three gears: a first gear, a second gear, and a third gear, and the values ​​of the verification parameter at different gears satisfy the following condition: first gear < second gear < third gear.

[0018] Therefore, configuring verification parameters for different gear combinations for the input and output interfaces of the same path specifically includes:

[0019] Configure the verification parameters of the input interface of the same channel to the first gear, and configure the verification parameters of the output interface to the first gear, the second gear, and the third gear in sequence;

[0020] Configure the verification parameters of the input interface of the same channel to the second level, and configure the verification parameters of the output interface to the first level, the second level, and the third level in sequence.

[0021] Configure the verification parameters of the input interface of the same channel to the third level, and configure the verification parameters of the output interface to the first and second levels respectively.

[0022] Furthermore, the verification parameter has three gears: a first gear, a second gear, and a third gear, and the values ​​of the verification parameter at different gears satisfy the following condition: first gear < second gear < third gear.

[0023] Then, configuring verification parameters for each input interface of the same group of convergence paths under different gear combinations, and randomly configuring a verification parameter for each output interface of the same group of convergence paths, specifically includes:

[0024] Configure the verification parameters of one input interface in the same set of convergence paths to the first gear, and configure the verification parameters of each remaining input interface to the first gear and the third gear respectively. The verification parameters of each output interface are randomly configured to any one of the first gear, the second gear and the third gear.

[0025] Configure the verification parameters of one input interface in the same aggregation path to the third gear, configure the verification parameters of each remaining input interface to the first and third gears respectively, and randomly configure the verification parameters of each output interface to any one of the first, second and third gears.

[0026] Furthermore, the verification parameter has three gears: a first gear, a second gear, and a third gear, and the values ​​of the verification parameter at different gears satisfy the following condition: first gear < second gear < third gear.

[0027] Then, the dynamic adjustment of the verification parameters of the input and output interfaces of the path where the bounded state component is located, so that the state of the bounded state component changes from the minimum boundary to the maximum boundary and from the maximum boundary to the minimum boundary, specifically includes:

[0028] If the verification parameters of the input and output interfaces of the path in which the bounded state component is located satisfy the following: the verification parameter of the input interface is at the third level, and the verification parameter of the output interface is at the first or second level, then the verification parameter of the input interface is adjusted to the first or second level, and the verification parameter of the output interface is adjusted to the third level, so that the state of the bounded state component changes from the minimum boundary to the maximum boundary.

[0029] If the verification parameters of the input and output interfaces of the path in which the bounded state component is located satisfy the following: the verification parameter of the input interface is at the first or second level, and the verification parameter of the output interface is at the third level, then the verification parameter of the input interface is adjusted to the third level, and the verification parameter of the output interface is adjusted to the first or second level, so that the state of the bounded state component changes from the maximum boundary to the minimum boundary.

[0030] To achieve the above objectives, embodiments of the present invention also provide a backpressure verification device. The object to be verified in the backpressure verification includes at least one channel, each channel including a set of input interfaces and output interfaces, and the verification parameters are pre-divided into at least two levels; the device includes:

[0031] The first backpressure test case construction module is used to configure verification parameters for different gear combinations for the input and output interfaces of the same channel for each channel, and to construct the first type of backpressure test cases based on the verification parameters corresponding to each gear combination of the input and output interfaces of each channel.

[0032] The second backpressure test case construction module is used to randomly configure a set of verification parameters for each input interface and each output interface of all paths contained in the object being verified, and to construct a second type of backpressure test case based on the configured verification parameters.

[0033] The backpressure verification module is used to perform backpressure verification on the object being verified based on the first type of backpressure test case and the second type of backpressure test case.

[0034] This invention also provides a computer-readable storage medium including a stored computer program, which, when running, controls the device where the computer-readable storage medium is located to execute the reverse pressure verification method described above.

[0035] This invention also provides a computer program product, including a computer program that, when executed by a processor, implements the backpressure verification method described in any of the preceding embodiments.

[0036] This invention also provides a terminal device, including a processor, a memory, and a computer program stored in the memory and configured to be executed by the processor, wherein the processor implements the reverse pressure verification method described above when executing the computer program.

[0037] This invention provides a backpressure verification method, apparatus, computer-readable storage medium, computer program product, and terminal device. The object to be verified in the backpressure verification includes at least one path, each path including a set of input interfaces and output interfaces. Verification parameters are pre-divided into at least two levels. For each path, verification parameters under different level combinations are configured for the input and output interfaces of the same path. A first type of backpressure test case is constructed based on the verification parameters corresponding to each level combination of the input and output interfaces of each path. Furthermore, a verification parameter of one level is randomly configured for each input and output interface of all paths included in the object to be verified, and a second type of backpressure test case is constructed based on the configured verification parameters. Then, backpressure verification is performed on the object to be verified according to the first and second types of backpressure test cases. This invention can perform combined backpressure verification on the input and output interfaces of each path of the object to be verified, as well as on all input and output interfaces of all paths included in the object to be verified, rather than performing isolated backpressure verification on only a single interface, thereby improving the comprehensiveness and completeness of the backpressure verification. Attached Figure Description

[0038] Figure 1 This is a flowchart of a backpressure verification method provided in an embodiment of the present invention;

[0039] Figure 2 This is a structural block diagram of a backpressure verification device provided in an embodiment of the present invention;

[0040] Figure 3 This is a structural block diagram of a terminal device provided in an embodiment of the present invention. Detailed Implementation

[0041] 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.

[0042] This invention provides a backpressure verification method. The object to be verified in the backpressure verification includes at least one path, each path including a set of input interfaces and output interfaces. The verification parameters are pre-divided into at least two levels. See [link to documentation]. Figure 1The diagram shows a flowchart of a backpressure verification method according to an embodiment of the present invention, the method comprising steps S11 to S13:

[0043] Step S11: For each channel, configure verification parameters for different gear combinations for the input and output interfaces of the same channel, and construct the first type of backpressure test cases based on the verification parameters corresponding to each gear combination of the input and output interfaces of each channel.

[0044] Step S12: Randomly configure a set of verification parameters for each input interface and each output interface of all paths included in the object being verified, and construct a second type of backpressure test case based on the configured verification parameters;

[0045] Step S13: Perform backpressure verification on the object to be verified based on the first type of backpressure test case and the second type of backpressure test case.

[0046] It should be noted that the object being verified in the backpressure verification includes at least one path. Each path includes a set of related input interfaces and output interfaces. The object being verified receives data through the input interface and outputs data through the output interface. The complete transmission path of data from the input interface to the output interface constitutes the path.

[0047] It should be noted that the verification parameters for back pressure verification are pre-divided into at least two levels (a level refers to a clearly defined range of values ​​formed after dividing the range of values ​​for the verification parameters), and the values ​​of the verification parameters corresponding to different levels are different. Based on the different levels of the verification parameters, this embodiment will be implemented as follows:

[0048] On the one hand, for each path in the object being verified, different combinations of verification parameters can be configured for the related input and output interfaces belonging to the same path. That is, when configuring verification parameters for input and output interfaces, one can choose from all the possible levels of the verification parameters. Selecting one level for the input interface and selecting one level for the output interface constitutes one level combination. Furthermore, since there is more than one level of verification parameters and more than one selectable option, there are more than one possible level combination for the verification parameters configured for the input and output interfaces. Correspondingly, there can be multiple level combinations between the verification parameters of the input and output interfaces of each path. Thus, for each path, based on the large amount of test cases for the corresponding path and the multiple level combinations of the verification parameters of the input and output interfaces of the corresponding path, [further details can be added]. First, construct the first type of backpressure test cases for each path (i.e., the first type of test cases used in subsequent backpressure verification). Second, for the object being verified itself, a verification parameter level can be randomly configured for each input interface and each output interface of all paths included in the object being verified. That is, when configuring verification parameters for each input interface and each output interface, selection can be made from all levels of the verification parameters, and each input interface and each output interface only needs to be randomly selected once. Then, based on the configured verification parameters for each input interface and each output interface of all paths included in the object being verified, construct the second type of backpressure test cases for the object being verified itself (i.e., the second type of test cases used in subsequent backpressure verification). Finally, backpressure verification can be performed on the object being verified based on all the constructed first and second type backpressure test cases.

[0049] It should be noted that the verification parameter for backpressure verification can be the delay value of the interface. The delay value varies depending on the gear. The delay value of the input interface refers to the delay when the input interface receives data (i.e., the time difference between receiving two consecutive data points), and the delay value of the output interface refers to the delay when the output interface outputs data (i.e., the time difference between outputting two consecutive data points). For example, if the input interface of a certain channel of the object being verified receives the first data point at time T1 and the second data point at time T2, then the actual delay value of the input interface is T2 - T1. If the output interface of a certain channel of the object being verified outputs the first data point at time T3 and the second data point at time T4, then the actual delay value of the output interface is T4 - T3.

[0050] It should be noted that in the embodiments of the present invention, the configuration method of the verification parameters and the verification method of performing backpressure verification on the object to be verified according to the backpressure test cases can be implemented using existing technologies. For example, regarding the configuration method of the verification parameters, taking the verification parameter as a delay value as an example, when configuring different delay values ​​for the input interface and the output interface, the delay value to be configured for the interface can be directly input through simulation parameter passing, or different excitation branches can be controlled through parameter passing to obtain different delay values, or other configuration methods can be used. The embodiments of the present invention do not make specific limitations.

[0051] It should be noted that the object to be verified in the embodiments of the present invention can be a single module or a module cluster composed of at least two modules. That is to say, the embodiments of the present invention are applicable to both Unit Test (UT), which is applicable to Unit-level verification for the smallest independent functional module, and Block Test (BT), which is applicable to Block-level verification for a module cluster composed of at least two smallest independent functional modules. For BT verification, the module cluster can be regarded as a whole, without considering the input and output interfaces of the individual modules within it, and only considering the input and output interfaces of the module cluster as a whole. Furthermore, the combined verification principle corresponding to UT verification and BT verification is the same. The difference lies in the division of verification parameters and the range of values. This is because the overall delay value of a module cluster composed of at least two modules is necessarily different from the delay value of a single module.

[0052] It should be noted that, as described in the background section, traditional backpressure verification schemes only perform isolated backpressure verification on a single interface of the object being verified, lacking a system description of the object being verified. This results in a lack of combined verification between related input and output interfaces, which can easily lead to omissions of problems during actual backpressure verification. For example, if two interfaces are related, performing isolated backpressure verification on only a single interface can easily lead to incomplete testing.

[0053] The backpressure verification method provided in this embodiment of the invention performs backpressure verification on the related input and output interfaces in each path of the object being verified using multiple gear combinations, and performs overall backpressure verification on all input and output interfaces of all paths included in the object being verified in a full scenario. This effectively solves the problems existing in traditional backpressure verification schemes, prevents omissions, and achieves a more complete backpressure verification of the object being verified, thereby improving the comprehensiveness and completeness of backpressure verification.

[0054] As one optional embodiment, the method pre-divides the levels of the verification parameters through the following steps:

[0055] To obtain the number of clock cycles required for data transmission in a single path;

[0056] The verification parameters are divided into at least two levels based on the number of clock cycles.

[0057] Furthermore, dividing the verification parameters into at least two levels based on the number of clock cycles specifically includes:

[0058] When the number of clock cycles is not greater than the first preset threshold, the verification parameters with a value of 0 are classified as the first level, the verification parameters with values ​​in the range of [second preset threshold, M - second preset threshold] are classified as the second level, and the verification parameters with values ​​in the range of [M, M + third preset threshold] are classified as the third level; where M represents the number of clock cycles;

[0059] When the number of clock cycles is greater than the first preset threshold, the verification parameters with a value of 0 are classified as the first level, the verification parameters with values ​​in the range of [first preset threshold, M-first preset threshold] are classified as the second level, and the verification parameters with values ​​in the range of [M, M+third preset threshold] are classified as the third level.

[0060] Specifically, in conjunction with the above embodiments, when dividing the verification parameters for back-voltage verification into levels, the number of clock cycles required for data to be transmitted from the input interface to the output interface of a single channel can be obtained first (denoted as M, where M is a positive integer, indicating that M clock cycles are required for data to be input from the input interface of a single channel and output from the output interface of that channel). Then, based on the obtained number of clock cycles M, the verification parameters are divided into at least two levels. Assuming that the verification parameters need to be divided into three levels, namely, the first level, the second level, and the third level, and satisfying that: the value of the verification parameter corresponding to the first level < the value of the verification parameter corresponding to the second level < the value of the verification parameter corresponding to the third level, then, based on... When classifying the verification parameters based on the number M of obtained clock cycles, if M ≤ the first preset threshold, then verification parameters with a value of 0 can be classified as the first level, verification parameters with values ​​in the range of [second preset threshold, M - second preset threshold] can be classified as the second level, and verification parameters with values ​​in the range of [M, M + third preset threshold] can be classified as the third level; if M > the first preset threshold, then verification parameters with a value of 0 can be classified as the first level, verification parameters with values ​​in the range of [first preset threshold, M - first preset threshold] can be classified as the second level, and verification parameters with values ​​in the range of [M, M + third preset threshold] can be classified as the third level.

[0061] For example, taking the verification parameter as the delay value, the verification parameter is divided into three levels: the first level, the second level, and the third level. The corresponding delay values ​​are divided into three levels: no back pressure, small back pressure, and large back pressure (i.e., the first level corresponds to no back pressure, the second level corresponds to small back pressure, and the third level corresponds to large back pressure). Assuming the first preset threshold = 5, the second preset threshold = 1, and the third preset threshold = 20, then the delay value corresponding to no back pressure is 0 (i.e., delay value = 0). The delay value corresponding to small back pressure can be randomly selected within the range of [1, M-1] (when M≤5), or randomly selected within the range of [5, M-5] (when M>5). The delay value corresponding to large back pressure can be randomly selected within the range of [M, M+20].

[0062] Understandably, the preferred number of verification parameter settings is 3. It can also be divided into more settings, but the more settings there are, the more combinations of settings there are, the longer the back pressure verification takes, and the more complex the back pressure verification becomes. Therefore, it is meaningless to divide it into more settings. Dividing it into only 3 settings—no back pressure, small back pressure, and large back pressure—is basically sufficient to meet the verification requirements.

[0063] It is understandable that the values ​​of the first preset threshold, the second preset threshold, and the third preset threshold, as well as the range of values ​​for the verification parameters of each gear, can be set to the values ​​in the examples above, or can be adaptively set according to the size of M. This embodiment of the invention does not impose specific limitations.

[0064] In one optional embodiment, the verification parameter has three gears: a first gear, a second gear, and a third gear, and the values ​​of the verification parameter at different gears satisfy the following condition: first gear < second gear < third gear.

[0065] Therefore, configuring verification parameters for different gear combinations for the input and output interfaces of the same path specifically includes:

[0066] Configure the verification parameters of the input interface of the same channel to the first gear, and configure the verification parameters of the output interface to the first gear, the second gear, and the third gear in sequence;

[0067] Configure the verification parameters of the input interface of the same channel to the second level, and configure the verification parameters of the output interface to the first level, the second level, and the third level in sequence.

[0068] Configure the verification parameters of the input interface of the same channel to the third level, and configure the verification parameters of the output interface to the first and second levels respectively.

[0069] Specifically, in conjunction with the above embodiments, if the verification parameters are divided into a first gear, a second gear, and a third gear, then, when configuring verification parameters under different gear combinations for the input and output interfaces of the same channel, the verification parameters of the input interface of the same channel can be configured as the first gear, and the verification parameters of the output interface of the same channel can be sequentially configured as each of the first, second, and third gears, corresponding to three gear combination methods. Similarly, the verification parameters of the input interface of the same channel can be configured as the second gear, and the verification parameters of the output interface of the same channel can be sequentially configured as each of the first, second, and third gears, corresponding to three gear combinations. The method involves combining the input interface verification parameters of the same path to the third gear and sequentially configuring the output interface verification parameters of the same path to each of the first and second gears, resulting in two gear combination methods. (In the scenario where the input interface verification parameters are at the third gear, the path data volume is basically empty, so configuring the output interface verification parameters to the third gear is meaningless and will only increase simulation time, thus this gear combination method can be removed.) In total, eight gear combination methods are obtained. Furthermore, based on the large data volume test cases of the same path, the first type of backpressure test cases corresponding to the eight gear combination methods of the same path can be constructed.

[0070] For example, taking the delay value as the verification parameter, the delay value is divided into three levels: no back pressure, small back pressure, and large back pressure. Then, the delay value of the input interface of the same channel can be configured by selecting different combinations of the three levels: no back pressure, small back pressure, and large back pressure. The specific combination of levels is shown in Table 1.

[0071] Table 1 Single Channel Interface Gear Combination Table

[0072]

[0073] It should be noted that the above 8 gear combination methods can not only perform combined verification of related input and output interfaces, but also, when the delay value of the input or output interface is 0, it is equivalent to performing back pressure verification without back pressure on the input or output interface. That is, the isolated back pressure verification for a single interface is also included in these 8 gear combination methods.

[0074] In one optional embodiment, at least two paths where convergence occurs are considered as a group of convergence paths. When the object being verified includes at least one group of convergence paths, the method further includes:

[0075] For each convergence path, configure verification parameters for each input interface of the same convergence path under different gear combinations, randomly configure a gear verification parameter for each output interface of the same convergence path, and construct a third type of backpressure test case based on the verification parameters corresponding to each gear combination of the input and output interfaces of each convergence path.

[0076] Then, the backpressure verification of the object being verified based on the first type of backpressure test case and the second type of backpressure test case specifically includes:

[0077] The object to be verified is subjected to backpressure verification based on the first type of backpressure test case, the second type of backpressure test case, and the third type of backpressure test case.

[0078] Specifically, in conjunction with the above embodiments, assuming that at least two paths in the object to be verified converge as a group of convergence paths, when the object to be verified includes at least one group of convergence paths, in addition to constructing a first type of backpressure test case for each path in the object to be verified and a second type of backpressure test case for the object to be verified as a whole, a third type of backpressure test case also needs to be constructed for each group of convergence paths to cover the verification scenarios corresponding to different gear combinations between convergence paths. Furthermore, when constructing the third type of backpressure test case, for each group of convergence paths in the object to be verified, verification parameters under different gear combinations can be configured between the input interfaces of each path belonging to the same group of convergence paths. That is, when configuring verification parameters for the input interface of each path in the same group of convergence paths, all gears of the verification parameters can be selected. Since there is more than one gear for the verification parameters and more than one selectable option, for each path in the same group of convergence paths... The input interface of a channel can be configured with multiple combinations of verification parameters. Similarly, the input interfaces of each channel in the same aggregation channel can have multiple combinations of verification parameters. Simultaneously, a verification parameter of a specific level is randomly configured for the output interface of each channel in the same aggregation channel. That is, when configuring verification parameters for the output interface of each channel in the same aggregation channel, selection can be made from all possible levels of the verification parameters, and each output interface only needs to be randomly selected once. Therefore, for each aggregation channel, a third type of backpressure test case can be constructed based on the large data volume test cases of the corresponding aggregation channel and the multiple combinations of verification parameters for the input and output interfaces of all channels in the corresponding aggregation channel. Furthermore, backpressure verification can be performed on the object being verified based on all the constructed first-type, second-type, and third-type backpressure test cases.

[0079] It should be noted that the backpressure verification method provided in this embodiment of the invention, in addition to performing backpressure verification with multiple gear combinations on the related input and output interfaces in each path of the object being verified, and performing full-scenario overall backpressure verification on all input and output interfaces of all paths included in the object being verified, also performs backpressure verification with multiple gear combinations on the input and output interfaces of all paths in each group of convergence paths of the object being verified when the object being verified includes convergence paths, thereby further improving the comprehensiveness and completeness of backpressure verification.

[0080] In one optional embodiment, the verification parameter has three gears: a first gear, a second gear, and a third gear, and the values ​​of the verification parameter at different gears satisfy the following condition: first gear < second gear < third gear.

[0081] Then, configuring verification parameters for each input interface of the same group of convergence paths under different gear combinations, and randomly configuring a verification parameter for each output interface of the same group of convergence paths, specifically includes:

[0082] Configure the verification parameters of one input interface in the same set of convergence paths to the first gear, and configure the verification parameters of each remaining input interface to the first gear and the third gear respectively. The verification parameters of each output interface are randomly configured to any one of the first gear, the second gear and the third gear.

[0083] Configure the verification parameters of one input interface in the same aggregation path to the third gear, configure the verification parameters of each remaining input interface to the first and third gears respectively, and randomly configure the verification parameters of each output interface to any one of the first, second and third gears.

[0084] Specifically, in conjunction with the above embodiments, if the verification parameters are divided into a first gear, a second gear, and a third gear, then, when configuring verification parameters under different gear combinations for the input and output interfaces of the same group of convergence paths, the verification parameters of the input interface of any one path (denoted as path A) in the same group of convergence paths can be configured as the first gear. The verification parameters of the input interfaces of each of the remaining paths in the same group of convergence paths (excluding path A) can be sequentially configured as each of the first and third gears. Furthermore, the verification parameters of the output interface of each path in the same group of convergence paths can be randomly configured as any one of the first, second, and third gears, thereby obtaining multiple gear combination methods. Furthermore, the verification parameters of the input interface of any one path (i.e., path A) in the same set of convergence paths are configured to the third gear. The verification parameters of the input interfaces of each of the remaining paths in the same set of convergence paths other than path A are configured to each of the first and third gears in turn. The verification parameters of the output interface of each path in the same set of convergence paths are randomly configured to any one of the first, second, and third gears. This results in multiple gear combination methods. In total, multiple gear combination methods are obtained. Furthermore, based on the large data volume use cases of all paths in the same set of convergence paths, a third type of backpressure use case corresponding to the multiple gear combination methods of the same set of convergence paths can be constructed.

[0085] For example, taking the delay value as the verification parameter, the delay value is divided into three levels: no back pressure, small back pressure, and large back pressure. Assuming that path A and path B converge and synchronize at some point in the hardware of the object being verified, and belong to the same convergence path, then the delay values ​​of the input interfaces of path A and path B must cover different level combinations. The delay values ​​of the output interfaces of path A and path B can be randomly selected from no back pressure, small back pressure, and large back pressure for configuration. The specific level combinations are shown in Table 2.

[0086] Table 2. Combination Table of Interface Positions for Two-Path Convergence Paths

[0087]

[0088] For example, suppose that paths A, B, and C converge and synchronize at a certain point in the hardware of the object being verified, and belong to the same group of converged paths. Then, the delay values ​​of the input interfaces of paths A, B, and C should cover different gear combination methods. The delay values ​​of the output interfaces of paths A, B, and C can be randomly selected from no back pressure, small back pressure, and large back pressure for configuration. The specific gear combination methods are shown in Table 3 (the gear combination methods for scenarios with more converged paths are similar).

[0089] Table 3. Three-way convergence channel interface switch combination table

[0090]

[0091] Understandably, configuring the delay value for the input interface of each path in the convergence path can also involve configuring small back pressure. However, since there are too many gear combinations, it will increase the time consumption and complexity of back pressure verification. Therefore, this embodiment of the invention only involves the configuration of no back pressure and large back pressure. This is because by configuring different back pressure combinations between no back pressure and large back pressure, verification can be performed even when the back pressure of different input interfaces in the convergence path is consistent or the back pressures are significantly different. This not only meets the back pressure verification requirements but also reduces the time consumption and complexity of back pressure verification, thereby improving the efficiency of back pressure verification.

[0092] In one optional embodiment, a component with size boundaries and whose state dynamically changes between the size boundaries is designated as a bounded state component. When the object being verified includes at least one bounded state component, the method further includes:

[0093] For each bounded state component, the verification parameters of the input and output interfaces of the path in which the bounded state component is located are dynamically adjusted so that the state of the bounded state component changes from the minimum boundary to the maximum boundary and from the maximum boundary to the minimum boundary. Based on the dynamic adjustment of the verification parameters of the input and output interfaces of the path in which each bounded state component is located, a fourth type of backpressure test case is constructed.

[0094] Then, the backpressure verification of the object being verified based on the first type of backpressure test case and the second type of backpressure test case specifically includes:

[0095] The object to be verified is subjected to backpressure verification based on the first type of backpressure test case, the second type of backpressure test case, and the fourth type of backpressure test case.

[0096] Specifically, in conjunction with the above embodiments, assuming that a component in the object to be verified that has size boundaries and whose state dynamically changes between the size boundaries is defined as a bounded state component, then when the object to be verified includes at least one bounded state component, in addition to constructing a first type of backpressure test case for each path in the object to be verified and a second type of backpressure test case for the object to be verified as a whole, a fourth type of backpressure test case also needs to be constructed for each bounded state component to cover the verification scenarios corresponding to the state changes of the bounded state component; furthermore, when specifically constructing the fourth type of backpressure test case, for each bounded state in the object to be verified... The component can dynamically adjust the pre-configured verification parameters (i.e., gear combinations) of the input and output interfaces of the same bounded state component, so that the state of the bounded state component changes from the minimum boundary to the maximum boundary, and from the maximum boundary to the minimum boundary. Based on the dynamic adjustment of the verification parameters of the input and output interfaces of each bounded state component, a fourth type of backpressure test case is constructed for each bounded state component. Furthermore, backpressure verification can be performed on the object being verified based on all the constructed first type of backpressure test cases, second type of backpressure test cases, and fourth type of backpressure test cases.

[0097] It should be noted that the various gear combinations of the input and output interfaces of a single path (e.g., the 8 gear combinations in the above embodiments) cannot easily realize the state of the bounded state component in the path changing from the minimum boundary to the maximum boundary, and from the maximum boundary to the minimum boundary. Therefore, the embodiments of the present invention need to dynamically adjust the gear combinations of the input and output interfaces to realize the above-mentioned state changes of the bounded state component, and construct the corresponding fourth type of backpressure test case for backpressure verification based on this dynamic adjustment.

[0098] It should be noted that the bounded state components can be FIFO (First-In-First-Out, a typical hardware cache circuit that operates according to the first-in-first-out principle), buffer, counter, etc. in the object being verified. For example, FIFO and buffer have empty boundaries and full boundaries, and their states change dynamically between empty and full boundaries. Counter has minimum and maximum value boundaries, and its state changes dynamically between minimum and maximum value boundaries. In the scenario where the object being verified contains FIFO, the corresponding fourth type of backpressure test case must be constructed for backpressure verification. However, in the scenario where the object being verified contains buffer and counter, constructing only the first and second types of backpressure test cases is sufficient to meet the verification requirements. Whether to construct and use the fourth type of backpressure test case for backpressure verification can be selected according to actual needs.

[0099] The backpressure verification method provided in this embodiment of the invention, in addition to performing backpressure verification with multiple gear combinations on the related input and output interfaces in each path of the object being verified, and performing overall backpressure verification of all input and output interfaces in all paths included in the object being verified, also performs backpressure verification with dynamic gear combination adjustment on the input and output interfaces of the path where each bounded state component of the object being verified is located when the object being verified includes bounded state components, thereby further improving the comprehensiveness and completeness of backpressure verification.

[0100] In one optional embodiment, the verification parameter has three gears: a first gear, a second gear, and a third gear, and the values ​​of the verification parameter at different gears satisfy the following condition: first gear < second gear < third gear.

[0101] Then, the dynamic adjustment of the verification parameters of the input and output interfaces of the path where the bounded state component is located, so that the state of the bounded state component changes from the minimum boundary to the maximum boundary and from the maximum boundary to the minimum boundary, specifically includes:

[0102] If the verification parameters of the input and output interfaces of the path in which the bounded state component is located satisfy the following: the verification parameter of the input interface is at the third level, and the verification parameter of the output interface is at the first or second level, then the verification parameter of the input interface is adjusted to the first or second level, and the verification parameter of the output interface is adjusted to the third level, so that the state of the bounded state component changes from the minimum boundary to the maximum boundary.

[0103] If the verification parameters of the input and output interfaces of the path in which the bounded state component is located satisfy the following: the verification parameter of the input interface is at the first or second level, and the verification parameter of the output interface is at the third level, then the verification parameter of the input interface is adjusted to the third level, and the verification parameter of the output interface is adjusted to the first or second level, so that the state of the bounded state component changes from the maximum boundary to the minimum boundary.

[0104] Specifically, in conjunction with the above embodiments, if the verification parameters are divided into a first gear, a second gear, and a third gear, then, when dynamically adjusting the verification parameters (i.e., gear combinations) of the input and output interfaces of the path where the bounded state component is located, it can first be determined what gear combination the verification parameters of the input and output interfaces of the path where the bounded state component is located are currently in. If the gear combination of the verification parameters of the input and output interfaces of the path where the bounded state component is located satisfies the following: the verification parameter of the input interface is in the third gear, and the verification parameter of the output interface is in the first or second gear, then the verification parameter of the input interface can be adjusted from the third gear to... If the verification parameters of the output interface are adjusted from the first or second gear to the third gear, the state of the bounded state component changes from the minimum boundary to the maximum boundary. If the gear combination of the verification parameters of the input and output interfaces of the path containing the bounded state component satisfies the following condition: the verification parameter of the input interface is at the first or second gear, and the verification parameter of the output interface is at the third gear, then the verification parameter of the input interface can be adjusted from the first or second gear to the third gear, and the verification parameter of the output interface can be adjusted from the third gear to the first or second gear, so that the state of the bounded state component changes from the maximum boundary to the minimum boundary.

[0105] For example, taking the delay value as the verification parameter, the delay value is divided into three levels: no back pressure, small back pressure, and large back pressure. The back pressure verification of the FIFO needs to cover the state changes from empty to full and from full to empty. Therefore, the configured delay values ​​of the input and output interfaces of the FIFO path need to be dynamically adjusted. For instance, assuming the input interface delay value is large back pressure and the output interface delay value is no back pressure or small back pressure, then the input interface delay value is adjusted to no back pressure or small back pressure, and the output interface delay value is adjusted to large back pressure. Back pressure can change the state of a FIFO from empty to full. Assuming the input interface delay value is no back pressure or small back pressure, and the output interface delay value is large back pressure, then adjusting the input interface delay value to large back pressure and the output interface delay value to no back pressure or small back pressure can change the FIFO state from full to empty. In other words, in addition to the 8 back pressure combination use cases for a single path, it is necessary to add this back pressure use case that dynamically adjusts the delay values ​​of the input and output interfaces, so that the FIFO state can dynamically change from empty to full to empty.

[0106] Understandably, if the object to be verified includes both at least one set of convergence paths and at least one bounded state component, then it is necessary to construct a first type of backpressure test case for each path in the object to be verified, a second type of backpressure test case for the object to be verified as a whole, a third type of backpressure test case for each set of convergence paths in the object to be verified, and a fourth type of backpressure test case for each bounded state component in the object to be verified. Based on all the constructed first, second, third, and fourth type backpressure test cases, backpressure verification is performed on the object to be verified. Through the above four types of backpressure test cases, a more complete backpressure verification of the object to be verified can be performed.

[0107] This invention also provides a backpressure verification device for implementing the backpressure verification method described in any of the above embodiments. See [link to relevant documentation]. Figure 2 The diagram shown is a structural block diagram of a backpressure verification device according to an embodiment of the present invention. The object to be verified in the backpressure verification includes at least one channel, each channel including a set of input interfaces and output interfaces, and the verification parameters are pre-divided into at least two levels; the device includes:

[0108] The first backpressure test case construction module 11 is used to configure verification parameters for different gear combinations for the input and output interfaces of the same channel for each channel, and to construct the first type of backpressure test case based on the verification parameters corresponding to each gear combination of the input and output interfaces of each channel.

[0109] The second backpressure test case construction module 12 is used to randomly configure a set of verification parameters for each input interface and each output interface of all paths contained in the object being verified, and to construct a second type of backpressure test case based on the configured verification parameters.

[0110] The backpressure verification module 13 is used to perform backpressure verification on the object to be verified based on the first type of backpressure test case and the second type of backpressure test case.

[0111] Preferably, at least two converged paths are considered as a group of converged paths. When the object being verified includes at least one group of converged paths, the apparatus further includes:

[0112] The third backpressure test case construction module is used to configure verification parameters for each input interface of the same convergence path under different gear combinations for each convergence path, randomly configure a gear verification parameter for each output interface of the same convergence path, and construct the third type of backpressure test case based on the verification parameters corresponding to each gear combination of the input and output interfaces of each convergence path.

[0113] Therefore, the backpressure verification module 13 is specifically used for:

[0114] The object to be verified is subjected to backpressure verification based on the first type of backpressure test case, the second type of backpressure test case, and the third type of backpressure test case.

[0115] Preferably, components with size boundaries and whose states dynamically change between the size boundaries are considered as bounded state components. When the object being verified includes at least one bounded state component, the apparatus further includes:

[0116] The fourth backpressure test case construction module is used to dynamically adjust the verification parameters of the input and output interfaces of the path in which the bounded state component is located for each bounded state component, so that the state of the bounded state component changes from the minimum boundary to the maximum boundary and from the maximum boundary to the minimum boundary, and constructs the fourth type of backpressure test case based on the dynamic adjustment of the verification parameters of the input and output interfaces of the path in which each bounded state component is located.

[0117] Therefore, the backpressure verification module 13 is specifically used for:

[0118] The object to be verified is subjected to backpressure verification based on the first type of backpressure test case, the second type of backpressure test case, and the fourth type of backpressure test case.

[0119] Preferably, the verification parameter has three gears: a first gear, a second gear, and a third gear, and the values ​​of the verification parameter at different gears satisfy the following condition: first gear < second gear < third gear.

[0120] Then, the first backpressure test case construction module 11 configures verification parameters for the input and output interfaces of the same path under different gear combinations, specifically including:

[0121] Configure the verification parameters of the input interface of the same channel to the first gear, and configure the verification parameters of the output interface to the first gear, the second gear, and the third gear in sequence;

[0122] Configure the verification parameters of the input interface of the same channel to the second level, and configure the verification parameters of the output interface to the first level, the second level, and the third level in sequence.

[0123] Configure the verification parameters of the input interface of the same channel to the third level, and configure the verification parameters of the output interface to the first and second levels respectively.

[0124] Preferably, the verification parameter has three gears: a first gear, a second gear, and a third gear, and the values ​​of the verification parameter at different gears satisfy the following condition: first gear < second gear < third gear.

[0125] Then, the third backpressure test case construction module configures verification parameters for each input interface of the same group of convergence paths under different gear combinations, and randomly configures a gear verification parameter for each output interface of the same group of convergence paths, specifically including:

[0126] Configure the verification parameters of one input interface in the same set of convergence paths to the first gear, and configure the verification parameters of each remaining input interface to the first gear and the third gear respectively. The verification parameters of each output interface are randomly configured to any one of the first gear, the second gear and the third gear.

[0127] Configure the verification parameters of one input interface in the same aggregation path to the third gear, configure the verification parameters of each remaining input interface to the first and third gears respectively, and randomly configure the verification parameters of each output interface to any one of the first, second and third gears.

[0128] Preferably, the verification parameter has three gears: a first gear, a second gear, and a third gear, and the values ​​of the verification parameter at different gears satisfy the following condition: first gear < second gear < third gear.

[0129] Then, the fourth backpressure test case construction module dynamically adjusts the verification parameters of the input and output interfaces of the path where the bounded state component is located, so that the state of the bounded state component changes from the minimum boundary to the maximum boundary and from the maximum boundary to the minimum boundary, specifically including:

[0130] If the verification parameters of the input and output interfaces of the path in which the bounded state component is located satisfy the following: the verification parameter of the input interface is at the third level, and the verification parameter of the output interface is at the first or second level, then the verification parameter of the input interface is adjusted to the first or second level, and the verification parameter of the output interface is adjusted to the third level, so that the state of the bounded state component changes from the minimum boundary to the maximum boundary.

[0131] If the verification parameters of the input and output interfaces of the path in which the bounded state component is located satisfy the following: the verification parameter of the input interface is at the first or second level, and the verification parameter of the output interface is at the third level, then the verification parameter of the input interface is adjusted to the third level, and the verification parameter of the output interface is adjusted to the first or second level, so that the state of the bounded state component changes from the maximum boundary to the minimum boundary.

[0132] It should be noted that the backpressure verification device provided in this embodiment of the invention can realize all the processes of the backpressure verification method described in any of the above embodiments. The functions and technical effects of each module in the device are the same as the functions and technical effects of the backpressure verification method described in the above embodiments, and will not be repeated here.

[0133] This invention also provides a computer-readable storage medium including a stored computer program, which, when running, controls the device where the computer-readable storage medium is located to execute the backpressure verification method described in any of the above embodiments.

[0134] This invention also provides a computer program product, including a computer program that, when executed by a processor, implements the backpressure verification method described in any of the above embodiments.

[0135] This invention also provides a terminal device, see [link to relevant documentation]. Figure 3 The diagram shown is a structural block diagram of a terminal device according to an embodiment of the present invention. The terminal device includes a processor 10, a memory 20, and a computer program stored in the memory 20 and configured to be executed by the processor 10. When the processor 10 executes the computer program, it implements the backpressure verification method described in any of the above embodiments.

[0136] Preferably, the computer program can be divided into one or more modules / units (such as computer program 1, computer program 2, ...), and the one or more modules / units are stored in the memory 20 and executed by the processor 10 to complete the present invention. The one or more modules / units can be a series of computer program instruction segments capable of performing specific functions, and the instruction segments are used to describe the execution process of the computer program in the terminal device.

[0137] The processor 10 may be a central processing unit (CPU), or other general-purpose processors, digital signal processors (DSPs), application-specific integrated circuits (ASICs), field-programmable gate arrays (FPGAs), or other programmable logic devices, discrete gate or transistor logic devices, discrete hardware components, etc. The general-purpose processor may be a microprocessor, or the processor 10 may be any conventional processor. The processor 10 is the control center of the terminal device, connecting various parts of the terminal device through various interfaces and lines.

[0138] The memory 20 mainly includes a program storage area and a data storage area. The program storage area can store the operating system, applications required for at least one function, etc., while the data storage area can store related data, etc. Furthermore, the memory 20 can be a high-speed random access memory, or a non-volatile memory, such as a plug-in hard drive, a smart media card (SMC), a secure digital card (SD), and a flash card, or other volatile solid-state storage devices.

[0139] It should be noted that the aforementioned terminal devices may include, but are not limited to, processors and memory, as will be understood by those skilled in the art. Figure 3 The structural block diagram shown is merely a structural example of the terminal device described above and does not constitute a limitation on the structure of the terminal device. The terminal device may include more or fewer components than shown, or combine certain components, or use different components.

[0140] The above description is only a preferred embodiment of the present invention. It should be noted that for those skilled in the art, several improvements and modifications can be made without departing from the technical principles of the present invention, and these improvements and modifications should also be considered within the scope of protection of the present invention.

Claims

1. A back pressure verification method, characterized in that, The object to be verified of the back pressure verification includes at least one channel, each channel includes a group of input interfaces and output interfaces, and verification parameters are divided into at least two gears in advance; the method comprises: For each channel, the verification parameters of the input interfaces and the output interfaces of the same channel are configured under different gear combinations, and a first type of back pressure use case is constructed based on the verification parameters corresponding to each gear combination of the input interfaces and the output interfaces of each channel; For each input interface and each output interface of all channels included in the object to be verified, a verification parameter of one gear is randomly configured, and a second type of back pressure use case is constructed based on the configured verification parameters; According to the first type of back pressure use case and the second type of back pressure use case, the object to be verified is subjected to back pressure verification; Wherein, when the verification parameters of the input interfaces and the output interfaces of the same channel are configured under different gear combinations, the configuration is performed in multiple times, and each time the configuration is performed by respectively configuring one gear of the at least two gears for the input interfaces and configuring one gear of the at least two gears for the output interfaces to correspondingly form one gear combination; When a verification parameter of one gear is randomly configured for each input interface and each output interface of all channels included in the object to be verified, one gear of the at least two gears is randomly configured for each input interface and one gear of the at least two gears is randomly configured for each output interface.

2. The back pressure verification method of claim 1, wherein, At least two channels that will converge are taken as a group of converged channels, when the object to be verified includes at least one group of converged channels, the method further comprises: For each group of converged channels, the verification parameters of each input interface of the same group of converged channels are configured under different gear combinations, the verification parameters of each output interface of the same group of converged channels are randomly configured under one gear, and a third type of back pressure use case is constructed based on the verification parameters corresponding to each gear combination of the input interfaces and the output interfaces of each group of converged channels; Then, the back pressure verification of the object to be verified according to the first type of back pressure use case and the second type of back pressure use case is specifically: The back pressure verification of the object to be verified according to the first type of back pressure use case, the second type of back pressure use case and the third type of back pressure use case.

3. The back pressure verification method of claim 1, wherein, Components with size boundaries and dynamic state changes between the size boundaries are taken as bounded state components, when the object to be verified includes at least one bounded state component, the method further comprises: For each bounded state component, the verification parameters of the input interfaces and the output interfaces of the channel where the bounded state component is located are dynamically adjusted, so that the state of the bounded state component changes from the minimum boundary to the maximum boundary and from the maximum boundary to the minimum boundary, and a fourth type of back pressure use case is constructed based on the dynamic adjustment of the verification parameters of the input interfaces and the output interfaces of the channel where each bounded state component is located; Then, the back pressure verification of the object to be verified according to the first type of back pressure use case and the second type of back pressure use case is specifically: The back pressure verification of the object to be verified according to the first type of back pressure use case, the second type of back pressure use case and the fourth type of back pressure use case.

4. The back pressure verification method of claim 1, wherein, The gear of the verification parameter comprises a first gear, a second gear and a third gear, and the values of the verification parameter at different gears satisfy: first gear < second gear < third gear; Then, the verification parameters of the input interface and the output interface of the same path are configured under different gear combinations, specifically comprising: The verification parameter of the input interface of the same path is configured as the first gear, and the verification parameter of the output interface is configured as the first gear, the second gear and the third gear in turn; The verification parameter of the input interface of the same path is configured as the second gear, and the verification parameter of the output interface is configured as the first gear, the second gear and the third gear in turn; The verification parameter of the input interface of the same path is configured as the third gear, and the verification parameter of the output interface is configured as the first gear and the second gear in turn.

5. The back pressure verification method of claim 2, wherein, The gear of the verification parameter comprises a first gear, a second gear and a third gear, and the values of the verification parameter at different gears satisfy: first gear < second gear < third gear; Then, the verification parameters of each input interface of the same group of converged paths are configured under different gear combinations, and the verification parameter of each output interface of the same group of converged paths is randomly configured as a gear, specifically comprising: The verification parameter of one input interface in the same group of converged paths is configured as the first gear, and the verification parameters of the remaining input interfaces are configured as the first gear and the third gear in turn, and the verification parameter of each output interface is randomly configured as any one of the first gear, the second gear and the third gear; The verification parameter of one input interface in the same group of converged paths is configured as the third gear, and the verification parameters of the remaining input interfaces are configured as the first gear and the third gear in turn, and the verification parameter of each output interface is randomly configured as any one of the first gear, the second gear and the third gear.

6. The back pressure verification method of claim 3, wherein, The gear of the verification parameter comprises a first gear, a second gear and a third gear, and the values of the verification parameter at different gears satisfy: first gear < second gear < third gear; Then, the verification parameters of the input interface and the output interface of the path where the bounded state component is located are dynamically adjusted, so that the state of the bounded state component changes from the minimum boundary to the maximum boundary and from the maximum boundary to the minimum boundary, specifically comprising: If the verification parameters of the input interface and the output interface of the path where the bounded state component is located satisfy: the verification parameter of the input interface is the third gear, and the verification parameter of the output interface is the first gear or the second gear, then the verification parameter of the input interface is adjusted to the first gear or the second gear, and the verification parameter of the output interface is adjusted to the third gear, so that the state of the bounded state component changes from the minimum boundary to the maximum boundary; If the verification parameters of the input interface and the output interface of the path where the bounded state component is located satisfy: the verification parameter of the input interface is the first gear or the second gear, and the verification parameter of the output interface is the third gear, then the verification parameter of the input interface is adjusted to the third gear, and the verification parameter of the output interface is adjusted to the first gear or the second gear, so that the state of the bounded state component changes from the maximum boundary to the minimum boundary.

7. A back pressure verification device, characterized by, The object to be verified of the back pressure verification includes at least one channel, each channel includes a set of input interfaces and output interfaces, and verification parameters are divided into at least two gears in advance; the device includes: a first back pressure case construction module, configured to, for each channel, configure verification parameters under different gear combinations for the input interfaces and the output interfaces of the same channel, and construct a first type of back pressure case based on the verification parameters corresponding to each gear combination of the input interfaces and the output interfaces of each channel; a second back pressure case construction module, configured to randomly configure a gear of verification parameters for each input interface and each output interface of all channels included in the object to be verified, and construct a second type of back pressure case based on the configured verification parameters; a back pressure verification module, configured to perform back pressure verification on the object to be verified according to the first type of back pressure case and the second type of back pressure case; wherein, when configuring the verification parameters under different gear combinations for the input interfaces and the output interfaces of the same channel, the configuration is performed in multiple times, and each time, one gear of the at least two gears is configured for the input interfaces and one gear of the at least two gears is configured for the output interfaces, so as to correspondingly form one gear combination; when randomly configuring a gear of verification parameters for each input interface and each output interface of all channels included in the object to be verified, one gear of the at least two gears is randomly configured for each input interface and one gear of the at least two gears is randomly configured for each output interface.

8. A computer-readable storage medium, characterized in that, A computer program stored, which when executed controls a device in which the computer readable storage medium is located to perform the back pressure verification method according to any one of claims 1-6.

9. A computer program product, characterised in that, A computer program, which when executed by a processor implements the back pressure verification method according to any one of claims 1-6.

10. A terminal device, comprising: A processor, a memory, and a computer program stored in the memory and configured to be executed by the processor, the processor implements the back pressure verification method according to any one of claims 1-6 when executing the computer program.

Images