JP2009116477A - Source code verification management device, method, and program - Google Patents

Source code verification management device, method, and program Download PDF

Info

Publication number
JP2009116477A
JP2009116477A JP2007286727A JP2007286727A JP2009116477A JP 2009116477 A JP2009116477 A JP 2009116477A JP 2007286727 A JP2007286727 A JP 2007286727A JP 2007286727 A JP2007286727 A JP 2007286727A JP 2009116477 A JP2009116477 A JP 2009116477A
Authority
JP
Japan
Prior art keywords
verification
source code
time
order
scheduled
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.)
Granted
Application number
JP2007286727A
Other languages
Japanese (ja)
Other versions
JP5046109B2 (en
Inventor
Katsumasa Sakakibara
克昌 榊原
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
NEC Corp
Original Assignee
NEC Corp
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by NEC Corp filed Critical NEC Corp
Priority to JP2007286727A priority Critical patent/JP5046109B2/en
Publication of JP2009116477A publication Critical patent/JP2009116477A/en
Application granted granted Critical
Publication of JP5046109B2 publication Critical patent/JP5046109B2/en
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Abstract

<P>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. <P>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. <P>COPYRIGHT: (C)2009,JPO&INPIT

Description

本発明は、ソースコードの検証に関し、特に静的解析手法による検証に関する。   The present invention relates to verification of source code, and more particularly to verification using a static analysis technique.

プログラムソースコード（以下、ソースコード）は、ソフトウェアの開発工程で加えられる追加や修正に対して、ソフトウェアの品質を確保するために検証が実行される。
ソースコードは、ソフトウェアの開発工程における要件の変更や機能の追加に伴って、追加、変更、削除といった修正が加えられる。ソースコードの検証は、ソースコードへの修正に対してソフトウェアの品質を確保するために行われ、ソースコードの修正に起因する不具合の発生の有無や、既存のソースコードへの悪影響の有無が確認される。 The program source code (hereinafter referred to as source code) is verified in order to ensure the quality of software against additions and modifications added in the software development process.
The source code is modified such as addition, change, and deletion in accordance with a change in requirements and addition of functions in the software development process. Source code verification is performed to ensure the quality of the software against modifications to the source code, confirming whether there are any defects caused by the modification of the source code or whether there is an adverse effect on the existing source code. Is done.

ソースコードの検証方法には、回帰テストと呼ばれる手法がある。回帰テストは、ソースコードを実行形式にし、あらかじめ用意した入力データをソースコードの修正前後で実行して、その出力結果を比較することによって検証を行う手法である。回帰テストは、ソースコードの修正前後で出力結果に変化が無いことを確認することで、ソースコードの修正による不具合の発生の有無や、既存部分への悪影響の有無を確認する。このような検査手法が、特許文献１や特許文献２に開示されている。   There is a method called regression test as a source code verification method. The regression test is a method in which source code is converted into an execution form, input data prepared in advance is executed before and after correction of the source code, and verification is performed by comparing the output results. In the regression test, it is confirmed that there is no change in the output result before and after modification of the source code. Such an inspection method is disclosed in Patent Document 1 and Patent Document 2.

一方で、ソースコードの検証方法には、静的解析手法と呼ばれる手法がある。静的解析手法は、ソフトウェアを実行形式にはせずに、ソースコード対して直接的に検証を行う手法である。静的解析手法のうち、形式的手法の一つとしてモデル検査がある。モデル検査は、ソースコードから状態遷移モデルを作成し、その状態遷移モデル上において、初期状態から到達状態までの到達の可能性を証明することで、検証仕様を満たすか否かを検査する。モデル検査によって、実行時にしか検出できないエラー（バグ）を効率的に検出することが可能である。静的解析手法を利用することでソースコードの改修による既存部分への影響を確認することも可能である。このような検査手法が、特許文献３に開示されている。   On the other hand, the source code verification method includes a method called a static analysis method. The static analysis method is a method of directly verifying the source code without making the software an executable form. Among the static analysis methods, model checking is one of the formal methods. In model checking, a state transition model is created from source code, and whether or not the verification specification is satisfied is checked by proving the possibility of reaching from the initial state to the reaching state on the state transition model. By model checking, it is possible to efficiently detect errors (bugs) that can only be detected at runtime. It is also possible to check the influence on the existing part by revising the source code by using the static analysis method. Such an inspection method is disclosed in Patent Document 3.

静的解析手法においては、ソースコード毎の検証に要する時間を想定することが困難である。これは、静的解析手法では検証の実行に要する時間が、実行する検証の種類や方法などの特性によって、単純にプログラムソースコードの規模から決定することはできないためである。そのため、実際に検証を実行してみないことには検証に要する時間が想定できず、検証時間が長時間に及び制限時間内に検証項目が全て完了しない場合も発生する。モデル検査手法においても、検証対象のソースコードが取り得る状態数が爆発的に増加する状態爆発の問題により、検証時間はソースコードの検証項目数に応じて級数的に増加する。   In the static analysis method, it is difficult to assume the time required for verification for each source code. This is because in the static analysis method, the time required for execution of verification cannot be determined simply from the scale of the program source code depending on characteristics such as the type and method of verification to be executed. For this reason, if the verification is not actually executed, the time required for the verification cannot be assumed, and there are cases where the verification time is long and all the verification items are not completed within the time limit. Also in the model checking method, the verification time increases exponentially according to the number of verification items of the source code due to the problem of the state explosion that the number of states that the source code to be verified can take explosively increases.

しかし、ソースコードの検証は、ある一定時間内で実行する必要がある。例えば、ソースコードの検証は、ソースコードの修正が行われない夜間に一括して検証を行い、翌日に結果を確認する方法をとる。静的解析においては、検証に要する時間を想定することが困難であり、個々のソースコードに適正な検証時間を割り付けることができない。とは言え、個々のソースコードに必要十分な時間を割り付けしまうと、検証全体の時間が制限時間内に収められないという問題がある。   However, source code verification needs to be executed within a certain period of time. For example, the source code is verified by performing a batch verification at night when the source code is not corrected and confirming the result the next day. In static analysis, it is difficult to assume the time required for verification, and appropriate verification time cannot be assigned to each source code. However, if sufficient time is allocated to each source code, there is a problem that the entire verification time cannot be kept within the time limit.

このような問題を解決するための従来技術として、特許文献４が開示されている。特許文献４の発明は、論理回路に対し検証対象部分の複雑性を計算し、複雑性の低い検証対象から検証を実行する。また、特許文献４の発明は、検証対象の複雑度に応じて検証時間を設定する。さらに検証対象部分の複雑度が一定以上の場合は検証時間を割り付けず、検証を行わないことで検証にかかる時間を短縮し、定められた時間内で検証が完了する。   Patent document 4 is disclosed as a prior art for solving such a problem. The invention of Patent Document 4 calculates the complexity of a verification target portion for a logic circuit, and executes verification from a verification target with low complexity. In the invention of Patent Document 4, the verification time is set according to the complexity of the verification target. Further, when the complexity of the verification target portion is a certain level or higher, the verification time is not allocated, and the verification time is shortened by not performing the verification, and the verification is completed within a predetermined time.

この従来技術にはいくつかの課題点がある。まず、個々の検証対象の複雑性に応じて任意に検証時間を設定するとされているため、全ての検証対象の検証を、確実に検証実施者の要求する検証制限時間内に完了することができない可能性がある。これは、検証制限時間内で検証を完了させることができない場合に、ソフトウェア開発工程に影響を与える可能性となる。次に、複雑度が一定以上の検証対象の検証時間を割り付けないため、検証装置が検証制限時間を使い切らずに検証を完了させてしまう可能性がある。これは、検証制限時間を最大限利用して検証を実行いたならば、発見し得た問題箇所を見落とす可能性となる。
特開平８−２１２１０８号公報 特開２００６−１６３５１９号公報 特開２００４−００５６７４号公報 特開２００１−３３８００８号公報 This prior art has several problems. First, since it is supposed that the verification time is arbitrarily set according to the complexity of each verification target, the verification of all verification targets cannot be completed within the verification time limit requested by the verifier. there is a possibility. This may affect the software development process when the verification cannot be completed within the verification time limit. Next, since the verification time of the verification target having a certain degree of complexity is not allocated, there is a possibility that the verification apparatus completes the verification without using up the verification time limit. This means that if the verification is performed by making the maximum use of the verification time limit, a problem portion that could be found may be overlooked.
JP-A-8-212108 JP 2006-163519 A JP 2004-005674 A JP 2001-338008 A

本発明の目的は、検証の対象であるソースコード毎に割り付ける検証予定時間の動的な再割り付けを可能にする検証管理装置を提供することである。   An object of the present invention is to provide a verification management apparatus that enables dynamic reassignment of a scheduled verification time to be assigned to each source code to be verified.

本発明の他の目的は、検証全体を実行する検証制限時間を超えずに検証の対象である全てのソースコードに対する検証の実行を可能にする検証管理装置を提供することである。   Another object of the present invention is to provide a verification management device that enables execution of verification on all source codes that are targets of verification without exceeding the verification time limit for executing the entire verification.

本発明の検証管理装置は、検証の対象である複数のソースコードの検証順番を決定する順番決定部と、複数のソースコードの各々に対して検証の実行にかける検証予定時間を割り付ける時間算出部と、検証順番に基づいて、複数のソースコードのうちから一つの選択ソースコードを順に選択し、当該選択ソースコードに割付けられた検証予定時間内で検証を実行する検証実行部と、選択ソースコードの検証が完了する毎に、当該選択ソースコードの検証に要した検証所要時間が当該選択ソースコードに割付けられた検証予定時間より短い場合には、残った余剰検証予定時間を、複数のソースコードのうちで当該選択ソースコードの検証順番より後で検証されるべき未実行ソースコードの各々に再割付けして、未実行ソースコードの各々の検証予定時間を増加させる結果受取部とを備える。   The verification management apparatus of the present invention includes an order determination unit that determines the verification order of a plurality of source codes to be verified, and a time calculation unit that allocates a verification scheduled time for execution of verification for each of the plurality of source codes And a verification execution unit that sequentially selects one selected source code from a plurality of source codes based on the verification order, and executes verification within the scheduled verification time assigned to the selected source code, and the selected source code When the verification required for verifying the selected source code is shorter than the scheduled verification time assigned to the selected source code every time the verification of the selected source code is completed, the remaining surplus verification scheduled time is set as multiple source codes. Each of the unexecuted source code is re-assigned to each of the unexecuted source code to be verified after the verification order of the selected source code. And a result receiver to increase the constant time.

本発明の検証管理装置の結果受取部は、選択ソースコードの検証が完了する毎に、当該選択ソースコードの検証予定時間から検証所要時間を減算して余剰検証予定時間を算出し、余剰検証予定時間を未実行ソースコードの総数で除算した時間を、未実行ソースコードの各々の検証予定時間に加算することによって再割付けする。   The result receiving unit of the verification management apparatus of the present invention calculates the surplus verification scheduled time by subtracting the verification required time from the verification verification time of the selected source code every time the verification of the selected source code is completed. The time obtained by dividing the time by the total number of unexecuted source codes is reassigned by adding the time to each verification scheduled time of the unexecuted source code.

本発明の検証管理装置の順番決定部は、複数のソースコードの各々の検証所要時間が短いと想定する順に検証順番を決定する。   The order determination unit of the verification management apparatus of the present invention determines the verification order in the order in which it is assumed that the time required for verification of each of the plurality of source codes is short.

本発明の検証管理装置の検証実行部は、選択ソースコードの検証が当該選択ソースコードに割付けられた検証予定時間内に完了しない場合には、当該選択ソースコードの検証の開始からの経過時間が当該選択ソースコードに割付けられた検証予定時間に到達した時点で検証を終了する。   The verification execution unit of the verification management apparatus of the present invention, when the verification of the selected source code is not completed within the scheduled verification time assigned to the selected source code, the elapsed time from the start of the verification of the selected source code The verification is terminated when the scheduled verification time assigned to the selected source code is reached.

本発明の検証管理装置の時間算出部は、複数のソースコードの全てに対して検証を実行するための検証制限時間の範囲内で、複数のソースコードの各々に検証予定時間を割り付ける。   The time calculation unit of the verification management apparatus according to the present invention assigns a scheduled verification time to each of the plurality of source codes within the range of the verification time limit for executing verification on all of the plurality of source codes.

本発明の検証管理装置の時間算出部は、検証制限時間を複数のソースコードの総数で除算することにより検証予定時間を算出して、複数のソースコードの各々に割り付ける。   The time calculation unit of the verification management apparatus of the present invention calculates the verification scheduled time by dividing the verification time limit by the total number of the plurality of source codes, and assigns the time to each of the plurality of source codes.

本発明の検証管理装置の検証実行部は、選択ソースコードの検証を完了する毎に、当該選択ソースコードの検証所要時間と、当該選択ソースコード割付けられた検証予定時間内に検証が完了しなかったために検証を終了した場合には、検証において実行することができなかった検証項目の数である未完了検証項目数と、を記録した検証結果を出力し、結果受取部は、検証結果に記録された検証所要時間に基づいて余剰検証予定時間を算出する。   The verification execution unit of the verification management apparatus of the present invention does not complete verification within the time required for verification of the selected source code and the scheduled verification time assigned to the selected source code every time verification of the selected source code is completed. Therefore, when verification is completed, the verification result recording the number of incomplete verification items, which is the number of verification items that could not be executed in the verification, is output, and the result receiving unit records in the verification result The surplus verification scheduled time is calculated based on the verification required time.

本発明の検証管理装置は、検証順番と、検証予定時間と、検証結果とを、それぞれ複数のソースコードの各々に対応させて保存する管理データベースをさらに備える。   The verification management apparatus of the present invention further includes a management database that stores a verification order, a verification verification time, and a verification result in association with each of a plurality of source codes.

本発明の検証管理装置の順番決定部は、複数のソースコードのうち、管理データベースに保存された検証結果に未完了検証項目が存在しないソースコードについて、管理データベースに保存された検証結果に記録されている検証所要時間の短いものから順に検証を実行するように、検証順番における未完了検証項目が存在しないソースコードの検証順番を決定する。   The order determination unit of the verification management apparatus of the present invention records, among the plurality of source codes, source codes for which there are no uncompleted verification items in the verification results stored in the management database, in the verification results stored in the management database. The verification order of the source code in which there are no uncompleted verification items in the verification order is determined so that the verification is executed in order from the shortest required verification time.

本発明の検証管理装置の順番決定部は、複数のソースコードのうち、管理データベースに保存された検証結果に未完了検証項目が存在するソースコードについて、管理データベースに保存された検証結果に記録されている未完了検証項目の少ない順に検証を実行するように、検証順番における未完了検証項目が存在するソースコードの検証順番を決定し、複数のソースコードに、検証結果に未完了検証項目が存在しないソースコードが含まれる場合には、未完了検証項目が存在しないソースコードの検証順番の後に、未完了検証項目が存在するソースコードの検証順番が配置されるように検証順番を決定する。   The order determination unit of the verification management apparatus of the present invention records, among a plurality of source codes, the verification result stored in the management database for the source code in which an incomplete verification item exists in the verification result stored in the management database. The verification order of the source code in which there are incomplete verification items in the verification order is determined so that the verification is performed in the order of the few incomplete verification items, and there are incomplete verification items in the verification results in multiple source codes In such a case, the verification order is determined so that the verification order of the source code having incomplete verification items is arranged after the verification order of the source code having no incomplete verification items.

本発明の検証管理装置の順番決定部は、複数のソースコードのうち、管理データベースに検証結果が存在しないソースコードについて、当該ソースコードの規模が小さい順に検証を実行するように、検証順番における検証結果が存在しないソースコードの検証順番を決定し、複数のソースコードに、検証結果に未完了検証項目が存在するソースコードが含まれず、未完了検証項目が存在しないソースコードが含まれる場合には、未完了検証項目が存在しないソースコードの検証順番の後に、検証結果が存在しないソースコードの検証順番が配置されるように検証順番を決定し、複数のソースコードに、検証結果に未完了検証項目が存在するソースコードが含まれる場合には、未完了検証項目が存在するソースコードの検証順番の後に、検証結果が存在しないソースコードの検証順番が配置されるように検証順番を決定する。   The order determination unit of the verification management apparatus of the present invention performs verification in the verification order so that verification is performed in order from the smallest size of the source code for a plurality of source codes for which no verification result exists in the management database. When the verification order of source code that does not have a result is determined and multiple source codes do not include source code that has uncompleted verification items in the verification results and include source code that does not have incomplete verification items The verification order is determined so that the verification order of the source code that does not have the verification result is arranged after the verification order of the source code that has no incomplete verification items. If the source code that contains the item is included, the verification result is added after the verification order of the source code that contains the incomplete verification item. There validation order of the source code does not exist to determine the verification order to be placed.

本発明の検証管理装置の時間算出部は、複数のソースコードの各々に割り付けられた検証予定時間と、管理データベースに保存された複数のソースコードの各々に対応する検証結果に基づいて、複数のソースコードのうち、各々に割り付けられた検証予定時間では検証が完了しないと判定する完了不可ソースコードが存在する場合には、当該ソースコードは完了不可である旨の通知を出力する。   The time calculation unit of the verification management device of the present invention is based on the verification scheduled time allocated to each of the plurality of source codes and the verification result corresponding to each of the plurality of source codes stored in the management database. If there is a non-completionable source code that determines that verification is not completed at the scheduled verification time assigned to each of the source codes, a notification that the source code cannot be completed is output.

本発明の検証管理方法は、
（ａ）検証の対象である複数のソースコードの検証順番を決定するステップと、
（ｂ）複数のソースコードの各々に対して検証の実行にかける検証予定時間を割り付けるステップと、
（ｃ）検証順番に基づいて、複数のソースコードのうちから一つの選択ソースコードを順に選択し、当該選択ソースコードに割付けられた検証予定時間内で検証を実行するステップと、
（ｄ）選択ソースコードの検証が完了する毎に、当該選択ソースコードの検証に要した検証所要時間が当該選択ソースコードに割付けられた検証予定時間より短い場合には、残った余剰検証予定時間を、複数のソースコードのうちで当該選択ソースコードの検証順番より後で検証されるべき未実行ソースコードの各々に再割付けして、未実行ソースコードの各々の検証予定時間を増加させるステップとを備える。 The verification management method of the present invention includes:
(A) determining a verification order of a plurality of source codes to be verified;
(B) assigning a scheduled verification time for execution of verification to each of a plurality of source codes;
(C) sequentially selecting one selected source code from a plurality of source codes based on the verification order, and executing verification within the scheduled verification time allocated to the selected source code;
(D) Every time verification of the selected source code is completed, if the time required for verification of the selected source code is shorter than the scheduled verification time assigned to the selected source code, the remaining scheduled extra verification time Is reassigned to each of the unexecuted source code to be verified after the verification order of the selected source code among the plurality of source codes, and the scheduled verification time of each of the unexecuted source code is increased. Is provided.

本発明の検証管理方法のステップ（ｄ）は、
選択ソースコードの検証が完了する毎に、当該選択ソースコードの検証予定時間から検証所要時間を減算して余剰検証予定時間を算出するステップと、
余剰検証予定時間を未実行ソースコードの総数で除算した時間を、未実行ソースコードの各々の検証予定時間に加算することによって再割付けするステップとを含む。 Step (d) of the verification management method of the present invention comprises:
Every time the verification of the selected source code is completed, a step of calculating a surplus verification scheduled time by subtracting the verification required time from the verification scheduled time of the selected source code;
Reassigning the time obtained by dividing the surplus verification scheduled time by the total number of unexecuted source code by adding the time to each verification scheduled time of the unexecuted source code.

本発明の検証管理方法のステップ（ａ）は、
検証順番を、複数のソースコードの各々の検証所要時間が短いと想定される順に決定するステップを含む。 Step (a) of the verification management method of the present invention comprises:
The step of determining the verification order includes an order in which the verification required time of each of the plurality of source codes is assumed to be short.

本発明の検証管理方法のステップ（ｃ）は、
選択ソースコードの検証が当該選択ソースコードに割付けられた検証予定時間内に完了しない場合には、当該選択ソースコードの検証の開始からの経過時間が当該選択ソースコードに割付けられた検証予定時間に到達した時点で検証を終了するステップを含む。 Step (c) of the verification management method of the present invention comprises:
If the verification of the selected source code is not completed within the scheduled verification time assigned to the selected source code, the elapsed time from the start of the verification of the selected source code becomes the scheduled verification time assigned to the selected source code. Including the step of ending the verification when it is reached.

本発明の検証管理方法のステップ（ｂ）は、
複数のソースコードの全てに対して検証を実行するための検証制限時間の範囲内で複数のソースコードの各々に検証予定時間を割り付けるステップを含む。 Step (b) of the verification management method of the present invention comprises:
The method includes a step of assigning a scheduled verification time to each of the plurality of source codes within a verification time limit for executing verification on all of the plurality of source codes.

本発明の検証管理方法の検証制限時間の範囲内で複数のソースコードの各々に検証予定時間を割り付けるステップは、検証制限時間を複数のソースコードの総数で除算することにより検証予定時間を算出して、複数のソースコードの各々に割り付けるステップを含む。   The step of allocating the scheduled verification time to each of the plurality of source codes within the range of the verification time limit of the verification management method of the present invention calculates the scheduled verification time by dividing the verification limited time by the total number of the plurality of source codes. And assigning to each of the plurality of source codes.

本発明の検証管理方法のステップ（ｃ）は、
検証実行部は、選択ソースコードの検証を完了する毎に、当該選択ソースコードの検証所要時間と、当該選択ソースコード割付けられた検証予定時間内に検証が完了しなかったために検証を終了した場合には、検証において実行することができなかった検証項目の数である未完了検証項目数と、を記録した検証結果を出力するステップと、
ステップ（ｄ）は、結果受取部は、検証結果に記録された検証所要時間に基づいて余剰検証予定時間を算出するステップとをさらに備える。 Step (c) of the verification management method of the present invention comprises:
When the verification execution unit finishes verification because the verification has not been completed within the time required for verification of the selected source code and the scheduled verification time assigned to the selected source code every time verification of the selected source code is completed A step of outputting a verification result recording the number of incomplete verification items, which is the number of verification items that could not be executed in the verification, and
The step (d) further includes a step of calculating the surplus verification scheduled time based on the required verification time recorded in the verification result.

本発明の検証管理方法のステップ（ｃ）は、
検証順番と、検証予定時間と、検証結果とを、それぞれ複数のソースコードの各々に対応させて管理データベースへ保存するステップをさらに備える。 Step (c) of the verification management method of the present invention comprises:
The method further includes a step of storing the verification order, the verification scheduled time, and the verification result in the management database in association with each of the plurality of source codes.

本発明の検証管理方法のステップ（ａ）は、
複数のソースコードのうち、管理データベースに保存された検証結果に未完了検証項目が存在しないソースコードについて、管理データベースに保存された検証結果に記録されている検証所要時間の短いものから順に検証を実行するように、検証順番における未完了検証項目が存在しないソースコードの検証順番を決定するステップを含む。 Step (a) of the verification management method of the present invention comprises:
Among the multiple source codes, for the source code for which there are no incomplete verification items in the verification results stored in the management database, the verification is performed in order from the shortest verification time recorded in the verification results stored in the management database. Determining a verification order of source code that does not have incomplete verification items in the verification order to be executed.

本発明の検証管理方法のステップ（ａ）は、
複数のソースコードのうち、管理データベースに保存された検証結果に未完了検証項目が存在するソースコードについて、管理データベースに保存された検証結果に記録されている未完了検証項目の少ない順に検証を実行するように、検証順番における未完了検証項目が存在するソースコードの検証順番を決定するステップと、
複数のソースコードに、検証結果に未完了検証項目が存在しないソースコードが含まれる場合には、未完了検証項目が存在しないソースコードの検証順番の後に、未完了検証項目が存在するソースコードの検証順番が配置されるように検証順番を決定するステップとを含む。 Step (a) of the verification management method of the present invention comprises:
Among the multiple source codes, verification is performed in ascending order of the incomplete verification items recorded in the verification results stored in the management database for the source code that has incomplete verification items in the verification results stored in the management database. Determining the verification order of the source code in which there are incomplete verification items in the verification order, and
If multiple source codes include source code that does not have incomplete verification items in the verification results, the source code that has incomplete verification items after the verification order of source code that does not have incomplete verification items. Determining a verification order such that the verification order is arranged.

本発明の検証管理方法のステップ（ａ）は、
複数のソースコードのうち、管理データベースに検証結果が存在しないソースコードについて、当該ソースコードの規模が小さい順に検証を実行するように、検証順番における検証結果が存在しないソースコードの検証順番を決定するステップと、
複数のソースコードに、検証結果に未完了検証項目が存在するソースコードが含まれず、未完了検証項目が存在しないソースコードが含まれる場合には、未完了検証項目が存在しないソースコードの検証順番の後に、検証結果が存在しないソースコードの検証順番が配置されるように検証順番を決定するステップと、
複数のソースコードに、検証結果に未完了検証項目が存在するソースコードが含まれる場合には、未完了検証項目が存在するソースコードの検証順番の後に、検証結果が存在しないソースコードの検証順番が配置されるように検証順番を決定するステップとを含む。 Step (a) of the verification management method of the present invention comprises:
Among the plurality of source codes, the verification order of the source code having no verification result in the verification order is determined so that the verification is executed in order from the smallest source code size for the source code whose verification result does not exist in the management database. Steps,
If multiple source codes do not include source code that has incomplete verification items in the verification results and source code that does not have incomplete verification items, the verification order of the source code that does not have incomplete verification items After, the step of determining the verification order so that the verification order of the source code for which there is no verification result is arranged,
If multiple source codes include source code that has incomplete verification items in the verification results, the verification order of source code that does not have verification results after the verification order of source code that has incomplete verification items Determining the verification order so that.

本発明の検証管理方法のステップ（ｂ）は、
複数のソースコードの各々に割り付けられた検証予定時間と、管理データベースに保存された複数のソースコードの各々に対応する検証結果に基づいて、複数のソースコードのうち、各々に割り付けられた検証予定時間では検証が完了しないと判定する完了不可ソースコードが存在する場合には、当該ソースコードは完了不可である旨の通知を出力するステップをさらに備える。 Step (b) of the verification management method of the present invention comprises:
Based on the scheduled verification time assigned to each of the plurality of source codes and the verification result corresponding to each of the plurality of source codes stored in the management database, the verification schedule assigned to each of the plurality of source codes. When there is a non-completionable source code that determines that the verification is not completed in time, the method further includes a step of outputting a notification that the source code cannot be completed.

本発明のプログラムは、前述の検証管理方法をコンピュータによって実現する。   The program of the present invention realizes the above-described verification management method by a computer.

本発明によれば、検証の対象であるソースコード毎に割り付ける検証予定時間の動的な再割り付けが可能となるため、定められた検証制限時間内により多くの検証結果を得ることが可能となり、効率的に検証を実行できる。   According to the present invention, it is possible to dynamically reallocate the verification scheduled time allocated for each source code to be verified, so that it is possible to obtain more verification results within a predetermined verification time limit, Verification can be performed efficiently.

さらに本発明によれば、検証全体を実行する検証制限時間を超えずに検証の対象である全てのソースコードに対して検証を実行することが可能となるため、定められた検証制限時間の枠を超えずに検証の対象となる全てのソースコードに対しての検証結果を得ることが可能となる。   Furthermore, according to the present invention, it is possible to execute verification for all source codes to be verified without exceeding the verification time limit for executing the entire verification. It is possible to obtain verification results for all the source codes to be verified without exceeding.

添付図面を参照して、本発明によるソースコード検証管理装置を実施するための最良の形態としての一実施例を以下に説明する。   An embodiment as the best mode for implementing a source code verification management apparatus according to the present invention will be described below with reference to the accompanying drawings.

［構成の説明］
始めに本発明の構成について説明する。図１は、本発明のソースコード検証管理装置の構成図を示している。本発明のソースコード検証管理装置は、ソースコード管理装置１００と、検証実行装置２００と、表示装置３００と、入力装置４００と、検証管理装置５００を備える。 [Description of configuration]
First, the configuration of the present invention will be described. FIG. 1 shows a configuration diagram of a source code verification management apparatus of the present invention. The source code verification management device of the present invention includes a source code management device 100, a verification execution device 200, a display device 300, an input device 400, and a verification management device 500.

図２は、本発明のソースコード管理装置１００、検証実行装置２００、検証管理装置５００のそれぞれ構成を示している。ソースコード管理装置１００、検証実行装置２００、検証管理装置５００は、それぞれ処理部１、記憶部２、出力部３、入力情報受付部４、通信部５を備える。処理部１、記憶部２、出力部３、入力情報受付部４、通信部５は、それぞれ電気的に接続される。処理部１はＣＰＵ（Central Processing Unit）やＭＰＵ（Micro Processing Unit）などで実現される。処理部１は本実施例の機能を実現する処理を行う。記憶部２は、ＲＡＭ（Random Access Memory）やＲＯＭ（Read Only Memory）などで実現される。記憶部２には本実施例の機能を実現するプログラムを含む、従来のプログラムが記憶されている。出力部３は、例えば液晶ディスプレイで構成され、入力情報受付部４は、例えばキーボードやマウスで構成される。図１において、検証管理装置５００の出力部３は、表示装置３００である。検証管理装置５００の入力情報受付部４は、入力装置４００である。ソースコード管理装置１００と検証実行装置２００の出力部３及び入力情報受付部４は、図１において図示を省略している。通信部５は、例えばＬＡＮ（Local Area Network）ポートで構成される。それぞれの装置間は従来技術により、有線通信や無線通信を利用して直接的に接続されているか、あるいはＷＡＮ（Wide Area Network）やインターネットのような通信ネットワークを介して接続されている。また、図１において、ソースコード管理装置１００、検証実行装置２００、検証管理装置５００は、別々の装置で構成しているが、これを一つの装置内において実現してもよい。   FIG. 2 shows configurations of the source code management device 100, the verification execution device 200, and the verification management device 500 of the present invention. The source code management device 100, the verification execution device 200, and the verification management device 500 each include a processing unit 1, a storage unit 2, an output unit 3, an input information reception unit 4, and a communication unit 5. The processing unit 1, the storage unit 2, the output unit 3, the input information receiving unit 4, and the communication unit 5 are electrically connected to each other. The processing unit 1 is realized by a CPU (Central Processing Unit), an MPU (Micro Processing Unit), or the like. The processing unit 1 performs processing for realizing the functions of this embodiment. The storage unit 2 is realized by a RAM (Random Access Memory), a ROM (Read Only Memory), or the like. The storage unit 2 stores conventional programs including programs that implement the functions of the present embodiment. The output unit 3 is configured by, for example, a liquid crystal display, and the input information receiving unit 4 is configured by, for example, a keyboard or a mouse. In FIG. 1, the output unit 3 of the verification management device 500 is a display device 300. The input information receiving unit 4 of the verification management device 500 is the input device 400. The output unit 3 and the input information receiving unit 4 of the source code management device 100 and the verification execution device 200 are not shown in FIG. The communication unit 5 is configured by a LAN (Local Area Network) port, for example. The respective devices are directly connected using wired communication or wireless communication according to conventional techniques, or are connected via a communication network such as a WAN (Wide Area Network) or the Internet. In FIG. 1, the source code management device 100, the verification execution device 200, and the verification management device 500 are configured as separate devices, but this may be realized in one device.

次に、図３を使用して各装置を詳細に説明する。
まず、ソースコード管理装置１００について説明する。
ソースコード管理装置１００は、ソースコード管理データベース１０１（以下、ソースコード管理ＤＢ１０１）を備える。ソースコード管理ＤＢ１０１は、複数のソースコード１０とソースコードの更新状態情報１３を保存している。本発明のソースコード検証管理装置による検証対象のソースコード１０は、ソースコード管理装置が保存している複数のソースコード１０から、更新状態情報１３に基づいて抽出される。本実施例において、検証対象となるソースコード１０を検証対象ソースコード１１と呼ぶ。
ソースコード１０の開発者は、ソースコード１０の新規追加、変更、削除等の作業を行い、更新後のソースコード１０をソースコード管理装置に保存する。ソースコード１０の更新状態を更新履歴として管理している。図４は、本実施例におけるソースコード管理ＤＢ１０１に記録された更新状態情報１３の例を表している。更新状態情報１３は、ソースコードＩＤ、ソースコードの規模（本実施例においてはラベル数）、更新日時を記録している。なお、更新状態情報１３に記録されるデータはこの例に限定しない。
ソースコード管理ＤＢ１０１は、後述する検証管理装置５００の選択部５０１からの命令により、ソースコード１０のうちから更新状態情報１３に基づいて検証対象のソースコードを抽出する。ソースコード管理ＤＢ１０１は、検証対象ソースコード１１を検証対象ソースコード１１の更新状態と共に、選択部５０１へ出力する。 Next, each device will be described in detail with reference to FIG.
First, the source code management device 100 will be described.
The source code management device 100 includes a source code management database 101 (hereinafter, source code management DB 101). The source code management DB 101 stores a plurality of source codes 10 and source code update state information 13. The source code 10 to be verified by the source code verification management apparatus of the present invention is extracted from a plurality of source codes 10 stored in the source code management apparatus based on the update state information 13. In this embodiment, the source code 10 to be verified is called a verification target source code 11.
The developer of the source code 10 performs operations such as new addition, change, and deletion of the source code 10, and stores the updated source code 10 in the source code management device. The update state of the source code 10 is managed as an update history. FIG. 4 shows an example of the update state information 13 recorded in the source code management DB 101 in this embodiment. The update status information 13 records the source code ID, the scale of the source code (the number of labels in this embodiment), and the update date / time. The data recorded in the update state information 13 is not limited to this example.
The source code management DB 101 extracts the source code to be verified from the source code 10 based on the update state information 13 in accordance with an instruction from the selection unit 501 of the verification management apparatus 500 described later. The source code management DB 101 outputs the verification target source code 11 to the selection unit 501 together with the update state of the verification target source code 11.

次に検証実行装置２００について説明する。
検証実行装置２００は、検証実行部２０１を備える。検証実行部２０１は、検証対象ソースコード１１の検証を実行する。本発明において、検証実行装置２０１が実行する検証は静的解析手法による検証である。静的解析手法による検証については従来技術を用いて行うため説明を省略する。また、本発明において、個々の検証対象ソースコード１１に対する検証内容や、個々の検証対象ソースコード１１が満たすべき検証仕様についても、特に限定するものではないので説明を省略する。
検証実行部２０１は、後述する検証管理装置５００の実行命令部５０６からの検証実行命令により、順番決定部５０２の決定した検証順番で、時間算出部５０５が検証対象ソースコード１１毎に割り付けた検証予定時間内に、当該検証対象ソースコード１１の検証を実行する。図５は、実行命令部５０６からの検証実行命令のデータ内容の例を示している。 Next, the verification execution apparatus 200 will be described.
The verification execution device 200 includes a verification execution unit 201. The verification execution unit 201 executes verification of the verification target source code 11. In the present invention, the verification executed by the verification execution apparatus 201 is verification by a static analysis method. Since verification by the static analysis method is performed using the conventional technique, the description is omitted. Further, in the present invention, the contents of verification for each verification target source code 11 and the verification specifications to be satisfied by each verification target source code 11 are not particularly limited, and will not be described.
The verification execution unit 201 uses the verification execution instruction from the execution instruction unit 506 of the verification management device 500 described later, and the verifications assigned by the time calculation unit 505 for each verification target source code 11 in the verification order determined by the order determination unit 502. The verification target source code 11 is verified within the scheduled time. FIG. 5 shows an example of the data content of the verification execution instruction from the execution instruction unit 506.

検証実行部２０１は、検証が完了すると検証結果２０を生成する。図６Ａと図６Ｂは、検証結果２０に記録されているデータの例を示している。検証結果２０には、検証を実行した検証対象ソースコード１１に対する検証対象ソースコード１１毎の検証所要時間と未完了検証項目数（データ項目上は未完了項目数と表記、以下同じ。）が含まれている。図６Ａと図６Ｂに示す検証結果には、他に検証を実行した検証対象ソースコード１１が検証仕様を満たしたか否かといった情報が含まれるが、前述のとおり、本発明において検証方法や検証仕様について限定するものではないので、明示していない。
検証所要時間は、検証対象ソースコード１１毎の検証を開始してから完了するまでに要した時間である。未完了検証項目数は、検証対象ソースコード１１毎に割り付けられた検証予定時間内に検証が実行完了できなかった場合の、検証予定時間内に実行することができなかった未完了検証項目の数である。検証実行部２０１は、生成した検証結果２０を、検証管理装置５００の結果受取部５０７へ出力する。なお、検証結果２０の例は、これに限定しない。
検証実行部２０１は、検証対象ソースコード１１毎に割付けられた検証予定時間内に、当該検証対象ソースコード１１の検証が完了しない場合には、検証開始からの経過時間が検証予定時間に到達すると、その時点で当該検証を終了する。その場合にも、検証実行部２０１は、検証結果２０を生成し、結果受取部５０７へ出力する。 The verification execution unit 201 generates a verification result 20 when the verification is completed. 6A and 6B show examples of data recorded in the verification result 20. The verification result 20 includes the verification required time for each verification target source code 11 and the number of incomplete verification items (indicated as the number of incomplete items in data items, the same applies hereinafter) for the verification target source code 11 that has been verified. It is. The verification results shown in FIGS. 6A and 6B include other information such as whether or not the verification target source code 11 that has been verified satisfies the verification specification. As described above, in the present invention, the verification method and the verification specification are included. It is not specified because it is not limited.
The time required for verification is the time required from the start of verification for each verification target source code 11 to the completion thereof. The number of uncompleted verification items is the number of uncompleted verification items that could not be executed within the scheduled verification time when the verification could not be completed within the scheduled verification time assigned to each verification target source code 11. It is. The verification execution unit 201 outputs the generated verification result 20 to the result reception unit 507 of the verification management device 500. The example of the verification result 20 is not limited to this.
If the verification of the verification target source code 11 is not completed within the scheduled verification time assigned to each verification target source code 11, the verification execution unit 201 determines that the elapsed time from the start of verification reaches the verification planned time. At that time, the verification ends. Also in this case, the verification execution unit 201 generates the verification result 20 and outputs it to the result receiving unit 507.

次に表示装置３００について説明する。
表示装置３００は、前述のとおり、例えば液晶ディスプレイで構成され、検証管理装置５００の情報表示部５０３から出力される情報を表示する。検証実施者は、表示装置３００に表示される検証に関する情報を確認できる。 Next, the display device 300 will be described.
As described above, the display device 300 is configured by a liquid crystal display, for example, and displays information output from the information display unit 503 of the verification management device 500. The verification performer can confirm information related to verification displayed on the display device 300.

次に入力装置４００について説明する。
入力装置４００は、前述のとおり、例えばキーボードやマウスで構成される。検証実施者は、表示装置３００へ表示される検証に関する情報を確認し、これに応じて入力装置４００へ入力を行う。入力装置４００は、検証実施者が入力する情報を検証管理装置５００の入力受付部５０４へ出力する。 Next, the input device 400 will be described.
As described above, the input device 400 includes, for example, a keyboard and a mouse. The verification operator confirms the information related to verification displayed on the display device 300 and inputs the information to the input device 400 accordingly. The input device 400 outputs information input by the verification performer to the input reception unit 504 of the verification management device 500.

次に検証管理装置５００について説明する。
検証管理装置５００は、選択部５０１、順番決定部５０２、情報表示部５０３、入力受付部５０４、時間算出部５０５、実行命令部５０６、結果受取部５０７、管理データベース５０８を備える。選択部５０１、順番決定部５０２、情報表示部５０３、入力受付部５０４、時間算出部５０５、実行命令部５０６、結果受取部５０７の各機能は、検証管理装置５００の記憶部２に記憶されたプログラムを処理部１が処理することによって実現する。 Next, the verification management apparatus 500 will be described.
The verification management apparatus 500 includes a selection unit 501, an order determination unit 502, an information display unit 503, an input reception unit 504, a time calculation unit 505, an execution command unit 506, a result reception unit 507, and a management database 508. The functions of the selection unit 501, the order determination unit 502, the information display unit 503, the input reception unit 504, the time calculation unit 505, the execution command unit 506, and the result reception unit 507 are stored in the storage unit 2 of the verification management device 500. This is realized by the processing unit 1 processing the program.

選択部５０１は、ソースコード管理装置１００に保存されているソースコード１０から検証対象ソースコード１１を抽出する。選択部５０１は、入力受付部５０４から受けた検証対象ソースコード１１の抽出命令を入力し、検証対象ソースコード１１の抽出をソースコード管理装置１００のソースコード管理ＤＢ１０１へ命令する。選択部５０１は、ソースコード管理装置１００が保存するソースコード１０毎の更新情報や、検証実行装置２００で行われる検証の機能や種類に応じて、ソースコード管理ＤＢ１０１に検証対象ソースコード１１の抽出を命令する。
選択部５０１は、ソースコード管理装置１００が出力する検証対象ソースコード１１を入力し、検証対象ソースコード１１の一覧リスト（以下、一覧リスト１）を作成する。図７は、一覧リスト１の例を示している。「一覧リスト１」には、検証対象ソースコード１１の識別番号（以下、ソースコードＩＤ）と、検証対象ソースコード１１に対応するソースコードの規模（本実施例においては、ラベル数）が含まれる。選択部５０１は、作成した「一覧リスト１」を、順番決定部５０２へ出力する。
ソースコード１０から検証対象ソースコード１１を抽出する方法として、ソースコード１０の更新状況に基づいて抽出する方法や、一つのソースコード１０とプログラム上で関係性のある他のソースコード１０の更新状況も考慮し抽出する方法などが存在する。検証対象ソースコード１１を抽出する方法については、従来の技術によって実現するため説明を省略する。 The selection unit 501 extracts the verification target source code 11 from the source code 10 stored in the source code management device 100. The selection unit 501 inputs the extraction instruction of the verification target source code 11 received from the input reception unit 504 and instructs the source code management DB 101 of the source code management apparatus 100 to extract the verification target source code 11. The selection unit 501 extracts the verification target source code 11 in the source code management DB 101 according to the update information for each source code 10 stored in the source code management device 100 and the function and type of verification performed in the verification execution device 200. Order.
The selection unit 501 receives the verification target source code 11 output from the source code management device 100 and creates a list of verification target source codes 11 (hereinafter, list list 1). FIG. 7 shows an example of the list 1. The “list 1” includes the identification number (hereinafter referred to as source code ID) of the verification target source code 11 and the scale of the source code corresponding to the verification target source code 11 (in this embodiment, the number of labels). . The selection unit 501 outputs the created “list 1” to the order determination unit 502.
As a method of extracting the verification target source code 11 from the source code 10, a method of extracting based on the update status of the source code 10 or an update status of other source code 10 that is related to one source code 10 on the program There is a method of extraction considering the above. Since the method for extracting the verification target source code 11 is realized by the conventional technique, the description thereof is omitted.

順番決定部５０２は、検証対象ソースコード１１の検証を実行する検証順番を決定する。順番決定部５０２は、管理データベース５０８に保存されている過去の検証結果である検証結果５０に基づいて検証順番を決定する。図８は、後述する、管理データベース５０８に保存される検証結果５０の例を示している。検証結果５０は、検証実行部２０１が出力する検証結果２０を、検証対象ソースコード毎に対応させて保存したものである。なお、検証結果５０の管理データベース５０８へ保存方法はこれに限定しない。   The order determination unit 502 determines the verification order for executing verification of the verification target source code 11. The order determining unit 502 determines the verification order based on the verification results 50 that are the past verification results stored in the management database 508. FIG. 8 shows an example of a verification result 50 stored in the management database 508, which will be described later. The verification result 50 is obtained by storing the verification result 20 output from the verification execution unit 201 in association with each verification target source code. Note that the method for storing the verification result 50 in the management database 508 is not limited to this.

本発明において、検証順番は重要な要素である。本発明は、検証対象ソースコード１１毎に割り付けられる検証を実施するための予定時間である検証予定時間と、実際に検証実行装置２００が当該検証対象ソースコード１１の検証を実行した結果、検証の完了に要した時間である検証所要時間と、を比較して、検証予定時間より検証所要時間が短い場合には、検証予定時間と検証所要時間の差分であり、余りとなった検証予定時間である余剰検証予定時間を、当該検証対象ソースコード１１よりも検証順番が後であり、これから検証を実行する検証対象ソースコード１１である未実行検証対象ソースコード１２へ再割り付けする。   In the present invention, the verification order is an important factor. In the present invention, the verification scheduled time that is the scheduled time for performing the verification assigned to each verification target source code 11 and the result of the verification execution apparatus 200 actually performing verification of the verification target source code 11 as a result of verification. Compared with the time required for verification, which is the time required for completion, if the time required for verification is shorter than the time required for verification, it is the difference between the time required for verification and the time required for verification. A certain surplus verification scheduled time is later allocated to the unexecuted verification target source code 12 which is the verification target source code 11 which has a verification order later than that of the verification target source code 11 and will be verified.

定められた検証制限時間内でより多くの検証を実行するためには、より多くの余剰検証予定時間を生み出すことが必要となる。そのために検証順番は、検証の実行に必要な検証所要時間が短い順番で検証を実行していくように決定することが効果的である。
検証所要時間が短い順番に検証を実行することで、早い順番に検証順番が割り付けられた検証対象ソースコード１１は、検証予定時間内に検証が完了できる可能性が高くなる。これにより、検証順番の早い段階で余剰検証予定時間を生み出すことができる。余剰検証予定時間を動的に未実行検証対象ソースコード１２に割り付けることで、未実行検証対象ソースコード１１の検証予定時間は増加する。これにより当初の検証予定時間では、全ての検証項目を完了できない可能性のあった検証対象ソースコード２０も、増加した検証予定時間のにおいて検証項目を全て完了できる可能性が広がる。このように、検証予定時間内に検証が完了できない検証対象ソースコード１１が、検証予定時間内に検証を完了できれば、さらに新たに余剰検証予定時間を生み出すことが可能であり、検証の効率化の連鎖を発生させることができる。 In order to perform more verifications within the defined verification time limit, it is necessary to generate more scheduled time for excess verification. For this reason, it is effective to determine the verification order so that the verification is performed in the order of the short time required for verification.
By performing the verification in the order of the shortest verification time, the verification target source code 11 to which the verification order is assigned in the early order is more likely to be verified within the scheduled verification time. Thereby, it is possible to generate a surplus verification scheduled time at an early stage of the verification order. By dynamically allocating the surplus verification scheduled time to the unexecuted verification target source code 12, the verification verification time of the unexecuted verification target source code 11 increases. As a result, the possibility that the verification target source code 20 that may not be able to complete all the verification items at the initial verification scheduled time can complete all the verification items within the increased verification scheduled time is expanded. In this way, if the verification target source code 11 that cannot be verified within the scheduled verification time can complete the verification within the scheduled verification time, it is possible to generate a new extra verification scheduled time, thereby improving the efficiency of verification. Chains can be generated.

しかし、検証所要時間が短い順番に検証対象ソースコード１１を順番決定するのは困難である。これは、静的解析により検証を実行する場合には、検証の内容により検証項目数に変動が発生する場合等があるためであり、実際に検証を実行しないことには、検証にどれだけの時間を要するのか判明しない。そこで、本発明では管理データベース５０８に保存されている検証結果５０に基づいて検証順番を決定する方法を採用している。   However, it is difficult to determine the verification target source code 11 in the order of short verification required time. This is because when verification is performed by static analysis, the number of verification items may vary depending on the content of verification, etc. I don't know if it takes time. Therefore, the present invention employs a method of determining the verification order based on the verification result 50 stored in the management database 508.

図９Ａから図９Ｃを使用して検証順番の決定方法の例を説明する。順番決定部５０２は、選択部５０１が出力する「一覧リスト１」を入力する。順番決定部５０２は、「一覧リスト１」に記載された検証対象ソースコード１１毎に、管理データベースに保存されている検証結果５０を対応させる。図９Ａは、「一覧リスト１」に記載された検証対象ソースコード１１に検証結果５０を対応させた例を示している。
順番決定部５０２は、「一覧リスト１」に記載された検証対象ソースコード１１を、管理データベースに保存されている検証結果５０に基づいて分類する。第１の分類は、前回の検証結果５０が存在して、前回の検証結果５０に未完了検証項目数が存在しない検証対象ソースコード１１である（以下、分類１）。第２の分類は、前回の検証結果５０が存在して、前回の検証結果５０に未完了検証項目数が存在する検証対象ソースコード１１である（以下、分類２）。第３の分類は、前回の検証結果５０が存在していない検証対象ソースコード１１である（以下、分類３）。 An example of the verification order determination method will be described with reference to FIGS. 9A to 9C. The order determination unit 502 inputs “list 1” output from the selection unit 501. The order determination unit 502 associates the verification result 50 stored in the management database with each verification target source code 11 described in the “list 1”. FIG. 9A shows an example in which the verification result 50 is associated with the verification target source code 11 described in the “list 1”.
The order determination unit 502 classifies the verification target source code 11 described in the “list 1” based on the verification result 50 stored in the management database. The first classification is the verification target source code 11 in which the previous verification result 50 exists and the number of incomplete verification items does not exist in the previous verification result 50 (hereinafter, classification 1). The second classification is the verification target source code 11 in which the previous verification result 50 exists and the previous verification result 50 includes the number of incomplete verification items (hereinafter, classification 2). The third classification is the verification target source code 11 in which the previous verification result 50 does not exist (hereinafter, classification 3).

次に、順番決定部５０２は、分類した検証対象ソースコード１１のそれぞれの分類において、検証順番を決定する。図９Ｂは「一覧リスト１」に記載された検証対象ソースコード１１の分類毎に検証順番を決定した例を示している。
まず、分類１の検証対象ソースコード１１は、前回の検証結果５０に含まれる検証に要した検証所要時間に基づいて、検証所要時間の最も短い検証対象ソースコード１１を最先の検証順番とし、それから検証所要時間が短い順に検証順番を決定する。
分類２の検証対象ソースコード１１は、前回の検証結果に含まれる未完了検証項目数に基づいて、未完了検証項目数が最も少ない検証対象ソースコード１１を最先の検証順番とし、それから未完了検証項目数が少ない順に検証順番を決定する。
分類３の検証対象ソースコード１２は、検証結果が存在しないため新規のソースコード１０であることが考えられる。分類３の検証対象ソースコード１１は、当該検証対象ソースコード１１の規模に基づいて順番を決定する。本実施例においては、当該検証対象ソースコード１１のラベル数に基づいて、最もラベル数が少ない検証対象ソースコード１１を最先の検証順番とし、それからラベル数が少ない順に検証順番を決定する。
なお、いずれの分類においても、検証順番の決定方法はこれに限定しない。また、本実施例における、順番決定方法の例においては、検証対象ソースコード１１を３分類に分類しているが、分類自体をより細分化することも可能である。 Next, the order determining unit 502 determines the verification order in each classification of the classified verification target source code 11. FIG. 9B shows an example in which the verification order is determined for each classification of the verification target source code 11 described in the “list 1”.
First, the verification target source code 11 of category 1 is based on the verification required time required for verification included in the previous verification result 50, and the verification target source code 11 having the shortest verification required time is set as the earliest verification order. Then, the verification order is determined in ascending order of verification time.
The verification target source code 11 of category 2 is based on the number of incomplete verification items included in the previous verification result, and the verification target source code 11 having the smallest number of incomplete verification items is set as the earliest verification order, and then incomplete The verification order is determined in ascending order of the number of verification items.
The verification target source code 12 of category 3 may be a new source code 10 because there is no verification result. The order of the verification target source code 11 of category 3 is determined based on the scale of the verification target source code 11. In this embodiment, based on the number of labels of the verification target source code 11, the verification target source code 11 with the smallest number of labels is set as the earliest verification order, and then the verification order is determined in ascending order of the number of labels.
In any classification, the method for determining the verification order is not limited to this. Moreover, in the example of the order determination method in the present embodiment, the verification target source code 11 is classified into three categories, but the classification itself can be further subdivided.

次に、順番決定部５０２は、各分類毎に検証順番の決定が完了すると、全体の検証順番を決定する。図９Ｃは、「一覧リスト１」に記載された検証対象ソースコードの全体の検証順番を決定した例を示している。
全体の検証順番の決定は、各分類毎の順番をつなぎ合わせることで行う。ここにおいても、検証所要時間が短い順に検証順番を決定できるよう考慮する。本発明においては、最初に分類１、次に分類２、最後に分類３の順に検証順番を決定する。つまり、最初に検証結果が存在して未完了検証項目数が存在しない検証対象ソースコード１１、次に検証結果が存在して未完了検証項目数が存在する検証対象ソースコード１１、最後に検証結果が存在していない検証対象ソースコード１１の順に検証順番を決定する。
このように過去の検証結果に基づいて、分類１や分類２のように検証所用時間の目安が存在する検証対象ソースコード１１を先の順番に決定し、分類３のように検証結果が存在せず検証所要時間の目安が存在しない検証対象ソースコード１１を後に配置することで、検証所要時間が短い順番に検証順番を想定し決定する。
順番決定部５０２は、図９Ｃに示すように決定した全体の検証順番を、検証対象ソースコード１１に対応させた一覧リスト（以下、一覧リスト２）として管理データベース５０８に保存する。 Next, when the determination of the verification order is completed for each classification, the order determination unit 502 determines the overall verification order. FIG. 9C shows an example in which the overall verification order of the verification target source codes described in “list 1” is determined.
The overall verification order is determined by connecting the order of each classification. In this case as well, consideration is given so that the verification order can be determined in ascending order of verification time. In the present invention, the verification order is determined in the order of class 1, first class 2, and finally class 3. That is, the verification target source code 11 in which the verification result exists and the number of incomplete verification items does not exist, the verification target source code 11 in which the verification result exists and the number of incomplete verification items exists, and finally the verification result The verification order is determined in the order of the verification target source code 11 in which there is no.
As described above, based on the past verification results, the verification target source code 11 having the verification time standard such as classification 1 and classification 2 is determined in the order above, and the verification result does not exist as classification 3. The verification target source code 11 having no verification time standard is arranged later, so that the verification order is assumed and determined in the order of short verification time.
The order determining unit 502 stores the entire verification order determined as illustrated in FIG. 9C in the management database 508 as a list (hereinafter, list 2) corresponding to the verification target source code 11.

情報表示部５０３は、検証対象ソースコードの一覧を生成し、表示装置３００へ出力する。情報表示部５０３は、管理データベース５０８から「一覧リスト２」を入力する。情報表示部５０３は、管理データベース５０８に保存されている検証結果２０に基づいて、「一覧リスト２」の検証対象ソースコード１１毎に検証結果の有無、検証所要時間、未完了検証項目数を、検証対象ソースコード１１に対応付けた一覧リスト（以下、一覧リスト３）を生成する。情報表示部５０３は、検証対象ソースコード１１に複数の検証結果が存在する場合には、検証所要時間が最大であった検証結果を選択し、未完了検証項目数はその際の未完了検証項目数を選択する。情報表示部５０３は、生成した「一覧リスト３」を表示装置３００へ出力する。   The information display unit 503 generates a list of verification target source codes and outputs the list to the display device 300. The information display unit 503 inputs “list 2” from the management database 508. Based on the verification result 20 stored in the management database 508, the information display unit 503 displays the presence / absence of the verification result, the time required for verification, and the number of uncompleted verification items for each verification target source code 11 of “list 2”. A list (hereinafter, list 3) associated with the verification target source code 11 is generated. When there are a plurality of verification results in the verification target source code 11, the information display unit 503 selects the verification result with the longest verification required time, and the number of uncompleted verification items is the number of uncompleted verification items at that time. Select a number. The information display unit 503 outputs the generated “list 3” to the display device 300.

さらに、情報表示部５０３は、全ての検証対象ソースコード１１の検証に要すると思われる時間である総検証想定時間を算出する。情報表示部５０３は、算出した総検証想定時間を表示装置３００へ出力する。検証実施者は、表示装置３００に表示された総検証想定時間を確認した上で、当該検証において、全ての検証対象ソースコード１１を検証するための制限時間である検証制限時間を入力装置４００に入力する。
総検証想定時間は、個々の検証対象ソースコード１１の検証に要すると思われる時間である検証想定時間の総和である。情報表示部５０３は、検証対象ソースコード１１毎に検証想定時間を算出し、検証想定時間の総和をとることで総検証想定時間を算出する。
図１０は、「一覧リスト３」と総検証想定時間を表示装置３００へ出力した例を示している。図１０を参照すると、本実施例における１０個の検証対象ソースコード１１と、総検証想定時間が表示されていることが確認できる。本実施例において情報表示部５０３は、総検証想定時間を１２,３２６秒と算出している。 Furthermore, the information display unit 503 calculates a total expected verification time, which is a time that is considered to be required for verification of all the verification target source codes 11. The information display unit 503 outputs the calculated total verification estimated time to the display device 300. The verification operator confirms the total expected verification time displayed on the display device 300, and in the verification, the verification time limit, which is a time limit for verifying all the verification target source codes 11, is input to the input device 400. input.
The total verification assumption time is the sum of the verification assumption times, which is the time considered to be required for the verification of each verification target source code 11. The information display unit 503 calculates the expected verification time for each verification target source code 11, and calculates the total expected verification time by taking the sum of the expected verification time.
FIG. 10 shows an example in which “list 3” and the total verification estimated time are output to the display device 300. Referring to FIG. 10, it can be confirmed that ten verification target source codes 11 and the total verification estimated time in this embodiment are displayed. In this embodiment, the information display unit 503 calculates the total verification estimated time as 12,326 seconds.

検証想定時間の算出方法の例を説明する。まず、情報表示部５０３は、検証順番の決定方法において説明した、検証対象ソースコード１１の検証結果に基づく分類毎に検証想定時間算出する。次に、情報表示部５０３は、分類毎の検証想定時間の総和を算出して、総検証想定時間を算出する。
情報表示部５０３は、検証対象ソースコード１１を、「一覧リスト３」に記載された検証結果に基づいて分類する。分類１は、検証結果が存在して、未完了検証項目数が存在しない検証対象ソースコード１１である。分類２は、検証結果が存在して、未完了検証項目数が存在する検証対象ソースコード１１である。分類３は、検証結果が存在していない検証対象ソースコード１１である。 An example of a method for calculating the estimated verification time will be described. First, the information display unit 503 calculates the expected verification time for each classification based on the verification result of the verification target source code 11 described in the verification order determination method. Next, the information display unit 503 calculates the total expected verification time by calculating the total verification expected time for each classification.
The information display unit 503 classifies the verification target source code 11 based on the verification result described in the “list 3”. The classification 1 is the verification target source code 11 in which the verification result exists and the number of incomplete verification items does not exist. Class 2 is the verification target source code 11 in which the verification result exists and the number of incomplete verification items exists. Class 3 is the verification target source code 11 for which no verification result exists.

まず、分類１の検証対象ソースコード１１については、未完了検証項目が存在しないため、検証結果に含まれる検証対象想定時間毎の過去の検証所要時間を、検証想定時間として使用する。情報表示部５０３は、管理データベース５０８に保存されている検証結果に基づいて、分類１の検証対象ソースコード１１毎の検証所要時間を抽出する。情報表示部５０３は、分類１の検証対象ソースコード１１毎に検証所要時間が複数存在する場合には、存在する検証所要時間のうちで最も長い時間を要したものを選択する。情報表示部５０３は、このようにして抽出した検証所要時間を分類１の検証対象ソースコード１１毎の検証想定時間とする。情報表示部５０３は、分類１の検証対象ソースコード１１毎の検証所要時間を合計する。情報表示部５０３は、検証所要時間の合計を、分類１の総検証所要時間として記憶する。   First, since there is no uncompleted verification item for the verification target source code 11 of category 1, the past verification required time for each verification target expected time included in the verification result is used as the verification verification time. The information display unit 503 extracts the required verification time for each verification target source code 11 of category 1 based on the verification result stored in the management database 508. When there are a plurality of required verification times for each verification target source code 11 of category 1, the information display unit 503 selects the time required for the longest time among the required verification times. The information display unit 503 sets the required verification time extracted in this way as the expected verification time for each verification target source code 11 of category 1. The information display unit 503 totals the time required for verification for each verification target source code 11 of category 1. The information display unit 503 stores the total required verification time as the total required verification time for category 1.

次に、分類２の検証対象ソースコード１１について、情報表示部５０３は、管理データベース５０８に保存されている検証結果に基づいて、検証結果に含まれる未完了検証項目の項目数毎に、分類２の検証対象ソースコード１１の数を算出する。情報表示部５０３は、未完了検証項目数毎に未完了検証項目数に基づく係数を算出する。情報表示部５０３は、分類２の検証対象ソースコード１１毎に、未完了検証項目数に基づく係数を検証結果２０に保存される検証所要時間に掛け合わせることによって検証想定時間を算出する。情報表示部５０３は、分類２の検証対象ソースコード１１毎の検証想定時間を合計する。情報表示部５０３は、検証想定時間の合計が、分類２の総検証想定時間として記憶する。   Next, for the verification target source code 11 of category 2, the information display unit 503 classifies the classification 2 for each number of incomplete verification items included in the verification result based on the verification result stored in the management database 508. The number of source code 11 to be verified is calculated. The information display unit 503 calculates a coefficient based on the number of incomplete verification items for each number of incomplete verification items. The information display unit 503 calculates the expected verification time by multiplying the coefficient based on the number of uncompleted verification items by the required verification time stored in the verification result 20 for each verification target source code 11 of category 2. The information display unit 503 sums the expected verification time for each verification target source code 11 of category 2. The information display unit 503 stores the total estimated verification time as the total estimated verification time of category 2.

この未完了検証項目数に基づく係数とは、分類２の検証対象ソースコード１１毎の検証想定時間を算出するための係数である。先に述べたとおり、静的解析を用いる検証においては、分類２の検証対象ソースコード１１のように未完了検証項目が存在するソースコード１０の検証想定時間を算出するのは困難である。そのため、未完了検証項目数に応じて一定の手法を定め係数を算出し、分類２の検証対象ソースコード１１毎に未完了検証項目数に対応する係数を、それぞれの過去の検証所要時間に掛け合わせて、分類２の検証対象ソースコード１１毎の検証想定時間を算出する。この係数算出の手法については、検証内容に応じて定められるものであり、本発明においては限定はしない。   The coefficient based on the number of incomplete verification items is a coefficient for calculating the expected verification time for each verification target source code 11 of category 2. As described above, in verification using static analysis, it is difficult to calculate the expected verification time of the source code 10 in which an incomplete verification item exists, such as the verification target source code 11 of category 2. Therefore, a constant method is determined according to the number of uncompleted verification items, a coefficient is calculated, and the coefficient corresponding to the number of uncompleted verification items for each verification target source code 11 of category 2 is multiplied by the past required time for verification. In addition, the expected verification time for each verification target source code 11 of category 2 is calculated. The coefficient calculation method is determined according to the verification contents, and is not limited in the present invention.

次に、分類３の検証対象ソースコード１１について、まず、情報表示部５０３は、前述した分類２の検証対象ソースコード１１毎に算出された検証想定時間のうちで最大値を選択する。情報表示部５０３は、分類３の検証対象ソースコード１１の個数を求める。情報表示部５０３は、分類２の検証対象ソースコード１１毎に算出された検証想定時間の最大値に、分類３の検証対象ソースコード１１の個数を乗算し、分類３全体の検証想定時間を算出する。情報表示部５０３は、この乗算結果を分類３の総検証想定時間として記憶する。分類２の検証対象ソースコード１１と同様に、静的解析を用いる検証においては、ソースコード１０の検証想定時間を算出するのは困難であるため、分類３の検証想定時間は、分類２の検証想定時間を使用して算出する。   Next, for the verification target source code 11 of category 3, first, the information display unit 503 selects the maximum value among the expected verification times calculated for each verification target source code 11 of category 2 described above. The information display unit 503 obtains the number of verification target source codes 11 of category 3. The information display unit 503 multiplies the maximum value of the expected verification time calculated for each verification target source code 11 of category 2 by the number of verification target source codes 11 of category 3, and calculates the verification expected time for the entire category 3. To do. The information display unit 503 stores the multiplication result as the total verification estimated time of category 3. Similar to the verification target source code 11 of Category 2, it is difficult to calculate the expected verification time of the source code 10 in verification using static analysis. Calculate using the estimated time.

分類１から分類３毎の総検証想定時間を算出した後、情報表示部５０３は、記憶した分類１、分類２、分類３、それぞれの分類毎の総検証想定時間を合計し、検証対象ソースコード１１全体の総検証想定時間を算出する。なお、総検証想定時間の算出方法はこれに限定しない。   After calculating the estimated total verification time for each category 3 from classification 1, the information display unit 503 adds up the total estimated verification time for each of the stored classification 1, category 2, and category 3, and the verification target source code. 11 Total verification expected time for the entire system is calculated. Note that the method for calculating the estimated total verification time is not limited to this.

入力受付部５０４は、入力装置４００が出力した検証実施者が入力装置４００に入力する情報を入力する。検証実施者が入力する情報とは、例えば、検証対象ソースコード１１の抽出命令や、検証の実行時間を定める検証制限時間入力である。また、後述する時間算出部５０５からの通知を受けて、検証実施者が検証対象ソースコード１１のうちのいくつかを検証対象から外す操作の入力や、検証実施者が今回の検証内容を承諾して検証の実行を命令する入力である。入力受付部５０４は、各入力に応じて、選択部５０１、時間算出部５０５、実行命令部５０６へ出力する。   The input receiving unit 504 inputs information input to the input device 400 by the verification operator output from the input device 400. The information input by the verification operator is, for example, an extraction instruction for the verification target source code 11 or a verification time limit input that determines the verification execution time. Further, upon receiving a notification from the time calculation unit 505 described later, the verification operator inputs an operation to remove some of the verification target source codes 11 from the verification target, and the verification operator accepts the current verification content. Input for instructing execution of verification. The input reception unit 504 outputs the selection unit 501, the time calculation unit 505, and the execution command unit 506 in accordance with each input.

時間算出部５０５は、検証対処ソースコード１１毎の検証予定時間を算出する。検証予定時間とは、検証対象ソースコード１１毎の検証の実行にかける時間である。時間算出部５０５は、入力受付部５０４が出力した検証制限時間を入力する。検証実施者が入力する検証制限時間とは、検証実施者が全ての検証対象ソースコード１１に対する検証を完了したいと考える制限時間である。本発明の本実施例において、時間算出部５０５は、検証制限時間を検証対象ソースコード１１の数で除算して検証予定時間を算出する。この検証予定時間の算出方法はこれに限定しない、管理データベース５０８に保存されている検証対象ソースコード１１の検証結果２０に基づいて、検証対象ソースコード１１毎に重み付けをする方法等も考えられる。   The time calculation unit 505 calculates a scheduled verification time for each verification handling source code 11. The scheduled verification time is the time taken to execute verification for each verification target source code 11. The time calculation unit 505 inputs the verification time limit output by the input reception unit 504. The verification time limit input by the verification operator is a time limit that the verification operator wants to complete verification for all verification target source codes 11. In this embodiment of the present invention, the time calculation unit 505 calculates the verification scheduled time by dividing the verification limit time by the number of verification target source codes 11. The calculation method of the verification scheduled time is not limited to this, and a method of weighting each verification target source code 11 based on the verification result 20 of the verification target source code 11 stored in the management database 508 may be considered.

時間算出部５０５は、管理データベース５０８から「一覧リスト２」を入力する。「一覧リスト２」には、図９Ｃに示すとおり、ソースコードＩＤと、検証対象ソースコード毎の規模、検証順番が記録されている。時間算出部５０５は、「一覧リスト２」の検証対象ソースコード１１の総数を算出する。時間算出部５０５は、検証制限時間を検証対象ソースコード１１の総数で除算して検証対象ソースコード１１毎の検証予定時間を算出する。
本実施例において、検証実施者は、検証制限時間を１４,０００秒と設定したものする。検証対象ソースコードは、図９Ｃに示すとおり１０個であるので検証対象ごとの検証予定時間は１,４００秒ずつとなる。時間算出部５０５は、算出した検証予定時間を、一覧「一覧リスト２」の検証対象ソースコード１１毎に割り付ける。時間算出部５０５は、算出した検証予定時間を割り付けた、検証対象ソースコード１１の一覧リスト（以下、一覧リスト４）を作成する。図１１は、「一覧リスト４」の例を示している。図１１を参照すると１０個の検証対象ソースコード毎に１，４００秒の検証予定時間が割付けられていることが確認できる。時間算出部５０５は、「一覧リスト４」を管理データベース５０８に保存する。 The time calculation unit 505 inputs “list 2” from the management database 508. In “List 2”, as shown in FIG. 9C, the source code ID, the scale for each verification target source code, and the verification order are recorded. The time calculation unit 505 calculates the total number of verification target source codes 11 in the “list 2”. The time calculation unit 505 calculates the scheduled verification time for each verification target source code 11 by dividing the verification time limit by the total number of verification target source codes 11.
In the present embodiment, the verification operator sets the verification time limit to 14,000 seconds. Since the verification target source code is 10 as shown in FIG. 9C, the scheduled verification time for each verification target is 1,400 seconds. The time calculation unit 505 assigns the calculated verification scheduled time for each verification target source code 11 in the list “list 2”. The time calculation unit 505 creates a list of verification target source code 11 (hereinafter, list list 4) to which the calculated verification time is assigned. FIG. 11 shows an example of “list 4”. Referring to FIG. 11, it can be confirmed that a scheduled verification time of 1,400 seconds is assigned to every 10 verification target source codes. The time calculation unit 505 stores “list 4” in the management database 508.

次に、時間算出部５０５は、割り付けられた検証予定時間では検証が完了しない可能性のある検証対象ソースコードを抽出する。この処理は、「一覧リスト４」の検証対象ソースコード１１の検証順番に従って、検証対象ソースコード１１毎に行われる。
時間算出部５０５は、検証対象ソースコード１１毎に未完了検証項目が存在するか判定する。時間算出部５０５は、未完了検証項目が存在する検証対象ソースコード１１について、検証結果に保存されている検証所要時間が最長であった検証の際に記録された未完了検証項目数と、当該検証対象ソースコード１１のその他検証結果として保存されている未完了検証項目数を比較する。その結果、検証所要時間が最長であった際に記録された未完了検証項目数が、同一であるか、もしくは最大である場合には、時間算出部５０５は、検証所要時間が最長であった際に記録された検証所要時間と、今回の検証において割り付けられた検証予定時間をさらに比較する。さらにその結果、今回の検証において割り付けられた検証予定時間が、検証所要時間が最長であった際に記録された検証所要時間より短い場合には、時間算出部５０５は、今回の検証において割付けられた検証予定時間内では、当該検証対象ソースコード１１の検証は、完了しない可能性が高いと判定する。 Next, the time calculation unit 505 extracts a verification target source code that may not be verified at the allocated verification scheduled time. This processing is performed for each verification target source code 11 in accordance with the verification order of the verification target source code 11 in the “list 4”.
The time calculation unit 505 determines whether an incomplete verification item exists for each verification target source code 11. The time calculation unit 505 includes the number of incomplete verification items recorded at the time of verification with the longest required verification time stored in the verification result for the verification target source code 11 in which the incomplete verification items exist, The number of incomplete verification items stored as other verification results of the verification target source code 11 is compared. As a result, if the number of incomplete verification items recorded when the verification required time is the longest, the time calculation unit 505 has the longest verification required time. The verification required time recorded at this time is further compared with the verification scheduled time allocated in this verification. Further, as a result, when the scheduled verification time allocated in the current verification is shorter than the verification required time recorded when the verification required time is the longest, the time calculation unit 505 is allocated in the current verification. It is determined that there is a high possibility that the verification of the verification target source code 11 is not completed within the scheduled verification time.

時間算出部５０５は、このようにして、割付けられた検証予定時間内では検証が完了しない可能性が高いと判定した検証対象ソースコード１１について、今回の検証の対象外としたほうがよい旨の通知（以下、完了不可通知）を、情報表示部５０３を介して表示装置３００へ出力する。図１２は、検証対象ソースコード１１に対応させて完了不可通知を表示装置３００へ出力した例を示している。図１２を参照すると、検証対象ソースコード１１の一覧リストにおいて、２個の検証対象ソースコード１１に対して完了不可通知を示すようにフラグを立っていることが確認できる。なお、完了不可通知の表示方法は、これに限定しない。検証実施者は、表示装置３００において、当該検証対象ソースコード１１の完了不可通知を確認する。検証実施者は、必要に応じて、検証対象から外すか、または外さないかを入力装置４００へ入力する。本実施例において検証実施者は、図１２に示される完了不可通知を示された２個の検証対象ソースコードを検証対象から外すこととする。   In this way, the time calculation unit 505 notifies that the verification target source code 11 determined that the verification is not likely to be completed within the allocated verification scheduled time should be excluded from the current verification target. (Hereinafter referred to as “completion impossible notification”) is output to the display device 300 via the information display unit 503. FIG. 12 shows an example in which a completion impossible notification is output to the display device 300 in association with the verification target source code 11. Referring to FIG. 12, in the list of verification target source codes 11, it can be confirmed that the flag is set so as to indicate the completion impossible notification to the two verification target source codes 11. Note that the display method of the completion impossible notification is not limited to this. The verification operator confirms the completion completion notification of the verification target source code 11 on the display device 300. The verification operator inputs to the input device 400 whether or not to exclude the verification target from the verification target as necessary. In this embodiment, it is assumed that the verification operator removes the two verification target source codes shown in FIG. 12 as the completion impossible notification from the verification target.

検証実施者が、当該２個の検証対象ソースコード１１を検証対象から外す操作を行うと、検証対象ソースコード１１の数量が変化する。これに伴って時間算出部５０５は、再度、検証予定時間を算出する。さらに時間算出部５０５は、再度、前述の方法により、新たに割付けられた検証予定時間に基づいて、割付けられた検証予定時間内では検証が完了しない可能性のある検証対象ソースコード１１を抽出する。時間算出部５０５は、本判定動作を、全ての検証対象ソースコード１１に行い、全ての検証対象ソースコード１１に対して、本判定動作が完了すると検証対象ソースコード１１が確定する。時間算出部５０５は、最終的に確定した検証対象ソースコード１１と、検証対象ソースコード１１の検証順番と、検証対象ソースコード１１毎の検証予定時間を記載した一覧リスト「一覧リスト５」を管理データベース５０８へ保存する。   When the verification operator performs an operation of removing the two verification target source codes 11 from the verification target, the quantity of the verification target source code 11 changes. Along with this, the time calculation unit 505 again calculates the scheduled verification time. Further, the time calculation unit 505 again extracts the verification target source code 11 that may not be verified within the allocated scheduled verification time based on the newly allocated verification scheduled time by the above-described method. . The time calculation unit 505 performs this determination operation on all the verification target source codes 11, and the verification target source code 11 is determined when the determination operation is completed for all the verification target source codes 11. The time calculation unit 505 manages the list list “list list 5” in which the verification target source code 11 finally confirmed, the verification order of the verification target source code 11, and the verification scheduled time for each verification target source code 11 are described. Save to database 508.

図１３は、「一覧リスト５」の例を示している。本実施例において、検証実施者は、図１２において完了不可通知が示されていた２個の検証対象ソースコード１１を検証対象から外した。検証対象ソースコードの数が８個へ減少したため、時間算出部５０５が検証予定時間を再計算し、検証制限時間の１４，０００秒を残る８個の検証対象ソースコードへ割り付ける。図１３を参照すると、時間算出部５０５は、８個の検証対象ソースコードへ、新たに１,７５０秒の検証予定時間を割り付けていることが確認できる。   FIG. 13 shows an example of “list 5”. In the present embodiment, the verification operator removes the two verification target source codes 11 for which the completion impossible notification is shown in FIG. 12 from the verification target. Since the number of verification target source codes has decreased to eight, the time calculation unit 505 recalculates the scheduled verification time and allocates the verification limit time of 14,000 seconds to the remaining eight verification target source codes. Referring to FIG. 13, the time calculation unit 505 can confirm that a new verification scheduled time of 1,750 seconds is allocated to the eight verification target source codes.

実行命令部５０６は、検証実行部２０１へ検証の実行を命令する。管理データベース５０８に保存された「一覧リスト５」を入力する。実行命令部５０６は、「一覧リスト５」に記録されている検証順番で、ソースコード管理ＤＢ１０１から検証対象ソースコード１１を取得する。実行命令部５０６は、「一覧リスト５」に記録されている当該検証対象ソースコード１１に対応する検証予定時間内で、当該ソースコード１１の検証を実行するように検証実行部２０１へ命令を出力する。
前述のとおり、図５は、実行命令部５０６から検証実行部２０１への検証実行命令のデータ内容を示している。図５の命令によれば、実行命令部５０６は、検証実行部２０１へ、検証順番が３番目に位置するソースコードＩＤ４２を、検証予定時間１,７５０秒で検証を実行するように命令している。検証実行部２０１は、検証実行命令を受けて、当該検証対象ソースコード１１の検証を実行する。 The execution command unit 506 instructs the verification execution unit 201 to execute verification. The “list 5” stored in the management database 508 is input. The execution command unit 506 acquires the verification target source code 11 from the source code management DB 101 in the verification order recorded in the “list 5”. The execution instruction unit 506 outputs an instruction to the verification execution unit 201 so as to execute the verification of the source code 11 within the scheduled verification time corresponding to the verification target source code 11 recorded in the “list 5”. To do.
As described above, FIG. 5 shows the data content of the verification execution command from the execution command unit 506 to the verification execution unit 201. According to the command in FIG. 5, the execution command unit 506 instructs the verification execution unit 201 to execute verification on the source code ID 42 in which the verification order is located at the third verification time of 1,750 seconds. Yes. The verification execution unit 201 receives the verification execution instruction and executes verification of the verification target source code 11.

結果受取部５０７は、検証実行部２０１が出力する検証結果２０を入力し、検証予定時間の再割付けを実行し、検証結果２０を管理データベース５０８へ保存し、実行命令部５０６へ当該検証対象ソースコード１１の検証完了を通知する。
当該実行命令部５０６は、結果受取部５０７が出力する当該検証対象ソースコード１１の検証完了の通知を入力する。実行命令部５０６は、通知を受けて当該検証対象ソースコード１１の次の検証順番に位置する検証対象ソースコード１１をソースコード管理ＤＢ１０１から取得し、検証の実行を検証実行部２０１へ命令する。 The result receiving unit 507 receives the verification result 20 output from the verification execution unit 201, executes reallocation of the verification scheduled time, saves the verification result 20 in the management database 508, and stores the verification target source in the execution command unit 506. Notify completion of verification of code 11.
The execution command unit 506 inputs a notification of verification completion of the verification target source code 11 output from the result receiving unit 507. Upon receiving the notification, the execution command unit 506 acquires the verification target source code 11 located in the next verification order of the verification target source code 11 from the source code management DB 101 and instructs the verification execution unit 201 to execute the verification.

結果受取部５０７は、検証実行部２０１が検証対象ソースコード１１の検証を実行した結果として出力する検証結果２０を入力する。結果受取部５０７は、管理データベース５０８に保存されている「一覧リスト５」を読み込む。結果受取部５０７は、「一覧リスト５」に記録された当該検証対象ソースコード１１の検証予定時間を抽出する。結果受取部５０７は、検証結果２０に記録された検証所要時間が、当該検証対象ソースコード１１の検証予定時間より短いか否かを判定する。なお、検証予定時間は、検証結果２０に記録されている時間を使用してもよい。
判定の結果、検証所要時間が検証予定時間より短い場合、結果受取部５０７は、検証予定時間と検証所要時間との差分を算出する。算出された差分は、余剰検証予定時間となる。余剰検証予定時間は、検証全体の制限時間である検証制限時間内における余りの時間を意味する。
結果受取部５０７は、「一覧リスト５」において、当該検証対象ソースコード１１より検証順番が後ろに位置し、これから検証が実行される検証対象ソースコード１１である未実行検証対象ソースコード１２の数を算出する。結果受取部５０７は、算出した余剰検証予定時間を、未実行検証対象ソースコード１２の数で除算して、再割り付け用の余剰検証予定時間を算出する。結果受取部５０７は、再割り付け用の余剰検証予定時間を、「一覧リスト５」の未実行検証対象ソースコード１２に対応して記録されている検証予定時間に加算して再割付けする。結果受取部５０７は、検証予定時間の再割付け後の「一覧リスト５」を管理データベース５０８に保存する。 The result receiving unit 507 receives the verification result 20 output as a result of the verification execution unit 201 executing verification of the verification target source code 11. The result receiving unit 507 reads “list 5” stored in the management database 508. The result receiving unit 507 extracts the scheduled verification time of the verification target source code 11 recorded in the “list 5”. The result receiving unit 507 determines whether or not the required verification time recorded in the verification result 20 is shorter than the scheduled verification time of the verification target source code 11. Note that the time recorded in the verification result 20 may be used as the verification scheduled time.
As a result of the determination, if the required verification time is shorter than the planned verification time, the result receiving unit 507 calculates the difference between the planned verification time and the required verification time. The calculated difference is the surplus verification scheduled time. The surplus verification scheduled time means a surplus time within the verification time limit that is the time limit of the entire verification.
In the “list 5”, the result receiving unit 507 has the number of unexecuted verification target source codes 12 which are verification target source codes 11 whose verification order is later than the verification target source code 11 and whose verification is to be executed. Is calculated. The result receiving unit 507 divides the calculated surplus verification scheduled time by the number of unexecuted verification target source code 12 to calculate the surplus verification scheduled time for reassignment. The result receiving unit 507 reallocates the surplus verification scheduled time for reassignment by adding it to the verification scheduled time recorded corresponding to the unexecuted verification target source code 12 of the “list 5”. The result receiving unit 507 stores “list 5” in the management database 508 after the re-assignment of the scheduled verification time.

添付の図を用いて説明する。前述のとおり図６Ａは、検証実行部２０１が出力する検証結果２０を示している。図６Ａを参照すると、ソースコードＩＤ２０の検証は、検証予定時間１,７５０秒に対して、検証所要時間７５０秒で完了している。検証予定時間と検証所要時間の差分は１,０００秒であり、結果受取部５０７は、余剰検証予定時間を１，０００秒と算出する。また、図１３を参照すると、「一覧リスト５」において、ソースコードＩＤ４２の検証順番は３番である。未実行検証対象ソースコード１２は、検証順番４番から検証順番８番までの検証対象ソースコード１１となる。そのため、結果受取部５０７は、未実行検証対象ソースコード１２を５個と算出する。
ソースコードＩＤ４２の検証対象ソースコード１１の検証が完了した時点で、余剰検証時間は１，０００秒発生し、未実行検証対象ソースコード１２は５個であるので、結果受取部５０７は、未実行検証対象ソースコード１２毎に２００秒の検証予定時間を追加で割り付ける。 図１４は、余剰検証予定時間を再割付けした後の「一覧リスト５」を示している。図１４を参照すると、結果受取部５０７が、５個の身実行検証対象ソースコード１２へ検証予定時間を２００秒ずつ加算したため、検証順番４番から検証順番８番までの各検証対象ソースコード１１毎の検証予定時間が、１，７５０秒から１，９５０秒に増加しているのが確認できる。このようにして、検証の実行後に発生した余り時間を他の検証対象ソースコード１１に割付けることができる。 This will be described with reference to the attached drawings. As described above, FIG. 6A shows the verification result 20 output from the verification execution unit 201. Referring to FIG. 6A, the verification of the source code ID 20 is completed in a verification required time of 750 seconds with respect to the verification verification time of 1,750 seconds. The difference between the verification scheduled time and the required verification time is 1,000 seconds, and the result receiving unit 507 calculates the surplus verification scheduled time as 1,000 seconds. Referring to FIG. 13, in “list 5”, the verification order of the source code ID 42 is No. 3. The unexecuted verification target source code 12 becomes the verification target source code 11 from the verification order 4 to the verification order 8. Therefore, the result receiving unit 507 calculates the unexecuted verification target source code 12 as five.
When the verification of the verification target source code 11 of the source code ID 42 is completed, the surplus verification time is generated for 1,000 seconds, and the number of unexecuted verification target source codes 12 is 5, so that the result receiving unit 507 does not execute For each verification target source code 12, an additional verification time of 200 seconds is allocated. FIG. 14 shows “list 5” after the surplus verification scheduled time is reallocated. Referring to FIG. 14, since the result receiving unit 507 adds the verification scheduled time to the five execution verification source codes 12 by 200 seconds, each verification target source code 11 from the verification order 4 to the verification order 8 It can be confirmed that the estimated verification time for each time increases from 1,750 seconds to 1,950 seconds. In this way, the remaining time generated after execution of verification can be assigned to other verification target source code 11.

次に、結果受取部５０７は、検証実行装置から入力した検証結果２０を、管理データベース５０８に保存する。結果受取部５０７は、検証対象ソースコード１１の検証の結果によって、余剰検証予定時間が発生しない場合には、当該検証対象ソースコード１１の検証結果２０の保存処理のみを行う。
前述のとおり、図６Ｂは、検証予定時間内に検証が完了しない場合の検証結果２０を示している。図６Ｂによれば、ソースコードＩＤ４０６の検証は、検証予定時間１，７５０秒で検証が完了せず、未完了検証項目が２２個残っていることが確認できる。結果受取部は５０７は、この場合には余剰検証予定時間は発生しないため、図６Ｂの当該検証結果を管理データベース５０８に保存する処理のみを行う。
結果受取部５０７は、「一覧リスト５」への余剰検証予定時間の再割付け処理と、検証結果の保存処理が完了した後、実行命令部５０６へ当該検証対象ソースコード１１の検証が完了したことを通知する。実行命令部５０６は、結果受取部５０７からの通知を受けて、次の順番に位置する検証対象ソースコード１１の検証処理へ移行する。 Next, the result receiving unit 507 stores the verification result 20 input from the verification execution apparatus in the management database 508. The result receiving unit 507 performs only the process of storing the verification result 20 of the verification target source code 11 when the surplus verification scheduled time does not occur due to the verification result of the verification target source code 11.
As described above, FIG. 6B shows the verification result 20 when the verification is not completed within the scheduled verification time. According to FIG. 6B, it can be confirmed that the verification of the source code ID 406 is not completed at the scheduled verification time of 1,750 seconds, and 22 incomplete verification items remain. The result receiving unit 507 performs only the process of saving the verification result in FIG. 6B in the management database 508 because the surplus verification scheduled time does not occur in this case.
The result receiving unit 507 confirms that the verification target source code 11 has been verified to the execution command unit 506 after the reassignment processing of the surplus verification scheduled time to the “list 5” and the storage processing of the verification result are completed. To be notified. Upon receiving the notification from the result receiving unit 507, the execution command unit 506 proceeds to the verification process for the verification target source code 11 located in the next order.

管理データベース５０８は、検証に関するデータを保存する。検証に関するデータとは、順番決定部５０２が決定する検証対象ソースコード１１の検証順番を記録した「一覧リスト２」や、時間算出部５０５が算出する検証対象ソースコード１１毎の検証予定時間を記録した「一覧リスト４」、最終的に検証対象として確定した検証対象ソースコード１１を記録した「一覧リスト５」、検証実行装置２００が出力する検証結果２０である。管理データベース５０８は、結果受取部５０７が、検証対象ソースコード１１毎の検証が完了する度に出力する、検証結果２０を保存する。管理データベース５０８は、各部位からの情報抽出命令に基づき、データを抽出して応答出力を行う。前述のとおり、図８は、本発明による管理データベース５０８に保存される検証結果２０の例を示している。図８を参照すると、ソースコードＩＤに検証所要時間と未完了検証項目数が対応して保存されていることが確認できる。検証ＩＤは、当該検証結果２０が記録された検証毎に割り振られたＩＤである。なお、管理データベース５０８に保存する検証結果２０のデータ形式はこの例に限定しない。   The management database 508 stores data related to verification. The data related to verification records “list 2” in which the verification order of the verification target source code 11 determined by the order determination unit 502 is recorded, and the scheduled verification time for each verification target source code 11 calculated by the time calculation unit 505. The “list list 4”, the “list list 5” in which the verification target source code 11 finally determined as the verification target is recorded, and the verification result 20 output by the verification execution apparatus 200. The management database 508 stores the verification result 20 output by the result receiving unit 507 every time verification for each verification target source code 11 is completed. The management database 508 extracts data and outputs a response based on an information extraction command from each part. As described above, FIG. 8 shows an example of the verification result 20 stored in the management database 508 according to the present invention. Referring to FIG. 8, it can be confirmed that the time required for verification and the number of incomplete verification items are stored in correspondence with the source code ID. The verification ID is an ID assigned for each verification in which the verification result 20 is recorded. Note that the data format of the verification result 20 stored in the management database 508 is not limited to this example.

以上が、本発明の本実施例における構成の説明である。
時間算出部５０５は、検証制限時間内で全ての検証対象ソースコード１１に検証予定時間を割付けるため、全ての検証対象ソースコード１１に対して検証が実行される。
また、検証実行部２０１は、検証を実行している検証対象ソースコード１１に対する検証が検証予定時間内で完了しない場合には、検証開始からの経過時間が検証予定時間に達した時点で当該検証対象ソースコード１１に対する検証を終了するため、全ての検証対象ソースコード１１に対する検証が検証制限時間を超えることは無い。
さらに、結果受取部５０７が、検証対象ソースコード１１毎の検証が完了する度に、余剰検証時間を算出して未実行検証対象ソースコード１２へ再割付けするため、限られた検証制限時間内で検証予定時間を動的に配分することができ、検証制限時間の効率利用が可能である。
加えて、順番決定部５０２は、検証所要時間が短いと想定する順番に検証対象ソースコード１１の検証順番を決定するため、順番の早い段階で余剰検証予定時間を生み出しやすい検証順番で検証を実行していくことができる。 The above is the description of the configuration of this embodiment of the present invention.
Since the time calculation unit 505 assigns the verification scheduled time to all the verification target source codes 11 within the verification time limit, the verification is executed on all the verification target source codes 11.
In addition, when the verification for the verification target source code 11 that is being verified is not completed within the scheduled verification time, the verification executing unit 201 performs the verification when the elapsed time from the verification start reaches the verification scheduled time. Since the verification for the target source code 11 is completed, the verification for all the verification target source codes 11 does not exceed the verification time limit.
Further, every time the verification for each verification target source code 11 is completed, the result receiving unit 507 calculates the surplus verification time and reallocates it to the unexecuted verification target source code 12. Therefore, within the limited verification time limit. The scheduled verification time can be dynamically allocated, and efficient use of the verification time limit is possible.
In addition, since the order determination unit 502 determines the verification order of the source code 11 to be verified in the order in which it is assumed that the verification required time is short, the verification is performed in the verification order that easily generates the surplus verification scheduled time at an early stage. Can continue.

［動作方法の説明］
次に、本発明の本実施例における動作方法の説明を行う。図１５から図１７は本実施例における本発明の動作方法を表している。 [Description of operation method]
Next, the operation method in this embodiment of the present invention will be described. 15 to 17 show the operation method of the present invention in this embodiment.

始めに、図１５は、ソースコード管理装置１００から検証対象ソースコード１１を抽出し、検証順番を決定し、総検証想定時間を算出し、検証順番に並べられた検証対象ソースコード１１の一覧リストと総検証想定時間を表示装置へ表示するまでの動作方法である。   First, FIG. 15 extracts the verification target source code 11 from the source code management device 100, determines the verification order, calculates the total verification expected time, and lists the verification target source code 11 arranged in the verification order. And an operation method until the total verification estimated time is displayed on the display device.

（ステップＡ０１）
まず、検証実施者が、入力装置４００へ、検証対象ソースコード１１の抽出命令を入力する。入力装置４００は、検証対象ソースコード１１の抽出命令を検知し、入力受付部５０４へ検証対象ソースコード１１の抽出命令を出力する。入力受付部５０４は、入力装置４００が出力する検証対象ソースコード１１の抽出命令を入力し、選択部５０１へ検証対象ソースコード１１の抽出命令を出力する。 (Step A01)
First, the verification operator inputs an extraction instruction for the verification target source code 11 to the input device 400. The input device 400 detects an extraction instruction for the verification target source code 11 and outputs an extraction instruction for the verification target source code 11 to the input reception unit 504. The input receiving unit 504 inputs an extraction instruction of the verification target source code 11 output from the input device 400 and outputs an extraction instruction of the verification target source code 11 to the selection unit 501.

（ステップＡ０２）
選択部５０１は、入力受付部５０４が出力した検証対象ソースコード１１の抽出命令を入力する。選択部５０１は、ソースコード管理装置１００へ、ソースコード１０から検証対象ソースコード１１の抽出を命令する。ソースコード管理装置１００は、ソースコード１０の更新状態情報１３に基づいて検証対象ソースコード１１を抽出する。ソースコード管理装置１００は、抽出した検証対象ソースコード１１を選択部５０１へ出力する。選択部５０１は、ソースコード管理装置１００が出力する検証対象ソースコード１１を入力する。選択部５０１は、検証対象ソースコード１１の「一覧リスト１」を作成する。選択部５０１は、作成した「一覧リスト１」を順番決定部５０２へ出力する。 (Step A02)
The selection unit 501 inputs the extraction instruction of the verification target source code 11 output from the input reception unit 504. The selection unit 501 instructs the source code management device 100 to extract the verification target source code 11 from the source code 10. The source code management device 100 extracts the verification target source code 11 based on the update state information 13 of the source code 10. The source code management device 100 outputs the extracted verification target source code 11 to the selection unit 501. The selection unit 501 inputs the verification target source code 11 output from the source code management device 100. The selection unit 501 creates “list 1” of the source code 11 to be verified. The selection unit 501 outputs the created “list 1” to the order determination unit 502.

（ステップＡ０３）
順番決定部５０２は、選択部５０１が出力する「一覧リスト１」を入力する。順番決定部５０２は、「一覧リスト１」の検証対象ソースコード１１を、管理データベース５０８に保存されている検証結果に基づいて分類（前述の分類１、分類２、分類３）する。 (Step A03)
The order determination unit 502 inputs “list 1” output from the selection unit 501. The order determination unit 502 classifies the verification target source code 11 of “list 1” based on the verification result stored in the management database 508 (the above-described classification 1, classification 2, and classification 3).

（ステップＡ０４）
順番決定部５０３は、各分類毎に検証対象ソースコード１１の検証順番を決定する。 (Step A04)
The order determination unit 503 determines the verification order of the verification target source code 11 for each classification.

（ステップＡ０５）
順番決定部５０２は、各分類毎の検証順番を結合して、検証対象ソースコード１１全体の検証順番を決定する。 (Step A05)
The order determination unit 502 combines the verification orders for the respective classifications and determines the verification order of the entire verification target source code 11.

（ステップＡ０６）
順番決定部５０２は、検証対象ソースコード１１全体の検証順番を、「一覧リスト２」として、管理データベース５０８へ保存する。 (Step A06)
The order determination unit 502 saves the verification order of the entire verification target source code 11 in the management database 508 as “list 2”.

（ステップＡ０７）
情報表示部５０３は、管理データベース５０８から「一覧リスト２」を読み込む。情報表示部５０３は、「一覧リスト２」の検証対象ソースコード１１毎に、管理データベース５０８に保存された検証結果から、検証結果の有無、検証所要時間、未完了検証項目数を抽出し、検証対象ソースコード１１に対応させた「一覧リスト３」を作成する。情報表示部５０３は、「一覧リスト３」を表示装置３００へ出力する。表示装置３００は、「一覧リスト３」を表示する。 (Step A07)
The information display unit 503 reads “list 2” from the management database 508. The information display unit 503 extracts the presence / absence of the verification result, the time required for verification, and the number of uncompleted verification items from the verification result stored in the management database 508 for each verification target source code 11 of the “list 2”. A “list 3” corresponding to the target source code 11 is created. The information display unit 503 outputs “list 3” to the display device 300. The display device 300 displays “list 3”.

（ステップＡ０８）
情報表示部５０３は、「一覧リスト２」の検証対象ソースコード１１を分類（前述の分類１、分類２、分類３）毎に、検証対象ソースコード１１毎の検証想定時間の算出する。 (Step A08)
The information display unit 503 calculates an expected verification time for each verification target source code 11 for each classification (the above-described classification 1, classification 2, classification 3) of the verification target source code 11 of “list 2”.

（ステップＡ０９）
情報表示部５０３は、各分類毎の検証想定時間を合計し、検証対象ソースコード１１全体の総検証想定時間を算出する。 (Step A09)
The information display unit 503 sums the expected verification time for each classification, and calculates the total expected verification time of the entire verification target source code 11.

（ステップＡ１０）
情報表示部５０３は、総検証想定時間を表示装置３００へ出力する。表示装置３００は、総検証想定時間を表示する。 (Step A10)
The information display unit 503 outputs the total verification estimated time to the display device 300. The display device 300 displays the total verification estimated time.

以上の動作方法により、検証管理装置５００は、ソースコード管理装置１００から検証対象ソースコード１１を抽出して、管理データベース５０８に保存されている検証結果に基づいて検証順番を決定し、同様に管理データベース５０８に保存されている検証結果に基づいて総検証想定時間を算出して、検証順番に並べられた検証対象ソースコード１１に過去の検証結果を対応させた「一覧リスト３」と共に総検証想定時間を、表示装置３００へ出力する。   With the above operation method, the verification management apparatus 500 extracts the verification target source code 11 from the source code management apparatus 100, determines the verification order based on the verification result stored in the management database 508, and manages the same. The total verification assumption time is calculated based on the verification result stored in the database 508, and the total verification assumption together with the “list 3” in which past verification results correspond to the verification target source code 11 arranged in the verification order. The time is output to the display device 300.

過去の検証結果に基づいて、検証に要する時間が短いと思われる順番に、検証対象ソースコード１１の検証順番が決定されるため、検証において余剰検証予定時間を生み出し易くなる。また、過去の検証結果に基づいて、検証想定時間を算出するため、検証実施者は検証全体に要する時間を容易に把握することができる。   Based on the past verification results, the verification order of the source code 11 to be verified is determined in the order in which the time required for verification is considered to be short, so that it is easy to generate a surplus verification scheduled time in the verification. Moreover, since the verification verification time is calculated based on the past verification results, the verification operator can easily grasp the time required for the entire verification.

次に、図１６Ａ、図１６Ｂは、検証制限時間を受け付け、検証予定時間を割り付け、検証予定時間内で検証が完了しない可能性のある検証対象ソースコード１１を抽出し、当該検証対象ソースコードについて検証対象外としたほうがよい旨の通知を出力し、検証対象ソースコード１１と検証対象ソースコード１１の検証順番と、検証対象ソースコード１１の検証予定時間を確定するまでの動作方法を示している。   Next, FIG. 16A and FIG. 16B accept the verification time limit, allocate the verification scheduled time, extract the verification target source code 11 that may not be verified within the verification verification time, and about the verification target source code A notification indicating that it is better not to be verified is output, and the verification order of the verification target source code 11 and the verification target source code 11 and the verification time of the verification target source code 11 are determined. .

（ステップＢ０１）
検証実施者は、表示装置３００に表示された「一覧リスト３」と総検証想定時間を確認し、入力装置４００へ検証制限時間を入力する。入力装置４００は、検証制限時間の入力を検知し、入力受付部５０４へ検証制限時間を出力する。入力受付部５０４は、入力装置４００が出力する検証制限時間を入力し、時間算出部５０５へ検証制限時間を出力する。 (Step B01)
The verification operator confirms the “list 3” displayed on the display device 300 and the total verification expected time, and inputs the verification time limit to the input device 400. The input device 400 detects the input of the verification time limit, and outputs the verification time limit to the input reception unit 504. The input receiving unit 504 inputs the verification time limit output by the input device 400 and outputs the verification time limit to the time calculation unit 505.

（ステップＢ０２）
時間算出部５０５は、入力受付部５０４が出力する検証制限時間を入力する。時間算出部５０５は、管理データベース５０８から「一覧リスト２」を読み込む。時間算出部５０５は、「一覧リスト２」に記載された検証対象ソースコード１１の個数を算出する。時間算出部５０５は、検証制限時間を、「一覧リスト２」に記載された検証対象ソースコード１１の個数で除算して、検証対象ソースコード１１毎の検証予定時間を算出する。 (Step B02)
The time calculation unit 505 inputs the verification time limit output by the input reception unit 504. The time calculation unit 505 reads “list 2” from the management database 508. The time calculation unit 505 calculates the number of verification target source codes 11 described in the “list 2”. The time calculation unit 505 divides the verification time limit by the number of verification target source codes 11 described in the “list 2” to calculate the verification verification time for each verification target source code 11.

（ステップＢ０３）
時間算出部５０５は、検証予定時間を、「一覧リスト２」の検証対象ソースコード１１毎に割り付ける。時間算出部５０５は、検証対象ソースコード１１毎に検証予定時間を割り付けた「一覧リスト４」を作成する。 (Step B03)
The time calculation unit 505 assigns the scheduled verification time for each verification target source code 11 in the “list 2”. The time calculation unit 505 creates a “list 4” in which a verification scheduled time is assigned to each verification target source code 11.

（ステップＢ０４）
時間算出部５０５は、「一覧リスト４」を管理データベース５０８に保存する。 (Step B04)
The time calculation unit 505 stores “list 4” in the management database 508.

（ステップＢ０５）
時間算出部５０５は、検証対象ソースコード１１毎に割り付けられた検証予定時間内では検証が完了しない可能性のある検証対象ソースコード１１を抽出する。この処理は、「一覧リスト４」の検証対象ソースコード１１の検証順番に従って、検証対象ソースコード１１毎に行われる。時間算出部５０５は、検証順番ｎ＝ｎ＋１（初期状態では、ｎ＝０）として、処理対象となる検証順番ｎの検証対象ソースコード１１が存在するかを判定する。時間算出部５０５は、処理対象となる検証順番ｎの検証対象ソースコード１１が存在する場合は、検証順番ｎの検証対象ソースコード１１を処理対象として選択してステップＢ０６へ進む。処理対象となる検証順番ｎの検証対象ソースコードが存在しない場合は、処理は終了となりステップＢ１４へ進む。 (Step B05)
The time calculation unit 505 extracts the verification target source code 11 that may not be verified within the scheduled verification time allocated for each verification target source code 11. This processing is performed for each verification target source code 11 in accordance with the verification order of the verification target source code 11 in the “list 4”. The time calculation unit 505 determines whether the verification target source code 11 of the verification order n to be processed exists as the verification order n = n + 1 (n = 0 in the initial state). When the verification target source code 11 with the verification order n to be processed exists, the time calculation unit 505 selects the verification target source code 11 with the verification order n as the processing target, and proceeds to Step B06. If there is no verification target source code in the verification order n to be processed, the process ends and the process proceeds to step B14.

（ステップＢ０６）
時間算出部５０５は、検証順番ｎの検証対象ソースコード１１に、過去の検証結果２０が管理データベース５０８に存在するか否かを確認する処理を行う。時間算出部５０５は、処理の結果、検証結果２０が存在する場合には、ステップＢ０７へ進む。時間算出部５０５は、処理の結果、検証結果２０が存在しない場合には、次の検証順番に位置する検証対象ソースコード１１の処理に移るため、ステップＢ０５へ戻る。 (Step B06)
The time calculation unit 505 performs processing for confirming whether or not the past verification result 20 exists in the management database 508 in the verification target source code 11 in the verification order n. When the verification result 20 exists as a result of the processing, the time calculation unit 505 proceeds to step B07. If the verification result 20 does not exist as a result of the processing, the time calculation unit 505 returns to step B05 in order to move to the processing of the verification target source code 11 located in the next verification order.

（ステップＢ０７）
時間算出部５０５は、検証順番ｎの検証対象ソースコード１１に検証結果２０が存在する場合、検証順番ｎの検証結果２０に未完了検証項目が存在するか否かを確認する処理を行う。時間算出部５０５は、処理の結果、未完了検証項目が存在する場合は、ステップＢ０８へ進む。時間算出部５０５は、処理の結果、未完了検証項目が存在しない場合には、次の検証順番に位置する検証対象ソースコード１１の処理に移るため、ステップＢ０５へ戻る。 (Step B07)
When the verification result 20 exists in the verification target source code 11 in the verification order n, the time calculation unit 505 performs processing to check whether or not an incomplete verification item exists in the verification result 20 in the verification order n. If there is an incomplete verification item as a result of the processing, the time calculation unit 505 proceeds to step B08. If there is no incomplete verification item as a result of the processing, the time calculation unit 505 returns to step B05 in order to move to the processing of the verification target source code 11 located in the next verification order.

（ステップＢ０８）
時間算出部５０５は、検証順番ｎの検証対象ソースコード１１に、検証結果２０が存在し、かつ検証結果２０に未完了検証項目が存在する場合、当該検証順番ｎの検証対象ソースコード１１の検証結果２０のうちで、検証に要した検証所要時間が最長である検証結果２０を抽出する。 (Step B08)
When the verification result 20 exists in the verification target source code 11 in the verification order n and the verification result 20 includes an incomplete verification item, the time calculation unit 505 verifies the verification target source code 11 in the verification order n. Among the results 20, the verification result 20 having the longest verification time required for verification is extracted.

（ステップＢ０９）
時間算出部５０５は、検証順番ｎの検証対象ソースコード１１について、管理データベース５０８から抽出した検証所要時間が最長である検証結果２０に記録された未完了検証項目数と、その他の検証結果２０に記録された未完了検証項目数を比較する。
時間算出部５０５は、比較の結果、検証所要時間が最長である検証結果２０に記録された未完了検証項目数が、その他の検証結果に記録された未完了検証項目数のうち、最大の項目数と同一であるか、最大の項目数以上である場合、ステップＢ１０へ進む。時間算出部５０５は、比較の結果が、それ以外の場合、次の検証順番に位置する検証対象ソースコード１１の処理に移るため、ステップＢ０５へ戻る。 (Step B09)
The time calculation unit 505 adds the number of incomplete verification items recorded in the verification result 20 extracted from the management database 508 for the verification target source code 11 in the verification order n and the other verification result 20 to the other verification result 20. Compare the number of incomplete verification items recorded.
As a result of the comparison, the time calculation unit 505 determines that the number of incomplete verification items recorded in the verification result 20 having the longest verification required time is the largest of the number of incomplete verification items recorded in other verification results. If the number is equal to or greater than the maximum number of items, the process proceeds to step B10. If the result of the comparison is otherwise, the time calculation unit 505 returns to step B05 in order to move to the processing of the verification target source code 11 located in the next verification order.

（ステップＢ１０）
時間算出部５０５は、検証所要時間が最長である検証結果に記録された未完了検証項目数が、検証結果ｎの検証対象ソースコード１１についてのその他の検証結果に記録された未完了検証項目数と比較し、最大であるか、もしくは最大であるものと同一である検証順番ｎの検証対象ソースコードについて、検証所要時間が最長である検証結果に記録された検証所要時間と、「一覧リスト４」に記録された今回の検証において割り付けられた検証予定時間を比較する。
時間算出部５０５は、検証順番ｎの検証対象ソースコード１１について、比較の結果、「一覧リスト４」に記録されている今回の検証において割り付けられた検証予定時間が、検証所要時間が最長であった際に検証結果に記録された検証所要時間より短い場合、検証順番ｎの検証対象ソースコード１１の検証は、今回の検証において割付けられた検証予定時間内では当該検証対象ソースコード１１の検証は完了しない可能性が高いと判定し、ステップＢ１１へ進む。時間算出部５０５は、比較の結果が、それ以外の場合、次の検証順番に位置する検証対象ソースコード１１の処理に移るため、ステップＢ０５へ戻る。 (Step B10)
The time calculation unit 505 determines that the number of incomplete verification items recorded in the other verification results for the verification target source code 11 of the verification result n is the number of incomplete verification items recorded in the verification result having the longest verification required time. And the verification required time recorded in the verification result with the longest verification required time for the verification target source code of the verification order n that is the maximum or the same as the maximum, and “list 4 Are compared with the scheduled verification time allocated in the current verification.
The time calculation unit 505 determines that the verification required time allocated in the current verification recorded in the “list 4” is the longest required verification time for the verification target source code 11 in the verification order n. When the verification required time recorded in the verification result is shorter than the verification target source code 11 in the verification order n, the verification target source code 11 is verified within the verification scheduled time allocated in the current verification. It is determined that there is a high possibility of not being completed, and the process proceeds to Step B11. If the result of the comparison is otherwise, the time calculation unit 505 returns to step B05 in order to move to the processing of the verification target source code 11 located in the next verification order.

（ステップＢ１１）
時間算出部５０５は、検証順番ｎの検証対象ソースコード１１について、今回においても検証は検証予定時間内に完了しない可能性が高いと判定した場合、検証順番ｎの検証対象ソースコード１１を今回の検証の対象外にしたほうがよい旨の通知として、完了不可通知を、情報表示部５０３へ出力する。情報表示部５０３は、時間算出部５０５が出力する完了不可通知を入力し、表示装置３００へ出力する。表示装置３００は、情報表示部５０３が出力する完了不可通知を入力して表示する。 (Step B11)
If the time calculation unit 505 determines that the verification target source code 11 with the verification order n is likely not to be completed within the scheduled verification time, the time calculation unit 505 determines that the verification target source code 11 with the verification order n is As a notification that it should be excluded from the verification target, a completion impossible notification is output to the information display unit 503. The information display unit 503 receives the completion impossible notification output from the time calculation unit 505 and outputs the notification to the display device 300. The display device 300 inputs and displays the completion impossible notification output by the information display unit 503.

（ステップＢ１２）
検証実施者は、表示装置３００に表示された、検証順番ｎの検証対象ソースコード１１の完了不可通知を確認する。検証実施者は、必要に応じて検証順番ｎの検証対象ソースコード１１を検証対象から外す命令か、検証対象から外さない命令（あるいは、検証対象について特に変更は行わない旨の命令）を入力装置４００へ入力する。検証順番ｎの検証対象ソースコード１１を検証対象から外す命令が入力された場合、ステップＢ１３へ進む。検証順番ｎの検証対象ソースコード１１を検証対象から外さない命令（あるいは、検証対象について特に変更は行わない旨の命令）が入力された場合、次の検証順番に位置する検証対象ソースコード１１の処理に移るため、ステップＢ０５へ戻る。 (Step B12)
The verification operator confirms the notification that the verification target source code 11 in the verification order n displayed on the display device 300 cannot be completed. The verification operator inputs an instruction to remove the verification target source code 11 of the verification order n from the verification target, or an instruction not to be excluded from the verification target (or an instruction not to change the verification target) as necessary. Input to 400. When an instruction to remove the verification target source code 11 of the verification order n from the verification target is input, the process proceeds to step B13. When an instruction that does not remove the verification target source code 11 in the verification order n from the verification target (or an instruction that the verification target is not particularly changed) is input, the verification target source code 11 positioned in the next verification order In order to proceed to processing, the process returns to step B05.

（ステップＢ１３）
検証実施者が、検証順番ｎの検証対象ソースコード１１を検証対象から外す命令（以下、削除命令）を、入力装置４００へ入力した場合、入力装置４００は、検証順番ｎの検証対象ソースコード１１の削除命令を検知し、入力受付部５０４へ検証順番ｎの検証対象ソースコード１１の削除命令を出力する。入力受付部５０４は、入力装置４００が出力する検証順番ｎの検証対象ソースコード１１の削除命令を入力し、時間算出部５０４へ検証順番ｎの検証対象ソースコード１１の削除命令を出力する。時間算出部５０４は、入力受付部５０４が出力する検証順番ｎの検証対象ソースコード１１の削除命令を入力する。時間算出部５０４は、管理データベース５０８から「一覧リスト４」を読み込む。時間算出部５０４は、「一覧リスト４」から検証順番ｎの検証対象ソースコード１１を削除する。時間算出部５０４は、検証順番ｎの検証対象ソースコード１１を削除した「一覧リスト４」を管理データベース５０８に保存する。これにより、管理データベース５０８上の「一覧リスト４」は、検証順番ｎの検証対象ソースコード１１が削除された状態で更新される。時間算出部５０４は、検証順番ｎの検証対象ソースコード１１を「一覧リスト４」が削除されたことにより、検証対象ソースコード１１の総数が変化するので、再度検証予定時間を算出するために、ステップＢ０２に戻る。 (Step B13)
When the verification operator inputs an instruction to remove the verification target source code 11 in the verification order n from the verification target (hereinafter, a deletion command) to the input device 400, the input device 400 checks the verification target source code 11 in the verification order n. And deletes the verification target source code 11 in the verification order n to the input receiving unit 504. The input receiving unit 504 inputs a deletion instruction of the verification target source code 11 of the verification order n output from the input device 400, and outputs a deletion instruction of the verification target source code 11 of the verification order n to the time calculation unit 504. The time calculation unit 504 inputs a deletion instruction for the verification target source code 11 in the verification order n output from the input reception unit 504. The time calculation unit 504 reads “list 4” from the management database 508. The time calculation unit 504 deletes the verification target source code 11 in the verification order n from the “list 4”. The time calculation unit 504 stores “list 4” in which the verification target source code 11 in the verification order n is deleted in the management database 508. As a result, the “list 4” on the management database 508 is updated in a state where the verification target source code 11 in the verification order n is deleted. The time calculation unit 504 changes the total number of verification target source codes 11 by deleting the “list 4” from the verification target source code 11 in the verification order n. Return to Step B02.

（ステップＢ１４）
時間算出部５０５は、検証順番に沿って全ての検証対象ソースコード１１に対してステップＢ０５からステップＢ０１３を繰り返す。ステップＢ０５において、処理対象となる検証対象ソースコード１１が無くなった時点で、全ての検証対象ソースコード１１への処理が完了したことを意味する。これによって、最終的に検証対象となる検証対象ソースコード１１の総数と、検証対象ソースコード１１の検証順番と、検証対象ソースコード１１毎の検証予定時間が確定する。時間算出部５０５は、最終的に確定した、検証対象ソースコード１１と、検証対象ソースコード１１の検証順番と、検証対象ソースコード１１毎の検証予定時間を記載した「一覧リスト５」を、管理データベース５０８に保存する。 (Step B14)
The time calculation unit 505 repeats Step B05 to Step B013 for all the verification target source codes 11 in the verification order. In step B05, it means that the processing for all the verification target source codes 11 has been completed when there is no verification target source code 11 to be processed. As a result, the total number of the verification target source codes 11 to be finally verified, the verification order of the verification target source codes 11, and the scheduled verification time for each verification target source code 11 are determined. The time calculation unit 505 manages the “list 5” that describes the verification target source code 11, the verification order of the verification target source code 11, and the scheduled verification time for each verification target source code 11, which are finally determined. Save in database 508.

以上の動作方法によって、検証管理装置５００は、検証実施者より検証制限時間を受け付け、検証対象ソースコード１１に検証予定時間を割り付け、検証予定時間内で検証が完了しない可能性のある検証対象ソースコード１１を検証対象から削除し、最終的に検証対象となる検証対象ソースコード１１の総数と、検証対象ソースコード１１の検証順番と、検証対象ソースコード１１毎の検証予定時間を確定する。   With the above operation method, the verification management apparatus 500 receives the verification time limit from the verification performer, assigns the verification target time to the verification target source code 11, and the verification target source that may not be verified within the verification verification time. The code 11 is deleted from the verification target, and the total number of verification target source codes 11 to be finally verified, the verification order of the verification target source code 11, and the scheduled verification time for each verification target source code 11 are determined.

過去の検証結果に基づいて、検証対象ソースコード１１毎に割り付けられた検証予定時間では検証が完了しないことを予測することで、当該検証対象ソースコード１１はあらかじめ検証対象外とすることも選択できるため、検証制限時間が有効に利用できる。   By predicting that the verification will not be completed at the scheduled verification time allocated for each verification target source code 11 based on the past verification results, it is possible to select that the verification target source code 11 is not subject to verification in advance. Therefore, the verification time limit can be used effectively.

次に、図１７は、確定した検証対象ソースコード１１を検証順番に従って検証予定時間内で検証を行い、検証に要した検証所要時間が検証予定時間より短い場合には、その差分であり余りとなった余剰検証予定時間を、当該検証対象ソースコード１１より検証順番が後ろに位置し、これから検証が実行する未実行検証対象ソースコード１１に再割り付けを行うまでの動作方法を表している。   Next, FIG. 17 shows that the verification target source code 11 is verified within the verification scheduled time according to the verification order, and if the verification required time required for verification is shorter than the verification verification time, the difference is the remainder. The surplus verification scheduled time thus obtained represents an operation method from the verification target source code 11 to the time when the verification order is located behind and the reallocation to the unexecuted verification target source code 11 to be verified.

（ステップＣ０１）
検証実施者は、入力装置４００へ、検証対象ソースコード１１の検証実行命令を入力する。入力装置４００は、検証実行命令の入力を検知し、入力受付部５０４へ検証実行命令を出力する。入力受付部５０４は、入力装置４００が出力する検証実行命令を入力し、実行命令部５０６へ検証実行命令を出力する。 (Step C01)
The verification operator inputs a verification execution instruction for the verification target source code 11 to the input device 400. The input device 400 detects the input of the verification execution command and outputs the verification execution command to the input receiving unit 504. The input receiving unit 504 inputs the verification execution command output from the input device 400 and outputs the verification execution command to the execution command unit 506.

（ステップＣ０２）
実行命令部５０６は、入力受付部５０４が出力する検証実行命令を入力する。実行命令部５０６は、管理データベース５０８から「一覧リスト５」を読み込む。実行命令部５０６は、検証順番ｎ＝ｎ＋１（初期状態では、ｎ＝０）として、処理対象となる検証対象ソースコード１１が「一覧リスト５」に存在するかを判定する。実行命令部５０６は、処理対象となる検証順番ｎに位置する検証対象ソースコード１１が、「一覧リスト５」に存在する場合には、ソースコード管理装置１００から検証順番ｎに位置する検証対象ソースコード１１を読み込む。実行命令部５０６は、検証順番ｎに位置する検証対象ソースコード１１の検証を、「一覧リスト５」に記録されている検証予定時間内で実行するように検証実行部２０１へ命令し、ステップＣ０３へ進む。実行命令部５０６は、次の検証順番ｎに位置する検証対象ソースコード１１が存在しない場合、検証は完了となるため、ステップＣ１１へ進む。 (Step C02)
The execution command unit 506 inputs a verification execution command output from the input receiving unit 504. The execution command unit 506 reads “list 5” from the management database 508. The execution command unit 506 determines whether the verification target source code 11 to be processed exists in the “list 5” as the verification order n = n + 1 (in the initial state, n = 0). When the verification target source code 11 located in the verification order n to be processed exists in the “list 5”, the execution instruction unit 506 verifies from the source code management device 100 the verification target source located in the verification order n. Code 11 is read. The execution command unit 506 instructs the verification execution unit 201 to execute the verification of the verification target source code 11 located in the verification order n within the scheduled verification time recorded in the “list 5”, step C03. Proceed to If the verification target source code 11 located in the next verification order n does not exist, the execution instruction unit 506 proceeds to step C11 because the verification is completed.

（ステップＣ０３）
検証実行部２０１は、実行命令部５０６の命令に基づいて、検証順番ｎの検証対象ソースコード１１に検証を、検証順番ｎの該検証対象ソースコード１１に割付けられた検証予定時間内で実行する。検証実行部２０１は、検証順番ｎの検証対象ソースコード１１の検証を開始してからの経過時間が、検証順番ｎの該検証対象ソースコード１１に割付けられた検証予定時間に到達した時点で、検証を打ち切って終了する。 (Step C03)
The verification execution unit 201 executes verification on the verification target source code 11 in the verification order n within the scheduled verification time allocated to the verification target source code 11 in the verification order n based on the instruction of the execution instruction unit 506. . The verification execution unit 201, when the elapsed time from the start of the verification of the verification target source code 11 of the verification order n reaches the verification scheduled time allocated to the verification target source code 11 of the verification order n, Terminate verification and exit.

（ステップＣ０４）
検証実行部２０１は、検証順番ｎの検証対象ソースコード１１の検証が完了すると（あるいは検証予定時間に到達して検証を打ち切って終了すると）、検証順番ｎの検証対象ソースコード１１の検証結果２０を作成する。検証実行部２０１は、結果受取部５０７へ、作成した検証順番ｎの検証対象ソースコード１１の検証結果２０を出力する。 (Step C04)
When the verification of the verification target source code 11 of the verification order n is completed (or when the verification is finished and the verification is terminated), the verification execution unit 201 verifies the verification result 20 of the verification target source code 11 of the verification order n. Create The verification execution unit 201 outputs the verification result 20 of the created verification target source code 11 in the verification order n to the result reception unit 507.

（ステップＣ０５）
結果受取部５０７は、検証実行装置２００が出力する検証順番ｎの検証対象ソースコード１１の検証結果２０を入力する。結果受取部５０７は、「一覧リスト５」を読み込む。結果受取部５０７は、検証順番ｎの検証対象ソースコード１１の検証結果２０に記録された検証に要した検証所要時間と、「一覧リスト５」に記録された当該検証対象ソースコード１１に割付けられた検証予定時間とを比較する。結果受取部５０７は、比較の結果、検証所要時間が検証予定時間より短い場合には、余りとなった検証予定時間の再割付け処理のために、ステップＣ０６へ進む。結果受取部５０７は、それ以外の場合は、検証結果２０を記録するため、ステップＣ０９へ進む。 (Step C05)
The result receiving unit 507 receives the verification result 20 of the verification target source code 11 in the verification order n output from the verification execution apparatus 200. The result receiving unit 507 reads “list 5”. The result receiving unit 507 is assigned to the time required for verification recorded in the verification result 20 of the verification target source code 11 in the verification order n and the verification target source code 11 recorded in the “list 5”. Compare the estimated verification time. If the result of the comparison shows that the required verification time is shorter than the expected verification time, the result receiving unit 507 proceeds to Step C06 for reassigning the remaining verification expected time. In other cases, the result receiving unit 507 proceeds to Step C09 in order to record the verification result 20.

（ステップＣ０６）
結果受取部５０７は、検証順番ｎの検証対象ソースコード１１の検証結果２０に記録された検証に要した検証所要時間が、「一覧リスト５」に記録された当該検証対象ソースコード１１に割付けられた検証予定時間より短い場合、検証予定時間と検証所要時間との差分を算出する。検証予定時間と検証所要時間との差分は、検証順番ｎの検証対象ソースコード１１に割り付けられた検証予定時間の余りである余剰検証予定時間を表す。結果受取部５０７は、「一覧リスト５」に記録された検証対象ソースコード１１のうち、検証順番ｎの検証対象ソースコード１１よりも検証順番が後ろに位置し、これから検証を実行する検証対象ソースコード１１である未実行検証対象ソースコード１２の数を算出する。結果受取部５０７は、余剰検証予定時間を、未実行検証対象ソースコード１２の数で除算して、再割り付け用の余剰検証予定時間を算出する。 (Step C06)
The result receiving unit 507 allocates the time required for verification recorded in the verification result 20 of the verification target source code 11 in the verification order n to the verification target source code 11 recorded in the “list 5”. If it is shorter than the scheduled verification time, the difference between the scheduled verification time and the required verification time is calculated. The difference between the scheduled verification time and the required verification time represents a surplus verification scheduled time which is the remainder of the verification scheduled time allocated to the verification target source code 11 in the verification order n. The result receiving unit 507 has a verification order that is later than the verification target source code 11 in the verification order n among the verification target source codes 11 recorded in the “list 5”, and the verification target source to be verified from now on. The number of unexecuted verification target source codes 12 that are codes 11 is calculated. The result receiving unit 507 divides the surplus verification scheduled time by the number of the unexecuted verification target source code 12 to calculate the surplus verification scheduled time for reassignment.

（ステップＣ０７）
結果受取部５０７は、再割り付け用の余剰検証予定時間を、未実行検証対象ソースコード１２毎に、現在「一覧リスト５」に記録されている未実行検証対象ソースコード１２の検証予定時間に加算して割り付ける。 (Step C07)
The result receiving unit 507 adds the surplus verification scheduled time for reassignment to the scheduled verification time of the unexecuted verification target source code 12 currently recorded in the “list 5” for each unexecuted verification target source code 12. And assign.

（ステップＣ０８）
結果受取部５０７は、検証予定時間を再割り付けた後の「一覧リスト５」を管理データベース５０８に保存する。 (Step C08)
The result receiving unit 507 stores the “list 5” in the management database 508 after reallocating the scheduled verification time.

（ステップＣ０９）
結果受取部５０７は、検証順番ｎの検証対象ソースコード１１の検証結果を管理データベース５０８保存する。 (Step C09)
The result receiving unit 507 stores the verification result of the verification target source code 11 in the verification order n in the management database 508.

（ステップＣ１０）
結果受取部５０７は、実行命令部５０６へ検証順番ｎの検証対象ソースコード１１の検証完了通知を出力する。実行命令部５０６は、結果受取部５０７が出力する検証順番ｎの検証対象ソースコード１１の検証完了通知を入力する。実行命令部５０６は、次の検証順番に位置する検証対象ソースコード１１の処理に移るため、ステップＣ０２へ戻る。 (Step C10)
The result receiving unit 507 outputs a verification completion notification of the verification target source code 11 in the verification order n to the execution command unit 506. The execution command unit 506 inputs a verification completion notification of the verification target source code 11 in the verification order n output from the result receiving unit 507. The execution command unit 506 returns to Step C02 to move to the processing of the verification target source code 11 located in the next verification order.

（ステップＣ１１）
実行命令部５０６は、全ての検証対象ソースコード１１の検証が完了すると検証完了する。 (Step C11)
The execution instruction unit 506 completes the verification when the verification of all the verification target source codes 11 is completed.

以上の動作方法により、確定した検証対象ソースコード１１を検証順番に従って検証予定時間内で検証を行い、検証に要した検証所要時間が検証予定時間より短い場合には、その差分であり余りとなった余剰検証予定時間を、当該検証対象ソースコード１１より検証順番が後ろに位置し、これから検証を実行する未実行検証対象ソースコード１１に再割り付けを行う。   According to the above operation method, the verified source code 11 to be verified is verified within the verification scheduled time according to the verification order, and if the verification required time required for verification is shorter than the verification scheduled time, the difference is the remainder. The surplus verification scheduled time is re-assigned to the unexecuted verification target source code 11 whose verification order is behind the verification target source code 11 and for which verification will be executed.

検証順番は、前述のとおり順番が後になるに従って検証に要する時間が長くなるように決定されている。余剰検証予定時間の再割付を行うことによって、検証予定時間が延長されるため、実行することが可能な検証項目を増やすことができる。これによって、当初割り当てられた検証予定時間内では検証が完了しない可能性のあった検証対象ソースコード１１が、余剰検証予定時間によって延長された検証予定時間内において検証を完了させることが可能になる可能性が増加する。   As described above, the verification order is determined so that the time required for verification becomes longer as the order becomes later. Since the scheduled verification time is extended by reallocating the surplus verification scheduled time, the number of verification items that can be executed can be increased. As a result, it is possible for the verification target source code 11 that may not be verified within the initially allocated verification schedule time to complete the verification within the verification schedule time extended by the surplus verification schedule time. The possibility increases.

また、検証実行部２０１は、検証を実行している検証対象ソースコード１１に割り付けられた検証予定時間内に、当該検証対象ソースコード１１の検証が完了しない場合には、検証開始からの経過時間が検証予定時間に到達した時点で当該検証対象ソースコード１１の検証を完了させる。そのため、本発明の検証管理装置が検証対象ソースコード１１全体として検証制限時間を超えて、検証を実行することはなく、検証制限時間内で検証対象ソースコードの検証を完了させることができる。   In addition, the verification execution unit 201, when the verification of the verification target source code 11 is not completed within the scheduled verification time assigned to the verification target source code 11 that is executing verification, the elapsed time from the start of verification When the verification target time is reached, the verification of the verification target source code 11 is completed. Therefore, the verification management apparatus of the present invention does not execute verification exceeding the verification time limit for the entire verification target source code 11, and can complete verification of the verification target source code within the verification time limit.

以上が、本発明の本実施例における動作方法の説明である。   The above is the description of the operation method in this embodiment of the present invention.

なお、本実施例においては、管理データベース５０８に保存する検証対象ソースコード１１データについて、一覧リストを作成する形式で保存しているが、管理データベース５０８に保存するデータはこの方法に限定しない。検証対象ソースコード１１に関する管理データベース５０８へのデータの保存形式、保存方法、受渡し動作や、管理データベース５０８からのデータの抽出手段等は従来の技術で実現するものである。
本発明により、全ての検証対象ソースコード１１に対する検証を、定められた検証制限時間を超えることなく、限られた検証制限時間を効率的に利用しながら検証を実行することが可能となるのである。 In this embodiment, the verification target source code 11 data stored in the management database 508 is stored in a form for creating a list, but the data stored in the management database 508 is not limited to this method. The data storage format, storage method, delivery operation, data extraction means from the management database 508, and the like for the verification target source code 11 in the management database 508 are realized by conventional techniques.
According to the present invention, it is possible to perform verification for all verification target source codes 11 while efficiently using the limited verification time limit without exceeding the predetermined verification time limit. .

本発明によるソースコード検証管理装置の構成図である。It is a block diagram of the source code verification management apparatus by this invention. 本発明によるソースコード検証管理装置の各構成装置の構成図である。It is a block diagram of each component apparatus of the source code verification management apparatus by this invention. 本発明によるソースコード検証管理装置の機能ブロック図である。It is a functional block diagram of the source code verification management apparatus by this invention. 本発明によるソースコード管理ＤＢに記録された更新状態情報の例を示す図である。It is a figure which shows the example of the update status information recorded on source code management DB by this invention. 本発明による実行命令部５０６からの検証実行命令のデータ内容の例を示す図である。It is a figure which shows the example of the data content of the verification execution command from the execution command part 506 by this invention. 本発明による検証結果に記録されているデータの例を示す図である。It is a figure which shows the example of the data currently recorded on the verification result by this invention. 本発明による検証結果に記録されているデータの例を示す図である。It is a figure which shows the example of the data currently recorded on the verification result by this invention. 本発明による「一覧リスト１」の例を示す図である。It is a figure which shows the example of the "list list 1" by this invention. 本発明による管理データベースに保存される検証結果の例を示す図である。It is a figure which shows the example of the verification result preserve | saved at the management database by this invention. 本発明による「一覧リスト１」に記載された検証対象ソースコードに検証結果を対応させた例を示す図である。It is a figure which shows the example which matched the verification result with the verification object source code described in "list 1" by this invention. 本発明による「一覧リスト１」に記載された検証対象ソースコードの分類毎に検証順番を決定した例を示す図である。It is a figure which shows the example which determined the verification order for every classification | category of the verification object source code described in the "list 1" by this invention. 本発明による検証対象ソースコードの全体の検証順番を決定した「一覧リスト２」の例を示す図である。It is a figure which shows the example of the "list list 2" which determined the verification order of the whole verification object source code by this invention. 本発明による「一覧リスト３」と総検証想定時間を表示装置へ出力した例を示す図である。It is a figure which shows the example which output "list list 3" by this invention and total verification assumption time to the display apparatus. 本発明による「一覧リスト４」の例を示す図である。It is a figure which shows the example of the "list list 4" by this invention. 本発明による「一覧リスト３」に対応して完了不可通知を表示装置へ表示した例を示す図である。It is a figure which shows the example which displayed the completion impossible notification on the display apparatus corresponding to the "list list 3" by this invention. 本発明による「一覧リスト５」の例を示す図である。It is a figure which shows the example of the "list list 5" by this invention. 本発明による余剰検証予定時間を再割付けした後の「一覧リスト５」の例を示した図である。It is the figure which showed the example of the "list list 5" after reallocating the surplus verification scheduled time by this invention. 本発明による動作方法のフローチャートである。4 is a flowchart of an operating method according to the present invention. 本発明による動作方法のフローチャートである。4 is a flowchart of an operating method according to the present invention. 本発明による動作方法のフローチャートである。4 is a flowchart of an operating method according to the present invention. 本発明による動作方法のフローチャートである。4 is a flowchart of an operating method according to the present invention.

符号の説明Explanation of symbols

１ 処理部
２ 記憶部
３ 入力情報受付部
４ 出力部
５ 通信部
１０ ソースコード
１１ 検証対象ソースコード
１２ 未実行検証対象ソースコード
１３ 更新状態情報
２０ 検証結果
５０ 検証結果
５１ 検証対象ソースコード
１００ ソースコード管理装置
１０１ ソースコード管理データベース
２００ 検証実行装置
２０１ 検証実行部
３００ 表示装置
４００ 入力装置
５００ 検証完了装置
５０１ 選択部
５０２ 順番決定部
５０３ 入力情報受付部
５０４ 情報表示部
５０５ 時間算出部
５０６ 実行命令部
５０７ 結果受取部
５０８ 管理データベース DESCRIPTION OF SYMBOLS 1 Processing part 2 Memory | storage part 3 Input information reception part 4 Output part 5 Communication part 10 Source code 11 Verification object source code 12 Unexecuted verification object source code 13 Update state information 20 Verification result 50 Verification result 51 Verification object source code 100 Source code Management apparatus 101 Source code management database 200 Verification execution apparatus 201 Verification execution section 300 Display apparatus 400 Input apparatus 500 Verification completion apparatus 501 Selection section 502 Order determination section 503 Input information reception section 504 Information display section 505 Time calculation section 506 Execution instruction section 507 Result receiver 508 Management database

Claims (25)

検証の対象である複数のソースコードの検証順番を決定する順番決定部と、
前記複数のソースコードの各々に対して前記検証の実行にかける検証予定時間を割り付ける時間算出部と、
前記検証順番に基づいて、前記複数のソースコードのうちから一つの選択ソースコードを順に選択し、当該選択ソースコードに割付けられた前記検証予定時間内で前記検証を実行する検証実行部と、
前記選択ソースコードの前記検証が完了する毎に、当該選択ソースコードの前記検証に要した検証所要時間が当該選択ソースコードに割付けられた前記検証予定時間より短い場合には、残った余剰検証予定時間を、前記複数のソースコードのうちで当該選択ソースコードの前記検証順番より後で検証されるべき未実行ソースコードの各々に再割付けして、前記未実行ソースコードの各々の前記検証予定時間を増加させる結果受取部と
を備える検証管理装置。 An order determination unit that determines the verification order of a plurality of source codes to be verified;
A time calculation unit for allocating a verification verification time for execution of the verification for each of the plurality of source codes;
Based on the verification order, a verification execution unit that sequentially selects one selected source code from the plurality of source codes, and executes the verification within the scheduled verification time assigned to the selected source code;
Each time the verification of the selected source code is completed, if the time required for the verification of the selected source code is shorter than the scheduled verification time assigned to the selected source code, the remaining redundant verification schedule Time is reassigned to each of the unexecuted source code to be verified after the verification order of the selected source code among the plurality of source codes, and the scheduled verification time of each of the unexecuted source code A verification management device comprising: a result receiving unit that increases 請求項１に記載の検証管理装置であって、
前記結果受取部は、前記選択ソースコードの前記検証が完了する毎に、当該選択ソースコードの前記検証予定時間から前記検証所要時間を減算して前記余剰検証予定時間を算出し、
前記余剰検証予定時間を前記未実行ソースコードの総数で除算した時間を、前記未実行ソースコードの各々の前記検証予定時間に加算することによって再割付けする検証管理装置。 The verification management device according to claim 1,
The result receiving unit calculates the surplus verification scheduled time by subtracting the verification required time from the verification scheduled time of the selected source code every time the verification of the selected source code is completed,
A verification management apparatus that reallocates a time obtained by dividing the surplus verification scheduled time by the total number of the unexecuted source codes by adding the time to the verification scheduled time for each of the unexecuted source codes. 請求項１または請求項２に記載の検証管理装置であって、
前記順番決定部は、前記複数のソースコードの各々の前記検証所要時間が短いと想定する順に前記検証順番を決定する検証管理装置。 The verification management device according to claim 1 or 2, wherein
The order determination unit is a verification management apparatus that determines the verification order in an order in which it is assumed that the time required for verification of each of the plurality of source codes is short. 請求項１から請求項３までのいずれかに記載の検証管理装置であって、
前記検証実行部は、前記選択ソースコードの前記検証が当該選択ソースコードに割付けられた前記検証予定時間内に完了しない場合には、当該選択ソースコードの前記検証の開始からの経過時間が当該選択ソースコードに割付けられた前記検証予定時間に到達した時点で前記検証を終了する検証管理装置。 A verification management device according to any one of claims 1 to 3, wherein
When the verification of the selected source code is not completed within the scheduled verification time allocated to the selected source code, the verification execution unit determines that the elapsed time from the start of the verification of the selected source code is the selected A verification management apparatus that terminates the verification when the scheduled verification time allocated to the source code is reached. 請求項１から請求項４までのいずれかに記載の検証管理装置であって、
前記時間算出部は、前記複数のソースコードの全てに対して前記検証を実行するための検証制限時間の範囲内で、前記複数のソースコードの各々に前記検証予定時間を割り付ける検証管理装置。 A verification management device according to any one of claims 1 to 4, wherein
The time calculation unit is a verification management apparatus that assigns the verification scheduled time to each of the plurality of source codes within a verification time limit for executing the verification on all of the plurality of source codes. 請求項５に記載の検証管理装置であって、
前記時間算出部は、前記検証制限時間を前記複数のソースコードの総数で除算することにより前記検証予定時間を算出して、前記複数のソースコードの各々に割り付ける検証管理装置。 The verification management device according to claim 5,
The time calculation unit is a verification management device that calculates the scheduled verification time by dividing the verification time limit by the total number of the plurality of source codes, and assigns the time to each of the plurality of source codes. 請求項１から請求項６までのいずれかに記載の検証管理装置であって、
前記検証実行部は、前記選択ソースコードの前記検証を完了する毎に、
当該選択ソースコードの前記検証所要時間と、
当該選択ソースコード割付けられた前記検証予定時間内に前記検証が完了しなかったために前記検証を終了した場合には、前記検証において実行することができなかった検証項目の数である未完了検証項目数と、
を記録した検証結果を出力し、
前記結果受取部は、前記検証結果に記録された前記検証所要時間に基づいて前記余剰検証予定時間を算出する検証管理装置。 A verification management device according to any one of claims 1 to 6,
Each time the verification execution unit completes the verification of the selected source code,
The time required for the verification of the selected source code,
Incomplete verification items that are the number of verification items that could not be executed in the verification when the verification was terminated because the verification was not completed within the scheduled verification time assigned to the selected source code Number and
Output the verification result
The verification receiving apparatus, wherein the result receiving unit calculates the surplus verification scheduled time based on the verification required time recorded in the verification result. 請求項７に記載の検証管理装置であって、
前記検証順番と、前記検証予定時間と、前記検証結果とを、それぞれ前記複数のソースコードの各々に対応させて保存する管理データベースをさらに備える検証管理装置。 The verification management device according to claim 7,
A verification management apparatus further comprising a management database that stores the verification order, the verification scheduled time, and the verification result in association with each of the plurality of source codes. 請求項８に記載の検証管理装置であって、
前記順番決定部は、前記複数のソースコードのうち、前記管理データベースに保存された前記検証結果に前記未完了検証項目が存在しないソースコードについて、前記管理データベースに保存された前記検証結果に記録されている前記検証所要時間の短いものから順に前記検証を実行するように、前記検証順番における前記未完了検証項目が存在しないソースコードの検証順番を決定する検証管理装置。 The verification management device according to claim 8,
The order determination unit records, in the verification result stored in the management database, the source code in which the incomplete verification item does not exist in the verification result stored in the management database among the plurality of source codes. A verification management device that determines a verification order of source code in which the incomplete verification items do not exist in the verification order so that the verification is executed in order from the shortest verification time required. 請求項８または請求項９に記載の検証管理装置であって、
前記順番決定部は、前記複数のソースコードのうち、前記管理データベースに保存された前記検証結果に前記未完了検証項目が存在するソースコードについて、前記管理データベースに保存された前記検証結果に記録されている前記未完了検証項目の少ない順に前記検証を実行するように、前記検証順番における前記未完了検証項目が存在するソースコードの検証順番を決定し、
前記複数のソースコードに、前記検証結果に前記未完了検証項目が存在しないソースコードが含まれる場合には、前記未完了検証項目が存在しないソースコードの検証順番の後に、前記未完了検証項目が存在するソースコードの検証順番が配置されるように前記検証順番を決定する検証管理装置。 The verification management device according to claim 8 or 9, wherein
The order determination unit is recorded in the verification result stored in the management database for the source code in which the incomplete verification item exists in the verification result stored in the management database among the plurality of source codes. Determining the verification order of the source code in which the incomplete verification items exist in the verification order so as to execute the verification in ascending order of the uncompleted verification items,
When the plurality of source codes include source code in which the incomplete verification item does not exist in the verification result, the incomplete verification item is included after the verification order of the source code in which the incomplete verification item does not exist. A verification management apparatus that determines the verification order so that the verification order of existing source code is arranged. 請求項８から請求項１０までのいずれかに記載の検証管理装置であって、
前記順番決定部は、前記複数のソースコードのうち、前記管理データベースに前記検証結果が存在しないソースコードについて、当該ソースコードの規模が小さい順に前記検証を実行するように、前記検証順番における前記検証結果が存在しないソースコードの検証順番を決定し、
前記複数のソースコードに、前記検証結果に前記未完了検証項目が存在するソースコードが含まれず、前記未完了検証項目が存在しないソースコードが含まれる場合には、前記未完了検証項目が存在しないソースコードの検証順番の後に、前記検証結果が存在しないソースコードの検証順番が配置されるように前記検証順番を決定し、
前記複数のソースコードに、前記検証結果に前記未完了検証項目が存在するソースコードが含まれる場合には、前記未完了検証項目が存在するソースコードの検証順番の後に、前記検証結果が存在しないソースコードの検証順番が配置されるように前記検証順番を決定する検証管理装置。 The verification management device according to any one of claims 8 to 10,
The order determination unit is configured to perform the verification in the verification order so that the verification is performed in ascending order of the scale of the source code for the source code for which the verification result does not exist in the management database among the plurality of source codes. Determine the verification order of the source code that does not have results,
When the plurality of source codes do not include source code in which the incomplete verification item exists in the verification result and include source code in which the incomplete verification item does not exist, the incomplete verification item does not exist The verification order is determined so that the verification order of the source code where the verification result does not exist is arranged after the verification order of the source code,
When the plurality of source codes include source code in which the incomplete verification item exists in the verification result, the verification result does not exist after the verification order of the source code in which the incomplete verification item exists. A verification management apparatus that determines the verification order so that the verification order of source codes is arranged. 請求項８から請求項１１までのいずれかに記載の検証管理装置であって、
前記時間算出部は、前記複数のソースコードの各々に割り付けられた前記検証予定時間と、前記管理データベースに保存された前記複数のソースコードの各々に対応する前記検証結果に基づいて、前記複数のソースコードのうち、各々に割り付けられた前記検証予定時間では前記検証が完了しないと判定する完了不可ソースコードが存在する場合には、当該ソースコードは完了不可である旨の通知を出力する検証管理装置。 A verification management device according to any one of claims 8 to 11,
The time calculation unit is configured to determine the plurality of the plurality of source codes based on the verification scheduled time allocated to each of the plurality of source codes and the verification result corresponding to each of the plurality of source codes stored in the management database. If there is a non-completionable source code that determines that the verification is not completed at the scheduled verification time assigned to each of the source codes, the verification management outputs a notification that the source code cannot be completed apparatus. （ａ）検証の対象である複数のソースコードの検証順番を決定するステップと、
（ｂ）前記複数のソースコードの各々に対して前記検証の実行にかける検証予定時間を割り付けるステップと、
（ｃ）前記検証順番に基づいて、前記複数のソースコードのうちから一つの選択ソースコードを順に選択し、当該選択ソースコードに割付けられた前記検証予定時間内で前記検証を実行するステップと、
（ｄ）前記選択ソースコードの前記検証が完了する毎に、当該選択ソースコードの前記検証に要した検証所要時間が当該選択ソースコードに割付けられた前記検証予定時間より短い場合には、残った余剰検証予定時間を、前記複数のソースコードのうちで当該選択ソースコードの前記検証順番より後で検証されるべき未実行ソースコードの各々に再割付けして、前記未実行ソースコードの各々の前記検証予定時間を増加させるステップと
を備える検証管理方法。 (A) determining a verification order of a plurality of source codes to be verified;
(B) assigning a scheduled verification time for performing the verification to each of the plurality of source codes;
(C) based on the verification order, sequentially selecting one selected source code from the plurality of source codes, and executing the verification within the scheduled verification time allocated to the selected source code;
(D) Each time the verification of the selected source code is completed, if the time required for the verification of the selected source code is shorter than the scheduled verification time allocated to the selected source code, it remains. The surplus verification scheduled time is reassigned to each of the unexecuted source code to be verified after the verification order of the selected source code among the plurality of source codes, and the unexecuted source code A verification management method comprising: increasing a verification verification time. 請求項１３に記載の検証管理方法であって、前記ステップ（ｄ）は、
前記選択ソースコードの前記検証が完了する毎に、当該選択ソースコードの前記検証予定時間から前記検証所要時間を減算して前記余剰検証予定時間を算出するステップと、
前記余剰検証予定時間を前記未実行ソースコードの総数で除算した時間を、前記未実行ソースコードの各々の前記検証予定時間に加算することによって再割付けするステップと
を含む検証管理方法。 The verification management method according to claim 13, wherein the step (d) includes:
Each time the verification of the selected source code is completed, subtracting the verification required time from the verification scheduled time of the selected source code to calculate the surplus verification scheduled time;
Reallocating by adding a time obtained by dividing the surplus verification scheduled time by the total number of the unexecuted source codes to the scheduled verification time for each of the unexecuted source codes. 請求項１３または請求項１４に記載の検証管理方法であって、前記ステップ（ａ）は、
前記検証順番を、前記複数のソースコードの各々の前記検証所要時間が短いと想定される順に決定するステップ
を含む検証管理方法。 The verification management method according to claim 13 or 14, wherein the step (a) includes:
A verification management method comprising: determining the verification order in an order in which the time required for verification of each of the plurality of source codes is assumed to be short. 請求項１３から請求項１５までのいずれかに記載の検証管理方法であって、前記ステップ（ｃ）は、
前記選択ソースコードの前記検証が当該選択ソースコードに割付けられた前記検証予定時間内に完了しない場合には、当該選択ソースコードの前記検証の開始からの経過時間が当該選択ソースコードに割付けられた前記検証予定時間に到達した時点で前記検証を終了するステップ
を含む検証管理方法。 The verification management method according to any one of claims 13 to 15, wherein the step (c) includes:
If the verification of the selected source code is not completed within the scheduled verification time allocated to the selected source code, an elapsed time from the start of the verification of the selected source code is allocated to the selected source code A verification management method including the step of ending the verification when the verification verification time is reached. 請求項１３から請求項１６までのいずれかに記載の検証管理方法であって、前記ステップ（ｂ）は、
前記複数のソースコードの全てに対して前記検証を実行するための検証制限時間の範囲内で前記複数のソースコードの各々に前記検証予定時間を割り付けるステップ
を含む検証管理方法。 The verification management method according to any one of claims 13 to 16, wherein the step (b) includes:
A verification management method comprising: allocating the scheduled verification time to each of the plurality of source codes within a verification time limit for executing the verification on all of the plurality of source codes. 請求項１７に記載の検証管理方法であって、検証制限時間の範囲内で前記複数のソースコードの各々に前記検証予定時間を割り付けるステップは、
前記検証制限時間を前記複数のソースコードの総数で除算することにより前記検証予定時間を算出して、前記複数のソースコードの各々に割り付けるステップ
を含む検証管理方法。 18. The verification management method according to claim 17, wherein the step of assigning the scheduled verification time to each of the plurality of source codes within a range of a verification time limit includes:
A verification management method comprising: calculating the scheduled verification time by dividing the verification time limit by the total number of the plurality of source codes, and allocating the time to each of the plurality of source codes. 請求項１３から請求項１８までのいずれかに記載の検証管理方法であって、
前記ステップ（ｃ）は、
前記検証実行部は、前記選択ソースコードの前記検証を完了する毎に、
当該選択ソースコードの前記検証所要時間と、
当該選択ソースコード割付けられた前記検証予定時間内に前記検証が完了しなかったために前記検証を終了した場合には、前記検証において実行することができなかった検証項目の数である未完了検証項目数と、
を記録した検証結果を出力するステップと、
前記ステップ（ｄ）は、
前記結果受取部は、前記検証結果に記録された前記検証所要時間に基づいて前記余剰検証予定時間を算出するステップと
をさらに備える検証管理方法。 A verification management method according to any one of claims 13 to 18, comprising:
The step (c)
Each time the verification execution unit completes the verification of the selected source code,
The time required for the verification of the selected source code,
Incomplete verification items that are the number of verification items that could not be executed in the verification when the verification was terminated because the verification was not completed within the scheduled verification time assigned to the selected source code Number and
Outputting a verification result recording
The step (d)
The result receiving unit further comprises: calculating the surplus verification scheduled time based on the verification required time recorded in the verification result. 請求項１９に記載の検証管理方法であって、前記ステップ（ｃ）は、
前記検証順番と、前記検証予定時間と、前記検証結果とを、それぞれ前記複数のソースコードの各々に対応させて管理データベースへ保存するステップ
をさらに備える検証管理方法。 The verification management method according to claim 19, wherein the step (c) includes:
A verification management method further comprising: storing the verification order, the verification scheduled time, and the verification result in a management database in association with each of the plurality of source codes. 請求項２０に記載の検証管理方法であって、前記ステップ（ａ）は、
前記複数のソースコードのうち、前記管理データベースに保存された前記検証結果に前記未完了検証項目が存在しないソースコードについて、前記管理データベースに保存された前記検証結果に記録されている前記検証所要時間の短いものから順に前記検証を実行するように、前記検証順番における前記未完了検証項目が存在しないソースコードの検証順番を決定するステップ
を含む検証管理方法。 The verification management method according to claim 20, wherein the step (a) includes:
Of the plurality of source codes, the verification required time recorded in the verification result stored in the management database for the source code in which the incomplete verification item does not exist in the verification result stored in the management database A verification management method including a step of determining a verification order of the source code in which the incomplete verification items in the verification order do not exist so that the verification is performed in order from the shortest of. 請求項２０または請求項２１に記載の検証管理方法であって、前記ステップ（ａ）は、
前記複数のソースコードのうち、前記管理データベースに保存された前記検証結果に前記未完了検証項目が存在するソースコードについて、前記管理データベースに保存された前記検証結果に記録されている前記未完了検証項目の少ない順に前記検証を実行するように、前記検証順番における前記未完了検証項目が存在するソースコードの検証順番を決定するステップと、
前記複数のソースコードに、前記検証結果に前記未完了検証項目が存在しないソースコードが含まれる場合には、前記未完了検証項目が存在しないソースコードの検証順番の後に、前記未完了検証項目が存在するソースコードの検証順番が配置されるように前記検証順番を決定するステップと
を含む検証管理方法。 The verification management method according to claim 20 or 21, wherein the step (a) includes:
Of the plurality of source codes, the incomplete verification recorded in the verification result stored in the management database for the source code in which the verification result stored in the management database includes the incomplete verification item Determining a verification order of source code in which the incomplete verification items in the verification order exist so as to perform the verification in ascending order of items;
When the plurality of source codes include source code in which the incomplete verification item does not exist in the verification result, the incomplete verification item is included after the verification order of the source code in which the incomplete verification item does not exist. Determining the verification order such that the verification order of existing source code is arranged. 請求項２０から請求項２２までのいずれかに記載の検証管理方法であって、前記ステップ（ａ）は、
前記複数のソースコードのうち、前記管理データベースに前記検証結果が存在しないソースコードについて、当該ソースコードの規模が小さい順に前記検証を実行するように、前記検証順番における前記検証結果が存在しないソースコードの検証順番を決定するステップと、
前記複数のソースコードに、前記検証結果に前記未完了検証項目が存在するソースコードが含まれず、前記未完了検証項目が存在しないソースコードが含まれる場合には、前記未完了検証項目が存在しないソースコードの検証順番の後に、前記検証結果が存在しないソースコードの検証順番が配置されるように前記検証順番を決定するステップと、
前記複数のソースコードに、前記検証結果に前記未完了検証項目が存在するソースコードが含まれる場合には、前記未完了検証項目が存在するソースコードの検証順番の後に、前記検証結果が存在しないソースコードの検証順番が配置されるように前記検証順番を決定するステップと
を含む検証管理方法。 The verification management method according to any one of claims 20 to 22, wherein the step (a) includes:
Among the plurality of source codes, for the source code for which the verification result does not exist in the management database, the source code for which the verification result does not exist in the verification order so that the verification is executed in order from the smallest source code size. Determining the verification order of
When the plurality of source codes do not include source code in which the incomplete verification item exists in the verification result and include source code in which the incomplete verification item does not exist, the incomplete verification item does not exist Determining the verification order so that the verification order of the source code where the verification result does not exist is arranged after the verification order of the source code;
When the plurality of source codes include source code in which the incomplete verification item exists in the verification result, the verification result does not exist after the verification order of the source code in which the incomplete verification item exists. Determining the verification order such that the verification order of the source code is arranged. 請求項１３から請求項２３までのいずれかに記載の検証管理方法であって、前記ステップ（ｂ）は、
前記複数のソースコードの各々に割り付けられた前記検証予定時間と、前記管理データベースに保存された前記複数のソースコードの各々に対応する前記検証結果に基づいて、前記複数のソースコードのうち、各々に割り付けられた前記検証予定時間では前記検証が完了しないと判定する完了不可ソースコードが存在する場合には、当該ソースコードは完了不可である旨の通知を出力するステップ
をさらに備える検証管理方法。 The verification management method according to any one of claims 13 to 23, wherein the step (b) includes:
Based on the scheduled verification time allocated to each of the plurality of source codes and the verification result corresponding to each of the plurality of source codes stored in the management database, each of the plurality of source codes A verification management method further comprising: a step of outputting a notification that the source code cannot be completed when there is a source code that cannot be completed when the verification is not completed at the scheduled verification time assigned to. 請求項１３から請求項２４までのいずれかに記載された検証管理方法をコンピュータによって実現するためのプログラム。   A program for realizing the verification management method according to any one of claims 13 to 24 by a computer.
JP2007286727A 2007-11-02 2007-11-02 Source code verification management apparatus, method, and program Expired - Fee Related JP5046109B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2007286727A JP5046109B2 (en) 2007-11-02 2007-11-02 Source code verification management apparatus, method, and program

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2007286727A JP5046109B2 (en) 2007-11-02 2007-11-02 Source code verification management apparatus, method, and program

Publications (2)

Publication Number Publication Date
JP2009116477A true JP2009116477A (en) 2009-05-28
JP5046109B2 JP5046109B2 (en) 2012-10-10

Family

ID=40783582

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2007286727A Expired - Fee Related JP5046109B2 (en) 2007-11-02 2007-11-02 Source code verification management apparatus, method, and program

Country Status (1)

Country Link
JP (1) JP5046109B2 (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109446056A (en) * 2018-09-11 2019-03-08 平安科技（深圳）有限公司 Code verification method, apparatus, electronic equipment and medium

Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH05265805A (en) * 1992-03-23 1993-10-15 Nec Corp Program inspecting device
JPH08212108A (en) * 1995-02-08 1996-08-20 Kokusai Electric Co Ltd Method and device for testing software
JPH11259280A (en) * 1998-03-13 1999-09-24 Matsushita Electric Ind Co Ltd Program development support device and recording medium where program applied to computer system is recorded
JP2001043028A (en) * 1999-07-29 2001-02-16 Fujitsu Ltd Device and method for disk time sharing
JP2001338008A (en) * 2000-05-26 2001-12-07 Nec Microsystems Ltd Method for verifying logical equivalence and device for executing the same method
JP2004005674A (en) * 2002-05-30 2004-01-08 Nec Corp Efficient bound model inspecting method
JP2005229404A (en) * 2004-02-13 2005-08-25 Matsushita Electric Ind Co Ltd Device and method for encoding moving image
JP2006163519A (en) * 2004-12-02 2006-06-22 Sharp Corp Test selection method and test selecting apparatus

Patent Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH05265805A (en) * 1992-03-23 1993-10-15 Nec Corp Program inspecting device
JPH08212108A (en) * 1995-02-08 1996-08-20 Kokusai Electric Co Ltd Method and device for testing software
JPH11259280A (en) * 1998-03-13 1999-09-24 Matsushita Electric Ind Co Ltd Program development support device and recording medium where program applied to computer system is recorded
JP2001043028A (en) * 1999-07-29 2001-02-16 Fujitsu Ltd Device and method for disk time sharing
JP2001338008A (en) * 2000-05-26 2001-12-07 Nec Microsystems Ltd Method for verifying logical equivalence and device for executing the same method
JP2004005674A (en) * 2002-05-30 2004-01-08 Nec Corp Efficient bound model inspecting method
JP2005229404A (en) * 2004-02-13 2005-08-25 Matsushita Electric Ind Co Ltd Device and method for encoding moving image
JP2006163519A (en) * 2004-12-02 2006-06-22 Sharp Corp Test selection method and test selecting apparatus

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109446056A (en) * 2018-09-11 2019-03-08 平安科技（深圳）有限公司 Code verification method, apparatus, electronic equipment and medium
CN109446056B (en) * 2018-09-11 2023-03-21 平安科技（深圳）有限公司 Code verification method and device, electronic equipment and medium

Also Published As

Publication number Publication date
JP5046109B2 (en) 2012-10-10

Similar Documents

Publication Publication Date Title
US10372593B2 (en) System and method for resource modeling and simulation in test planning
US8996452B2 (en) Generating a predictive model from multiple data sources
US8589884B2 (en) Method and system for identifying regression test cases for a software
US20130124450A1 (en) Adaptive business process automation
US20130167017A1 (en) Display processing device, display processing method, and information storage medium storing program
JP4908073B2 (en) Service-based software design support method and apparatus therefor
CN111381970B (en) Cluster task resource allocation method and device, computer device and storage medium
JP6666555B2 (en) Information processing apparatus, job submission method, and job submission program
US20130159197A1 (en) Project management charting
US10657298B2 (en) Release cycle optimization based on significant features values simulation
US20200143369A1 (en) Device for contracting smart contract and method thereof
JP6102477B2 (en) Schedule management program, schedule management method, and schedule management apparatus
US20130138808A1 (en) Monitoring and managing data storage devices
JP5046109B2 (en) Source code verification management apparatus, method, and program
CN113204376A (en) File analysis method and device, computer equipment and storage medium
JP2011257947A (en) Method, apparatus and program for preparing test plan
CN115794471A (en) Fault diagnosis optimization method, system, equipment and storage medium
JP4777419B2 (en) Scheduling apparatus, scheduling method, and recording medium
US20110296442A1 (en) Generating a web service
JP2007179446A (en) Information processor, control method and program
US20080103752A1 (en) Apparatus, method, and program for conversion of application program
JP6753521B2 (en) Computational resource management equipment, computational resource management methods, and programs
US20200402008A1 (en) System and Method for Electronic Mail Approval Paths
US20150149239A1 (en) Technology Element Risk Analysis
CN111639025A (en) Software testing method and device, electronic equipment and storage medium

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20101013

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20120418

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20120420

A521 Written amendment

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20120525

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20120622

A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20120705

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20150727

Year of fee payment: 3

R150 Certificate of patent or registration of utility model

Free format text: JAPANESE INTERMEDIATE CODE: R150

LAPS Cancellation because of no payment of annual fees