JP2022178544A - プログラム修正装置、プログラム修正方法、及びプログラム修正プログラム - Google Patents

Abstract

【課題】プログラムの構成に応じて効率的なプログラム修正を行うプログラム修正装置、プログラム修正方法及びプログラム修正プログラムを提供する。
【解決手段】プログラム修正装置１は、検証対象プログラムの各構成要素の情報と、各構成要素を検証する各テストプログラムの情報とを対応づけた情報である構成要素情報を記憶する情報記憶部２６０と、各テストプログラムを実行することにより検証対象プログラムの不具合箇所を推定する不具合箇所推定部２２０と、推定した各不具合箇所に係る、検証対象プログラムの各構成要素を構成要素情報により特定し、特定した各構成要素間の関係に基づき、各構成要素の修正順位を決定する実行優先度決定部２４０と、決定した修正順位に従って、検証対象プログラムの各構成要素を、各構成要素に対応した修正プログラムにより修正する自動修正実行制御部２５０と、を備える。
【選択図】図１

Description

本発明は、プログラム修正装置、プログラム修正方法、及びプログラム修正プログラムに関する。

ソフトウェアに含まれる不具合（バグ）を特定し修正する技術として、Automated Program Repair（ＡＰＲ）が提案されている。ＡＰＲは、例えば、「不具合箇所の特定」及び「パッチの生成」の２つのフェーズで構成される。具体的には、所定の不具合箇所検出プログラムにより、修正対象のソフトウェアにおける不具合箇所を特定した後、その不具合箇所に関する部分を書き換えることでソフトウェアを修正することが可能な修正プログラム（パッチ候補）を複数作成する。そして、作成した各パッチ候補の検証を行うことで、最適なパッチ候補（パッチ案）を特定する。このパッチ案を修正対象のソフトウェアに適用することで、バグが修復される。

ＡＰＲに関連する技術として、例えば特許文献１には、テストスイートを用いてソフトウェアプログラム内の障害位置を特定し、機械学習を用いて、障害位置で可能な修復処理を実行することの潜在的な有効性を指し示す修復有効性インジケーションを決定し、修復有効性インジケーションに基づいて、障害位置で修復を行うことを優先順位付け、障害位置の優先順位付けに基づいて、ソフトウェアプログラムに対する修復処理を実行することが記載されている。

特開２０１７－１０２９１２号公報

このように、特許文献１は、ソフトウェアにおけるバグの箇所の修復の有効性を機械学習によって判定するものであり、この有効性は、ソフトウェアにおける個々の修復処理の実行結果に基づき判定されるものである。しかしながら、このような手法では効率良くバグの修復ができなくなるおそれがある。例えば、ソフトウェアの構成要素間に一定の依存関係があり、バグがバグを誘発するような状況があるような場合は、修復処理の順序によっては根本的なバグ修復に容易に到達しないことがある。また、修復を優先すべき箇所とそれ以外の箇所との区別がつけられず、ソフトウェア開発の実態に沿ったバグ修復が行えないおそれもある。

本発明はこのような事情に鑑みてなされたもので、その目的は、プログラムの構成に応じて効率的なプログラム修正を行うことが可能な、プログラム修正装置、プログラム修正方法、及びプログラム修正プログラムを提供することにある。

上記課題を解決するための本発明の一つは、プロセッサ及びメモリを有し、検証対象プログラムの各構成要素の情報と、前記各構成要素を検証する各テストプログラムの情報とを対応づけた情報である構成要素情報を記憶する情報記憶部と、前記各テストプログラムを実行することにより前記検証対象プログラムの不具合箇所を推定する不具合箇所推定部と、前記推定した各不具合箇所に係る、前記検証対象プログラムの各構成要素を前記構成
要素情報により特定し、特定した各構成要素間の関係に基づき、前記各構成要素の修正順位を決定する実行優先度決定部と、前記決定した修正順位に従って、前記検証対象プログラムの各構成要素を、当該各構成要素に対応した修正プログラムにより修正する自動修正実行制御部と、を備える、プログラム修正装置、とする。

また、上記課題を解決するための本発明の一つは、情報処理装置が、検証対象プログラムの各構成要素の情報と、前記各構成要素を検証する各テストプログラムの情報とを対応づけた情報である構成要素情報を記憶する構成情報記憶処理と、複数の前記テストプログラムを実行することにより前記検証対象プログラムの不具合箇所を推定する不具合箇所推定処理と、前記推定した各不具合箇所に係る、前記検証対象プログラムの各構成要素を前記構成要素情報により特定し、特定した各構成要素間の関係に基づき、前記各構成要素の修正順位を決定する実行優先度決定処理と、前記決定した修正順位に従って、前記検証対象プログラムの各構成要素を、当該各構成要素に対応した修正プログラムにより修正する自動修正実行制御処理と、を実行する、プログラム修正方法、とする。

