特許 7596213 プログラム修正装置、プログラム修正方法、及びプログラム修正プログラム

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】特許公報(B2)

(11)【特許番号】

(24)【登録日】2024-11-29

(45)【発行日】2024-12-09

(54)【発明の名称】プログラム修正装置、プログラム修正方法、及びプログラム修正プログラム

(51)【国際特許分類】

   G06F 11/36 20060101AFI20241202BHJP

【ＦＩ】

G06F11/36 192

【請求項の数】 8

(21)【出願番号】P 2021085420

(22)【出願日】2021-05-20

(65)【公開番号】P2022178542

(43)【公開日】2022-12-02

【審査請求日】2024-02-13

(73)【特許権者】

【識別番号】000005108

【氏名又は名称】株式会社日立製作所

(74)【代理人】

【識別番号】110000176

【氏名又は名称】弁理士法人一色国際特許事務所

(72)【発明者】

【氏名】安田 和矢

(72)【発明者】

【氏名】代 吉楠

(72)【発明者】

【氏名】秦野 康生

(72)【発明者】

【氏名】伊藤 信治

(72)【発明者】

【氏名】中村 知倫

(72)【発明者】

【氏名】原田 真雄

【審査官】松平 英

(56)【参考文献】

【文献】特開２０１８－５５６７６（ＪＰ，Ａ）

【文献】特開２０１４－１８６４０７（ＪＰ，Ａ）

【文献】特開２０２０－１２６６０３（ＪＰ，Ａ）

【文献】特開２０１４－１６９２９（ＪＰ，Ａ）

【文献】特開２０１２－１５９９５２（ＪＰ，Ａ）

【文献】特開平７－１２９４３４（ＪＰ，Ａ）

【文献】米国特許出願公開第２０１７／０２９３４７６（ＵＳ，Ａ１）

(58)【調査した分野】(Int.Cl.，ＤＢ名)

Ｇ０６Ｆ ８／００－８／３８

８／６０－８／７７

９／４４－９／４４５

９／４５１

１１／０７

１１／２８－１１／３６

(57)【特許請求の範囲】

【請求項1】

プロセッサ及びメモリを有し、
元のプログラムに対し修正が行われたプログラムである修正候補を取得する修正候補取得部と、
前記取得した修正候補において修正が行われた部分に対する入力値を複数パターン設定し、前記修正候補を実行する修正候補実行部と、
前記実行された修正候補において修正が行われた部分の出力値が前記入力値に依存するか否かを判定し、前記修正が行われた部分の出力値が前記入力値に依存すると判定した場合に、前記修正候補を前記元のプログラムに対する修正案として出力する修正候補検査部と、
を備えるプログラム修正装置。

【請求項2】

前記修正候補検査部は、前記修正が行われた部分の各出力値が互いに同一である場合に、前記修正が行われた部分の出力値が前記入力値に依存しないと判定する、
請求項１に記載のプログラム修正装置。

【請求項3】

前記修正候補検査部は、前記修正が行われた部分の各出力値のうち少なくともいずれかが異常値である場合に、前記修正が行われた部分の出力値が前記入力値に依存しないと判定する、
請求項１に記載のプログラム修正装置。

【請求項4】

前記修正候補実行部は、前記修正候補における前記修正が行われた部分の情報と、前記修正が行われた部分の出力値とを対応づけた情報を生成し、
前記修正候補検査部は、前記生成した情報に基づき、前記修正が行われた部分の出力値が前記入力値に依存するか否かを判定する、
請求項１に記載のプログラム修正装置。

【請求項5】

前記修正候補検査部は、前記実行した修正候補内で実行された、前記修正が行われた部分の処理を含む各処理を特定し、特定したパターンが前記複数パターンの入力値のパターンに対して互いに同一又は類似しているか否かを判定し、前記パターンが前記複数パターンの入力値に対して互いに同一又は類似していると判定した場合に、前記取得した複数の出力値が前記変数に依存しないと判定する、
請求項１に記載のプログラム修正装置。

【請求項6】

