Back pressure verification method and device, storage medium, product and terminal equipment

Abstract

The invention discloses a back pressure verification method and device, a storage medium, a product and terminal equipment, a verified object of back pressure verification comprises at least one path, each path comprises a group of input interfaces and output interfaces, and verification parameters are divided into at least two gears in advance; the method comprises the following steps: for each path, configuring verification parameters under different gear combinations for an input interface and an output interface of the same path, and constructing a first type of back pressure cases based on the verification parameters corresponding to each gear combination of the input interface and the output interface of each path; randomly configuring verification parameters of one gear for each input interface and each output interface of all paths contained in the verified object, and constructing a second type of back pressure cases based on the configured verification parameters; and performing back pressure verification on the verified object according to the first type of back pressure use case and the second type of back pressure use case. By adopting the technical scheme of the invention, the comprehensiveness and completeness of back pressure verification can be improved.

Description

TECHNICAL FIELD

[0001] The present application relates to the technical field of computer, in particular to a back pressure verification method and device, computer readable storage medium, computer program product and terminal equipment. BACKGROUND

[0002] In a digital system (such as a chip, a communication module, a processor, etc.), data will be transmitted between the interfaces of different modules, when the data receiver (such as a downstream module) cannot receive the data sent by the data sender (such as an upstream module) in time due to internal busy (such as buffer full, processing unit not ready, etc.), a "back pressure mechanism" will be triggered, for example, the "ready" signal will be pulled down to inform the data sender "not to send for the time being", and the data sender needs to respond to this signal to pause or slow down data transmission. The "back pressure verification" is to test whether the "back pressure mechanism" can work normally by simulating the scenario of insufficient downstream processing capacity, for example, to test whether the "back pressure mechanism" can be triggered correctly, whether the data sender can respond in time, and whether there will be problems such as data loss, error, deadlock, etc.

[0003] In the traditional back pressure verification scheme, the verification is usually carried out for a single interface (input interface or output interface) of a module, different delay values (i.e. delay parameters of input interface receiving data or delay parameters of output interface outputting data) are configured for the single interface of the module to simulate different busy degrees of the module, so as to verify the back pressure mechanism of the interface. However, this back pressure verification scheme is limited to isolated verification of the single interface of the module, lacks a system description of the module (such as ignoring the relevance between multiple interfaces of the module, etc.), and is prone to missing problems (such as missing back pressure verification in a multi-interface linkage scenario) when actually performing back pressure verification, thereby affecting the comprehensiveness and completeness of the back pressure verification. SUMMARY

[0004] The purpose of the embodiments of the present application is to provide a back pressure verification method, device, computer readable storage medium, computer program product and terminal equipment, which can perform combined back pressure verification on the input interface and output interface of each channel of the verified object and all input interfaces and output interfaces of all channels contained in the verified object, instead of isolated back pressure verification for a single interface, thereby improving the comprehensiveness and completeness of the back pressure verification.

[0005] In order to achieve the above-mentioned purpose, the embodiments of the present application provide a back pressure verification method, the verified object of the back pressure verification includes at least one channel, each channel includes a group of input interfaces and output interfaces, and the verification parameters are divided into at least two gears in advance; the method comprises: For each path, configure the verification parameters of the input interface and the output interface of the same path under different gear combinations, and construct the first type of back pressure use case based on the verification parameters corresponding to each gear combination of the input interface and the output interface of each path; Randomly configure the verification parameters of one gear for each input interface and each output interface of all paths included in the object to be verified, and construct the second type of back pressure use case 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 verified.

[0006] Further, at least two paths that converge are taken as a group of converged paths, when the object to be verified includes at least one group of converged paths, the method further includes: For each group of converged paths, configure the verification parameters of each input interface of the same group of converged paths under different gear combinations, and randomly configure the verification parameters of one gear for each output interface of the same group of converged paths, and construct the third type of back pressure use case based on the verification parameters corresponding to each gear combination of the input interface and the output interface of each group of converged paths; 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 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, the object to be verified is verified.

[0007] Further, the component with a size boundary and a state that dynamically changes between the size boundary is taken as a bounded state component, when the object to be verified includes at least one bounded state component, the method further includes: For each bounded state component, dynamically adjust the verification parameters of the input interface and the output interface 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, and construct the fourth type of back pressure use case based on the dynamic adjustment of the verification parameters of the input interface and the output interface of the path where each bounded state component is located; 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 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, the object to be verified is verified.

[0008] Further, the gears of the verification parameters include first gear, second gear and third gear, and the values of the verification parameters at different gears satisfy: first gear < second gear < third gear; Therefore, configuring verification parameters for different gear combinations for the input and output interfaces of the same path specifically includes: 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; 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. 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.

[0009] 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. 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: 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. 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.

[0010] 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. 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: 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. If the verification parameters of the input interface and the output interface of the passageway 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, 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.