また、上記課題を解決するための本発明の一つは、情報処理装置に、検証対象プログラムの各構成要素の情報と、前記各構成要素を検証する各テストプログラムの情報とを対応づけた情報である構成要素情報を記憶する構成情報記憶処理と、複数の前記テストプログラムを実行することにより前記検証対象プログラムの不具合箇所を推定する不具合箇所推定処理と、前記推定した各不具合箇所に係る、前記検証対象プログラムの各構成要素を前記構成要素情報により特定し、特定した各構成要素間の関係に基づき、前記各構成要素の修正順位を決定する実行優先度決定処理と、前記決定した修正順位に従って、前記検証対象プログラムの各構成要素を、当該各構成要素に対応した修正プログラムにより修正する自動修正実行制御処理と、を実行させる、プログラム修正プログラム、とする。

本発明によれば、プログラムの構成に応じて効率的なプログラム修正を行うことができる。

上記した以外の課題、構成及び効果は、以下の実施形態の説明により明らかにされる。

実施例１に係るプログラム修正装置が備える機能の一例を説明する図である。 ソースファイル情報の一例を示す図である。 テストプログラム情報の一例を示す図である。 プログラム修正装置が備えるハードウェアの一例を説明する図である。 プログラム修正装置が行う処理であるプログラム修正処理の一例を説明するフロー図である。 テスト結果情報の一例を示す図である。 不具合特定情報の一例を示す図である。 実行優先度情報の一例を示す図である。 修正履歴情報の一例を示す図である。 修正結果情報の一例を示す図である。 実行優先度決定処理の詳細を説明するフロー図である。 実施例２に係るプログラム修正処理の一例を説明する図である。

以下、本実施形態に係るプログラム修正装置１について説明する。
本実施形態のプログラム修正装置１は、不具合（バグ）を含む可能性のあるプログラム
（例えば、所定言語で記述されたソースコード。以下、検証対象プログラムという。）を修正する情報処理装置である。

具体的には、このプログラム修正装置１は、検証対象プログラムにおける不具合箇所を、所定のテストプログラムを実行することで推定し、推定した各不具合箇所を修正する修正プログラム（以下、パッチ又はパッチ候補という）を複数生成する。そして、プログラム修正装置１は、各修正プログラムを実行することにより修正された各検証対象プログラムに対して、再びテストプログラムを実行することで、最も適切に不具合箇所を修正した修正プログラムを特定し、特定した修正プログラムをパッチ案としてユーザに提示する。なお、プログラム修正装置１は、例えば修正された検証対象プログラムを再びテストプログラムに対して実行した場合において、そのテスト結果に変更がない場合又はより多くのテストケースに失敗する場合等、修正結果として適切でない場合には、修正失敗をユーザに提示してもよい。

この際、プログラム修正装置１は、検証対象プログラムにおける各不具合箇所間に係る構成要素の依存関係等に基づいて、各修正プログラムの実行順序を決定し、決定した実行順序に基づいて検証対象プログラムを修正する。これにより、検証対象プログラムに存在する不具合箇所を効率良くかつ確実に解消することができる。なお、構成要素とは、例えば、プログラムのパッケージ、クラス、メソッドである。

－実施例１－
以下、実施例１に係るプログラム修正装置１について説明する。

図１は、実施例１に係るプログラム修正装置１が備える機能の一例を説明する図である。プログラム修正装置１は、情報記憶部２６０、テスト実行部２１０、不具合箇所推定部２２０、パッチ候補生成部１０１０、パッチ検証部１０２０、プログラム修正部２３０、実行優先度決定部２４０、自動修正実行制御部２５０、及び情報記憶部２７０の各機能部を備える。

情報記憶部２６０は、ソースファイル情報２６１、テストプログラム情報２６２、テスト結果情報２６３、パッチ候補情報１００１、不具合特定情報２６４、実行優先度情報２６５、及び修正履歴情報２６６、及び修正結果情報２６７の各情報を記憶する。

（ソースファイル情報）
図２は、ソースファイル情報２６１の一例を示す図である。ソースファイル情報２６１は、１又は複数のソースファイル３２０（検証対象プログラム）の情報を含む。各ソースファイル３２０には、その名称及び記憶場所３１０（ファイル名及びフォルダ等）が対応づけられて記憶されている。

（テストプログラム情報）
図３は、テストプログラム情報２６２の一例を示す図である。テストプログラム情報２６２は、１又は複数のテストファイル４２０（以下、テストプログラム又はテストケース群という）の集合であるテストクラスの情報である。各テストファイル４２０には、その名称及び記憶場所４１０（ファイル名及びフォルダ等）が対応づけて記憶されている。

各テストファイル４２０は、対応する構成要素（検証対象プログラムの構成要素）に不具合があるか否かを判定する。具体的には、テストファイル４２０は、１又は複数のテスト部４２１（テストケース）を有する。各テスト部４２１は、対応する構成要素に対する様々な入力値（例えば、変数又は定数）を指定して検証対象プログラムを実行する呼び出し部４２２と、呼び出し部４２２に基づく検証対象プログラムの実行結果と、予め指定し
た期待結果とが一致するか否かを判定する判定部４２３とを含む。