前記修正候補検査部は、前記修正候補の実行が成功したか否か、及び、前記修正候補における前記修正が行われた部分の出力値が前記入力値に依存するか否かを判定し、前記修正候補の実行が成功し、かつ前記修正が行われた部分の出力値が前記入力値に依存すると判定した場合に、前記修正候補を前記元のプログラムに対する修正案として出力する、
請求項１に記載のプログラム修正装置。

【請求項7】

情報処理装置が、
元のプログラムに対し修正が行われたプログラムである修正候補を取得する修正候補取得処理と、
前記取得した修正候補において修正が行われた部分に対する入力値を複数パターン設定し、前記修正候補を実行する修正候補実行処理と、
前記実行された修正候補において修正が行われた部分の出力値が前記入力値に依存するか否かを判定し、前記修正が行われた部分の出力値が前記入力値に依存すると判定した場合に、前記修正候補を前記元のプログラムに対する修正案として出力する修正候補検査処理と、
を実行するプログラム修正方法。

【請求項8】

情報処理装置に、
元のプログラムに対し修正が行われたプログラムである修正候補を取得する修正候補取得処理と、
前記取得した修正候補において修正が行われた部分に対する入力値を複数パターン設定し、前記修正候補を実行する修正候補実行処理と、
前記実行された修正候補において修正が行われた部分の出力値が前記入力値に依存するか否かを判定し、前記修正が行われた部分の出力値が前記入力値に依存すると判定した場合に、前記修正候補を前記元のプログラムに対する修正案として出力する修正候補検査処理と、
を実行させるプログラム修正プログラム。

【発明の詳細な説明】

【技術分野】

【0001】

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

【背景技術】

【0002】

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

【0003】

しかしながら、このパッチ案が必ずしもソフトウェアの開発にとって最良であるとは限らない。例えば、上記のパッチ候補の検証が不充分である場合には多くのパッチ案が出力されて、ソフトウェアの開発者による追加的な確認作業が発生する。

【0004】

ここで、ソフトウェアの修正プログラムの適否を判定する方法として、特許文献１には、テストスーツを利用してソフトウェアプログラム中の誤りを特定し、誤りの特定に応じて、ソフトウェアプログラムを修復テンプレートで修正し、その修正が不適切であるか否かを示すアンチパターン条件を充足するか否かを判定し、修正がアンチパターン条件を充足することに応じてその修正を不許可にし、あるいは、修正がアンチパターン条件を充足しないことに応じて修正後のソフトウェアプログラムについて更なるテストを実行することが記載されている。

【先行技術文献】

【特許文献】

【0005】

【文献】特開２０１７－０４５４４６号公報

【発明の概要】

【発明が解決しようとする課題】

【0006】

特許文献１は、所定のステートメントの削除といった不適切な修正を「アンチパターン」として事前定義し、このアンチパターンと一致するパッチ案を除外するものである。しかしながら、プログラムを具体的に実行させて判明するような不適正（例えば、特定の変数や式の内容に依存して現れる修正の不具合）を検知することが難しいという問題がある。

【0007】

本発明はこのような問題に鑑みてなされたもので、その目的は、プログラムの不具合をその内部関係に即して修正することが可能な、プログラム修正装置、プログラム修正方法、及びプログラム修正プログラムを提供することにある。

【課題を解決するための手段】

【0008】

上記課題を解決するための本発明の一つは、プロセッサ及びメモリを有し、元のプログラムに対し修正が行われたプログラムである修正候補を取得する修正候補取得部と、前記取得した修正候補において修正が行われた部分に対する入力値を複数パターン設定し、前
記修正候補を実行する修正候補実行部と、前記実行された修正候補において修正が行われた部分の出力値が前記入力値に依存するか否かを判定し、前記修正が行われた部分の出力値が前記入力値に依存すると判定した場合に、前記修正候補を前記元のプログラムに対する修正案として出力する修正候補検査部と、を備えるプログラム修正装置、とする。

【0009】