[0011] To achieve the above object, the embodiment of the present application further provides a back pressure verification device, the back pressure verification object includes at least one passageway, each passageway includes a group of input interfaces and output interfaces, and the verification parameters are divided into at least two gears in advance; the device includes: A first back pressure use case construction module is configured to, for each passageway, configure the verification parameters under different gear combinations for the input interfaces and the output interfaces of the same passageway, and construct a first type of back pressure use case based on the verification parameters corresponding to each gear combination of the input interfaces and the output interfaces of each passageway. A second back pressure use case construction module is configured to randomly configure a gear verification parameter for each input interface and each output interface of all passageways included in the object to be verified, and construct a second type of back pressure use case based on the configured verification parameters. A back pressure verification module is configured to perform back pressure verification on the object to be verified according to the first type of back pressure use case and the second type of back pressure use case.

[0012] The embodiment of the present application further provides a computer readable storage medium including a stored computer program, the computer program controls the device where the computer readable storage medium is located to execute the back pressure verification method of any one of the above when running.

[0013] The embodiment of the present application further provides a computer program product including a computer program, the computer program implements the back pressure verification method of any one of the above when executed by a processor.

[0014] The embodiment of the present application further 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, the processor implements the back pressure verification method of any one of the above when executing the computer program.

[0015] The embodiment of the present application provides a back pressure verification method, device, computer readable storage medium, computer program product and terminal equipment, the verified object of back pressure verification includes at least one pass, each pass includes a group of input interface and output interface, and verification parameters are divided into at least two gears in advance, then, for each pass, the input interface and the output interface of the same pass are configured with verification parameters under different gear combinations, and the first type of back pressure use case is constructed based on the corresponding verification parameters of each gear combination of the input interface and the output interface of each pass, and for each input interface and each output interface of all passes included in the verified object, a gear verification parameter is randomly configured, and the second type of back pressure use case is constructed based on the configured verification parameter, then, the verified object is verified according to the first type of back pressure use case and the second type of back pressure use case. The embodiment of the present application can combine the input interface and the output interface of each pass of the verified object and all input interfaces and output interfaces of all passes included in the verified object for combined back pressure verification, instead of isolated back pressure verification for a single interface, so that the comprehensiveness and completeness of back pressure verification are improved. BRIEF DESCRIPTION OF DRAWINGS

[0016] Figure 1 It is a flow chart of a back pressure verification method provided by an embodiment of the present application; Figure 2 It is a structural block diagram of a back pressure verification device provided by an embodiment of the present application; Figure 3 It is a structural block diagram of a terminal equipment provided by an embodiment of the present application. DETAILED DESCRIPTION

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

[0018] The embodiment of the present application provides a back pressure verification method, and the verified object of back pressure verification includes at least one pass, each pass includes a group of input interface and output interface, and verification parameters are divided into at least two gears in advance, as shown in Figure 1 The flow chart of a back pressure verification method provided by an embodiment of the present application is shown, and the method includes steps S11 to S13: Step S11, for each pass, the input interface and the output interface of the same pass are configured with verification parameters under different gear combinations, and the first type of back pressure use case is constructed based on the corresponding verification parameters of each gear combination of the input interface and the output interface of each pass. Step S12, randomly configuring a verification parameter of one gear for each input interface and each output interface of all paths contained in the object to be verified, and constructing a second type of back pressure use case based on the configured verification parameter; Step S13, performing back pressure verification on the object to be verified according to the first type of back pressure use case and the second type of back pressure use case.

[0019] It should be noted that the object to be verified in the back pressure verification includes at least one path, each path includes a group of input interfaces and output interfaces having an association relationship, the object to be verified receives data through the input interface and outputs data through the output interface, and the complete transmission path between the input interface and the output interface of the data constitutes a path.

[0020] It should be noted that the verification parameter of the back pressure verification is divided into at least two gears (the gear refers to the value interval with clear boundaries formed after the value range of the verification parameter is divided), and the values of the verification parameters corresponding to different gears are different. Based on the different gears of the verification parameter, the embodiment is implemented as follows: In one aspect, for each path in the to-be-verified object, the verification parameters of the input interface and the output interface having a correlation relationship belonging to the same path can be configured under different gear combinations, that is, when the verification parameters of the input interface and the output interface are configured, all gears of the verification parameters can be selected, one gear of the input interface is selected for configuration + one gear of the output interface is selected for configuration, which constitutes a gear combination mode, and since there is more than one gear of the verification parameters, there are more than one optional options, thus, the gear combination mode corresponding to the verification parameters configured for the input interface and the output interface is more than one, and correspondingly, the verification parameters of the input interface and the output interface of each path can have multiple gear combination modes, then, for each path, a first type of back pressure use case (i.e., a first type of test case used for subsequent back pressure verification) corresponding to each path can be constructed based on a large amount of use cases of the corresponding path and the multiple gear combination modes of the verification parameters of the input interface and the output interface of the corresponding path; on the other hand, for the to-be-verified object itself, a verification parameter of one gear can be randomly configured for each input interface and each output interface of all paths included in the to-be-verified object, that is, when the verification parameters of each input interface and each output interface are configured, all gears of the verification parameters can be selected, and each input interface and each output interface only needs to be randomly selected once, and then, based on the configured verification parameters of each input interface and each output interface of all paths included in the to-be-verified object, a second type of back pressure use case (i.e., a second type of test case used for subsequent back pressure verification) corresponding to the to-be-verified object itself can be constructed; finally, the to-be-verified object can be verified for back pressure according to all the first type of back pressure use cases and the second type of back pressure use cases constructed.