なお、構成要素は、例えば、検証対象プログラムの各パッケージ、パッケージを構成するクラス、クラスを構成するメソッド、メソッド内の各処理単位（パス）である。構成要素間には、例えば、ある構成要素が他の構成要素に依存するといった依存関係（処理の呼び出し、変数の参照等）が存在する場合がある。本実施形態では、プログラム修正装置１は、このような検証対象プログラムの構成要素間の関係を、構成要素情報として記憶しているものとする。ここで、プログラム修正装置１は、構成要素情報を、例えば、ソースファイル情報内の解析結果や設計情報から事前に生成する、又はテストプログラムの実行結果から生成してもよい。

判定部４２３は、「不具合なし」（実行結果と正解値が一致した場合）又は「不具合あり」（実行結果と正解値が一致しなかった場合）のいずれかを出力する。

次に、図１に示すテスト結果情報２６３は、検証対象プログラムの各構成要素の情報と、各構成要素の不具合を特定する各テストプログラムの情報と、各テストプログラムの実行結果（「不具合あり」又は「不具合なし」）とをそれぞれ対応づけて記憶する。

パッチ候補情報１００１は、修正プログラム（パッチ候補）の情報である。

不具合箇所候補情報２６４は、テストプログラムの実行結果に基づき推定された、検証対象プログラムの不具合箇所に関する情報である。

実行優先度情報２６５は、修正プログラム（パッチ）により修正する各構成要素の、修正順位に関する情報である。

修正履歴情報２６６は、修正プログラムによる修正の履歴の情報である。履歴の情報は、例えば、各修正プログラムの適用時刻、各修正プログラムによる構成要素の修正の成否の履歴等の情報である。

また、情報記憶部２７０は、テストプログラムの実行時間の情報を前記各構成要素ごとに記憶する。

修正結果情報２６７は、上記修正順位に基づき修正された検証対象プログラムの情報である。

テスト結果情報２６３、不具合箇所候補情報２６４、実行優先度情報２６５、修正履歴情報２６６、及び修正結果情報２６７の詳細は後述する。

次に、テスト実行部２１０は、検証対象プログラムに対して、テストプログラムを実行する。

不具合箇所推定部２２０は、テストプログラムを実行することにより検証対象プログラムの不具合箇所を推定する。

パッチ候補生成部１０１０は、検証対象プログラムの構成要素の不具合箇所を修正する修正プログラム（パッチ候補）を生成する。この際、パッチ候補生成部１０１０は、後述する構成要素の修正順位に従ってパッチ候補を生成する。

パッチ検証部１０２０は、パッチ候補生成部１０１０が生成した各パッチ候補を検証対
象プログラムに適用した場合（実行した場合）の有効性（修正成功又は修正失敗）を検証する。パッチ検証部１０２０は、パッチ候補のうち有効性のあるパッチ候補をパッチ案として特定する。

プログラム修正部２３０は、パッチ案を検証対象プログラムに適用する（実行する）ことで、修正された検証対象プログラムを生成する。

実行優先度決定部２４０は、不具合箇所推定部２２０が推定した各不具合箇所に係る、検証対象プログラムの各構成要素を構成要素情報により特定し、特定した各構成要素間の関係に基づき、前記各構成要素の修正順位を決定する。

例えば、実行優先度決定部２４０は、不具合箇所推定部２２０が特定した各構成要素の間に処理上の依存関係があるか否かを判定し、処理上の依存関係があると判定した場合に、その処理上の依存関係に基づいて、各構成要素の間に異なる修正順位を設定する。

自動修正実行制御部２５０は、実行優先度決定部２４０が決定した修正順位に従って、検証対象プログラムの各構成要素を、当該各構成要素に対応した修正プログラムにより修正する。

ここで、図４は、プログラム修正装置１が備えるハードウェアの一例を説明する図である。プログラム修正装置１は、ＣＰＵ（Central Processing Unit）などのプロセッサ１
１０と、ＲＡＭ（Random Access Memory）、ＲＯＭ（Read Only Memory）等の主記憶装置１２０と、ＨＤＤ（Hard Disk Drive）、ＳＳＤ（Solid State Drive）等の補助記憶装置１３０と、キーボード、マウス、タッチパネル等の入力装置１４０と、モニタ（ディスプレイ）等の出力装置１５０と、他の情報処理装置とデータ通信を行う、無線ネットワークインターフェース又はネットワークインターフェースカード等の通信装置１６０とを備える。

プログラム修正装置１の機能部は、プログラム修正装置１のプロセッサ１１０が、主記憶装置１２０又は補助記憶装置１３０に記憶されているプログラムを実行することによって実現される。これらのプログラムは、例えば、二次記憶デバイスや不揮発性半導体メモリ、ハードディスクドライブ、ＳＳＤなどの記憶デバイス、又は、ＩＣカード、ＳＤカード、ＤＶＤなどの、各ノードで読み取り可能な非一時的データ記憶媒体に格納されてもよい。
次に、プログラム修正装置１が行う処理について説明する。

図５は、プログラム修正装置１が行う処理であるプログラム修正処理の一例を説明するフロー図である。プログラム修正処理は、例えば、プログラム修正装置１に、ユーザから検証対象プログラムの指定の入力があった場合若しくはソースファイル情報の更新があった場合に、又は定期的なタスクとして開始される。