また、上記課題を解決するための本発明の一つは、情報処理装置が、元のプログラムに対し修正が行われたプログラムである修正候補を取得する修正候補取得処理と、前記取得した修正候補において修正が行われた部分に対する入力値を複数パターン設定し、前記修正候補を実行する修正候補実行処理と、前記実行された修正候補において修正が行われた部分の出力値が前記入力値に依存するか否かを判定し、前記修正が行われた部分の出力値が前記入力値に依存すると判定した場合に、前記修正候補を前記元のプログラムに対する修正案として出力する修正候補検査処理と、を実行するプログラム修正方法、とする。

【0010】

また、上記課題を解決するための本発明の一つは、情報処理装置に、元のプログラムに対し修正が行われたプログラムである修正候補を取得する修正候補取得処理と、前記取得した修正候補において修正が行われた部分に対する入力値を複数パターン設定し、前記修正候補を実行する修正候補実行処理と、前記実行された修正候補において修正が行われた部分の出力値が前記入力値に依存するか否かを判定し、前記修正が行われた部分の出力値が前記入力値に依存すると判定した場合に、前記修正候補を前記元のプログラムに対する修正案として出力する修正候補検査処理と、を実行させるプログラム修正プログラム、とする。

【発明の効果】

【0011】

本発明によれば、プログラムの不具合をその内部関係に即して修正することができる。

【0012】

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

【図面の簡単な説明】

【0013】

【図1】実施例１に係るプログラム修正装置の構成の一例を示す図である。

【図2】プログラム修正装置が備えるハードウェアの一例を説明する図である。

【図3】プログラム修正処理の一例を説明するフロー図である。

【図4】修正候補生成処理の詳細を説明するフロー図である。

【図5】ソースコードの一例を示す図である。

【図6】修正候補情報の一例を示す図である。

【図7】修正候補実行処理の詳細を説明するフロー図である。

【図8】修正候補に対するテストコードの一例を示す図である。

【図9】テスト実行結果情報の一例を示す図である。

【図10】テスト実行時情報の一例を示す図である。

【図11】修正候補検査処理の詳細を説明するフロー図である。

【図12】修正結果情報の一例を示す図である。

【図13】実施例２に係るテスト実行時情報の一例を示す図である。

【図14】実施例２に係る修正候補検査処理の一例を説明するフロー図である。

【発明を実施するための形態】

【0014】

－実施例１－
図１は、実施例１に係るプログラム修正装置１００の構成の一例を示す図である。プログラム修正装置１００は、プログラムのソースコードに存在する不具合（バグ）を修正するためのプログラム（パッチ）をそれぞれ候補として複数作成し、それらのパッチ（パッチ候補）をそれぞれ適用したソースコード（以下、修正プログラム、又は修正候補という）を作成する。そして、プログラム修正装置１００は、予め作成したテストコードを実行
することで、各修正候補の実行結果及び、パッチを適用したソースコードの部分（以下、パッチ部分という）の処理結果に基づき、最も適切なパッチ候補（パッチ案）を特定する。これにより、プログラム修正装置１００は、ソースコードの修正を行う。

【0015】

すなわち、プログラム修正装置１００は、修正候補生成部２１０、修正候補取得部２１５、修正候補実行部２２０、及び修正候補検査部２３０の各機能部を備える。

【0016】

また、プログラム修正装置１００は、ソースコード２９１、テストコード２９２、修正候補情報２９３、テスト実行結果情報２９４、テスト実行時情報２９５、及び修正結果情報２９６の各情報を記憶する。

【0017】

修正候補生成部２１０は、ソースコード２９１に適用するパッチ（パッチ候補）を複数生成し、各パッチを適用したソースコード（修正候補）をそれぞれ生成する。修正候補生成部２１０は、生成した修正候補を記憶する。

【0018】

なお、ソースコード２９１は、任意の言語で記述されたプログラムのソースコードである。また、パッチは、例えば、条件分岐式の変更又は追加を行うプログラムである。

【0019】

修正候補取得部２１５は、修正候補生成部２１０が生成した修正候補を取得する。

【0020】

修正候補実行部２２０は、修正候補取得部２１５が取得した修正候補におけるパッチ部分に複数パターンの入力値を設定することで、修正候補をそれぞれ実行する。本実施形態では、複数パターンの入力値を設定したテストコードを実行して修正候補を呼び出すことで、修正候補を実行するものとする。