[0021] It should be noted that the verification parameters of the back pressure verification can be the delay values of the interfaces, the delay values corresponding to different gears have different values, the delay value of the input interface refers to the delay value when the input interface receives data (i.e., the time difference between continuously receiving two pieces of data), and the delay value of the output interface refers to the delay value when the output interface outputs data (i.e., the time difference between continuously outputting two pieces of data); for example, assuming that an input interface of a path of the to-be-verified object receives a first piece of data at T1 and receives a second piece of data at T2, the actual delay value of the input interface is T2-T1, and assuming that an output interface of a path of the to-be-verified object outputs a first piece of data at T3 and outputs a second piece of data at T4, the actual delay value of the output interface is T4-T3.

[0022] It should be noted that in the embodiments of the present application, the configuration mode of the verification parameter and the verification mode of the anti-pressure verification of the verified object according to the anti-pressure use case can be implemented by using the prior art. For example, for the configuration mode of the verification parameter, taking the delay value as an example, when different gear delay values are configured for the input interface and the output interface, the delay value required to be configured for the interface can be directly input by simulation parameter passing, different gear delay values can be obtained by controlling different excitation branches through parameter passing, or other configuration modes can also be used, and the embodiments of the present application are not limited in this way.

[0023] It should be noted that the verified object in the embodiments of the present application can be a single module or a module cluster composed of at least two modules, that is, the embodiments of the present application are applicable to both UT verification (Unit Test), that is, Unit level verification for the smallest independent functional module, and BT verification (Block Test), that is, 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 interface and the output interface of each module inside the module cluster, and only considering the input interface and the output interface of the module cluster as a whole. The UT verification and the BT verification correspond to the same combination verification principle, and the difference lies in the gear division and the value range of the verification parameter, because the overall delay value of the module cluster composed of at least two modules is necessarily different from the delay value of a single module.

[0024] It should be noted that, as described in the background, since the traditional anti-pressure verification scheme only performs isolated anti-pressure verification on a single interface of the verified object, lacks a system description of the verified object, and thus lacks combination verification between input interfaces and output interfaces having a correlation relationship, problems are easily missed during actual anti-pressure verification, for example, assuming that two interfaces have a correlation relationship, if isolated anti-pressure verification is performed only on a single interface, the problem of incomplete measurement is easily caused.

[0025] The anti-pressure verification method provided by the embodiments of the present application can effectively solve the problems existing in the traditional anti-pressure verification scheme, prevent omission, realize more complete anti-pressure verification of the verified object, and thus improve the comprehensiveness and completeness of the anti-pressure verification.

[0026] As one of the optional embodiments, the method pre-divides the gear of the verification parameter by the following steps: obtaining the number of clock cycles required for data transmission in a single channel; dividing the verification parameter into at least two gears according to the number of clock cycles.

[0027] Further, the dividing the verification parameter into at least two gears according to the number of clock cycles specifically includes: when the number of clock cycles is not greater than a first preset threshold, dividing the verification parameter with a value of 0 into a first gear, dividing the verification parameter with a value in a range of [a second preset threshold, M-a second preset threshold] into a second gear, and dividing the verification parameter with a value in a range of [M, M+ a third preset threshold] into a third gear; wherein M represents the number of clock cycles; when the number of clock cycles is greater than the first preset threshold, dividing the verification parameter with a value of 0 into a first gear, dividing the verification parameter with a value in a range of [the first preset threshold, M-the first preset threshold] into a second gear, and dividing the verification parameter with a value in a range of [M, M+ a third preset threshold] into a third gear.

[0028] Specifically, in combination with the above embodiments, when dividing the verification parameter of the back pressure verification into gears, the number of clock cycles required for data transmission from the input interface of a single channel to the output interface of the channel (denoted as M, and M is a positive integer, which means that data is input from the input interface of a single channel, and output from the output interface of the channel, and needs to pass through M clock cycles in the middle) can be obtained first, and then the verification parameter is divided into at least two gears according to the obtained number of clock cycles M; assuming that the verification parameter needs to be divided into three gears, i.e., a first gear, a second gear and a third gear, and it satisfies: the value of the verification parameter corresponding to the first gear < the value of the verification parameter corresponding to the second gear < the value of the verification parameter corresponding to the third gear, then when dividing the verification parameter into gears based on the obtained number of clock cycles M, if it satisfies: M≤the first preset threshold, then the verification parameter with a value of 0 can be divided into the first gear, the verification parameter with a value in a range of [the second preset threshold, M-the second preset threshold] can be divided into the second gear, and the verification parameter with a value in a range of [M, M+ a third preset threshold] can be divided into the third gear; if it satisfies: M>the first preset threshold, then the verification parameter with a value of 0 can be divided into the first gear, the verification parameter with a value in a range of [the first preset threshold, M-the first preset threshold] can be divided into the second gear, and the verification parameter with a value in a range of [M, M+ a third preset threshold] can be divided into the third gear.