まず、テスト実行部２１０は、指定された検証対象プログラムを読み込む（ｓ８０１）。そして、テスト実行部２１０は、テストプログラム情報２６２から各テストファイル４２０（テストプログラム）を取得し、取得した各テストプログラムを実行する（ｓ８０２）。

不具合箇所推定部２２０は、各テストプログラムの実行結果をテスト結果情報２６３に記憶する（ｓ８０３）。また、不具合箇所推定部２２０は、各テストプログラムの実行内容に基づき、検証対象プログラム内の各構成要素における不具合箇所を推定し、その結果を不具合特定情報２６４に記憶する（ｓ８０３）。

具体的には、例えば、不具合箇所推定部２２０は、各テストプログラムの実行が成功又は失敗したかを示す情報をテスト結果情報２６３に設定する。また不具合箇所推定部２２０は、例えばSpectrum-Based Fault Localization（ＳＢＦＬ）に基づき、テストプログ
ラムにより実行された検証対象プログラム内の各処理の実行経路を特定することで、検証対象プログラム内の各処理の疑惑値を算出し、不具合箇所を特定する。
ここで、テスト結果情報２６３及び不具合特定情報２６４の例を説明する。

（テスト結果情報）
図６は、テスト結果情報２６３の一例を示す図である。テスト結果情報２６３は、各テストプログラム（テストケース群）のテスト番号２６３１、テスト番号２６３１に係るテストプログラムにより不具合の有無が検証される構成要素である対応要素２６３２、テスト番号２６３１に係るテストプログラムによるテスト結果２６３３、及び、テスト番号２６３１に係るテストプログラムの実行時間であるテスト実行時間２６３４の各データ項目を有する。なお、対応要素２６３２は予め、例えば、検証対象プログラムに関する所定の設計情報に基づき設定される。

テスト結果２６３３には当初は情報は設定されず、上記のテスト番号２６３１に係るテストプログラムが実行されることにより情報が設定される。

同図の例では、「テストプログラム１」は、クラス「ＣＡ」内のメソッド「ｍ１」の不具合を検証する。また、「テストプログラム３」は、クラス「ＣＢ」内のメソッド「ｍ２」及びクラス「ＣＢ」内のメソッド「ｍ３」の不具合を検証する。また、「テストプログラム１」の実行は成功（○）し（不具合は存在せず）、「テストプログラム２」の実行は失敗（×）している（不具合が存在する）。なお、構成要素情報として、クラス「ＣＢ」内のメソッド「ｍ３」はクラス「ＣＢ」内のメソッド「ｍ２」に依存するという関係があるものとする。

(不具合特定情報)
図７は、不具合特定情報２６４の一例を示す図である。不具合特定情報２６４は、不具合箇所ごとに割り当てられた番号２６４１、及び、その不具合箇所を検出したテストプログラムである、１又は複数のテストケース群２６４２の各データ項目を有する。

このうちテストケース群２６４２は、不具合箇所２６４３及び疑惑値２６４４の各データ項目を有する。不具合箇所２６４３には、テストケース群２６４２に係るテストプログラムにより検出された不具合箇所の情報が設定される。疑惑値２６４４には、テストケース群２６４２に係るテストプログラムに基づき算出された、不具合箇所２６４３に係る疑惑値（不具合が存在する可能性の高さを示す情報）が設定される。

次に、図５のｓ８０４に示すように、実行優先度決定部２４０は、ｓ８０３で生成したテスト結果情報２６３及び不具合特定情報２６４に基づき、各構成要素の修正順位を決定する実行優先度決定処理を実行する。実行優先度決定処理ｓ８０４の詳細は後述する。

（実行優先度情報）
ここで、図８は、実行優先度決定処理により生成される実行優先度情報２６５の一例を示す図である。実行優先度情報２６５は、修正対象構成要素２６５１、優先度２６５２、及びＡＰＲ結果２６５３の各データ項目を有する。

修正対象構成要素２６５１には、検証対象プログラムの各構成要素の情報が設定される。

優先度２６５２には、修正対象構成要素２６５１に係る構成要素の修正順位が設定される。具体的には、優先度２６５２には、テスト結果情報２６３の各レコードのうちテスト結果２６３３が「×」であったレコードの対応要素２６３２に設定されている各構成要素の修正順位が設定される。

ＡＰＲ結果２６５３には、修正対象構成要素２６５１に係る構成要素に対する、パッチによる修正が成功したか否かを示す情報が設定される。

次に、図５に示すように自動修正実行制御部２５０は、以下に説明するｓ８０５～ｓ８０９の処理（修正順位を決定した構成要素の修正）を繰り返し行う。

まず、自動修正実行制御部２５０は、これまでに修正を行っていない構成要素のうち、修正順位が最も高い構成要素を特定する（ｓ８０４）。

具体的には、例えば、自動修正実行制御部２５０は、実行優先度情報２６５の各レコードを参照し、これまでに実施していない構成要素の修正（後述するｓ８０７）のうち最も高い修正順位に係るレコードの修正対象構成要素２６５１の内容を取得する。

自動修正実行制御部２５０は、ｓ８０４で特定した構成要素の不具合箇所を修正する修正プログラム（パッチ候補）を生成又は取得し、また、ｓ８０４で特定した構成要素の不具合の有無を検証するテストプログラムを取得する（ｓ８０５）。

