JP5046109B2 - ソースコード検証管理装置、方法、及びプログラム - Google Patents
ソースコード検証管理装置、方法、及びプログラム Download PDFInfo
- Publication number
- JP5046109B2 JP5046109B2 JP2007286727A JP2007286727A JP5046109B2 JP 5046109 B2 JP5046109 B2 JP 5046109B2 JP 2007286727 A JP2007286727 A JP 2007286727A JP 2007286727 A JP2007286727 A JP 2007286727A JP 5046109 B2 JP5046109 B2 JP 5046109B2
- 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.)
- Expired - Fee Related
Links
Images
Landscapes
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Description
ソースコードは、ソフトウェアの開発工程における要件の変更や機能の追加に伴って、追加、変更、削除といった修正が加えられる。ソースコードの検証は、ソースコードへの修正に対してソフトウェアの品質を確保するために行われ、ソースコードの修正に起因する不具合の発生の有無や、既存のソースコードへの悪影響の有無が確認される。
(a)検証の対象である複数のソースコードの検証順番を決定するステップと、
(b)複数のソースコードの各々に対して検証の実行にかける検証予定時間を割り付けるステップと、
(c)検証順番に基づいて、複数のソースコードのうちから一つの選択ソースコードを順に選択し、当該選択ソースコードに割付けられた検証予定時間内で検証を実行するステップと、
(d)選択ソースコードの検証が完了する毎に、当該選択ソースコードの検証に要した検証所要時間が当該選択ソースコードに割付けられた検証予定時間より短い場合には、残った余剰検証予定時間を、複数のソースコードのうちで当該選択ソースコードの検証順番より後で検証されるべき未実行ソースコードの各々に再割付けして、未実行ソースコードの各々の検証予定時間を増加させるステップとを備える。
選択ソースコードの検証が完了する毎に、当該選択ソースコードの検証予定時間から検証所要時間を減算して余剰検証予定時間を算出するステップと、
余剰検証予定時間を未実行ソースコードの総数で除算した時間を、未実行ソースコードの各々の検証予定時間に加算することによって再割付けするステップとを含む。
検証順番を、複数のソースコードの各々の検証所要時間が短いと想定される順に決定するステップを含む。
選択ソースコードの検証が当該選択ソースコードに割付けられた検証予定時間内に完了しない場合には、当該選択ソースコードの検証の開始からの経過時間が当該選択ソースコードに割付けられた検証予定時間に到達した時点で検証を終了するステップを含む。
複数のソースコードの全てに対して検証を実行するための検証制限時間の範囲内で複数のソースコードの各々に検証予定時間を割り付けるステップを含む。
検証実行部は、選択ソースコードの検証を完了する毎に、当該選択ソースコードの検証所要時間と、当該選択ソースコード割付けられた検証予定時間内に検証が完了しなかったために検証を終了した場合には、検証において実行することができなかった検証項目の数である未完了検証項目数と、を記録した検証結果を出力するステップと、
ステップ(d)は、結果受取部は、検証結果に記録された検証所要時間に基づいて余剰検証予定時間を算出するステップとをさらに備える。
検証順番と、検証予定時間と、検証結果とを、それぞれ複数のソースコードの各々に対応させて管理データベースへ保存するステップをさらに備える。
複数のソースコードのうち、管理データベースに保存された検証結果に未完了検証項目が存在しないソースコードについて、管理データベースに保存された検証結果に記録されている検証所要時間の短いものから順に検証を実行するように、検証順番における未完了検証項目が存在しないソースコードの検証順番を決定するステップを含む。
複数のソースコードのうち、管理データベースに保存された検証結果に未完了検証項目が存在するソースコードについて、管理データベースに保存された検証結果に記録されている未完了検証項目の少ない順に検証を実行するように、検証順番における未完了検証項目が存在するソースコードの検証順番を決定するステップと、
複数のソースコードに、検証結果に未完了検証項目が存在しないソースコードが含まれる場合には、未完了検証項目が存在しないソースコードの検証順番の後に、未完了検証項目が存在するソースコードの検証順番が配置されるように検証順番を決定するステップとを含む。
複数のソースコードのうち、管理データベースに検証結果が存在しないソースコードについて、当該ソースコードの規模が小さい順に検証を実行するように、検証順番における検証結果が存在しないソースコードの検証順番を決定するステップと、
複数のソースコードに、検証結果に未完了検証項目が存在するソースコードが含まれず、未完了検証項目が存在しないソースコードが含まれる場合には、未完了検証項目が存在しないソースコードの検証順番の後に、検証結果が存在しないソースコードの検証順番が配置されるように検証順番を決定するステップと、
複数のソースコードに、検証結果に未完了検証項目が存在するソースコードが含まれる場合には、未完了検証項目が存在するソースコードの検証順番の後に、検証結果が存在しないソースコードの検証順番が配置されるように検証順番を決定するステップとを含む。
複数のソースコードの各々に割り付けられた検証予定時間と、管理データベースに保存された複数のソースコードの各々に対応する検証結果に基づいて、複数のソースコードのうち、各々に割り付けられた検証予定時間では検証が完了しないと判定する完了不可ソースコードが存在する場合には、当該ソースコードは完了不可である旨の通知を出力するステップをさらに備える。
始めに本発明の構成について説明する。図1は、本発明のソースコード検証管理装置の構成図を示している。本発明のソースコード検証管理装置は、ソースコード管理装置100と、検証実行装置200と、表示装置300と、入力装置400と、検証管理装置500を備える。
まず、ソースコード管理装置100について説明する。
ソースコード管理装置100は、ソースコード管理データベース101(以下、ソースコード管理DB101)を備える。ソースコード管理DB101は、複数のソースコード10とソースコードの更新状態情報13を保存している。本発明のソースコード検証管理装置による検証対象のソースコード10は、ソースコード管理装置が保存している複数のソースコード10から、更新状態情報13に基づいて抽出される。本実施例において、検証対象となるソースコード10を検証対象ソースコード11と呼ぶ。
ソースコード10の開発者は、ソースコード10の新規追加、変更、削除等の作業を行い、更新後のソースコード10をソースコード管理装置に保存する。ソースコード10の更新状態を更新履歴として管理している。図4は、本実施例におけるソースコード管理DB101に記録された更新状態情報13の例を表している。更新状態情報13は、ソースコードID、ソースコードの規模(本実施例においてはラベル数)、更新日時を記録している。なお、更新状態情報13に記録されるデータはこの例に限定しない。
ソースコード管理DB101は、後述する検証管理装置500の選択部501からの命令により、ソースコード10のうちから更新状態情報13に基づいて検証対象のソースコードを抽出する。ソースコード管理DB101は、検証対象ソースコード11を検証対象ソースコード11の更新状態と共に、選択部501へ出力する。
検証実行装置200は、検証実行部201を備える。検証実行部201は、検証対象ソースコード11の検証を実行する。本発明において、検証実行装置201が実行する検証は静的解析手法による検証である。静的解析手法による検証については従来技術を用いて行うため説明を省略する。また、本発明において、個々の検証対象ソースコード11に対する検証内容や、個々の検証対象ソースコード11が満たすべき検証仕様についても、特に限定するものではないので説明を省略する。
検証実行部201は、後述する検証管理装置500の実行命令部506からの検証実行命令により、順番決定部502の決定した検証順番で、時間算出部505が検証対象ソースコード11毎に割り付けた検証予定時間内に、当該検証対象ソースコード11の検証を実行する。図5は、実行命令部506からの検証実行命令のデータ内容の例を示している。
検証所要時間は、検証対象ソースコード11毎の検証を開始してから完了するまでに要した時間である。未完了検証項目数は、検証対象ソースコード11毎に割り付けられた検証予定時間内に検証が実行完了できなかった場合の、検証予定時間内に実行することができなかった未完了検証項目の数である。検証実行部201は、生成した検証結果20を、検証管理装置500の結果受取部507へ出力する。なお、検証結果20の例は、これに限定しない。
検証実行部201は、検証対象ソースコード11毎に割付けられた検証予定時間内に、当該検証対象ソースコード11の検証が完了しない場合には、検証開始からの経過時間が検証予定時間に到達すると、その時点で当該検証を終了する。その場合にも、検証実行部201は、検証結果20を生成し、結果受取部507へ出力する。
表示装置300は、前述のとおり、例えば液晶ディスプレイで構成され、検証管理装置500の情報表示部503から出力される情報を表示する。検証実施者は、表示装置300に表示される検証に関する情報を確認できる。
入力装置400は、前述のとおり、例えばキーボードやマウスで構成される。検証実施者は、表示装置300へ表示される検証に関する情報を確認し、これに応じて入力装置400へ入力を行う。入力装置400は、検証実施者が入力する情報を検証管理装置500の入力受付部504へ出力する。
検証管理装置500は、選択部501、順番決定部502、情報表示部503、入力受付部504、時間算出部505、実行命令部506、結果受取部507、管理データベース508を備える。選択部501、順番決定部502、情報表示部503、入力受付部504、時間算出部505、実行命令部506、結果受取部507の各機能は、検証管理装置500の記憶部2に記憶されたプログラムを処理部1が処理することによって実現する。
選択部501は、ソースコード管理装置100が出力する検証対象ソースコード11を入力し、検証対象ソースコード11の一覧リスト(以下、一覧リスト1)を作成する。図7は、一覧リスト1の例を示している。「一覧リスト1」には、検証対象ソースコード11の識別番号(以下、ソースコードID)と、検証対象ソースコード11に対応するソースコードの規模(本実施例においては、ラベル数)が含まれる。選択部501は、作成した「一覧リスト1」を、順番決定部502へ出力する。
ソースコード10から検証対象ソースコード11を抽出する方法として、ソースコード10の更新状況に基づいて抽出する方法や、一つのソースコード10とプログラム上で関係性のある他のソースコード10の更新状況も考慮し抽出する方法などが存在する。検証対象ソースコード11を抽出する方法については、従来の技術によって実現するため説明を省略する。
検証所要時間が短い順番に検証を実行することで、早い順番に検証順番が割り付けられた検証対象ソースコード11は、検証予定時間内に検証が完了できる可能性が高くなる。これにより、検証順番の早い段階で余剰検証予定時間を生み出すことができる。余剰検証予定時間を動的に未実行検証対象ソースコード12に割り付けることで、未実行検証対象ソースコード11の検証予定時間は増加する。これにより当初の検証予定時間では、全ての検証項目を完了できない可能性のあった検証対象ソースコード20も、増加した検証予定時間のにおいて検証項目を全て完了できる可能性が広がる。このように、検証予定時間内に検証が完了できない検証対象ソースコード11が、検証予定時間内に検証を完了できれば、さらに新たに余剰検証予定時間を生み出すことが可能であり、検証の効率化の連鎖を発生させることができる。
順番決定部502は、「一覧リスト1」に記載された検証対象ソースコード11を、管理データベースに保存されている検証結果50に基づいて分類する。第1の分類は、前回の検証結果50が存在して、前回の検証結果50に未完了検証項目数が存在しない検証対象ソースコード11である(以下、分類1)。第2の分類は、前回の検証結果50が存在して、前回の検証結果50に未完了検証項目数が存在する検証対象ソースコード11である(以下、分類2)。第3の分類は、前回の検証結果50が存在していない検証対象ソースコード11である(以下、分類3)。
まず、分類1の検証対象ソースコード11は、前回の検証結果50に含まれる検証に要した検証所要時間に基づいて、検証所要時間の最も短い検証対象ソースコード11を最先の検証順番とし、それから検証所要時間が短い順に検証順番を決定する。
分類2の検証対象ソースコード11は、前回の検証結果に含まれる未完了検証項目数に基づいて、未完了検証項目数が最も少ない検証対象ソースコード11を最先の検証順番とし、それから未完了検証項目数が少ない順に検証順番を決定する。
分類3の検証対象ソースコード12は、検証結果が存在しないため新規のソースコード10であることが考えられる。分類3の検証対象ソースコード11は、当該検証対象ソースコード11の規模に基づいて順番を決定する。本実施例においては、当該検証対象ソースコード11のラベル数に基づいて、最もラベル数が少ない検証対象ソースコード11を最先の検証順番とし、それからラベル数が少ない順に検証順番を決定する。
なお、いずれの分類においても、検証順番の決定方法はこれに限定しない。また、本実施例における、順番決定方法の例においては、検証対象ソースコード11を3分類に分類しているが、分類自体をより細分化することも可能である。
全体の検証順番の決定は、各分類毎の順番をつなぎ合わせることで行う。ここにおいても、検証所要時間が短い順に検証順番を決定できるよう考慮する。本発明においては、最初に分類1、次に分類2、最後に分類3の順に検証順番を決定する。つまり、最初に検証結果が存在して未完了検証項目数が存在しない検証対象ソースコード11、次に検証結果が存在して未完了検証項目数が存在する検証対象ソースコード11、最後に検証結果が存在していない検証対象ソースコード11の順に検証順番を決定する。
このように過去の検証結果に基づいて、分類1や分類2のように検証所用時間の目安が存在する検証対象ソースコード11を先の順番に決定し、分類3のように検証結果が存在せず検証所要時間の目安が存在しない検証対象ソースコード11を後に配置することで、検証所要時間が短い順番に検証順番を想定し決定する。
順番決定部502は、図9Cに示すように決定した全体の検証順番を、検証対象ソースコード11に対応させた一覧リスト(以下、一覧リスト2)として管理データベース508に保存する。
総検証想定時間は、個々の検証対象ソースコード11の検証に要すると思われる時間である検証想定時間の総和である。情報表示部503は、検証対象ソースコード11毎に検証想定時間を算出し、検証想定時間の総和をとることで総検証想定時間を算出する。
図10は、「一覧リスト3」と総検証想定時間を表示装置300へ出力した例を示している。図10を参照すると、本実施例における10個の検証対象ソースコード11と、総検証想定時間が表示されていることが確認できる。本実施例において情報表示部503は、総検証想定時間を12,326秒と算出している。
情報表示部503は、検証対象ソースコード11を、「一覧リスト3」に記載された検証結果に基づいて分類する。分類1は、検証結果が存在して、未完了検証項目数が存在しない検証対象ソースコード11である。分類2は、検証結果が存在して、未完了検証項目数が存在する検証対象ソースコード11である。分類3は、検証結果が存在していない検証対象ソースコード11である。
本実施例において、検証実施者は、検証制限時間を14,000秒と設定したものする。検証対象ソースコードは、図9Cに示すとおり10個であるので検証対象ごとの検証予定時間は1,400秒ずつとなる。時間算出部505は、算出した検証予定時間を、一覧「一覧リスト2」の検証対象ソースコード11毎に割り付ける。時間算出部505は、算出した検証予定時間を割り付けた、検証対象ソースコード11の一覧リスト(以下、一覧リスト4)を作成する。図11は、「一覧リスト4」の例を示している。図11を参照すると10個の検証対象ソースコード毎に1,400秒の検証予定時間が割付けられていることが確認できる。時間算出部505は、「一覧リスト4」を管理データベース508に保存する。
時間算出部505は、検証対象ソースコード11毎に未完了検証項目が存在するか判定する。時間算出部505は、未完了検証項目が存在する検証対象ソースコード11について、検証結果に保存されている検証所要時間が最長であった検証の際に記録された未完了検証項目数と、当該検証対象ソースコード11のその他検証結果として保存されている未完了検証項目数を比較する。その結果、検証所要時間が最長であった際に記録された未完了検証項目数が、同一であるか、もしくは最大である場合には、時間算出部505は、検証所要時間が最長であった際に記録された検証所要時間と、今回の検証において割り付けられた検証予定時間をさらに比較する。さらにその結果、今回の検証において割り付けられた検証予定時間が、検証所要時間が最長であった際に記録された検証所要時間より短い場合には、時間算出部505は、今回の検証において割付けられた検証予定時間内では、当該検証対象ソースコード11の検証は、完了しない可能性が高いと判定する。
前述のとおり、図5は、実行命令部506から検証実行部201への検証実行命令のデータ内容を示している。図5の命令によれば、実行命令部506は、検証実行部201へ、検証順番が3番目に位置するソースコードID42を、検証予定時間1,750秒で検証を実行するように命令している。検証実行部201は、検証実行命令を受けて、当該検証対象ソースコード11の検証を実行する。
当該実行命令部506は、結果受取部507が出力する当該検証対象ソースコード11の検証完了の通知を入力する。実行命令部506は、通知を受けて当該検証対象ソースコード11の次の検証順番に位置する検証対象ソースコード11をソースコード管理DB101から取得し、検証の実行を検証実行部201へ命令する。
判定の結果、検証所要時間が検証予定時間より短い場合、結果受取部507は、検証予定時間と検証所要時間との差分を算出する。算出された差分は、余剰検証予定時間となる。余剰検証予定時間は、検証全体の制限時間である検証制限時間内における余りの時間を意味する。
結果受取部507は、「一覧リスト5」において、当該検証対象ソースコード11より検証順番が後ろに位置し、これから検証が実行される検証対象ソースコード11である未実行検証対象ソースコード12の数を算出する。結果受取部507は、算出した余剰検証予定時間を、未実行検証対象ソースコード12の数で除算して、再割り付け用の余剰検証予定時間を算出する。結果受取部507は、再割り付け用の余剰検証予定時間を、「一覧リスト5」の未実行検証対象ソースコード12に対応して記録されている検証予定時間に加算して再割付けする。結果受取部507は、検証予定時間の再割付け後の「一覧リスト5」を管理データベース508に保存する。
ソースコードID42の検証対象ソースコード11の検証が完了した時点で、余剰検証時間は1,000秒発生し、未実行検証対象ソースコード12は5個であるので、結果受取部507は、未実行検証対象ソースコード12毎に200秒の検証予定時間を追加で割り付ける。 図14は、余剰検証予定時間を再割付けした後の「一覧リスト5」を示している。図14を参照すると、結果受取部507が、5個の身実行検証対象ソースコード12へ検証予定時間を200秒ずつ加算したため、検証順番4番から検証順番8番までの各検証対象ソースコード11毎の検証予定時間が、1,750秒から1,950秒に増加しているのが確認できる。このようにして、検証の実行後に発生した余り時間を他の検証対象ソースコード11に割付けることができる。
前述のとおり、図6Bは、検証予定時間内に検証が完了しない場合の検証結果20を示している。図6Bによれば、ソースコードID406の検証は、検証予定時間1,750秒で検証が完了せず、未完了検証項目が22個残っていることが確認できる。結果受取部は507は、この場合には余剰検証予定時間は発生しないため、図6Bの当該検証結果を管理データベース508に保存する処理のみを行う。
結果受取部507は、「一覧リスト5」への余剰検証予定時間の再割付け処理と、検証結果の保存処理が完了した後、実行命令部506へ当該検証対象ソースコード11の検証が完了したことを通知する。実行命令部506は、結果受取部507からの通知を受けて、次の順番に位置する検証対象ソースコード11の検証処理へ移行する。
時間算出部505は、検証制限時間内で全ての検証対象ソースコード11に検証予定時間を割付けるため、全ての検証対象ソースコード11に対して検証が実行される。
また、検証実行部201は、検証を実行している検証対象ソースコード11に対する検証が検証予定時間内で完了しない場合には、検証開始からの経過時間が検証予定時間に達した時点で当該検証対象ソースコード11に対する検証を終了するため、全ての検証対象ソースコード11に対する検証が検証制限時間を超えることは無い。
さらに、結果受取部507が、検証対象ソースコード11毎の検証が完了する度に、余剰検証時間を算出して未実行検証対象ソースコード12へ再割付けするため、限られた検証制限時間内で検証予定時間を動的に配分することができ、検証制限時間の効率利用が可能である。
加えて、順番決定部502は、検証所要時間が短いと想定する順番に検証対象ソースコード11の検証順番を決定するため、順番の早い段階で余剰検証予定時間を生み出しやすい検証順番で検証を実行していくことができる。
次に、本発明の本実施例における動作方法の説明を行う。図15から図17は本実施例における本発明の動作方法を表している。
まず、検証実施者が、入力装置400へ、検証対象ソースコード11の抽出命令を入力する。入力装置400は、検証対象ソースコード11の抽出命令を検知し、入力受付部504へ検証対象ソースコード11の抽出命令を出力する。入力受付部504は、入力装置400が出力する検証対象ソースコード11の抽出命令を入力し、選択部501へ検証対象ソースコード11の抽出命令を出力する。
選択部501は、入力受付部504が出力した検証対象ソースコード11の抽出命令を入力する。選択部501は、ソースコード管理装置100へ、ソースコード10から検証対象ソースコード11の抽出を命令する。ソースコード管理装置100は、ソースコード10の更新状態情報13に基づいて検証対象ソースコード11を抽出する。ソースコード管理装置100は、抽出した検証対象ソースコード11を選択部501へ出力する。選択部501は、ソースコード管理装置100が出力する検証対象ソースコード11を入力する。選択部501は、検証対象ソースコード11の「一覧リスト1」を作成する。選択部501は、作成した「一覧リスト1」を順番決定部502へ出力する。
順番決定部502は、選択部501が出力する「一覧リスト1」を入力する。順番決定部502は、「一覧リスト1」の検証対象ソースコード11を、管理データベース508に保存されている検証結果に基づいて分類(前述の分類1、分類2、分類3)する。
順番決定部503は、各分類毎に検証対象ソースコード11の検証順番を決定する。
順番決定部502は、各分類毎の検証順番を結合して、検証対象ソースコード11全体の検証順番を決定する。
順番決定部502は、検証対象ソースコード11全体の検証順番を、「一覧リスト2」として、管理データベース508へ保存する。
情報表示部503は、管理データベース508から「一覧リスト2」を読み込む。情報表示部503は、「一覧リスト2」の検証対象ソースコード11毎に、管理データベース508に保存された検証結果から、検証結果の有無、検証所要時間、未完了検証項目数を抽出し、検証対象ソースコード11に対応させた「一覧リスト3」を作成する。情報表示部503は、「一覧リスト3」を表示装置300へ出力する。表示装置300は、「一覧リスト3」を表示する。
情報表示部503は、「一覧リスト2」の検証対象ソースコード11を分類(前述の分類1、分類2、分類3)毎に、検証対象ソースコード11毎の検証想定時間の算出する。
情報表示部503は、各分類毎の検証想定時間を合計し、検証対象ソースコード11全体の総検証想定時間を算出する。
情報表示部503は、総検証想定時間を表示装置300へ出力する。表示装置300は、総検証想定時間を表示する。
検証実施者は、表示装置300に表示された「一覧リスト3」と総検証想定時間を確認し、入力装置400へ検証制限時間を入力する。入力装置400は、検証制限時間の入力を検知し、入力受付部504へ検証制限時間を出力する。入力受付部504は、入力装置400が出力する検証制限時間を入力し、時間算出部505へ検証制限時間を出力する。
時間算出部505は、入力受付部504が出力する検証制限時間を入力する。時間算出部505は、管理データベース508から「一覧リスト2」を読み込む。時間算出部505は、「一覧リスト2」に記載された検証対象ソースコード11の個数を算出する。時間算出部505は、検証制限時間を、「一覧リスト2」に記載された検証対象ソースコード11の個数で除算して、検証対象ソースコード11毎の検証予定時間を算出する。
時間算出部505は、検証予定時間を、「一覧リスト2」の検証対象ソースコード11毎に割り付ける。時間算出部505は、検証対象ソースコード11毎に検証予定時間を割り付けた「一覧リスト4」を作成する。
時間算出部505は、「一覧リスト4」を管理データベース508に保存する。
時間算出部505は、検証対象ソースコード11毎に割り付けられた検証予定時間内では検証が完了しない可能性のある検証対象ソースコード11を抽出する。この処理は、「一覧リスト4」の検証対象ソースコード11の検証順番に従って、検証対象ソースコード11毎に行われる。時間算出部505は、検証順番n=n+1(初期状態では、n=0)として、処理対象となる検証順番nの検証対象ソースコード11が存在するかを判定する。時間算出部505は、処理対象となる検証順番nの検証対象ソースコード11が存在する場合は、検証順番nの検証対象ソースコード11を処理対象として選択してステップB06へ進む。処理対象となる検証順番nの検証対象ソースコードが存在しない場合は、処理は終了となりステップB14へ進む。
時間算出部505は、検証順番nの検証対象ソースコード11に、過去の検証結果20が管理データベース508に存在するか否かを確認する処理を行う。時間算出部505は、処理の結果、検証結果20が存在する場合には、ステップB07へ進む。時間算出部505は、処理の結果、検証結果20が存在しない場合には、次の検証順番に位置する検証対象ソースコード11の処理に移るため、ステップB05へ戻る。
時間算出部505は、検証順番nの検証対象ソースコード11に検証結果20が存在する場合、検証順番nの検証結果20に未完了検証項目が存在するか否かを確認する処理を行う。時間算出部505は、処理の結果、未完了検証項目が存在する場合は、ステップB08へ進む。時間算出部505は、処理の結果、未完了検証項目が存在しない場合には、次の検証順番に位置する検証対象ソースコード11の処理に移るため、ステップB05へ戻る。
時間算出部505は、検証順番nの検証対象ソースコード11に、検証結果20が存在し、かつ検証結果20に未完了検証項目が存在する場合、当該検証順番nの検証対象ソースコード11の検証結果20のうちで、検証に要した検証所要時間が最長である検証結果20を抽出する。
時間算出部505は、検証順番nの検証対象ソースコード11について、管理データベース508から抽出した検証所要時間が最長である検証結果20に記録された未完了検証項目数と、その他の検証結果20に記録された未完了検証項目数を比較する。
時間算出部505は、比較の結果、検証所要時間が最長である検証結果20に記録された未完了検証項目数が、その他の検証結果に記録された未完了検証項目数のうち、最大の項目数と同一であるか、最大の項目数以上である場合、ステップB10へ進む。時間算出部505は、比較の結果が、それ以外の場合、次の検証順番に位置する検証対象ソースコード11の処理に移るため、ステップB05へ戻る。
時間算出部505は、検証所要時間が最長である検証結果に記録された未完了検証項目数が、検証結果nの検証対象ソースコード11についてのその他の検証結果に記録された未完了検証項目数と比較し、最大であるか、もしくは最大であるものと同一である検証順番nの検証対象ソースコードについて、検証所要時間が最長である検証結果に記録された検証所要時間と、「一覧リスト4」に記録された今回の検証において割り付けられた検証予定時間を比較する。
時間算出部505は、検証順番nの検証対象ソースコード11について、比較の結果、「一覧リスト4」に記録されている今回の検証において割り付けられた検証予定時間が、検証所要時間が最長であった際に検証結果に記録された検証所要時間より短い場合、検証順番nの検証対象ソースコード11の検証は、今回の検証において割付けられた検証予定時間内では当該検証対象ソースコード11の検証は完了しない可能性が高いと判定し、ステップB11へ進む。時間算出部505は、比較の結果が、それ以外の場合、次の検証順番に位置する検証対象ソースコード11の処理に移るため、ステップB05へ戻る。
時間算出部505は、検証順番nの検証対象ソースコード11について、今回においても検証は検証予定時間内に完了しない可能性が高いと判定した場合、検証順番nの検証対象ソースコード11を今回の検証の対象外にしたほうがよい旨の通知として、完了不可通知を、情報表示部503へ出力する。情報表示部503は、時間算出部505が出力する完了不可通知を入力し、表示装置300へ出力する。表示装置300は、情報表示部503が出力する完了不可通知を入力して表示する。
検証実施者は、表示装置300に表示された、検証順番nの検証対象ソースコード11の完了不可通知を確認する。検証実施者は、必要に応じて検証順番nの検証対象ソースコード11を検証対象から外す命令か、検証対象から外さない命令(あるいは、検証対象について特に変更は行わない旨の命令)を入力装置400へ入力する。検証順番nの検証対象ソースコード11を検証対象から外す命令が入力された場合、ステップB13へ進む。検証順番nの検証対象ソースコード11を検証対象から外さない命令(あるいは、検証対象について特に変更は行わない旨の命令)が入力された場合、次の検証順番に位置する検証対象ソースコード11の処理に移るため、ステップB05へ戻る。
検証実施者が、検証順番nの検証対象ソースコード11を検証対象から外す命令(以下、削除命令)を、入力装置400へ入力した場合、入力装置400は、検証順番nの検証対象ソースコード11の削除命令を検知し、入力受付部504へ検証順番nの検証対象ソースコード11の削除命令を出力する。入力受付部504は、入力装置400が出力する検証順番nの検証対象ソースコード11の削除命令を入力し、時間算出部504へ検証順番nの検証対象ソースコード11の削除命令を出力する。時間算出部504は、入力受付部504が出力する検証順番nの検証対象ソースコード11の削除命令を入力する。時間算出部504は、管理データベース508から「一覧リスト4」を読み込む。時間算出部504は、「一覧リスト4」から検証順番nの検証対象ソースコード11を削除する。時間算出部504は、検証順番nの検証対象ソースコード11を削除した「一覧リスト4」を管理データベース508に保存する。これにより、管理データベース508上の「一覧リスト4」は、検証順番nの検証対象ソースコード11が削除された状態で更新される。時間算出部504は、検証順番nの検証対象ソースコード11を「一覧リスト4」が削除されたことにより、検証対象ソースコード11の総数が変化するので、再度検証予定時間を算出するために、ステップB02に戻る。
時間算出部505は、検証順番に沿って全ての検証対象ソースコード11に対してステップB05からステップB013を繰り返す。ステップB05において、処理対象となる検証対象ソースコード11が無くなった時点で、全ての検証対象ソースコード11への処理が完了したことを意味する。これによって、最終的に検証対象となる検証対象ソースコード11の総数と、検証対象ソースコード11の検証順番と、検証対象ソースコード11毎の検証予定時間が確定する。時間算出部505は、最終的に確定した、検証対象ソースコード11と、検証対象ソースコード11の検証順番と、検証対象ソースコード11毎の検証予定時間を記載した「一覧リスト5」を、管理データベース508に保存する。
検証実施者は、入力装置400へ、検証対象ソースコード11の検証実行命令を入力する。入力装置400は、検証実行命令の入力を検知し、入力受付部504へ検証実行命令を出力する。入力受付部504は、入力装置400が出力する検証実行命令を入力し、実行命令部506へ検証実行命令を出力する。
実行命令部506は、入力受付部504が出力する検証実行命令を入力する。実行命令部506は、管理データベース508から「一覧リスト5」を読み込む。実行命令部506は、検証順番n=n+1(初期状態では、n=0)として、処理対象となる検証対象ソースコード11が「一覧リスト5」に存在するかを判定する。実行命令部506は、処理対象となる検証順番nに位置する検証対象ソースコード11が、「一覧リスト5」に存在する場合には、ソースコード管理装置100から検証順番nに位置する検証対象ソースコード11を読み込む。実行命令部506は、検証順番nに位置する検証対象ソースコード11の検証を、「一覧リスト5」に記録されている検証予定時間内で実行するように検証実行部201へ命令し、ステップC03へ進む。実行命令部506は、次の検証順番nに位置する検証対象ソースコード11が存在しない場合、検証は完了となるため、ステップC11へ進む。
検証実行部201は、実行命令部506の命令に基づいて、検証順番nの検証対象ソースコード11に検証を、検証順番nの該検証対象ソースコード11に割付けられた検証予定時間内で実行する。検証実行部201は、検証順番nの検証対象ソースコード11の検証を開始してからの経過時間が、検証順番nの該検証対象ソースコード11に割付けられた検証予定時間に到達した時点で、検証を打ち切って終了する。
検証実行部201は、検証順番nの検証対象ソースコード11の検証が完了すると(あるいは検証予定時間に到達して検証を打ち切って終了すると)、検証順番nの検証対象ソースコード11の検証結果20を作成する。検証実行部201は、結果受取部507へ、作成した検証順番nの検証対象ソースコード11の検証結果20を出力する。
結果受取部507は、検証実行装置200が出力する検証順番nの検証対象ソースコード11の検証結果20を入力する。結果受取部507は、「一覧リスト5」を読み込む。結果受取部507は、検証順番nの検証対象ソースコード11の検証結果20に記録された検証に要した検証所要時間と、「一覧リスト5」に記録された当該検証対象ソースコード11に割付けられた検証予定時間とを比較する。結果受取部507は、比較の結果、検証所要時間が検証予定時間より短い場合には、余りとなった検証予定時間の再割付け処理のために、ステップC06へ進む。結果受取部507は、それ以外の場合は、検証結果20を記録するため、ステップC09へ進む。
結果受取部507は、検証順番nの検証対象ソースコード11の検証結果20に記録された検証に要した検証所要時間が、「一覧リスト5」に記録された当該検証対象ソースコード11に割付けられた検証予定時間より短い場合、検証予定時間と検証所要時間との差分を算出する。検証予定時間と検証所要時間との差分は、検証順番nの検証対象ソースコード11に割り付けられた検証予定時間の余りである余剰検証予定時間を表す。結果受取部507は、「一覧リスト5」に記録された検証対象ソースコード11のうち、検証順番nの検証対象ソースコード11よりも検証順番が後ろに位置し、これから検証を実行する検証対象ソースコード11である未実行検証対象ソースコード12の数を算出する。結果受取部507は、余剰検証予定時間を、未実行検証対象ソースコード12の数で除算して、再割り付け用の余剰検証予定時間を算出する。
結果受取部507は、再割り付け用の余剰検証予定時間を、未実行検証対象ソースコード12毎に、現在「一覧リスト5」に記録されている未実行検証対象ソースコード12の検証予定時間に加算して割り付ける。
結果受取部507は、検証予定時間を再割り付けた後の「一覧リスト5」を管理データベース508に保存する。
結果受取部507は、検証順番nの検証対象ソースコード11の検証結果を管理データベース508保存する。
結果受取部507は、実行命令部506へ検証順番nの検証対象ソースコード11の検証完了通知を出力する。実行命令部506は、結果受取部507が出力する検証順番nの検証対象ソースコード11の検証完了通知を入力する。実行命令部506は、次の検証順番に位置する検証対象ソースコード11の処理に移るため、ステップC02へ戻る。
実行命令部506は、全ての検証対象ソースコード11の検証が完了すると検証完了する。
本発明により、全ての検証対象ソースコード11に対する検証を、定められた検証制限時間を超えることなく、限られた検証制限時間を効率的に利用しながら検証を実行することが可能となるのである。
2 記憶部
3 入力情報受付部
4 出力部
5 通信部
10 ソースコード
11 検証対象ソースコード
12 未実行検証対象ソースコード
13 更新状態情報
20 検証結果
50 検証結果
51 検証対象ソースコード
100 ソースコード管理装置
101 ソースコード管理データベース
200 検証実行装置
201 検証実行部
300 表示装置
400 入力装置
500 検証完了装置
501 選択部
502 順番決定部
503 入力情報受付部
504 情報表示部
505 時間算出部
506 実行命令部
507 結果受取部
508 管理データベース
Claims (25)
- 検証の対象である複数のソースコードの検証順番を決定する順番決定部と、
前記複数のソースコードの各々に対して前記検証の実行にかける検証予定時間を割り付ける時間算出部と、
前記検証順番に基づいて、前記複数のソースコードのうちから一つの選択ソースコードを順に選択し、当該選択ソースコードに割り付けられた前記検証予定時間内で前記検証を実行する検証実行部と、
前記選択ソースコードの前記検証が完了する毎に、当該選択ソースコードの前記検証に要した検証所要時間が当該選択ソースコードに割り付けられた前記検証予定時間より短い場合には、残った余剰検証予定時間を、前記複数のソースコードのうちで当該選択ソースコードの前記検証順番より後で検証されるべき未実行ソースコードの各々に再割付けして、前記未実行ソースコードの各々の前記検証予定時間を増加させる結果受取部と
を備える
検証管理装置。 - 請求項1に記載の検証管理装置であって、
前記結果受取部は、前記選択ソースコードの前記検証が完了する毎に、当該選択ソースコードの前記検証予定時間から前記検証所要時間を減算して前記余剰検証予定時間を算出し、前記余剰検証予定時間を前記未実行ソースコードの総数で除算した時間を、前記未実行ソースコードの各々の前記検証予定時間に加算することによって再割付けする
検証管理装置。 - 請求項1または請求項2に記載の検証管理装置であって、
前記順番決定部は、前記複数のソースコードの各々の前記検証所要時間が短いと想定する順に前記検証順番を決定する
検証管理装置。 - 請求項1から請求項3までのいずれかに記載の検証管理装置であって、
前記検証実行部は、前記選択ソースコードの前記検証が当該選択ソースコードに割り付けられた前記検証予定時間内に完了しない場合には、当該選択ソースコードの前記検証の開始からの経過時間が当該選択ソースコードに割り付けられた前記検証予定時間に到達した時点で前記検証を終了する
検証管理装置。 - 請求項1から請求項4までのいずれかに記載の検証管理装置であって、
前記時間算出部は、前記複数のソースコードの全てに対して前記検証を実行するための検証制限時間の範囲内で、前記複数のソースコードの各々に前記検証予定時間を割り付ける
検証管理装置。 - 請求項5に記載の検証管理装置であって、
前記時間算出部は、前記検証制限時間を前記複数のソースコードの総数で除算することにより前記検証予定時間を算出して、前記複数のソースコードの各々に割り付ける
検証管理装置。 - 請求項1から請求項6までのいずれかに記載の検証管理装置であって、
前記検証実行部は、前記選択ソースコードの前記検証を完了する毎に、当該選択ソースコードの前記検証所要時間と、当該選択ソースコードに割り付けられた前記検証予定時間内に前記検証が完了しなかったために前記検証を終了した場合には、前記検証において実行することができなかった検証項目の数である未完了検証項目数と、を記録した検証結果を出力し、
前記結果受取部は、前記検証結果に記録された前記検証所要時間に基づいて前記余剰検証予定時間を算出する
検証管理装置。 - 請求項7に記載の検証管理装置であって、
前記検証順番と、前記検証予定時間と、前記検証結果とを、それぞれ前記複数のソースコードの各々に対応させて保存する管理データベース
をさらに備える
検証管理装置。 - 請求項8に記載の検証管理装置であって、
前記順番決定部は、前記複数のソースコードのうち、前記管理データベースに保存された前記検証結果に前記未完了検証項目が存在しないソースコードについて、前記管理データベースに保存された前記検証結果に記録されている前記検証所要時間の短いものから順に前記検証を実行するように、前記検証順番における前記未完了検証項目が存在しないソースコードの検証順番を決定する
検証管理装置。 - 請求項8または請求項9に記載の検証管理装置であって、
前記順番決定部は、前記複数のソースコードのうち、前記管理データベースに保存された前記検証結果に前記未完了検証項目が存在するソースコードについて、前記管理データベースに保存された前記検証結果に記録されている前記未完了検証項目の少ない順に前記検証を実行するように、前記検証順番における前記未完了検証項目が存在するソースコードの検証順番を決定し、
前記複数のソースコードに、前記検証結果に前記未完了検証項目が存在しないソースコードが含まれる場合には、前記未完了検証項目が存在しないソースコードの検証順番の後に、前記未完了検証項目が存在するソースコードの検証順番が配置されるように前記検証順番を決定する
検証管理装置。 - 請求項8から請求項10までのいずれかに記載の検証管理装置であって、
前記順番決定部は、前記複数のソースコードのうち、前記管理データベースに前記検証結果が存在しないソースコードについて、当該ソースコードの規模が小さい順に前記検証を実行するように、前記検証順番における前記検証結果が存在しないソースコードの検証順番を決定し、
前記複数のソースコードに、前記検証結果に前記未完了検証項目が存在するソースコードが含まれず、前記未完了検証項目が存在しないソースコードが含まれる場合には、前記未完了検証項目が存在しないソースコードの検証順番の後に、前記検証結果が存在しないソースコードの検証順番が配置されるように前記検証順番を決定し、
前記複数のソースコードに、前記検証結果に前記未完了検証項目が存在するソースコードが含まれる場合には、前記未完了検証項目が存在するソースコードの検証順番の後に、前記検証結果が存在しないソースコードの検証順番が配置されるように前記検証順番を決定する
検証管理装置。 - 請求項8から請求項11までのいずれかに記載の検証管理装置であって、
前記時間算出部は、前記複数のソースコードの各々に割り付けられた前記検証予定時間と、前記管理データベースに保存された前記複数のソースコードの各々に対応する前記検証結果に基づいて、前記複数のソースコードのうち、各々に割り付けられた前記検証予定時間では前記検証が完了しないと判定する完了不可ソースコードが存在する場合には、当該ソースコードは完了不可である旨の通知を出力する
検証管理装置。 - コンピュータにより実施される検証管理方法であって、
(a)検証の対象である複数のソースコードの検証順番を決定するステップと、
(b)前記複数のソースコードの各々に対して前記検証の実行にかける検証予定時間を割り付けるステップと、
(c)前記検証順番に基づいて、前記複数のソースコードのうちから一つの選択ソースコードを順に選択し、当該選択ソースコードに割り付けられた前記検証予定時間内で前記検証を実行するステップと、
(d)前記選択ソースコードの前記検証が完了する毎に、当該選択ソースコードの前記検証に要した検証所要時間が当該選択ソースコードに割り付けられた前記検証予定時間より短い場合には、残った余剰検証予定時間を、前記複数のソースコードのうちで当該選択ソースコードの前記検証順番より後で検証されるべき未実行ソースコードの各々に再割付けして、前記未実行ソースコードの各々の前記検証予定時間を増加させるステップと
を備える
検証管理方法。 - 請求項13に記載の検証管理方法であって、
前記ステップ(d)は、
前記選択ソースコードの前記検証が完了する毎に、当該選択ソースコードの前記検証予定時間から前記検証所要時間を減算して前記余剰検証予定時間を算出するステップと、
前記余剰検証予定時間を前記未実行ソースコードの総数で除算した時間を、前記未実行ソースコードの各々の前記検証予定時間に加算することによって再割付けするステップと
を含む
検証管理方法。 - 請求項13または請求項14に記載の検証管理方法であって、
前記ステップ(a)は、
前記検証順番を、前記複数のソースコードの各々の前記検証所要時間が短いと想定される順に決定するステップ
を含む
検証管理方法。 - 請求項13から請求項15までのいずれかに記載の検証管理方法であって、
前記ステップ(c)は、
前記選択ソースコードの前記検証が当該選択ソースコードに割り付けられた前記検証予定時間内に完了しない場合には、当該選択ソースコードの前記検証の開始からの経過時間が当該選択ソースコードに割り付けられた前記検証予定時間に到達した時点で前記検証を終了するステップ
を含む
検証管理方法。 - 請求項13から請求項16までのいずれかに記載の検証管理方法であって、
前記ステップ(b)は、
前記複数のソースコードの全てに対して前記検証を実行するための検証制限時間の範囲内で前記複数のソースコードの各々に前記検証予定時間を割り付けるステップ
を含む
検証管理方法。 - 請求項17に記載の検証管理方法であって、
検証制限時間の範囲内で前記複数のソースコードの各々に前記検証予定時間を割り付けるステップは、
前記検証制限時間を前記複数のソースコードの総数で除算することにより前記検証予定時間を算出して、前記複数のソースコードの各々に割り付けるステップ
を含む
検証管理方法。 - 請求項13から請求項18までのいずれかに記載の検証管理方法であって、
前記ステップ(c)は、
前記検証実行部は、前記選択ソースコードの前記検証を完了する毎に、当該選択ソースコードの前記検証所要時間と、当該選択ソースコードに割り付けられた前記検証予定時間内に前記検証が完了しなかったために前記検証を終了した場合には、前記検証において実行することができなかった検証項目の数である未完了検証項目数と、を記録した検証結果を出力するステップと、
前記ステップ(d)は、
前記結果受取部は、前記検証結果に記録された前記検証所要時間に基づいて前記余剰検証予定時間を算出するステップと
をさらに備える
検証管理方法。 - 請求項19に記載の検証管理方法であって、
前記ステップ(c)は、
前記検証順番と、前記検証予定時間と、前記検証結果とを、それぞれ前記複数のソースコードの各々に対応させて管理データベースへ保存するステップ
をさらに備える
検証管理方法。 - 請求項20に記載の検証管理方法であって、
前記ステップ(a)は、
前記複数のソースコードのうち、前記管理データベースに保存された前記検証結果に前記未完了検証項目が存在しないソースコードについて、前記管理データベースに保存された前記検証結果に記録されている前記検証所要時間の短いものから順に前記検証を実行するように、前記検証順番における前記未完了検証項目が存在しないソースコードの検証順番を決定するステップ
を含む
検証管理方法。 - 請求項20または請求項21に記載の検証管理方法であって、
前記ステップ(a)は、
前記複数のソースコードのうち、前記管理データベースに保存された前記検証結果に前記未完了検証項目が存在するソースコードについて、前記管理データベースに保存された前記検証結果に記録されている前記未完了検証項目の少ない順に前記検証を実行するように、前記検証順番における前記未完了検証項目が存在するソースコードの検証順番を決定するステップと、
前記複数のソースコードに、前記検証結果に前記未完了検証項目が存在しないソースコードが含まれる場合には、前記未完了検証項目が存在しないソースコードの検証順番の後に、前記未完了検証項目が存在するソースコードの検証順番が配置されるように前記検証順番を決定するステップと
を含む
検証管理方法。 - 請求項20から請求項22までのいずれかに記載の検証管理方法であって、
前記ステップ(a)は、
前記複数のソースコードのうち、前記管理データベースに前記検証結果が存在しないソースコードについて、当該ソースコードの規模が小さい順に前記検証を実行するように、前記検証順番における前記検証結果が存在しないソースコードの検証順番を決定するステップと、
前記複数のソースコードに、前記検証結果に前記未完了検証項目が存在するソースコードが含まれず、前記未完了検証項目が存在しないソースコードが含まれる場合には、前記未完了検証項目が存在しないソースコードの検証順番の後に、前記検証結果が存在しないソースコードの検証順番が配置されるように前記検証順番を決定するステップと、
前記複数のソースコードに、前記検証結果に前記未完了検証項目が存在するソースコードが含まれる場合には、前記未完了検証項目が存在するソースコードの検証順番の後に、前記検証結果が存在しないソースコードの検証順番が配置されるように前記検証順番を決定するステップと
を含む
検証管理方法。 - 請求項13から請求項23までのいずれかに記載の検証管理方法であって、
前記ステップ(b)は、
前記複数のソースコードの各々に割り付けられた前記検証予定時間と、前記管理データベースに保存された前記複数のソースコードの各々に対応する前記検証結果に基づいて、前記複数のソースコードのうち、各々に割り付けられた前記検証予定時間では前記検証が完了しないと判定する完了不可ソースコードが存在する場合には、当該ソースコードは完了不可である旨の通知を出力するステップ
をさらに備える
検証管理方法。 - 請求項13から請求項24までのいずれかに記載された検証管理方法をコンピュータに実行させるためのプログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007286727A JP5046109B2 (ja) | 2007-11-02 | 2007-11-02 | ソースコード検証管理装置、方法、及びプログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007286727A JP5046109B2 (ja) | 2007-11-02 | 2007-11-02 | ソースコード検証管理装置、方法、及びプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2009116477A JP2009116477A (ja) | 2009-05-28 |
JP5046109B2 true JP5046109B2 (ja) | 2012-10-10 |
Family
ID=40783582
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2007286727A Expired - Fee Related JP5046109B2 (ja) | 2007-11-02 | 2007-11-02 | ソースコード検証管理装置、方法、及びプログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5046109B2 (ja) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109446056B (zh) * | 2018-09-11 | 2023-03-21 | 平安科技(深圳)有限公司 | 代码验证方法、装置、电子设备及介质 |
Family Cites Families (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH05265805A (ja) * | 1992-03-23 | 1993-10-15 | Nec Corp | プログラム検査装置 |
JPH08212108A (ja) * | 1995-02-08 | 1996-08-20 | Kokusai Electric Co Ltd | ソフトウェアのテスト方法及び装置 |
JPH11259280A (ja) * | 1998-03-13 | 1999-09-24 | Matsushita Electric Ind Co Ltd | プログラム開発支援装置及びコンピュータシステムに適用されるプログラムを記録した記録媒体 |
JP3623697B2 (ja) * | 1999-07-29 | 2005-02-23 | 富士通株式会社 | ディスク・タイムシェアリング装置及び方法 |
JP2001338008A (ja) * | 2000-05-26 | 2001-12-07 | Nec Microsystems Ltd | 論理等価検証方法及びその方法を実施する装置 |
US7711525B2 (en) * | 2002-05-30 | 2010-05-04 | Nec Corporation | Efficient approaches for bounded model checking |
JP4217174B2 (ja) * | 2004-02-13 | 2009-01-28 | パナソニック株式会社 | 動画符号化装置および動画符号化方法 |
JP2006163519A (ja) * | 2004-12-02 | 2006-06-22 | Sharp Corp | 試験選択方法および試験選択装置 |
-
2007
- 2007-11-02 JP JP2007286727A patent/JP5046109B2/ja not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JP2009116477A (ja) | 2009-05-28 |
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 | |
US20120137291A1 (en) | Placing a virtual machine on a target hypervisor | |
CN111381970B (zh) | 集群任务的资源分配方法及装置、计算机装置及存储介质 | |
US8869149B2 (en) | Concurrency identification for processing of multistage workflows | |
US20180260433A1 (en) | Information processing apparatus and control method for information processing apparatus | |
JP6666555B2 (ja) | 情報処理装置、ジョブ投入方法、およびジョブ投入プログラム | |
CN113052696A (zh) | 金融业务任务处理方法、装置、计算机设备和存储介质 | |
US20200143369A1 (en) | Device for contracting smart contract and method thereof | |
US20170364352A1 (en) | Release cycle optimization based on significant features values simulation | |
JP6102477B2 (ja) | スケジュール管理プログラム、スケジュール管理方法、及びスケジュール管理装置 | |
CN113204376A (zh) | 文件解析方法、装置、计算机设备以及存储介质 | |
JP5046109B2 (ja) | ソースコード検証管理装置、方法、及びプログラム | |
JP2011257947A (ja) | テスト計画作成方法、テスト計画作成装置、およびテスト計画作成プログラム | |
US20200402008A1 (en) | System and Method for Electronic Mail Approval Paths | |
CN111639025A (zh) | 一种软件测试方法、装置、电子设备及存储介质 | |
US20080103752A1 (en) | Apparatus, method, and program for conversion of application program | |
US20110296442A1 (en) | Generating a web service | |
JP2007179446A (ja) | 情報処理装置及びその制御方法、並びにプログラム | |
JP2017151594A (ja) | 支援装置、支援方法及びプログラム | |
JP6753521B2 (ja) | 計算資源管理装置、計算資源管理方法、及びプログラム | |
CN109189370B (zh) | 软件组件的生成方法、装置、设备及计算机可读存储介质 | |
JP2009506396A (ja) | スケジューリング装置、スケジューリング方法及び記録媒体 | |
JP7487135B2 (ja) | 工数算出支援装置及び工数算出支援方法 |
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 |