CN109815069A - Verification method and verifying device - Google Patents
Verification method and verifying device Download PDFInfo
- Publication number
- CN109815069A CN109815069A CN201811606192.5A CN201811606192A CN109815069A CN 109815069 A CN109815069 A CN 109815069A CN 201811606192 A CN201811606192 A CN 201811606192A CN 109815069 A CN109815069 A CN 109815069A
- Authority
- CN
- China
- Prior art keywords
- queue
- prediction
- buffer status
- property parameters
- pending
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Debugging And Monitoring (AREA)
Abstract
This application discloses a kind of verification method and verifying devices.This method comprises: obtaining the buffer status of first queue and the property parameters of the first queue, the first queue is the pending queue of configuration;Pending queue is predicted according to the buffer status of the first queue and the property parameters of the first queue, obtains prediction queue;The prediction queue and actual arrays are compared, obtain the first comparison result, and export first comparison result.Correspondingly, additionally providing corresponding device.Using the application, the accuracy of system verifying can be effectively improved.
Description
Technical field
This application involves field of computer technology more particularly to a kind of verification method and verifying devices.
Background technique
Queue, which is order and data, is packed into a rule task by prescribed form, and a plurality of task presses prescriptive procedure sequence group
At queue, it is distributed to hardware and goes to execute.
In order to ensure the hardware in system can correctly execute these queues, it will usually using positive verification method come to being
Whether system is verified, such as unanimously tested system by the output result of the reality output result of comparison queue and prediction
Card.
However, above-mentioned forward direction verification method can only verify the consistency of result, so that the accuracy of system verifying
It is lower.
Summary of the invention
This application provides a kind of verification method and devices, can effectively improve the accuracy of system verifying.
In a first aspect, the embodiment of the present application provides a kind of verification method, comprising:
Obtain first queue buffer status and the first queue property parameters, the first queue be configure to
The queue of execution;
According to the buffer status of the first queue and the property parameters of the first queue to pending queue into
Row prediction obtains prediction queue;
The prediction queue and actual arrays are compared, obtain the first comparison result, and export first comparison result.
Implement the embodiment of the present application, by predicting pending queue, obtains prediction queue, i.e., by queue
Successive execution sequence predicted, so that the abnormal conditions for being avoided as much as occurring in system implementation are (for example, occur
The output valve of some queue is predicted, but the practical queue executed of system is not the abnormal conditions of some queue) it is right
The influence of verification result, and then improve the verifying accuracy of verifying system;In addition, by comparing prediction queue and practical team
Column, it may be verified that verifying device predicts whether accurately to queue, thus help to improve verifying of the verifying device to system, so that
Verify the more accurate to the verification result of system of device.
With reference to first aspect, in one possible implementation, the buffer status of first queue and described of obtaining
Before the property parameters of first queue, the method also includes:
Monitor whether the insertion of second queue;
The property parameters of the buffer status for obtaining first queue and the first queue, comprising:
In the case where monitoring the insertion of the second queue, the buffer status of the first queue and described is obtained
The property parameters of first queue.
In the embodiment of the present application, verifying device can also be in the case where monitoring the insertion of second queue, Lai Zhihang
Method provided by the embodiment of the present application, on the one hand, avoid the buffer status that first queue will be obtained under all situations and
Property parameters, so that the power consumption penalty of verifying device is effectively saved, on the other hand, by supervising to the insertion situation of queue
It surveys, further avoids the abnormal conditions being likely to occur in system implementation, to improve the accuracy of prediction queue, mention
The high confidence level of system verifying.
It is described according to the first queue with reference to first aspect or in any possible implementation of first aspect
Buffer status and the property parameters of the first queue predict pending queue, obtain prediction queue, comprising:
In the case where the buffer status of first queue is caching dummy status, the second queue and the first team are compared
The priority of column, in the case where the priority of the first queue is greater than or equal to the priority of the second queue, by institute
It states first queue and is determined as the prediction queue.
In the embodiment of the present application, by the buffer status of first queue, and the excellent of second queue and first queue is compared
First grade predicts pending queue, when such as the buffer status of first queue being caching dummy status, passes through comparison second
The priority of queue and first queue determines whether system can preferentially execute first queue (or second queue), such as first queue
Priority be greater than second queue, then illustrate that first queue is comparatively important, system needs first carry out first queue in advance,
To effectively increase the prediction accuracy to pending queue.
With reference to first aspect or in any possible implementation of first aspect, the method also includes:
In the case where the priority of the first queue is less than the priority of the second queue, by the second queue
It is determined as the prediction queue.
In the embodiment of the present application, by the buffer status of first queue, and the excellent of second queue and first queue is compared
First grade predicts pending queue, when such as the buffer status of first queue being caching dummy status, passes through and compares first
The priority of queue and second queue then illustrates second queue if the priority of first queue is less than the priority of second queue
Comparatively important, system may first carry out second queue in advance, thus by the prediction to abnormal conditions, improve pair
The prediction accuracy of pending queue.
With reference to first aspect or in any possible implementation of first aspect, the method also includes:
In the case where the buffer status of the first queue is slow fill-status, the second queue is determined as described
Predict queue.
In the embodiment of the present application, in the case where the buffer status of first queue is slow fill-status, illustrate the first team
Column are in blocked state, as long as therefore monitor the insertion of new queue (i.e. second queue), so that it may determine pending
Queue is second queue, second queue can be determined as predict queue, thus further contemplate system be likely to occur it is different
Reason condition improves the accuracy of system verifying.
It is understood that in the embodiment of the present application first team can be obtained in the case where monitoring the insertion of second queue
The buffer status and property parameters of column;It can also be the case where the buffer status for getting first queue be slow fill-status
Under, monitor whether the insertion of second queue.The embodiment of the present application is not construed as limiting both the above implementation.Therefore, institute
It states and pending queue is predicted according to the buffer status of the first queue and the property parameters of the first queue,
Obtain prediction queue, comprising:
In the case where the buffer status of the first queue is slow fill-status, inserting for second queue is monitored whether
Enter, in the case where monitoring the insertion of the second queue, the second queue is determined as the prediction queue.
With reference to first aspect or in any possible implementation of first aspect, the method also includes:
The output result of the first queue is predicted, prediction output result is obtained;
The reality output of the prediction output result and the first queue is compared as a result, obtaining the second comparison result, and
Export second comparison result.
In the embodiment of the present application, it can both be predicted by successive execution sequence of the timing monitoring method to queue, also
The output result of queue can be verified by the method for forward direction verifying, to further increase the accurate of system verifying
Degree, facilitates the stability of system.
With reference to first aspect or in any possible implementation of first aspect, according to the caching of the first queue
The property parameters of state and the first queue predict pending queue, before obtaining prediction queue, the side
Method further include:
Selection instruction is received, the selection instruction is used to indicate whether to predict the pending queue;
It is described according to the buffer status and the property parameters of the first queue to pending queue or task into
Row prediction obtains prediction queue or prediction task, comprising:
In the case where the pending queue is predicted in selection instruction instruction, according to the first queue
Buffer status and the property parameters of the first queue pending queue is predicted, obtain the prediction queue.
In the embodiment of the present application, it is right provided by the embodiment of the present application to can be determined whether to execute by selection instruction
The method that the sequencing of queue is predicted, thus the complexity for avoiding increase system from verifying.
Second aspect, the embodiment of the present application provide a kind of verifying device, comprising:
Acquiring unit, for obtaining the buffer status of first queue and the property parameters of the first queue, described first
Queue is the pending queue of configuration;
First predicting unit, for according to the buffer status of the first queue and the property parameters of the first queue
Pending queue is predicted, prediction queue is obtained;
First comparing unit obtains the first comparison result for comparing the prediction queue and actual arrays;
First output unit, for exporting first comparison result.
In conjunction with second aspect, in one possible implementation, the verifying device further include:
Monitoring unit, for monitoring whether the insertion of second queue;
The acquiring unit obtains described the specifically in the case where monitoring the insertion of the second queue
The property parameters of the buffer status of one queue and the first queue.
In conjunction in any possible implementation of second aspect or second aspect, first predicting unit includes:
Comparison subunit, in the case where the buffer status of first queue is caching dummy status, for comparing described second
The priority of queue and the first queue;
It determines subelement, is greater than or equal to the priority of the second queue for the priority in the first queue
In the case of, the first queue is determined as the prediction queue.
In conjunction in any possible implementation of second aspect or second aspect, the determining subelement is also used to
In the case where the priority of the first queue is less than the priority of the second queue, the second queue is determined as institute
State prediction queue.
In conjunction in any possible implementation of second aspect or second aspect, the verifying device further include:
Determination unit, in the case where the buffer status of the first queue is slow fill-status, by described second
Queue is determined as the prediction queue.
In conjunction in any possible implementation of second aspect or second aspect, described device further include:
Second predicting unit is predicted for the output result to the first queue, obtains prediction output result;
Second comparing unit, the reality output for comparing the prediction output result with the first queue is as a result, obtain
Obtain the second comparison result;
Second output is as a result, for exporting second comparison result.
In conjunction in any possible implementation of second aspect or second aspect, described device further include:
Receiving unit, for receiving selection instruction, the selection instruction is used to indicate whether to the pending queue
It is predicted;
First predicting unit, specifically for predicting in selection instruction instruction the pending queue
In the case where, according to the buffer status of the first queue and the property parameters of the first queue to pending queue into
Row prediction obtains prediction queue.
The third aspect, the embodiment of the present application also provides a kind of verifying device, including processor and memory, the processing
Device and memory coupling, the processor are used to call program instruction in the memory, execute such as first aspect or
Any possible implementation of first aspect.
Fourth aspect, the embodiment of the present application provide a kind of computer readable storage medium, the computer-readable storage
Instruction is stored in medium, when run on a computer, so that computer executes method described in above-mentioned various aspects.
5th aspect, the embodiment of the present application provides a kind of computer program product including instruction, when it is in computer
When upper operation, so that computer executes method described in above-mentioned various aspects.
Detailed description of the invention
Technical solution in ord to more clearly illustrate embodiments of the present application or in background technique below will be implemented the application
Attached drawing needed in example or background technique is illustrated.
Fig. 1 is a kind of flow diagram of verification method provided by the embodiments of the present application;
Fig. 2 is the flow diagram of another verification method provided by the embodiments of the present application;
Fig. 3 is the flow diagram of another verification method provided by the embodiments of the present application;
Fig. 4 is the flow diagram of another verification method provided by the embodiments of the present application;
Fig. 5 is a kind of structural schematic diagram for verifying device provided by the embodiments of the present application;
Fig. 6 is the flow diagram of another verification method provided by the embodiments of the present application;
Fig. 7 is the flow diagram of another verification method provided by the embodiments of the present application;
Fig. 8 is the structural schematic diagram of another verifying device provided by the embodiments of the present application;
Fig. 9 is the structural schematic diagram of another verifying device provided by the embodiments of the present application;
Figure 10 is a kind of structural schematic diagram of first predicting unit provided by the embodiments of the present application;
Figure 11 is the structural schematic diagram of another verifying device provided by the embodiments of the present application.
Specific embodiment
In order to keep the purposes, technical schemes and advantages of the application clearer, below in conjunction with attached drawing to the application make into
One step it is described in detail.
Term " first " and " second " in the description of the present application, claims and attached drawing etc. are for distinguishing difference
Object is not use to describe a particular order.In addition, term " includes " and " having " and their any deformations, it is intended that
It covers and non-exclusive includes.Such as it contains the process, method, system, product or equipment of a series of steps or units and does not limit
Due to listed step or unit, but optionally further comprising the step of not listing or unit, or optionally further comprising it is right
In the intrinsic other step or units of these process, methods, product or equipment.
In practical applications, to verify a certain hardware system or a certain software systems, it usually will use positive verification method
It is verified.Such as the output of a certain hardware system or a certain software systems is predicted, obtains prediction result, then again
By the comparison of actual result and prediction result, to determine whether a certain hardware system or a certain software systems leakage occur
Hole.
However, the result of output can only often be predicted using positive verification method, it can not be to a certain hardware system
Whether system or a certain software systems really perform some queue and are predicted.That is, by positive verification method, it can
The abnormal conditions of a certain hardware system or a certain software systems can not be carried out with exhaustive verifying, so as to cause system verifying
Accuracy it is low.Or, it will be appreciated that it, can not for that can only be verified to the consistency of result by positive verification method
Effective judgement is the result of which task or queue.
Therefore, the embodiment of the present application provides a kind of verification method, can effectively improve the efficiency of system verifying and accurate
Degree.
It is the flow diagram of verification method provided by the embodiments of the present application referring to Fig. 1, Fig. 1, which can apply
In verifying device, the detailed description of the verifying device can refer to the embodiment of verifying device provided by the embodiment of the present application.It can
Understand, which can be used for verifying system, thus to determine whether the system there is a problem.It below will be to be
For system, to illustrate verification method provided by the embodiment of the present application.As shown in Figure 1, the verification method can include:
101, the buffer status of first queue and the property parameters of first queue are obtained.
In the embodiment of the present application, first queue can be regarded as the pending queue of configuration, more specifically can be regarded as matching
The system set queue to be executed.Or first queue can be regarded as system according to queue successive execution sequence and it is true
Fixed initial configuration queue.If first queue can be regarded as the queue of initial configuration, and predicting queue then is verifying device
According to the queue that the queue situation of system is predicted, and actual arrays are the queue that system really executes.Although that is,
One queue is the queue to be executed that determines according to queue execution sequence, but system not necessarily really perform this first
Queue, and the prediction queue that verifying device is predicted also are not necessarily first queue.It is specially which team as prediction queue
Column need depending on verifying the case where device is predicted.And as actual arrays be which queue, need according to system
Depending on practical executive condition.
The buffer status of first queue may include the slow fill-status of first queue or the caching dummy status of first queue.Its
In, the property parameters of first queue are parameter related with the attribute of the first queue, as the property parameters of the first queue can
It include: the number of tasks of first queue, the priority of first queue, the number of first queue, the queue of first queue be enabled, first
It is one or more in the queue work mode of queue.It is understood that the property parameters of first queue can wrap in the embodiment of the present application
Include the priority of first queue.
102, pending queue is predicted according to first queue buffer status and the property parameters of first queue,
Obtain prediction queue.
In the embodiment of the present application, the relationship description of queue and task: may include one or more tasks in queue, same
It may include the task of different priorities in queue.Wherein, the successive execution sequence of the task in first queue can be by first queue
Property parameters such as first queue number of tasks and first queue number determine, therefore, in the embodiment of the present application, focus on
Queue is not construed as limiting the successive execution sequence of the task in queue.
It, can be according to the slow fill-status of first queue or caching dummy status and first queue in the embodiment of the present application
Priority predicts pending queue or task.Specifically, the buffer status in first queue is slow fill-status
When, illustrate that first queue is blocked, system is waiting new queue, at this moment regardless of new queue is (i.e. in the embodiment of the present application
Second queue) priority and first queue priority relationship how, system all can may preferentially execute second queue.And
When the buffer status of first queue is caching dummy status, illustrate that first queue can be performed in system, at this moment, if there is second queue
Insertion, then need to compare the priority of second queue and first queue.Therefore, the embodiment of the present application can be according to first queue
Property parameters and buffer status predict pending queue.
103, prediction queue and actual arrays are compared, obtain the first comparison result, and export the first comparison result.
In the embodiment of the present application, the first comparison result can be to predict queue and the whether consistent comparison result of actual arrays,
By the first comparison result, it can learn in time whether system runs error, alternatively, can also fill by the first comparison result to verifying
It sets and is adjusted, to improve higher accuracy rate for verifying system.
It is understood that obtain the first comparison result can be " consistent " or " inconsistent " as a result, can also be
" error " or " right " as a result, or, directly output prediction queue and the result of actual arrays etc., the embodiment of the present application
It is that result is not construed as limiting for what is specifically exported.
In the embodiment of the present application, the form of the first comparison result of output may include: to show the first comparison result to test
On card device, alternatively, exporting the first comparison result to system, alternatively, the first comparison result is exported to other devices etc., this
Application embodiment is not construed as limiting the output form.
Implement the embodiment of the present application, by predicting pending queue, obtains prediction queue, i.e., by queue
The method (being referred to as timing monitoring method) predicted of successive execution sequence, avoid by predicting to be carrying out
The method of the output valve of queue, so that the abnormal conditions for being avoided as much as occurring in system implementation are (i.e. by prediction team
The mode of column, whether the queue that can get system execution is correct, avoids appearance and predicts the output valve of some queue, but
It is the abnormal conditions that the practical queue executed of system is not some queue);On the other hand, by comparing prediction queue and reality
Queue, it may be verified that verifying device predicts whether accurately to queue, to help to improve verifying of the verifying device to system, makes
The more accurate to the verification result of system of device must be verified, and can also effectively learn that system executes the actual conditions of queue,
Whether stable facilitate timely understanding system, to help to improve system performance.
Referring to fig. 2, Fig. 2 is the flow diagram of another verification method provided by the embodiments of the present application, the verification method
It can be applied to verifying device, the detailed description of the verifying device can refer to the implementation of verifying device provided by the embodiment of the present application
Example.It is understood that the verification method can be used for verifying system, thus to determine whether the system there is a problem.Below
It will be by taking system as an example, to illustrate verification method provided by the embodiment of the present application.As shown in Fig. 2, this method comprises:
201, the insertion of second queue is monitored whether, where it has, executing 202;Otherwise, 207 are held.
In the embodiment of the present application, what verifying device was monitored is whether to have the insertion of second queue in system.Wherein, this
Two queues can be regarded as arbitrary queue, and the embodiment of the present application does not make uniqueness restriction for the second queue.Specifically, this
What two queues can be regarded as temporarily being inserted into needs the queue of system execution.Optionally, second queue can have been monitored whether in real time
Insertion, or, the insertion of second queue is monitored whether with scheduled temporal frequency, or, pass through receive monitoring
The insertion etc. for instructing to monitor whether second queue, the embodiment of the present application are not made for how the verifying device is monitored
It limits.Wherein, Monitoring instruction can be the instruction of user's input, can also be Monitoring instruction obtained from the triggering of other devices etc.,
How the embodiment of the present application is not construed as limiting the Monitoring instruction.
It is understood that system will execute first queue in the insertion for monitoring whether second queue.
202, the buffer status of first queue and the property parameters of first queue are obtained.
In the embodiment of the present application, when verifying device monitoring is to second queue, the buffer status and category of first queue can be obtained
Property parameter, the i.e. buffer status and property parameters of the queue that are currently executing of acquisition system.Wherein, the caching shape of first queue
State can be caching dummy status, or slow fill-status.
203, in the case where the buffer status of first queue is caching dummy status, the priority and the of second queue is compared
The priority of one queue.
In the embodiment of the present application, when the buffer status of first queue is caching dummy status, it can illustrate that system can execute the
One queue, or be interpreted as system and meet the caching condition for executing first queue.When system is carrying out first queue,
It, can be by the priority of comparison first queue and second queue, to determine system meeting in the case where the insertion for having second queue
Which queue preferentially executed.Therefore, verifying device, can be to the reality of system by the priority of comparison first queue and second queue
Border situation is predicted.
204, in the case where the priority of first queue is greater than or equal to the priority of second queue, first queue is true
It is set to prediction queue.
In the embodiment of the present application, the priority of first queue is greater than the priority of second queue, then illustrates that system will continue to
First queue is executed, first can be determined when the priority of first queue is greater than the priority of second queue by thus verifying device
Queue is to predict queue.It is understood that system continues to execute first queue, illustrate that system can be according to the property parameters of first queue
Such as number of tasks and number continue to execute the task in first queue.Verifying device can also be according to first queue as a result,
The number of the property parameters such as number of tasks of first queue and first queue is to determine task order performed by system.
It is understood that when being determined as predicting queue for first queue, the priority of first queue both may be used in the embodiment of the present application
To be greater than the priority of second queue, the priority of second queue can also be equal to.
205, in the case where the priority of first queue is less than the priority of second queue, second queue is determined as pre-
Survey queue.
In the embodiment of the present application, the priority of first queue is less than the priority of second queue, illustrates second queue than the
One queue is important, and system, which is probably suspended, executes first queue, and executes second queue, therefore verifying device can be first
In the case that the priority of queue is less than the priority of second queue, determine second queue for prediction queue.
206, in the case where the buffer status of first queue is slow fill-status, second queue is determined as to predict team
Column.
In the embodiment of the present application, the buffer status of first queue is slow fill-status, then illustrates that system can not be followed by
Continuous to execute first queue, at this moment system is likely to be at wait state.Therefore, second queue can be determined as predicting team by verifying device
Column.It is understood that in the embodiment of the present application in the case where there is the insertion of second queue, and the buffer status of first queue is caching
In the case where full state, may also need to obtain the buffer status of second queue, thus according to the buffer status of second queue come
Determine whether to execute second queue.However in practical applications, the case where the buffer status of first queue is slow fill-status
Under, therefore the buffer status of the second queue of insertion may should not greatly be provided the embodiment of the present application for caching dummy status
Step 206 be interpreted as the restriction to the application.
207, first queue is continued to execute.
Wherein, in the case where not monitoring the insertion of second queue, verifying device can be directly true by first queue
It is set to prediction queue.That is, system can directly execute first queue.
208, prediction queue and actual arrays are compared, obtain the first comparison result, and export the first comparison result.
In the embodiment of the present application, pending task is predicted by each possible abnormal conditions, is effectively mentioned
The efficiency that high verifying device verifies system, improves the confidence level of verifying.
It is the flow diagram of another verification method provided by the embodiments of the present application, the verification method referring to Fig. 3, Fig. 3
It can be applied to verifying device, the detailed description of the verifying device can refer to the implementation of verifying device provided by the embodiment of the present application
Example.It is understood that the verification method can be used for verifying system, thus to determine whether the system there is a problem.Below
It will be by taking system as an example, to illustrate verification method provided by the embodiment of the present application.As shown in figure 3, this method comprises:
301, the buffer status of first queue and the property parameters of first queue are obtained.
302, in the case where buffer status is slow fill-status, the insertion of second queue is monitored whether, in the feelings for being
Under condition, 303 are executed;Otherwise, 306 are executed.
In the embodiment of the present application, when the buffer status of first queue is slow fill-status, illustrates that first queue is blocked, be
System is in wait state.At this moment, it is likely that have the insertion of new queue, to influence the execution of first queue, therefore test
Card device can monitor whether the insertion of second queue.It is understood that buffer status of the embodiment of the present application for the second queue
It is not construed as limiting.
303, the priority of second queue and the priority of first queue are compared.
In the embodiment of the present application, by comparing the priority of second queue and the priority of first queue, it may be determined that be out
It is no preferentially to execute second queue, thus to terminate wait state.
304, in the case where the priority of second queue is not more than the priority of first queue, determine that first queue is pre-
Survey queue.
Wherein, if the priority of second queue is less than the priority of first queue, illustrate that first queue is important, be
System needs to continue to execute first queue, and thus verifying device can be according to the task of the property parameters such as first queue of first queue
Number, the mission number of first queue and first queue task priority in one or more pending queue is carried out
Prediction, to obtain prediction queue.
305, in the case where the priority of second queue is greater than the priority of first queue, determine second queue for prediction
Queue.
Wherein, if the priority of second queue is greater than the priority of first queue, illustrate that second queue is important, be
System may preferentially execute second queue, and therefore, verifying device can determine second queue for prediction queue.
It is understood that the above is only a kind of embodiments provided by the embodiments of the present application, in the concrete realization, in first queue
In the case that buffer status is slow fill-status, if there is the insertion of second queue, verifying device can also not needed to the second team
The priority of column and first queue is compared, and is directly determined as second queue to predict queue.
306, pending queue is predicted according to the property parameters of first queue, obtains prediction queue.
In the embodiment of the present application, in the case where monitoring the not insertion of second queue, then illustrate that system may can also
Continue to execute first queue, therefore verifying device can be according to the number of tasks of the property parameters such as first queue of first queue, first
One or more in the mission number of queue and the task priority of first queue predict pending queue, obtain
Predict queue.
307, prediction queue and actual arrays are compared, obtain the first comparison result, and export the first comparison result.
In the embodiment of the present application, when the buffer status of first queue is slow fill-status, treated by each situation
The task of execution is predicted, is effectively increased the efficiency that verifying device verifies system, is improved the confidence level of verifying.
Referring to fig. 4, Fig. 4 is the flow diagram of another verification method provided by the embodiments of the present application, the verification method
It can be applied to verifying device, the detailed description of the verifying device can refer to the implementation of verifying device provided by the embodiment of the present application
Example.It is understood that the verification method can be used for verifying system, thus to determine whether the system there is a problem.Below
It will be by taking system as an example, to illustrate verification method provided by the embodiment of the present application.As shown in figure 4, this method comprises:
401, selection instruction is received, which is used to indicate whether to predict pending queue;Wherein, exist
In the case where being, 402 are executed;Otherwise, 404 are executed.
402, the buffer status and property parameters of first queue are obtained, and according to the buffer status of first queue and first
The property parameters of queue predict pending queue, obtain prediction queue.
403, prediction queue and actual arrays are compared, obtain the first comparison result, and export the first comparison result.
404, the output result of first queue is predicted, obtains prediction output result.
405, prediction output result and reality output are compared as a result, obtaining the second comparison result, and exports second and compares knot
Fruit.
In the embodiment of the present application, the queue or task that verifying device not only can be pending to system are predicted, can also be right
The output result of task or queue that system is carrying out is predicted, to more comprehensively verify to system, is improved
The confidence level of verifying;Further, it avoids due to positive function verifying and reversed timing inspection while carrying out, and cause to verify
The complexity of device verifying also avoids the low situation of verifying device verification efficiency.
It is understood that implementation described in each embodiment shown in Fig. 1 to Fig. 4 emphasizes particularly on different fields, it is one of real
The implementation for applying not detailed description in example, reference may also be made to other embodiments, is no longer described in detail one by one here.
It is the embodiment of the present application referring to Fig. 5, Fig. 5 for verification method provided by vivider understanding the embodiment of the present application
There is provided a kind of verifying device structural schematic diagram, as shown in figure 5, the verifying device may include buffer status exciting unit 501,
Task sequence generation unit 502, identifying object 503, monitoring signals collector unit 504, queue monitoring unit 505, identifying object
Functional mode 506 and result comparing unit 507.
Wherein, buffer status exciting unit 501 can be used for realizing the simulation of buffer status, can be used to obtain currently
The buffer status of the queue of execution, and the buffer status that will acquire sends identifying object 503 and task queue generation unit to
502。
Task sequence generation unit 502, it will be appreciated that be a weak timing sequence process unit, so-called weak timing refers to that queue is being held
When row, the influence of timing will receive, and coverage is small.Wherein, for the specific implementation of task sequence generation unit
It can refer to method shown in fig. 6, as shown in fig. 6, the task sequence generation unit 502 can be according to queue attributes parameter, by institute
Some tasks are ranked up, and generate the task sequence being performed.The task sequence generation unit 502 monitors the queue of insertion
Afterwards, it determines pending queue, continues to execute.
Identifying object functional mode 506 and result comparing unit 507 can be used for the output and prediction in identifying object 503
As a result compare, obtain comparison result (namely second comparison result in the embodiment of the present application).
It is above the positive function authentication function for verifying device, passes through the comparison result of result comparing unit 507, Ke Yizhi
Whether the output result for the queue that road is currently performed is consistent with the result of prediction, and debugging instruction is triggered if inconsistent, is referred to
Show the mistake of system, system can be identifying object here.
The timing monitoring function of verifying device introduced below.
Wherein, monitoring signals collector unit 504 is used to collect the buffer status of first queue and the ginseng of first queue
Number.That is, monitoring signals collector unit 504 can be used for collecting the interface signal of the identifying object 503 in Fig. 5, these are connect
Message number can be in prediction queue.Wherein, which specifically includes that the queue being currently performed, the property parameters of queue, team
Buffer status of column etc..
Queue monitoring unit 505 is the timing unit that a signal for being verified object is driven.Monitoring signals are collected single
The property parameters that member 504 is collected into queue, after the buffer status of queue and the queue being currently performed, queue monitoring unit can be pre-
Next task or queue that will be performed is surveyed, and compares prediction result and actual result, obtains the first comparison result.Wherein,
Fig. 7 can refer to for the specific implementation of monitoring signals collector unit 504 and queue monitoring unit 505, wherein expected result
It can be regarded as prediction result, i.e., prediction queue or prediction task in the embodiment of the present application.
Wherein, how queue monitoring unit 505 is specifically predicted, can refer to the embodiment of the present application and is provided
Fig. 1 to Fig. 4 shown in method.Here it is no longer described in detail one by one.
It is understood that Fig. 5 is a kind of verifying device provided by the embodiments of the present application, it is the embodiment of the present application referring to Fig. 8, Fig. 8
The structural schematic diagram of another verifying device of offer, the verifying device can be used for executing method shown in Fig. 1 to Fig. 4, such as Fig. 8
Shown, which includes:
Acquiring unit 801, for obtaining the buffer status of first queue and the property parameters of first queue, first queue is
The pending queue of configuration;
First predicting unit 802, for being treated according to the buffer status of first queue and the property parameters of first queue
The queue of execution is predicted, prediction queue is obtained;
First comparing unit 803 obtains the first comparison result for comparing prediction queue and actual arrays;
First output unit 804, for exporting the first comparison result.
Optionally, as shown in figure 9, the verifying device further include:
Monitoring unit 805, for monitoring whether the insertion of second queue;
Acquiring unit 801, specifically in the case where monitoring the insertion of second queue, obtaining the slow of first queue
Deposit the property parameters of state and first queue.
Optionally, as shown in Figure 10, the first predicting unit 802 includes:
Comparison subunit 8021, for comparing second in the case where the buffer status of first queue is caching dummy status
The priority of queue and first queue;
The case where predicting subelement 8022, being greater than or equal to the priority of second queue for the priority in first queue
Under, the first queue is determined as the prediction queue.
Optionally, it determines subelement 8022, is also used to be less than the priority of second queue in the priority of first queue
In the case of, second queue is determined as to predict queue.
Optionally, as shown in figure 9, verifying device further include:
Determination unit 806, in the case where the buffer status of the first queue is slow fill-status, by the second team
Column are determined as predicting queue.
Optionally, as shown in figure 9, verifying device further include:
Second predicting unit 807 is predicted for the output result to first queue, obtains prediction output result;
Second comparing unit 808, for comparing the reality output of prediction output result and first queue as a result, obtaining second
Comparison result;
Second output result 809, for exporting the second comparison result.
Optionally, as shown in figure 9, verifying device further include:
Receiving unit 810, for receiving selection instruction, selection instruction is used to indicate whether to carry out pending queue pre-
It surveys;
First predicting unit, specifically for selection instruction instruction pending queue is predicted in the case where, root
Pending queue is predicted according to the buffer status of first queue and the property parameters of first queue, obtains prediction team
Column.
It should be noted that the realization of each unit can also correspond to the phase of embodiment of the method referring to figs. 1 to 4
It should describe.
It is a kind of structural schematic diagram for verifying device provided by the embodiments of the present application, the verifying device referring to Figure 11, Figure 11
Including processor 1101, memory 1102 and input/output interface 1103, the processor 1101, memory 1102 and input are defeated
Outgoing interface 1103 is connected with each other by transmission line.Wherein, transmission line may include bus etc., and the embodiment of the present application is for the transmission
Line is not construed as limiting.
Memory 1102 include but is not limited to be random access memory (random access memory, RAM), it is read-only
Memory (read-only memory, ROM), Erasable Programmable Read Only Memory EPROM (erasable programmable
Read only memory, EPROM) or portable read-only memory (compact disc read-only memory, CD-
ROM), which is used for dependent instruction and data.
Input/output interface 1103, such as can be communicated etc. by the input/output interface with other devices.Alternatively, should
Input/output interface, it may also be used for one or more in the first comparison result of output and the second comparison result.
Processor 1101 can be one or more central processing units (central processing unit, CPU),
In the case that processor 1101 is a CPU, which can be monokaryon CPU, be also possible to multi-core CPU.Optionally, the processing
Device can also be network processing unit (network processor, NP) or the combination of CPU and NP.
Specifically, the realization of each operation can also correspond to corresponding with embodiment of the method shown in Fig. 4 referring to Fig.1 retouch
It states.And the realization of each operation can also corresponding description to should refer to figure Fig. 8, Fig. 9 and Installation practice shown in Fig. 10.
As in one embodiment, processor 1101 can be used for calling the program instruction in memory 1102, for obtaining
The buffer status of first queue and the property parameters of first queue;And buffer status and first queue according to first queue
Property parameters pending queue is predicted, obtain prediction queue;And prediction queue and actual arrays are compared, it obtains
First comparison result, and export the first comparison result.
It is understood that processor 1101 is particularly used in control input/output interface 1103 to export the first comparison result, again
Alternatively, input/output interface 1103 can be individually used for the step of executing the first comparison result of output etc., the embodiment of the present application pair
It is not construed as limiting in the relationship of processor and input/output interface.
For another example in one embodiment, processor 1101, it may also be used for call the program instruction in memory 1102, monitoring
Whether there is the insertion of second queue, and in the case where monitoring the insertion of second queue, obtains the caching shape of first queue
The property parameters of state and first queue.
For another example in one embodiment, processor 1101 can also be used in the buffer status of first queue be caching dummy status
In the case where, the priority of second queue and first queue is compared, is greater than or equal to second queue in the priority of first queue
Priority in the case where, by first queue be determined as predict queue.
For another example in one embodiment, processor 1101 can also be used to be less than second queue in the priority of first queue
In the case where priority, second queue is determined as to predict queue.
For another example, in one embodiment, processor 1101 can also be used in the buffer status of first queue be the full shape of caching
In the case where state, second queue is determined as to predict queue.
For another example, in one embodiment, processor 1101 can also be used to carry out the output result of the first queue pre-
It surveys, obtains prediction output result;The reality output of the prediction output result and the first queue is compared as a result, obtaining second
Comparison result, and export second comparison result.
It is understood that processor, which can be specifically used for control input/output interface, exports the second comparison result, alternatively, input and output
Interface directly exports the second comparison result.
For another example, processor can also be used to control input/output interface reception selection instruction or input/output interface is direct
Selection instruction is received, the embodiment of the present application is not construed as limiting the specific implementation of the selection instruction.Wherein, processor, also
For in the case where pending queue is predicted in selection instruction instruction, according to the buffer status of first queue and the
The property parameters of one queue predict pending queue, obtain prediction queue.
It is understood that processor can also be used to executing buffer status exciting unit 501 shown in fig. 5, monitoring signals collect it is single
Function shown in member 504 and queue monitoring unit 505.And processor can also be used to execute acquiring unit shown in Fig. 8
801, function shown in the first predicting unit 802, the first comparing unit 803 and the first output unit 804, etc., the application
Embodiment does not make uniqueness restriction for operation performed by processor.
It is designed it is understood that Figure 11 illustrate only simplifying for verifying device.In practical applications, data processing fills
Necessary other elements can also be separately included by setting, including but not limited to any number of input/output interface, processor, storage
Device etc., and all verifying devices that the embodiment of the present application may be implemented are all within the scope of protection of this application.
The embodiment of the present application also provides a kind of computer readable storage mediums.Whole in above method embodiment or
Part process can be instructed relevant hardware to complete by computer program, which can be stored in above-mentioned computer storage medium
In, the program is when being executed, it may include such as the process of above-mentioned each method embodiment.Computer readable storage medium can be aforementioned
The internal storage unit of the verifying device of any embodiment, such as the hard disk or memory of verifying device.It is above-mentioned computer-readable to deposit
Storage media is also possible to the plug-in type hard disk being equipped on the External memory equipment of above-mentioned verifying device, such as above-mentioned verifying device,
Intelligent memory card (smart mediacard, SMC), secure digital (secure digital, SD) card, flash card (flash
Card) etc..Further, above-mentioned computer readable storage medium can also both include the internal storage unit of above-mentioned verifying device
It also include External memory equipment.Above-mentioned computer readable storage medium is for storing above-mentioned computer program and above-mentioned verifying dress
Set required other programs and data.Above-mentioned computer readable storage medium can be also used for temporarily storing exported or
The data that will be exported.
In the above-described embodiments, can come wholly or partly by software, hardware, firmware or any combination thereof real
It is existing.When implemented in software, it can entirely or partly realize in the form of a computer program product.The computer program
Product includes one or more computer instructions.When loading on computers and executing the computer program instructions, all or
It partly generates according to process or function described in the embodiment of the present application.The computer can be general purpose computer, dedicated meter
Calculation machine, computer network or other programmable devices.The computer instruction can store in computer readable storage medium
In, or transmitted by the computer readable storage medium.The computer readable storage medium can be computer
Any usable medium that can be accessed either includes the data such as one or more usable mediums integrated server, data center
Store equipment.The usable medium can be magnetic medium, (for example, floppy disk, hard disk, tape), optical medium (for example, DVD) or
Person's semiconductor medium (for example, solid state hard disk (solid state disk, SSD)) etc..
Step in the embodiment of the present application method can be sequentially adjusted, merged and deleted according to actual needs.
Module in the embodiment of the present application device can be combined, divided and deleted according to actual needs.
The above, above embodiments are only to illustrate the technical solution of the application, rather than its limitations;Although referring to before
Embodiment is stated the application is described in detail, those skilled in the art should understand that: it still can be to preceding
Technical solution documented by each embodiment is stated to modify or equivalent replacement of some of the technical features;And these
It modifies or replaces, the range of each embodiment technical solution of the application that it does not separate the essence of the corresponding technical solution.
Claims (10)
1. a kind of verification method characterized by comprising
The buffer status of first queue and the property parameters of the first queue are obtained, the first queue is the pending of configuration
Queue;
Pending queue is carried out according to the buffer status of the first queue and the property parameters of the first queue pre-
It surveys, obtains prediction queue;
The prediction queue and actual arrays are compared, obtain the first comparison result, and export first comparison result.
2. the method according to claim 1, wherein the buffer status and described first for obtaining first queue
Before the property parameters of queue, the method also includes:
Monitor whether the insertion of second queue;
The property parameters of the buffer status for obtaining first queue and the first queue, comprising:
In the case where monitoring the insertion of the second queue, the buffer status and described first of the first queue is obtained
The property parameters of queue.
3. according to the method described in claim 2, it is characterized in that, the buffer status and institute according to the first queue
The property parameters for stating first queue predict pending queue, obtain prediction queue, comprising:
In the case where the buffer status of the first queue is caching dummy status, the second queue and the first team are compared
The priority of column, in the case where the priority of the first queue is greater than or equal to the priority of the second queue, by institute
It states first queue and is determined as the prediction queue.
4. according to the method described in claim 3, it is characterized in that, the method also includes:
In the case where the priority of the first queue is less than the priority of the second queue, the second queue is determined
For the prediction queue.
5. according to the described in any item methods of claim 2-4, which is characterized in that the method also includes:
In the case where the buffer status of the first queue is slow fill-status, the second queue is determined as the prediction
Queue.
6. the method according to claim 1, wherein the method also includes:
The output result of the first queue is predicted, prediction output result is obtained;
The reality output of the prediction output result and the first queue is compared as a result, obtaining the second comparison result, and export
Second comparison result.
7. according to the method described in claim 6, it is characterized in that, according to the buffer status of the first queue and described
The property parameters of one queue predict pending queue, before obtaining prediction queue, the method also includes:
Selection instruction is received, the selection instruction is used to indicate whether to predict the pending queue;
The buffer status according to the first queue and the property parameters of the first queue to pending queue into
Row prediction obtains prediction queue, comprising:
In the case where the pending queue is predicted in selection instruction instruction, according to the slow of the first queue
The property parameters for depositing state and the first queue predict pending queue, obtain the prediction queue.
8. a kind of verifying device characterized by comprising
Acquiring unit, for obtaining the buffer status of first queue and the property parameters of the first queue, the first queue
For the pending queue of configuration;
First predicting unit, for being treated according to the buffer status of the first queue and the property parameters of the first queue
The queue of execution is predicted, prediction queue is obtained;
First comparing unit obtains the first comparison result for comparing the prediction queue and actual arrays;
First output unit, for exporting first comparison result.
9. a kind of verifying device, which is characterized in that including processor and memory, the processor and memory coupling,
The processor is used to call the program instruction in the memory, executes the method according to claim 1 to 7.
10. a kind of computer readable storage medium, which is characterized in that the computer-readable recording medium storage has program to refer to
It enables, when described program instructs the processor execution by computer, executes the processor as described in claim any one of 1-7
Corresponding method.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201811606192.5A CN109815069A (en) | 2018-12-26 | 2018-12-26 | Verification method and verifying device |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201811606192.5A CN109815069A (en) | 2018-12-26 | 2018-12-26 | Verification method and verifying device |
Publications (1)
Publication Number | Publication Date |
---|---|
CN109815069A true CN109815069A (en) | 2019-05-28 |
Family
ID=66602526
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201811606192.5A Pending CN109815069A (en) | 2018-12-26 | 2018-12-26 | Verification method and verifying device |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN109815069A (en) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN117785292A (en) * | 2023-12-26 | 2024-03-29 | 上海合芯数字科技有限公司 | Verification method and verification device for cache consistency of multi-core processor system |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4039813A (en) * | 1976-04-07 | 1977-08-02 | Sperry Rand Corporation | Apparatus and method for diagnosing digital data devices |
US6496792B1 (en) * | 1998-07-06 | 2002-12-17 | Intel Corporation | Transaction checking for system architecture validation |
US20030125907A1 (en) * | 2001-12-28 | 2003-07-03 | Roxan Saint-Hilaire | Monitor, system and method for monitoring performance of a scheduler |
US20060047461A1 (en) * | 2004-08-24 | 2006-03-02 | Sivaram A T | Non-deterministic protocol packet testing |
CN102096734A (en) * | 2011-01-26 | 2011-06-15 | 北京中星微电子有限公司 | Method and device for verifying out-of-order transfer of bus |
US20120158451A1 (en) * | 2010-12-16 | 2012-06-21 | International Business Machines Corporation | Dispatching Tasks in a Business Process Management System |
-
2018
- 2018-12-26 CN CN201811606192.5A patent/CN109815069A/en active Pending
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4039813A (en) * | 1976-04-07 | 1977-08-02 | Sperry Rand Corporation | Apparatus and method for diagnosing digital data devices |
US6496792B1 (en) * | 1998-07-06 | 2002-12-17 | Intel Corporation | Transaction checking for system architecture validation |
US20030125907A1 (en) * | 2001-12-28 | 2003-07-03 | Roxan Saint-Hilaire | Monitor, system and method for monitoring performance of a scheduler |
US20060047461A1 (en) * | 2004-08-24 | 2006-03-02 | Sivaram A T | Non-deterministic protocol packet testing |
US20120158451A1 (en) * | 2010-12-16 | 2012-06-21 | International Business Machines Corporation | Dispatching Tasks in a Business Process Management System |
CN102096734A (en) * | 2011-01-26 | 2011-06-15 | 北京中星微电子有限公司 | Method and device for verifying out-of-order transfer of bus |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN117785292A (en) * | 2023-12-26 | 2024-03-29 | 上海合芯数字科技有限公司 | Verification method and verification device for cache consistency of multi-core processor system |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US10748083B2 (en) | Automated tuning of a service configuration | |
JP5926864B2 (en) | System and method for configuring a cloud computing system | |
CN104123184B (en) | A kind of method and system for being used to distribute resource for the task in building process | |
CN110377520B (en) | Transaction scenario testing method and device, electronic equipment and readable storage medium | |
CN104699601A (en) | Injecting Faults at Select Execution Points of Distributed Applications | |
CN106155883B (en) | A kind of virtual machine method for testing reliability and device | |
JP2015530647A (en) | System and method for tuning a cloud computing system | |
WO2007038953A1 (en) | A method and system for automatically testing performance of applications run in a distributed processing structure and corresponding computer program product | |
CN110750458A (en) | Big data platform testing method and device, readable storage medium and electronic equipment | |
Gaikwad et al. | Anomaly detection for scientific workflow applications on networked clouds | |
US11055568B2 (en) | Method and system that measure application response time | |
CN109254922A (en) | A kind of automated testing method and device of server B MC Redfish function | |
CN108519883A (en) | Parameter amending method, device, terminal device and storage medium | |
CN111290941A (en) | Method and device for testing multiple interfaces, computing equipment and medium | |
CN108664381A (en) | test method and device | |
WO2019178957A1 (en) | Distributed system test method and device, computer device and storage medium | |
CN109376079A (en) | The test method and server that interface calls | |
CN110134612A (en) | UI test data generating method, device, equipment and readable storage medium storing program for executing | |
CN109447384A (en) | Verification method, device, equipment and the storage medium of air control system | |
CN109902028A (en) | Automated testing method, device, equipment and the storage medium of ACL characteristic | |
US8874966B1 (en) | Storage device error simulator tool | |
CN109522181A (en) | A kind of performance test methods of distributed memory system, device and equipment | |
CN109815069A (en) | Verification method and verifying device | |
CN109359034A (en) | A kind of operation system test method, computer readable storage medium and terminal device | |
CN110971478B (en) | Pressure measurement method and device for cloud platform service performance and computing equipment |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20190528 |
|
RJ01 | Rejection of invention patent application after publication |