【0021】

修正候補検査部２３０は、修正候補実行部２２０で実行された修正候補におけるパッチ部分の出力値が、修正候補実行部２２０で設定した入力値に依存するか否かを判定し、その修正部分の出力値が設定入力値に依存すると判定した場合に、修正候補を元のソースコード２９１に適用してこれを新たなプログラム（新たなソースコード）として生成する。

【0022】

なお、修正候補検査部２３０は、修正候補におけるパッチ部分と、修正部分の出力値とを対応づけた情報としてテスト実行時情報２９５を生成する。

【0023】

ここで、図２は、プログラム修正装置１００が備えるハードウェアの一例を説明する図である。プログラム修正装置１００は、ＣＰＵ（Central Processing Unit）、ＭＰＵ（Micro Processing Unit）、又はＧＰＵ（Graphics Processing Unit）等のプロセッサ１１０と、ＲＯＭ（Read Only Memory）、又はＲＡＭ（Random Access Memory）等の主記憶装置１２０と、ハードディスクドライブ（Hard Disk Drive）、フラッシュメモリ（Flash Memory）、又はＳＳＤ（Solid State Drive）等の補助記憶装置１３０と、キーボード、マウス、カードリーダ、又はタッチパネル等の入力装置１４０と、ＬＣＤ（Liquid Crystal
Display）、音声出力装置（スピーカ）、又は印字装置等の出力装置１５０と、ＮＩＣ（Network Interface Card）、無線通信モジュール、ＵＳＢ（Universal Serial Interface）モジュール、又はシリアル通信モジュール等の通信装置１６０とを備える。

【0024】

プログラム修正装置１００の機能は、プロセッサ３１１が、主記憶装置１２０又は補助記憶装置１３０に格納されているプログラムを読み出して実行することにより実現される。また上記のプログラムは、例えば、記録媒体に記録して配布することができる。
次に、プログラム修正装置１００が行う処理について説明する。

【0025】

＜プログラム修正処理＞
図３は、ソースコードを修正する処理であるプログラム修正処理の一例を説明するフロー図である。プログラム修正処理は、例えば、プログラム修正装置１００にユーザから所定の入力が行われたことを契機に実行される。

【0026】

まず、プログラム修正装置１００の修正候補生成部２１０は、不具合箇所をパッチ候補により修正したソースコードである修正候補を生成する修正候補生成処理を実行する（ｓ１１１）。

【0027】

修正候補実行部２２０は、修正候補生成処理ｓ１１１で生成した修正候補におけるパッチ部分に複数パターンの入力値を設定したテストプログラムを実行することで、そのテストプログラムによる修正候補の実行結果の情報（テスト実行結果情報２９４）及び、修正候補におけるパッチ部分の処理結果の情報（テスト実行時情報２９５）を生成する修正候補実行処理を実行する（ｓ１１２）。

【0028】

修正候補検査部２３０は、修正候補実行処理ｓ１１２で生成した情報に基づき、そのテストプログラムの実行に成功しかつ、そのパッチ部分がテストプログラムで設定した各入力値に依存しない修正候補を特定することで、最終的な修正候補を決定する修正候補検査処理を実行する（ｓ１１３）。その後、修正候補検査部２３０は、最終的な修正候補を正式なパッチ案として出力し、ユーザに提示する（例えば、ファイルに出力し、又は画面に表示する）。以上でプログラム修正処理は終了する。
以下、これらの処理の詳細を説明する。

【0029】

＜修正候補生成処理＞
図４は、修正候補生成処理ｓ１１１の詳細を説明するフロー図である。
修正候補生成部２１０は、ソースコード２９１を取得し、取得したソースコード２９１における不具合箇所（バグの箇所）を特定する（ｓ１１１１）。例えば、修正候補生成部２１０は、ソースコード２９１のために用意されたテストケースを実行してそのソースコード２９１を呼び出す（実行させる）ことで、ソースコード２９１内の処理の実行経路を特定する。修正候補生成部２１０は、特定した実行経路に基づきソースコード２９１内の各処理の疑惑値等を算出し、不具合箇所を特定する（例えば、Spectrum-Based Fault Localization：ＳＢＦＬ）。なお、ここで説明した不具合箇所の特定方法は一例であり、実
行内容と所定のデータベースとの内容比較、又は人手によるチェック等任意の方法を採用できる。