[0029] For example, taking the delay value as an example of the verification parameter, based on the verification parameter being divided into a first gear, a second gear and a third gear, the corresponding delay value is divided into three gears of no back pressure, small back pressure and large back pressure (i.e., the first gear corresponds to no back pressure, the second gear corresponds to small back pressure, and the third gear corresponds to large back pressure). Assuming that the first preset threshold value = 5, the second preset threshold value = 1, and the third preset threshold value = 20, 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] (satisfying M≤5), or within the range of [5, M-5] (satisfying M>5), and the delay value corresponding to large back pressure can be randomly selected within the range of [M, M+20].

[0030] It can be understood that the number of gears of the verification parameter is preferably three gears, and can also be divided into more gears. However, the more the number of gears, the more the gear combination mode, and the longer the time consumption of back pressure verification, which also increases the complexity of back pressure verification. Therefore, it is meaningless to divide more gears, and dividing the three gears of no back pressure, small back pressure and large back pressure basically meets the verification requirement.

[0031] It can be understood that, in addition to the values in the above examples, the values of the first preset threshold value, the second preset threshold value and the third preset threshold value, and the value range of the verification parameter of each gear can also be adaptively set according to the size of M, and the embodiments of the present application are not limited specifically.

[0032] In one of the optional embodiments, the gears of the verification parameter include a first gear, a second gear and a third gear, and the values of the verification parameter in different gears satisfy: first gear < second gear < third gear. Then, the verification parameters in different gear combinations are configured for the input interface and the output interface of the same path, specifically including: The verification parameter of the input interface of the same path is configured as the first gear, and the verification parameters of the output interface are 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 parameters of the output interface are 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 parameters of the output interface are configured as the first gear and the second gear.

[0033] Specifically, in combination with the above embodiment, if the verification parameters are divided into the first gear, the second gear and the third gear, when configuring the verification parameters of the input interface and the output interface of the same path in different gear combinations, the verification parameters of the input interface of the same path can be configured as the first gear, and the verification parameters of the output interface of the same path are configured as each of the first gear, the second gear and the third gear in turn, corresponding to 3 kinds of gear combination modes, and the verification parameters of the input interface of the same path are configured as the second gear, and the verification parameters of the output interface of the same path are configured as each of the first gear, the second gear and the third gear in turn, corresponding to 3 kinds of gear combination modes, and the verification parameters of the input interface of the same path are configured as the third gear, and the verification parameters of the output interface of the same path are configured as each of the first gear and the second gear in turn, corresponding to 2 kinds of gear combination modes (in the scenario that the verification parameters of the input interface are the third gear, the path data volume is basically empty, so configuring the verification parameters of the output interface as the third gear has no meaning, but will increase the simulation time, therefore this gear combination mode can be removed), in total, 8 kinds of gear combination modes are obtained, and further, based on the large data volume use case of the same path, the first type of back pressure use case corresponding to the 8 kinds of gear combination modes of the same path can be constructed.

[0034] For example, the verification parameters are delay values, the delay values are divided into three gears of no back pressure, small back pressure and large back pressure, then the delay values of the input interface of the same path and the delay values of the input interface can be selected in different gear combinations in the three gears of no back pressure, small back pressure and large back pressure, and the specific gear combination modes are shown in Table 1.

[0035] Table 1 Single path interface gear combination table It should be noted that through the above 8 kinds of gear combination modes, not only the associated input interface and output interface can be combined and verified, but also when the delay value of the input interface or the output interface = 0, it is equivalent to no back pressure verification of the input interface or the output interface, that is, the isolated back pressure verification for a single interface is also included in the 8 kinds of gear combination modes.

[0036] In one of the optional embodiments, at least two paths that occur convergence are taken as a group of converged paths, when the object to be verified includes at least a group of converged paths, the method further includes: For each group of converged paths, configure verification parameters under different gear combinations for each input interface of the same group of converged paths, randomly configure a verification parameter of one gear for each output interface of the same group of converged paths, and construct a third type of back pressure use case based on the verification parameters corresponding to each gear combination of the input interface and the output interface of each group of converged paths; Therefore, the back pressure verification is performed on the to-be-verified object according to the first type of back pressure use case and the second type of back pressure use case, specifically as follows: The back pressure verification is performed on the to-be-verified object 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.