なお、修正プログラム（パッチ候補）は、例えば、構成要素の不具合箇所に様々な変更（例えば、条件式等の各式の追加、変更若しくは削除、変数の追加、変更若しくは削除、又は関数の追加、変更若しくは削除等）を行うプログラムであり、１又は複数作成される。

自動修正実行制御部２５０は、ｓ８０５で取得した各修正プログラム（パッチ候補）を実行することで、ｓ８０４で特定した構成要素を修正した一時的な検証対象プログラムをそれぞれ生成する（ｓ８０７）。

そして、自動修正実行制御部２５０は、生成した各検証対象プログラムに対して、ｓ８０５で取得したテストプログラムを実行することで、各パッチ候補からパッチ案を特定する。具体的には、自動修正実行制御部２５０は、検証対象プログラムに対して実行した各パッチ候補のうち、当該検証対象プログラムに対するテストプログラムの実行結果が成功（不具合なし）であったパッチ候補を、パッチ案として特定する（ｓ８０７）。

なお、自動修正実行制御部２５０は、修正プログラム（パッチ候補）の実行結果を実行優先度情報２６５及び修正履歴情報２６６に記憶する。

具体的には、例えば、自動修正実行制御部２５０は、パッチ案を特定できた場合には、実行優先度情報２６５のＡＰＲ結果２６５３に「○」を設定し、パッチ案を特定できなかった場合には、実行優先度情報２６５のＡＰＲ結果２６５３に「×」を設定する。

（修正履歴情報）
図９は、修正履歴情報２６６の一例を示す図である。修正履歴情報２６６は、実行した修正プログラム（パッチ候補）の番号２６６１、そのパッチ候補により修正される修正対象構成要素２６６２、そのパッチ候補による修正がこれまでに成功した回数及び失敗した回数である修正成功失敗２６６３、及び、そのパッチ候補が適用された時刻の履歴である
修正適用時刻履歴２６６４の各データ項目を有する。

なお、修正履歴情報２６６には、パッチ候補だけでなく、生成したパッチ案に関する情報が設定されてもよい。例えば、パッチ案に基づき修正された検証対象プログラムが後に不具合を起こした場合に、その不具合を修正の失敗として修正履歴情報２６６に設定する。

次に、図５のｓ８０９に示すように、自動修正実行制御部２５０は、他に修正を行っていない構成要素があるか否かを判定する。

具体的には、例えば、自動修正実行制御部２５０は、実行優先度情報２６５の各レコードを参照し、優先度２６５２に情報が設定されており、かつ修正対象構成要素２６５１に係る構成要素の修正が実施されていないレコードがあるか否かを判定する。

他に修正を行っていない構成要素がある場合は（ｓ８０９：ＹＥＳ）、自動修正実行制御部２５０はその構成要素についてｓ８０５以下の処理を繰り返し、他に修正を行っていない構成要素がない場合は（ｓ８０９：ＮＯ）、プログラム修正処理は終了する（ｓ８１０）。

（修正結果情報）
図１０は、プログラム修正処理により修正された検証対象プログラムの情報である修正結果情報２６７の一例を示す図である。この修正結果情報２６７は、修正された１又は複数の検証対象プログラム９２０の情報を含み、検証対象プログラム９２０には、その名称及び記憶場所９１０（ファイル名及びフォルダ等）が対応づけられて記憶されている。
検証対象プログラム９２０には、例えば、修正プログラムにより新たな関数９２１が追加され、また一部の処理が削除される（符号９２２）。

次に、実行優先度決定処理の詳細を説明する。
＜実行優先度決定処理＞
図１１は、実行優先度決定処理の詳細を説明するフロー図である。
実行優先度決定部２４０は、テスト結果情報２６３の対応要素２６３２及び、構成要素情報を参照することで、互いに依存関係がある構成要素を特定し、特定した依存関係に応じて、その各構成要素の修正順位を決定する（ｓ８２１）。

具体的には、例えば、実行優先度決定部２４０は、あるメソッドが異なる１又は複数のメソッドを呼び出している（実行させている）という関係がある場合、呼び出しているメソッドの順位より、呼び出されているメソッドの順位を高くする。

また、例えば、実行優先度決定部２４０は、複数のメソッドのそれぞれが他の同一のメソッドを参照している場合、その参照されているメソッドの順位より、上記複数のメソッド（参照しているメソッド）の順位を高くする。

なお、実行優先度決定部２４０は、検証対象プログラムが互いに独立した実行経路（メソッド群）を有している場合は、テストプログラム情報２６２を、それぞれの実行経路に応じた複数のテストプログラム情報２６２に分割してもよい。

次に、実行優先度決定部２４０は、依存関係に基づき修正順位を設定した構成要素以外の構成要素について、それぞれの修正順位を決定する（ｓ８２２）。

例えば、実行優先度決定部２４０は、各構成要素に係る修正プログラムの過去の修正の
成功率又は修正の必要度に基づき、各構成要素の修正順位を決定する。