【0030】

（ソースコード）
なお、図５は、ソースコード２９１の一例を示す図である。ソースコード２９１は、例えば、入力される変数２９１１に対する出力を行う関数２９１２によって構成され、関数２９１２は、さらに１又は複数の関数２９１３を含む。

【0031】

次に、図４に示すように修正候補生成部２１０は、ｓ１１１１で特定したソースコード２９１の不具合箇所を修正するパッチ候補を複数生成する（ｓ１１１２）。パッチ候補は、例えば、不具合箇所に対する条件分岐、定数、変数若しくは関数式の追加、不具合箇所の変更、又は不具合箇所の削除等を行うプログラムである。

【0032】

そして、修正候補生成部２１０は、ｓ１１１２で生成した各パッチをソースコード２９１に適用した新たなソースコード（すなわち、修正候補）をそれぞれ生成し、修正候補情報２９３に記憶する（ｓ１１１３）。以上で修正候補生成処理ｓ１１１は終了する。

【0033】

（修正候補情報）
図６は、修正候補情報２９３の一例を示す図である。修正候補情報２９３は、各修正候
補のＩＤ２９３１と、修正候補２９３２とを含む。修正候補２９３２は、修正前のソースコードにパッチ２９３３を適用したソースコードである。

【0034】

＜修正候補実行処理＞
図７は、修正候補実行処理ｓ１１２の詳細を説明するフロー図である。修正候補取得部２１５は、修正候補生成処理ｓ１１１で生成した各修正候補を取得する。そして、修正候補実行部２２０は、所定のテストコードを実行することで、各修正候補を実行させる（ｓ１１２１）。

【0035】

（テストコード）
ここで、図８は、修正候補に対するテストコード２９２の一例を示す図である。テストコード２９２は、１又は複数のテスト部２９２１を有する。各テスト部２９２１は、修正候補に異なる入力値２９２２を代入して修正候補を実行する呼び出し部２９２３と、呼び出し部２９２３に基づく修正候補の実行結果と予め指定した正解値とが一致するか否かを判定する判定部２９２４とを含む。

【0036】

判定部２９２４は、テストの「成功」（実行結果と正解値が一致した場合）又はテストの「失敗」（実行結果と正解値が一致しなかった場合）を出力する。

【0037】

次に、図７のｓ１１２２に示すように修正候補実行部２２０は、ｓ１１２１で実行したテストコードに基づくテストコードの実行結果（成功又は失敗）を、テスト実行結果情報２９４に記憶する。また、修正候補実行部２２０は、ｓ１１２１で実行したテストコードにおける、パッチ部分の出力値（例えば、条件分岐における条件判断部分の出力値）の情報を、テスト実行時情報２９５に記憶する（ｓ１１２３）。

【0038】

修正候補実行部２２０は、ｓ１１２２及びｓ１１２３の処理を、各修正候補について実行する。なお、ｓ１１２２及びｓ１１２３の実行順序は問わない。以上で修正候補実行処理ｓ１１２は終了する。

【0039】

ここで、テスト実行結果情報２９４及びテスト実行時情報２９５の具体例を説明する。

【0040】

（テスト実行結果情報）
図９は、テスト実行結果情報２９４の一例を示す図である。テスト実行結果情報２９４は、各修正候補のＩＤ２９４１と、テストコードの実行結果２９４２（具体的には、各判定部の実行結果（成功又は失敗））とを含む。

【0041】

（テスト実行時情報）
図１０は、テスト実行時情報２９５の一例を示す図である。テスト実行時情報２９５は、各修正候補のＩＤ２９５１と、その修正候補においてパッチが適用された部分である修正後の式２９５２と、テストコード２９２の各テスト部２９２１における修正後の式２９５２の出力値たる実行時の値２９５３とを含む。

【0042】