[0037] Specifically, in combination with the above embodiments, assuming that at least two paths that converge in the to-be-verified object are defined as a group of converged paths, when the to-be-verified object includes at least one group of converged paths, in addition to constructing the first type of back pressure use case for each path in the to-be-verified object and constructing the second type of back pressure use case for the entire to-be-verified object, the third type of back pressure use case needs to be constructed for each group of converged paths to cover the verification scenarios corresponding to different gear combination modes between the converged paths; further, when constructing the third type of back pressure use case, for each group of converged paths in the to-be-verified object, the verification parameters under different gear combinations can be configured between the input interfaces of each path belonging to the same group of converged paths, that is, when configuring the verification parameters for the input interfaces of each path in the same group of converged paths, all gears of the verification parameters can be selected, and since there is more than one gear of the verification parameters, there are more than one optional options, so the gear combination mode corresponding to the verification parameters configured for the input interfaces of each path in the same group of converged paths is not only one, accordingly, the verification parameters between the input interfaces of each path in the same group of converged paths can have multiple gear combination modes, at the same time, a verification parameter of one gear is randomly configured for each output interface of each path belonging to the same group of converged paths, that is, when configuring the verification parameters for the output interfaces of each path in the same group of converged paths, all gears of the verification parameters can also be selected, and each output interface only needs to be randomly selected once, therefore, for each group of converged paths, the third type of back pressure use case corresponding to each group of converged paths can be constructed based on the large amount of data use cases of the corresponding converged paths and the multiple gear combination modes of the verification parameters of the input interfaces and the verification parameters of the output interfaces of all paths in the corresponding converged paths; further, the back pressure verification can be performed on the to-be-verified object according to all the first type of back pressure use cases, the second type of back pressure use cases, and all the third type of back pressure use cases.

[0038] It should be noted that the anti-pressure verification method provided by the embodiment of the application not only performs anti-pressure verification on the input interfaces and the output interfaces having the association relationship in each path of the object to be verified in multiple gear combinations, and performs overall anti-pressure verification on all input interfaces and all output interfaces of all paths included in the object to be verified, but also performs anti-pressure verification on the input interfaces and the output interfaces of all paths in each group of the converged paths in the object to be verified when the object to be verified includes the converged paths, thereby further improving the comprehensiveness and completeness of the anti-pressure verification.

[0039] In one of the optional embodiments, the gears of the verification parameters include a first gear, a second gear and a third gear, and the values of the verification parameters in different gears satisfy: the first gear < the second gear < the third gear. Then, the verification parameters of each input interface of the same group of the converged paths are configured in different gear combinations, and the verification parameters of each output interface of the same group of the converged paths are randomly configured in one gear, and the method specifically includes: The verification parameter of one input interface in the same group of the converged paths is configured as the first gear, and the verification parameters of the remaining input interfaces are sequentially configured as the first gear and the third gear respectively, and the verification parameters of each output interface are 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 the converged paths is configured as the third gear, and the verification parameters of the remaining input interfaces are sequentially configured as the first gear and the third gear respectively, and the verification parameters of each output interface are randomly configured as any one of the first gear, the second gear and the third gear.

[0040] Specifically, in combination with the above embodiments, if the verification parameters are divided into the first gear, the second gear and the third gear, when configuring the verification parameters under different gear combinations for the input interfaces and the output interfaces of the same group of converged paths, the verification parameters of the input interface of any one path (denoted as A path) in the same group of converged paths can be configured as the first gear, the verification parameters of the input interface of each of the remaining paths in the same group of converged paths except the A path can be configured as each of the first gear and the third gear in turn, and the verification parameters of the output interface of each of the paths in the same group of converged paths can be randomly configured as any one of the first gear, the second gear and the third gear, and a plurality of gear combination modes are correspondingly obtained, and the verification parameters of the input interface of any one path (i.e., the A path) in the same group of converged paths can be configured as the third gear, the verification parameters of the input interface of each of the remaining paths in the same group of converged paths except the A path can be configured as each of the first gear and the third gear in turn, and the verification parameters of the output interface of each of the paths in the same group of converged paths can be randomly configured as any one of the first gear, the second gear and the third gear, and a plurality of gear combination modes are correspondingly obtained, and a plurality of gear combination modes are obtained in total, and further, based on a large amount of use cases of all the paths in the same group of converged paths, a third type of back pressure use case corresponding to the plurality of gear combination modes of the same group of converged paths can be constructed.

[0041] For example, taking the delay value as the verification parameter, the delay value is divided into three gears of no back pressure, small back pressure and large back pressure, assuming that the A path and the B path converge synchronously at a certain hardware in the object to be verified and belong to the same group of converged paths, the delay values of the input interfaces of the A path and the B path need to cover different gear combination modes, and the delay values of the output interfaces of the A path and the B path can be randomly selected from no back pressure, small back pressure and large back pressure for configuration. The specific gear combination mode is shown in Table 2.