成功率については、例えば、実行優先度決定部２４０は、修正履歴情報２６６の各レコードのパッチ成功失敗２６６３に基づき、各構成要素のパッチ候補による修正の成功率を算出する。実行優先度決定部２４０は、成功率に応じて（例えば、成功率が低い又は高い順に）、各構成要素の修正順位を設定する。なお、成功率に基づく修正順位の設定方法はここで説明したものに限らず、例えば、成功率が所定の閾値より低い又は高い構成要素のみについて異なる修正順位を設定してもよい。

必要度については、例えば、実行優先度決定部２４０は、修正履歴情報２６６の各レコードのパッチ適用履歴２６６４に基づき、各構成要素の修正頻度を算出し、修正頻度が所定の閾値を超える構成要素とその周辺の構成要素（例えば、直前又は直後に実行される構成要素）を特定する。実行優先度決定部２４０は、特定した構成要素の修正順位を、それ以外の構成要素の修正順位より高くする。なお、修正頻度に基づく修正順位の設定方法はここで説明したものに限らず、例えば、修正頻度の高い順に各構成要素の修正順位を設定してもよい。

また、例えば、実行優先度決定部２４０は、各構成要素の修正に利用したパッチ候補の数に基づき、各構成要素の修正順位を決定する。

具体的には、実行優先度決定部２４０は、修正履歴情報２６６の各レコードのパッチ適用履歴２６６４に基づき、構成要素の修正のために適用されたパッチ候補の数を、構成要素ごとに算出する。実行優先度決定部２４０は、パッチ候補の数に応じて（例えば、パッチ候補の数が多い又は少ない順に）、対応する構成要素の修正順位を設定する。

また、例えば、実行優先度決定部２４０は、各構成要素の不具合箇所の特定のために実行したテストプログラムの実行時間に基づき、各構成要素の修正順位を決定する。

具体的には、実行優先度決定部２４０は、テスト結果情報２６３のテスト実行時間２６３４を参照することで、各構成要素に係るテストプログラムの実行時間を特定する。実行優先度決定部２４０は、実行時間の長さに応じて（例えば、実行時間が長い順に）、対応する構成要素の修正順位を設定する。

また、例えば、実行優先度決定部２４０は、各構成要素に対して予め設定した重要度に基づき（例えば、重要度が高い順に）、各構成要素の修正順位を決定する。

以上のように、本実施例のプログラム修正装置１は、検証対象プログラムの各構成要素と、各構成要素を検証する各テストプログラムとを対応づけた構成要素情報を記憶しておき、テストプログラムを実行することにより推定した検証対象プログラムの不具合箇所に対応した検証対象プログラムの構成要素を構成要素情報により特定し、特定した各構成要素間の関係に基づき各構成要素の修正順位を決定し、この修正順位に従って、検証対象プログラムの各構成要素をその対応する修正プログラムにより修正する。

すなわち、本実施例のプログラム修正装置１は、各不具合箇所の修正順位を検証対象プログラムの構成要素に応じて設定し、この修正順位に従って検証対象プログラムを修正する。これにより、プログラムの構成に応じて効率的なプログラム修正を行うことができる。

さらに、本実施例のプログラム修正装置１は、不具合箇所を特定した各構成要素の間に処理上の依存関係があるか否かを判定し、処理上の依存関係があると判定した場合に、こ
れに基づいて各構成要素の間に異なる修正順位を設定する。これにより、プログラム内の各モジュール間の依存関係に応じて効率的なプログラム修正を行うことができる。

具体的には、例えば、本実施例のプログラム修正装置１は、不具合箇所を特定した各構成要素のうち第１の構成要素が第２の構成要素を実行させているという依存関係がある場合には、第２の構成要素に係る修正順位を第１の構成要素に係る修正順位より高く設定する。これにより、あるモジュールと他のモジュールが呼び出しと被呼び出しの関係にあるような複雑な構成を有するプログラムに対しても、効率的にプログラム修正を行うことができる。

また、例えば、本実施例のプログラム修正装置１は、不具合箇所を特定した各構成要素のうち第１の構成要素及び第２の構成要素が第３の構成要素の情報を参照しているという依存関係がある場合には、第３の構成要素に係る修正順位を第１の構成要素及び第２の構成要素に係る修正順位より高く設定する。これにより、複数のモジュールが他の共通のモジュールを参照しているといった構成を有するプログラムに対しても、効率的にプログラム修正を行うことができる。

さらに、本実施例のプログラム修正装置１は、不具合箇所を特定した各構成要素の修正の成功率又は必要度を各構成要素の修正履歴に基づき推定し、それらに基づいて各構成要素の修正順位を決定する。これにより、例えば、修正が奏功しにくい構成要素の修正の優先順位を下げる、修正頻度が高く修正の必要が高い構成要素を優先的に修正する、といった柔軟な対応が可能となる。

さらに、本実施例のプログラム修正装置１は、不具合箇所を特定した各構成要素の修正に用いた修正プログラムの数に基づき、各構成要素の修正順位を決定する。これにより、例えば、修正候補が多数存在するような構成要素を優先的に修正するといった柔軟な対応が可能となる。

さらに、本実施例のプログラム修正装置１は、不具合箇所を特定した各構成要素に係るテストプログラムの各実行時間に基づき、各構成要素の修正順位を決定する。これにより、対応に時間を要する修正については優先度を下げる等することで、プログラムの開発を効率よく行うことができる。