なお、修正後の式２９５２は、例えば、パッチが条件分岐処理の追加又は変更であればその条件の判定部分であり、パッチが変数又は数式の追加又は変更であればその変数又は数式である。また、実行時の値２９５３については、修正後の式２９５２が条件の判定部分である場合には、条件式の値である真（ｔｒｕｅ）、偽（ｆａｌｓｅ）、又は例外発生（異常発生）のいずれかの値が設定される。また、修正後の式２９５２が変数又は数式である場合には、変数又は数式の値が設定される。

【0043】

＜修正候補検査処理＞
次に、図１１は、修正候補検査処理ｓ１１３の詳細を説明するフロー図である。

【0044】

修正候補検査部２３０は、修正候補実行処理ｓ１１２で生成したテスト実行結果情報２９４に基づき、テストコードの実行に成功した修正候補を抽出する（ｓ１１３１）。具体的には、修正候補検査部２３０は、テスト実行結果情報２９４の各レコードのうち、テスト実行結果２９４２の全ての項目が「成功」であるレコードを抽出する。

【0045】

さらに、修正候補検査部２３０は、ｓ１１３１で抽出した修正候補のうち、当該修正候補に係るパッチ部分の結果（出力値）がテストコード２９２のテストパターン（テスト部２９２１）に依存する修正候補を、最終的な修正候補として特定する（ｓ１１３２）。

【0046】

例えば、修正候補検査部２３０は、テスト実行時情報２９５における、ｓ１１３１で抽出した修正候補に係るレコードのうち、実行時の値２９５３の全項目が全て同じである（例えば、全てｔｒｕｅ又はｆａｌｓｅである）レコードを、最終的な修正候補から除外する。

【0047】

また、例えば、修正候補検査部２３０は、テスト実行時情報２９５における、ｓ１１３１で抽出した修正候補に係るレコードのうち、実行時の値２９５３の全項目のうち所定割合以上（例えば、９０％以上）の項目の値が同じである（例えば、ｔｒｕｅ又はｆａｌｓｅで共通である）レコードを、最終的な修正候補から除外する。

【0048】

また、例えば、修正候補検査部２３０は、テスト実行時情報２９５における、ｓ１１３１で抽出した修正候補に係るレコードのうち、実行時の値２９５３の各項目の値が所定のパターンとなっているレコードを、最終的な修正候補から除外する。

【0049】

また、例えば、修正候補検査部２３０は、テスト実行時情報２９５における、ｓ１１３１で抽出した修正候補に係るレコードのうち、実行時の値２９５３のいずれかの項目に異常値（例えば、例外発生、又は空値）があるレコードを、最終的な修正候補から除外する。

【0050】

そして、修正候補検査部２３０は、ｓ１１３２で特定した最終的な修正候補を、画面に表示する（ｓ１１３３）。また、修正候補検査部２３０は、最終的な修正候補を修正結果情報２９６に記憶する（ｓ１１３３）。

【0051】

（修正結果情報）
図１２は、修正結果情報２９６の一例を示す図である。この修正結果情報２９６は、最終的な修正候補（つまり修正されたソースコード）のＩＤ２９６１と、その修正候補の内容たる修正結果２９６２とを記憶している。

【0052】

同図に示す修正結果２９６２に関しては、テストコード２９２の各テスト部２９２１の実行結果が全て「成功」であった（テスト実行結果情報２９４）ことが示されている。さらに、この修正結果情報２９６におけるパッチ２９６３（条件分岐式「w != null」を含
む処理）の処理結果は「ｔｒｕｅ」、「ｔｒｕｅ」、及び「ｆａｌｓｅ」であるのでｓ１１３２で説明した除外事由のいずれにもあてはまらない（テスト実行時情報２９５）。

【0053】

このように、本実施形態のプログラム修正装置１００は、テストコード２９２を用い、修正候補内のパッチ部分に対して複数パターンの入力値を設定して修正候補を実行し、修正候補におけるパッチ部分の出力値（修正後の式２９５２）がテスト部２９２１の上記入力値に依存する場合に、その修正候補をソースコード２９１に適用して修正プログラム（修正ソースコード）を生成する。