[0042] Table 2: Gear combination table for two-path converged path interfaces For example, assuming that the A path, the B path and the C path converge synchronously at a certain hardware in the object to be verified and belong to the same group of converged paths, the delay values of the input interfaces of the A path, the B path and the C path need to cover different gear combination modes, and the delay values of the output interfaces of the A path, the B path and the C path can be randomly selected from no back pressure, small back pressure and large back pressure for configuration. The specific gear combination mode is shown in Table 3 (the gear combination mode of the scene of more paths converging is similar).

[0043] Table 3: Gear combination table for three-path converged path interfaces 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.

[0044] 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: 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. 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: 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.

[0045] Specifically, in combination with the above embodiment, assuming that a component with a size boundary and a state dynamically changing between the size boundary is defined as a bounded state component, when the to-be-verified object includes at least one bounded state component, in addition to the first type of back pressure use case for each path in the to-be-verified object and the second type of back pressure use case for the to-be-verified object as a whole, a fourth type of back pressure use case for each bounded state component is also needed to cover the verification scene corresponding to the state change of the bounded state component; further, in the specific construction of the fourth type of back pressure use case, for each bounded state component in the to-be-verified object, the configured verification parameters (i.e. gear combinations) of the input interface and the output interface of the path where the bounded state component is located can be 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 based on the dynamic adjustment of the verification parameters of the input interface and the output interface of the path where each bounded state component is located, the fourth type of back pressure use case corresponding to each bounded state component is constructed; further, all the first type of back pressure use case, the second type of back pressure use case and all the fourth type of back pressure use case can be used to perform back pressure verification on the to-be-verified object.

[0046] It should be noted that the multiple gear combinations of the input interface and the output interface of a single path (for example, the eight gear combinations in the above embodiment) 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 embodiment of the present application needs to dynamically adjust the gear combinations of the input interface and the output interface to realize the above state change of the bounded state component, and based on this dynamic adjustment, the corresponding fourth type of back pressure use case is constructed for back pressure verification.

[0047] It should be noted that the bounded state component can be a FIFO (First-In-First-Out, a typical hardware cache circuit working according to the first-in first-out principle), a buffer, a counter, etc. in the to-be-verified object, for example, the FIFO and the buffer have an empty boundary and a full boundary, and the state dynamically changes between the empty boundary and the full boundary, and the counter has a minimum value boundary and a maximum value boundary, and the state dynamically changes between the minimum value boundary and the maximum value boundary; among them, for the scenario where the to-be-verified object includes a FIFO, the corresponding fourth type of back pressure use case must be constructed for back pressure verification, and for the scenario where the to-be-verified object includes a buffer or a counter, only the first type of back pressure use case and the second type of back pressure use case are constructed for back pressure verification, which basically meets the verification requirement, and whether the fourth type of back pressure use case is constructed and used for back pressure verification can be selected according to actual needs.

[0048] The anti-pressure verification method provided by the embodiment of the application further comprises: when the to-be-verified object comprises a bounded state component, performing dynamic adjustment anti-pressure verification on the input interface and the output interface of each path in which the bounded state component is located, so that the comprehensiveness and completeness of the anti-pressure verification are further improved.

[0049] In one of the optional embodiments, the verification parameter gears comprise a first gear, a second gear and a third gear, and the values of the verification parameter in different gears satisfy: the first gear < the second gear < the third gear. Then, the verification parameter of the input interface and the output interface of the path in which the bounded state component is located is 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 the adjustment specifically comprises: If the verification parameter of the input interface and the output interface of the path in which the bounded state component is located satisfies: 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, 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 parameter of the input interface and the output interface of the path in which the bounded state component is located satisfies: 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, 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.

[0050] Specifically, in combination with the above embodiments, if the verification parameter is divided into the first gear, the second gear and the third gear, when the verification parameter (i.e., the gear combination) of the input interface and the output interface of the path where the bounded state component is located is dynamically adjusted, it can be first judged what gear combination mode the verification parameter of the input interface and the output interface of the path where the bounded state component is located is currently in. If the gear combination of the verification parameter of the input interface and the output interface of the path where the bounded state component is located satisfies that 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, the verification parameter of the input interface can be adjusted from the third gear to the first gear or the second gear, and the verification parameter of the output interface can be adjusted from the first gear or the second gear to the third gear, so that the state of the bounded state component changes from the minimum boundary to the maximum boundary. If the gear combination of the verification parameter of the input interface and the output interface of the path where the bounded state component is located satisfies that 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, the verification parameter of the input interface can be adjusted from the first gear or the second gear to the third gear, and the verification parameter of the output interface can be adjusted from the third gear 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.