－実施例２－
実施例２では、プログラム修正装置１は、テストプログラムに基づき特定した不具合箇所に係る構成要素について、互いに依存関係のある構成要素の修正順位を決定した場合、依存元の構成要素のみを修正プログラムで修正することにより検証対象プログラムを更新しておく。そして、プログラム修正装置１は、更新した新たな検証対象プログラムに対して再び各テストプログラムを実行する。

図１２は、実施例２に係るプログラム修正処理の一例を説明する図である。プログラム修正装置１は、構成要素Ｃｏｍｐαと、構成要素Ｃｏｍｐβと、構成要素Ｃｏｍｐα及び構成要素Ｃｏｍｐβに依存する構成要素ＣｏｍｐＡと、構成要素Ｃｏｍｐγとを有する検証対象プログラム１１００に対する修正を行う。

プログラム修正装置１は、検証対象プログラム１１００の各構成要素に対するテストプログラムを実行することで、各構成要素における不具合箇所を特定する（ｓ９０１。実施例１のｓ８０２～ｓ８０３に対応）。

プログラム修正装置１は、構成要素Ｃｏｍｐα、構成要素Ｃｏｍｐβ、構成要素Ｃｏｍ
ｐγ、及び構成要素ＣｏｍｐＡの順に不具合箇所の特定を行い、構成要素Ｃｏｍｐα、構成要素Ｃｏｍｐγ、及び構成要素ＣｏｍｐＡに不具合箇所があることを特定する（ｓ９０２。実施例１のｓ８０１～ｓ８０３に対応）。そして、プログラム修正装置１は、構成要素Ｃｏｍｐα、構成要素Ｃｏｍｐγ、及び構成要素ＣｏｍｐＡのそれぞれに対する修正プログラム（パッチ候補）を生成する（ｓ９０３。実施例１のｓ８０５～ｓ８０６に対応）。

プログラム修正装置１は、構成要素Ｃｏｍｐα、構成要素Ｃｏｍｐγ、及び構成要素ＣｏｍｐＡの順に、構成要素を修正プログラムを検証対象プログラムに適用して検証対象プログラムを修正した場合のその修正の有効性の検証を行う（ｓ９０４。実施例１のｓ８０７に対応）。プログラム修正装置１は、検証の結果、修正が有効であると判定された修正プログラムをパッチ案として特定する（ｓ９０５。実施例１のｓ８０８に対応）。

ここで、プログラム修正装置１は、検証が有効とされた構成要素Ｃｏｍｐα、構成要素Ｃｏｍｐγ、及び構成要素ＣｏｍｐＡのうち、依存先の構成要素（構成要素ＣｏｍｐＡ）を有する依存元の構成要素Ｃｏｍｐαのみに対して、ｓ９０５で特定した構成要素Ｃｏｍｐαに対するパッチ案を適用することで、新たな検証対象プログラム１１１０を生成する（ｓ９０６）。

その後、プログラム修正装置１は、構成要素Ｃｏｍｐαを修正した新たな検証対象プログラム１１１０に対して、ｓ９０１と同様に、各構成要素に対するテストプログラムを実行することで、各構成要素における不具合箇所を特定する。構成要素Ｃｏｍｐαが修正されていることによりその依存先である構成要素ＣｏｍｐＡも修正されるので、新たな検証対象プログラム１１１０に対するテストプログラムにより、構成要素Ｃｏｍｐγのみが不具合箇所として特定される。

このように、本実施例のプログラム修正装置１は、（１）依存元及び依存先の関係にある構成要素のうち依存元の構成要素に対応した各修正プログラムにより修正された新たな検証対象プログラムを生成し、（２）その新たな検証対象プログラムに対して各テストプログラムを再実行することによりプログラムの不具合箇所を推定し、（３）推定した各不具合箇所に対応した各構成要素を特定して、それらの修正順位を決定する。このように、ある構成要素の前提となる構成要素（依存元の構成要素）に対して先に修正プログラムを適用して再度テストを実行することで、依存先の構成要素が修復できる可能性が高まる。このようにして、効率的なプログラム修正を行うことができる。

本発明は以上に説明した実施形態に限定されるものではなく、様々な変形例が含まれる。上記した実施形態は本発明のより良い理解のために詳細に説明したものであり、必ずしも説明の全ての構成を備えるものに限定されるものではない。

例えば、各実施例の各装置が備える各機能の一部は他の装置に設けてもよいし、別装置が備える機能を同一の装置に設けてもよい。

また、本実施形態で説明した検証対象プログラムの不具合箇所の推定方法はここで説明したものに限られない。例えば、疑惑値以外のパラメータを用いて不具合箇所を推定してもよい。

１ プログラム修正装置、２６０ 情報記憶部、２２０ 不具合箇所推定部、２４０ 実行優先度決定部、２５０ 自動修正実行制御部

Claims (10)

