| 摘要 |
PROBLEM TO BE SOLVED: To provide a verification management device for executing the verification of all source codes within a limited time, and for dynamically reassigning a verification scheduled time assigned to each source code. SOLUTION: This source code verification management device is provided with: an order determination part for determining the verification order of a plurality of source codes as the object of verification; a time calculation part for assigning a verification scheduled time to be spent on the execution of verification to each of a plurality of source codes; a verification execution part for successively selecting one selection source code from a plurality of source codes based on the verification order, and for executing verification within the verification scheduled time assigned to the selection source codes; and a result reception part for, when the verification required time required for the verification of the selection source code is shorter than the verification scheduled time assigned to the selection source code each time the verification of the selection source code is completed, reassigning the residual surplus verification scheduled time to each of unexecuted source codes to be verified after the verification order of the selection source code among the plurality of source codes, and for increasing the verification scheduled time of each of the unexecuted source codes. COPYRIGHT: (C)2009,JPO&INPIT |