[0051] For example, the verification parameter is delay value, the delay value is divided into three gears of no back pressure, small back pressure and large back pressure, and the back pressure verification of the FIFO needs to cover the state changes of empty to full and full to empty. Therefore, the configured delay value of the input interface and the output interface of the path where the FIFO is located needs to be dynamically adjusted. For example, assuming that the delay value of the input interface is large back pressure, and the delay value of the output interface is no back pressure or small back pressure, then the delay value of the input interface is adjusted to no back pressure or small back pressure, and the delay value of the output interface is adjusted to large back pressure, so that the state of the FIFO changes from empty to full. Assuming that the delay value of the input interface is no back pressure or small back pressure, and the delay value of the output interface is large back pressure, then the delay value of the input interface is adjusted to large back pressure, and the delay value of the output interface is adjusted to no back pressure or small back pressure, so that the state of the FIFO changes from full to empty. That is, in addition to the eight back pressure combinations of a single path, the back pressure use case of dynamically adjusting the delay value of the input interface and the output interface is also needed, so that the state of the FIFO dynamically changes from empty to full to empty.

[0052] It can be understood that if the verified object includes at least one group of converged paths and at least one bounded state component, the first type of back pressure use case needs to be constructed for each path in the verified object, the second type of back pressure use case needs to be constructed for the whole verified object, the third type of back pressure use case needs to be constructed for each group of converged paths in the verified object, the fourth type of back pressure use case needs to be constructed for each bounded state component in the verified object, and the verified object is verified according to all the first type of back pressure use case, the second type of back pressure use case, all the third type of back pressure use case and all the fourth type of back pressure use case; through the above four types of back pressure use cases, more complete back pressure verification of the verified object can be performed.

[0053] The embodiment of the application also provides a back pressure verification device for realizing the back pressure verification method of any one of the above-mentioned embodiments, as shown in Figure 2 The verified object of the back pressure verification includes at least one path, each path includes a group of input interfaces and output interfaces, and the verification parameters are divided into at least two gears in advance; the device includes: The first back pressure use case construction module 11 is configured to configure the verification parameters under different gear combinations for the input interfaces and the output interfaces of the same path for each path, and construct the first type of back pressure use case based on the verification parameters corresponding to each gear combination of the input interfaces and the output interfaces of each path. The second back pressure use case construction module 12 is configured to randomly configure the verification parameters of one gear for each input interface and each output interface of all the paths included in the verified object, and construct the second type of back pressure use case based on the configured verification parameters. The back pressure verification module 13 is configured to perform back pressure verification on the verified object according to the first type of back pressure use case and the second type of back pressure use case.

[0054] Preferably, at least two paths that converge are taken as a group of converged paths, when the verified object includes at least one group of converged paths, the device further includes: The third back pressure use case construction module is configured to configure the verification parameters under different gear combinations for each input interface of the same group of converged paths, randomly configure the verification parameters of one gear for each output interface of the same group of converged paths, and construct the third type of back pressure use case based on the verification parameters corresponding to each gear combination of the input interfaces and the output interfaces of each group of converged paths. Therefore, the back pressure verification module 13 is specifically configured to: Perform back pressure verification on the verified object 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.

[0055] Preferably, the component with size boundary and dynamic state change between the size boundary is taken as a bounded state component, and when the to-be-verified object comprises at least one bounded state component, the device further comprises: a fourth back pressure case construction module configured to, for each bounded state component, dynamically adjust the verification parameters of the input interface and the output interface of the path in which 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, and construct the fourth type of back pressure case based on the dynamic adjustment of the verification parameters of the input interface and the output interface of the path in which each bounded state component is located. Therefore, the back pressure verification module 13 is specifically configured to: perform back pressure verification on the to-be-verified object according to the first type of back pressure case, the second type of back pressure case and the fourth type of back pressure case.

[0056] Preferably, the gears of the verification parameters comprise a first gear, a second gear and a third gear, and the values of the verification parameters at different gears satisfy: first gear < second gear < third gear. Therefore, the first back pressure case construction module 11 configures the verification parameters of the input interface and the output interface of the same path under different gear combinations, and specifically comprises: configuring the verification parameters of the input interface of the same path as the first gear, and configuring the verification parameters of the output interface as the first gear, the second gear and the third gear in turn; configuring the verification parameters of the input interface of the same path as the second gear, and configuring the verification parameters of the output interface as the first gear, the second gear and the third gear in turn; configuring the verification parameters of the input interface of the same path as the third gear, and configuring the verification parameters of the output interface as the first gear and the second gear.

[0057] Preferably, the gears of the verification parameters comprise a first gear, a second gear and a third gear, and the values of the verification parameters at different gears satisfy: first gear < second gear < third gear. Therefore, the third back pressure case construction module configures the verification parameters of each input interface of the same group of converged paths under different gear combinations, and randomly configures the verification parameters of each output interface of the same group of converged paths under one gear, and specifically comprises: configuring the verification parameters of one input interface in the same group of converged paths as the first gear, and configuring the verification parameters of the remaining each input interface as the first gear and the third gear in turn respectively, and randomly configuring the verification parameters of each output interface 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 convergence channels is configured as the third gear, the verification parameter of each remaining input interface is sequentially configured as the first gear and the third gear respectively, 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.