1. プロセッサ及びメモリを有し、
   検証対象プログラムの各構成要素の情報と、前記各構成要素を検証する各テストプログラムの情報とを対応づけた情報である構成要素情報を記憶する情報記憶部と、
   前記各テストプログラムを実行することにより前記検証対象プログラムの不具合箇所を推定する不具合箇所推定部と、
   前記推定した各不具合箇所に係る、前記検証対象プログラムの各構成要素を前記構成要素情報により特定し、特定した各構成要素間の関係に基づき、前記各構成要素の修正順位を決定する実行優先度決定部と、
   前記決定した修正順位に従って、前記検証対象プログラムの各構成要素を、当該各構成要素に対応した修正プログラムにより修正する自動修正実行制御部と、
   を備える、プログラム修正装置。
2. 前記実行優先度決定部は、前記特定した各構成要素の間に処理上の依存関係があるか否かを判定し、処理上の依存関係があると判定した場合に、前記処理上の依存関係に基づいて、前記各構成要素の間に異なる修正順位を設定する、
   請求項１に記載のプログラム修正装置。
3. 前記実行優先度決定部は、前記特定した各構成要素のうち第１の構成要素が第２の構成要素を実行させているという依存関係があるか否かを判定し、当該依存関係があると判定した場合には、前記第２の構成要素に係る修正順位を前記第１の構成要素に係る修正順位より高く設定する、
   請求項２に記載のプログラム修正装置。
4. 前記実行優先度決定部は、前記特定した各構成要素のうち第１の構成要素及び第２の構成要素が第３の構成要素の情報を参照しているという依存関係があるか否かを判定し、当該依存関係があると判定した場合には、前記第３の構成要素に係る修正順位を前記第１の構成要素及び前記第２の構成要素に係る修正順位より高く設定する、
   請求項２に記載のプログラム修正装置。
5. 前記修正プログラムによる前記各構成要素の修正履歴を記憶した情報記憶部をさらに備え、
   前記実行優先度決定部は、前記特定した各構成要素の修正の成功率又は必要度を前記修正履歴に基づき推定し、推定した成功率又は必要度に基づき、前記各構成要素の修正順位を決定する、
   請求項１に記載のプログラム修正装置。
6. 前記各構成要素の修正に用いた前記修正プログラムの数の情報を当該各構成要素ごとに記憶する情報記憶部をさらに備え、
   前記実行優先度決定部は、前記特定した各構成要素の修正に用いた修正プログラムの数を、前記修正プログラムの数の情報に基づき特定し、特定した修正プログラムの数に基づき、前記各構成要素の修正順位を決定する、
   請求項１に記載のプログラム修正装置。
7. 前記テストプログラムの実行時間の情報を前記各構成要素ごとに記憶する情報記憶部をさらに備え、
   前記実行優先度決定部は、前記特定した各構成要素に係るテストプログラムの各実行時間を、前記実行時間の情報に基づき推定し、推定した各実行時間に基づき、前記各構成要素の修正順位を決定する、
   請求項１に記載のプログラム修正装置。
8. 前記自動修正実行制御部は、前記各構成要素の間の処理上の依存関係に関して、他の構成要素の前提となる構成要素を特定し、特定した構成要素に対応した前記修正プログラムにより修正された新たな検証対象プログラムを生成し、
   前記不具合箇所推定部は、前記新たな検証対象プログラムに対して、前記複数のテストプログラムを実行することにより前記検証対象プログラムの不具合箇所を推定し、
   前記実行優先度決定部は、前記推定した各不具合箇所に係る、前記新たな検証対象プログラムの各構成要素を前記構成要素情報により特定し、特定した各構成要素間の関係に基づき、前記各構成要素の修正順位を決定する、
   請求項１に記載のプログラム修正装置。
9. 情報処理装置が、
   検証対象プログラムの各構成要素の情報と、前記各構成要素を検証する各テストプログラムの情報とを対応づけた情報である構成要素情報を記憶する構成情報記憶処理と、
   複数の前記テストプログラムを実行することにより前記検証対象プログラムの不具合箇所を推定する不具合箇所推定処理と、
   前記推定した各不具合箇所に係る、前記検証対象プログラムの各構成要素を前記構成要素情報により特定し、特定した各構成要素間の関係に基づき、前記各構成要素の修正順位を決定する実行優先度決定処理と、
   前記決定した修正順位に従って、前記検証対象プログラムの各構成要素を、当該各構成要素に対応した修正プログラムにより修正する自動修正実行制御処理と、
   を実行する、プログラム修正方法。
10. 情報処理装置に、
    検証対象プログラムの各構成要素の情報と、前記各構成要素を検証する各テストプログラムの情報とを対応づけた情報である構成要素情報を記憶する構成情報記憶処理と、
    複数の前記テストプログラムを実行することにより前記検証対象プログラムの不具合箇所を推定する不具合箇所推定処理と、
    前記推定した各不具合箇所に係る、前記検証対象プログラムの各構成要素を前記構成要素情報により特定し、特定した各構成要素間の関係に基づき、前記各構成要素の修正順位を決定する実行優先度決定処理と、
    前記決定した修正順位に従って、前記検証対象プログラムの各構成要素を、当該各構成要素に対応した修正プログラムにより修正する自動修正実行制御処理と、
    を実行させる、プログラム修正プログラム。

Images