【0054】

すなわち、本実施形態のプログラム修正装置１００は、修正候補に適用されたパッチが修正候補への入力値に依存しないような場合、すなわちパッチが、様々な内部条件下でソースコードが実行された場合でもソースコードのバグを解消しうるものである正しいプログラムである場合にのみ、これに対応する修正候補を最終的なパッチ案とする。このように、本実施形態のプログラム修正装置１００によれば、プログラムの不具合をその内部関係に即して修正することができる。

【0055】

また、本実施形態のプログラム修正装置１００は、最終的な修正候補の特定において、修正部分（パッチ）の各出力値が互いに同一である場合に、修正部分の出力値が入力値に依存しないと判定し、修正候補から除外するので、正常に動作しないと考えられる修正候補を確実に除外することができる。

【0056】

同様に、本実施形態のプログラム修正装置１００は、最終的な修正候補の特定において、修正部分の各出力値のうち少なくともいずれかが異常値（例外発生等）である場合に、修正部分の出力値が入力値に依存しないと判定し、修正候補から除外するので、正常に動作しないと考えられる修正候補を確実に除外することができる。

【0057】

また、本実施形態のプログラム修正装置１００は、修正候補における修正部分の情報（修正後の式２９５２）と、修正部分の出力値（実行時の値２９５３）とを対応づけたテスト実行時情報２９５を生成することで、最終的な修正候補の特定において参照すべき情報を最小限に抑えることができる。これにより、最終的な修正候補の特定に係るリソース負荷を軽減することができる。

【0058】

－実施例２－
実施例１では、プログラム修正装置１００は、テスト実行時情報２９５として、パッチ部分の式（修正後の式２９５２）とその出力値との関係の情報を生成したが、テスト実行時情報２９５は、その他の形式の情報であってもよい。

【0059】

図１３は、実施例２に係るテスト実行時情報２９８の一例を示す図である。このテスト実行時情報２９８は、各修正候補のＩＤ２９８１と、その修正候補における行番号２９８２（処理の番号でもよい）と、修正候補を各テスト部２９２１により実行した場合に、修正候補の行番号２９８２が実行された否かを示す情報である実行有無２９８３とを含む。実行有無２９８３は、パッチ部分を含む修正候補の全ての行における実行の有無の情報が設定される。なお、異常値が出力された場合には、その行番号の実行有無２９８３には「例外発生」等の情報が設定される。

【0060】

ここで、図１４は、実施例２に係る修正候補検査処理の一例を説明するフロー図である。修正候補検査部２３０のｓ１１４１の処理は、実施例１のｓ１１３１と同様である。

【0061】

そして、修正候補検査部２３０は、ｓ１１３１で抽出した各修正候補について、テスト実行時情報２９８を参照することにより、その修正候補内でテストコードにより実行された処理（実行経路）を特定し、特定した実行経路における実行有無のパターンがテスト部２９２１間で同一又は類似しているか否かを判定する。修正候補検査部２３０は、実行有無のパターンが同一又は類似している場合には、その修正候補を最終的な修正候補から除外する。

【0062】

なお、実行有無のパターンの類似の程度は、例えば、修正候補の全行のうち、実行有無が同じであった行の割合によって判定する。その割合が所定値以上の場合には、類似と判定される。

【0063】

次に行われるｓ１１３３の処理は、実施例１のｓ１１３３の処理と同様である。

【0064】

このように、修正候補内で実行されたパッチ部分を含む各処理の実行パターンがテスト部２９２１（入力値）間で同一又は互いに類似している場合には、その修正候補を最終的な修正候補から除外することで、修正候補が任意の処理経路を辿り正しく実行されるようなパッチを特定し、それに対応した修正候補を特定することができる。

【0065】

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

【0066】

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

【符号の説明】

【0067】

１００ プログラム修正装置、２２０ 修正候補実行部、２３０ 修正候補検査部

【図1】

【図2】

【図3】

【図4】

【図5】

【図6】

【図7】

【図8】

【図9】

【図10】

【図11】

【図12】

【図13】

【図14】