[0058] Preferably, the gears of the verification parameter include a first gear, a second gear and a third gear, and the values of the verification parameter at different gears satisfy: the first gear < the second gear < the third gear. Then, the fourth back pressure use case construction module dynamically adjusts the verification parameters of the input interface and the output interface of the channel in which 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, and specifically includes: If the verification parameters of the input interface and the output interface of the channel in which 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, 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 channel in which 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, 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.

[0059] It should be noted that the back pressure verification device provided by the embodiment of the present application can realize all the processes of the back pressure verification method described in any of the above embodiments, and the functions and technical effects of each module in the device correspond to the functions and technical effects of the back pressure verification method described in the above embodiments, which will not be repeated here.

[0060] The embodiment of the present application further provides a computer readable storage medium, including a stored computer program, which controls the device where the computer readable storage medium is located to execute the back pressure verification method described in any of the above embodiments when running.

[0061] The embodiment of the present application further provides a computer program product, including a computer program, which realizes the back pressure verification method described in any of the above embodiments when executed by a processor.

[0062] The embodiment of the present application further provides a terminal device, as shown in Figure 3Fig. 1 shows a structural block diagram of a terminal device according to an embodiment of the present application. The terminal device comprises a processor 10, a memory 20, and a computer program stored in the memory 20 and configured to be executed by the processor 10. The processor 10 implements the anti-pressure verification method according to any one of the above embodiments when executing the computer program.

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

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

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

[0066] It should be noted that the above terminal device can include, but is not limited to, a processor and a memory, and those skilled in the art can understand that Figure 3The structural diagram shown is merely an example of the structure of the terminal device described above, and does not constitute a limitation on the structure of the terminal device described above. The terminal device described above can include more or fewer components than those shown, or combine certain components, or different components.

[0067] The above is merely preferred embodiments of the present application, and it should be noted that those skilled in the art can make several improvements and modifications without departing from the technical principles of the present application, and these improvements and modifications should be considered as within the scope of the present application.

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 set of input interfaces and output interfaces, and the 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 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 case is constructed based on the configured verification parameters; According to the first type of back pressure case and the second type of back pressure case, the object to be verified is subjected to back pressure verification.

2. The back pressure verification method of claim 1, wherein, 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 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; According to the first type of back pressure case, the second type of back pressure case and the third type of back pressure case, the object to be verified is subjected to back pressure verification. When the object to be verified includes at least one bounded state component, the method further comprises:

3. The back pressure verification method of claim 1, wherein, 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 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; According to the first type of back pressure case, the second type of back pressure case and the fourth type of back pressure case, the object to be verified is subjected to back pressure verification. The gears of the verification parameters include a first gear, a second gear and a third gear, and the values of the verification parameters at different gears satisfy: first gear < second gear < third gear; The verification parameters of the input interfaces of the same channel are configured as the first gear, and the verification parameters of the output interfaces are configured as the first gear, the second gear and the third gear in turn; 4. The back pressure verification method of claim 1, wherein, The verification parameters of the input interfaces of the same channel are configured as the second gear, and the verification parameters of the output interfaces are configured as the first gear, the second gear and the third gear in turn; ​ ​ ​ The verification parameter of the input interface of the same channel is configured as the third gear, and the verification parameter of the output interface is sequentially configured as the first gear and the second gear.

5. The back pressure verification method of claim 2, wherein, The gears of the verification parameter include 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 parameter of each input interface of the same group of converged channels is configured under different gear combinations, and the verification parameter of each output interface of the same group of converged channels is randomly configured with a gear, and specifically includes: The verification parameter of one input interface in the same group of converged channels is configured as the first gear, and the verification parameter of each remaining input interface is sequentially configured as the first gear and the third gear, 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 channels is configured as the third gear, and the verification parameter of each remaining input interface is sequentially configured as the first gear and the third gear, 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 gears of the verification parameter include 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 parameter of the input interface and the output interface of the channel where the bounded state component is located is 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 specifically includes: If the verification parameters of the input interface and the output interface of the channel 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 channel 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 verified object of the back pressure verification includes at least one channel, each channel includes a group of input interfaces and output interfaces, and the verification parameter is divided into at least two gears in advance; the device includes: A first back pressure use case construction module is configured to, for each channel, configure the verification parameter of the input interface and the output interface of the same channel under different gear combinations, and construct a first type of back pressure use case based on the verification parameter corresponding to each gear combination of the input interface and the output interface of each channel; A second back pressure use case construction module is configured to randomly configure a gear verification parameter for each input interface and each output interface of all channels included in the verified object, and construct a second type of back pressure use case based on the configured verification parameter; The anti-pressure verification module is configured to perform anti-pressure verification on the object to be verified according to the first anti-pressure use case and the second anti-pressure use case.

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

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

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

Images