JP2022022115A - 自動ソフトウェアプログラム修復 - Google Patents

Abstract

【課題】自動ソフトウェアプログラム修復のための方法等を提供する。【解決手段】１つ以上の実施形態に従って、動作は、第１ソフトウェアプログラムの第１ソースコードのバグのあるバージョンと、第１ソースコードの修復されたバージョンとの間で行われた複数のソースコード編集を識別することを含んでよい。動作はまた、ソースコード編集の複数のクラスタを識別することを含んでよい。各クラスタは、複数のソースコード編集のうちの１つ以上のソースコード編集を含む。動作はまた、第１ソースコードのコンパイルに基づいて、複数のクラスタの中から複数の有効なクラスタ及び１つ以上の無効なクラスタを識別することを含んでよい。更に、動作は、１つ以上の無効なクラスタを考慮すべき事項から外しながら、複数の有効なクラスタのうちの１つ以上の有効なクラスタの特定の組を第１エラーの第１修復として識別することを含んでよい。【選択図】図４

Description

本開示で議論されている実施形態は、自動ソフトウェアプログラム修復に関係がある。

ソフトウェアプログラムは、しばしば、その中にエラー（一般的に「バグ」と呼ばれている。）を有している。その場合に、ソフトウェアプログラムは、意図されたように動作しない可能性がある。しばしば、自動修復システムが、ソフトウェアプログラム内のエラーを識別し直そうとして使用される。

本開示で請求されている対象は、上述されたような環境でしか動作しない実施形態又は如何なる欠点も解消する実施形態に限定されない。むしろ、この背景は、本開示で説明されるいくつかの実施形態が実施される可能性がある技術分野の一例を示すためにのみ与えられている。

実施形態の態様に従って、動作は、第１ソフトウェアプログラムの第１ソースコードのバグのあるバージョンと、第１ソースコードの修復されたバージョンとの間で行われた複数のソースコード編集を識別することを含んでよい。バグのあるバージョンは、第１エラーを含み、第１エラーは、修復されたバージョンでは直されている。動作はまた、ソースコード編集の複数のクラスタを識別することを含んでよい。複数のクラスタの各クラスタは、複数のソースコード編集のうちの１つ以上のソースコード編集を含む。動作はまた、複数のクラスタの中の複数の有効なクラスタを、その複数の有効なクラスタの各有効なクラスタに関する第１ソースコードの成功したコンパイルに基づいて、識別することを含んでよい。更に、動作は、複数のクラスタの中の１つ以上の無効なクラスタを、その１つ以上の無効なクラスタの夫々に関する第１ソフトウェアプログラムの１つ以上のコンパイルエラーに基づいて、識別することを含んでよい。更に、動作は、１つ以上の無効なクラスタを考慮すべき事項から外しながら、複数の有効なクラスタのうちの１つ以上の有効なクラスタの特定の組を第１エラーの第１修復として識別することを含んでよい。

実施形態の目的及び利点は、少なくとも、特許請求の範囲で特に指し示されている要素、特徴、及び組み合わせによって実現及び達成される。

上記の概要及び下記の詳細な説明は、例でありかつ説明であり、請求されている発明を限定するものではない。

添付の図面の使用を通じて、更なる特定及び詳細をもって、例となる実施形態について記載及び説明する。

ソフトウェアプログラムに対して行われた修復を識別することに関係がある環境の例を表す図である。 ソフトウェアプログラムを修復することに関係がある環境の例を表す図である。 例となるコンピュータシステムのブロック図を表す。 ソフトウェアプログラムに対して行われた修復を識別する方法の例のフローチャートである。 編集の有効な及び／又は無効なクラスタを識別する方法の例のフローチャートである。 編集の有効なクラスタから修復を識別する方法の例のフローチャートである。 ソフトウェアプログラムに対して行われた修復を識別することに関するソースコードの例を表す。 ソフトウェアプログラムに対して行われた修復を識別することに関するソースコードの例を表す。 ソフトウェアプログラムに対して行われた修復を識別することに関するソースコードの例を表す。 ソフトウェアプログラムに対して行われた修復を識別することに関するソースコードの例を表す。 ソフトウェアプログラムに対して行われた修復を識別することに関するソースコードの例を表す。 ソフトウェアプログラムに対して行われた修復を識別することに関するソースコードの例を表す。 ソフトウェアプログラムに対して行われた修復を識別することに関するソースコードの例を表す。

本開示で説明されるいくつかの実施形態は、ソフトウェアプログラムを修復する方法及びシステムに関係がある。ソフトウェアプログラムは、意図しないよう様態でソフトウェアプログラムを動作させる可能性があるエラー（一般的に「バグ」と呼ばれている。）をしばしば含む。更に、自動修復システム及び技術は、ソフトウェアプログラムを修復すべくエラーを検出し直すためにしばしば使用される。

更に、既存のソフトウェアプログラムのリポジトリは、対応するソフトウェアプログラム内のエラーを直すべく、対応するコードに対して行われた編集を識別するために使用されることがある。いくつかの事例では、既存のソフトウェアプログラムのリポジトリは、多数のソフトウェアプログラム（例えば、数千、数万、数十万、数百万などのソフトウェアプログラム）のソースコードを含むことがある。本開示では、そのようなリポジトリに記憶されており、他のソフトウェアプログラムを開発するのを助けるために使用され得る既存のソフトウェアプログラム及び対応するソースコードは、「ビッグコード」と呼ばれ得る。

ビッグコードリポジトリは、各々のソフトウェアプログラムのソースコードの異なるバージョン（又は時々「イタレーション」と呼ばれている。）を含んでよく、異なるバージョンは、ソースコードに対して行われた１つ以上の編集を通じて生成される。いくつかの事例で、ソースコードの異なるバージョンは、特定のエラーを含むソースコードのバグのあるバージョンを含むことがある。更に、異なるバージョンはまた、特定のエラーを修復されているソースコードの対応する修復されたバージョンを含むこともある。本開示では、ソースコードの「修復されたバージョン」との言及は、あるエラーが修復されていること意味するのであって、ソースコード内の全てのエラーが修復されていることを必ずしも意味するわけではない。修復されたバージョンは、バグのあるバージョンと比較して複数の編集を含む可能性があるが、全ての編集が、特定のエラーを修復すること、又は対応するソフトウェアプログラムの基礎機能に影響を及ぼすことに寄与しているわけではない。本開示では、エラーの修復に寄与していると識別された編集は、「一次編集」と呼ばれる。更に、エラーを修復することに寄与していないと識別され、対応するソースコードの基礎機能を変化させる可能性がない編集は、「二次編集」と呼ばれ得る。例えば、二次編集は、表面的な修正のために（例えば、信頼性を改善するために）行われた編集、又はデバッグ目的のために使用され得る編集を含む。

本開示の１つ以上の実施形態に従って、動作は、エラーの修復を識別するために実行されてよく、修復は、エラーを含むコードのバグのあるバージョンと、エラーを直したコードの対応する修復されたバージョンとの間で行われた編集を含む。修復の編集の識別によれば、修復に含まれている二次編集の数は減らされるか、最小限にされるか、削除され得る。二次編集の低減は、他のソースコードの開発及び試験にとって有用である可能性がある既存のソースコードから導出されたより良い修復例を提供するのを助け得る。

本開示の１つ以上の実施形態に従って、ソフトウェア開発の技術分野は、対応するソースコードに同じく含まれ得る二次編集と比較してソフトウェアプログラムを修復するために使用される一次編集を識別及び取り出すようコンピュータシステムを構成することによって、改善され得る。そのような構成は、コンピュータシステムが、ビッグコードから修復例をより良く識別し取り出すことを可能にし得る。

これら及び他の実施形態では、コンピュータシステムは、取り出された修復例を、他のソフトウェアプログラムを試験及び／又は開発することに対して使用するよう構成されてよい。例えば、コンピュータシステムは、取り出された修復例に関連したコードパターンをビッグコードにおいて識別するよう構成されてよい。これら及び他の実施形態では、識別されたコードパターンは、修復例の識別されたコードパターンが、試験中のコードに関連したコードパターンと同じか又は類似していることに応答して、試験中のコードに対して修復例の修復を選択又は実装するために（例えば、類似したコードパターンを有する修復を選択又は実装するために）使用されてよい。例えば、２０１７年１１月２４日付けで出願された米国特許出願第１５／８２２１０６号及び２０１８年３月８日付けで出願された米国特許出願第１５／９１５８９４号は、両方ともそれらの全文を参照により援用されており、他のソースコードにおいて修復を実装するための既存のソースコード内のコードパターンの使用について説明している。

本開示の実施形態について、添付の図面を参照して説明する。

図１は、本開示で説明されている少なくとも１つの実施形態に従って配置される、ソフトウェアプログラムのソースコードに対して行われた修復を識別することに関係がある、例となる環境１００を表す図である。環境１００は、ソースコード１０４に対して行われた修復１０８を識別するためにソフトウェアプログラムのソースコード１０４を解析するよう構成された解析モジュール１０６を含んでよい。

ソースコード１０４は、例えば、ソフトウェアプログラム、ソフトウェアプログラムのコード、ライブラリ、アプリケーション、スクリプト、又はプロセッシングデバイスによる実行のための他のロジック若しくは命令などの電子データを含んでよい。いくつかの実施形態で、ソースコード１０４は、ソフトウェアプログラムの完全なインスタンスを含んでよい。追加的に、又は代替的に、ソースコード１０４は、ソフトウェアプログラムの一部を含んでもよい。ソースコード１０４は、ソフトウェアプログラムのために使用され得る如何なる適切なタイプのコンピュータ言語でも記述されてよい。

いくつかの実施形態で、ソースコード１０４は、ソフトウェアプログラムのコードの複数のバージョンを含んでよい。例えば、複数の編集は、更新、パッチ、プラットフォームマイグレーション、バグ修復、表面的な再配置、などとしてソースコード１０４に対して行われてよい。よって、複数の編集は、ソースコード１０４の２つ以上の異なるバージョンをもたらす可能性がある。これら又は他の実施形態で、ソースコード１０４は、ソフトウェアプログラムのコードのそのようなバージョンの２つ以上を含んでよく、異なるバージョン間には、イタレーション間で行われた編集により１つ以上の相違が存在する可能性がある。追加的に、又は代替的に、本開示におけるソースコードへの「編集」との言及は、コードの１行以上に行われ得る任意の数の修正を含んでよい。例えば、編集は、コードの１つの行での単一の要素名変更、要素追加、又は要素削除と同じくらい簡単なものから、コードの多数の行を導入又は削除するのと同じくらい複雑なものにまで及んでよい。いくつかの実施形態で、ソースコード１０４は、特定のエラーを含む可能性があるコードのバグのあるバージョンを含んでよい。更に、ソースコード１０４は、バグのあるバージョンの特定のエラーを直した１つ以上の一次編集を含むコードの対応する修復されたバージョンを含んでもよい。対応する修復されたバージョンはまた、バグのあるバージョンの特定のエラーを直すことに寄与しない１つ以上の二次編集を含んでもよい。修復１０８は、特定のエラーに関して行われた一次編集を含んでよく、かつ、コードの修復されたバージョンの二次編集の１つ以上を除いてもよい。

解析モジュール１０６は、コンピュータデバイスが、修復１０８を識別するためにソースコード１０４に対して１つ以上の動作を実行することを可能にするよう構成されたコード及びルーチンを含んでよい。追加的に、又は代替的に、解析モジュール１０６は、プロセッサ、マイクロプロセッサ（例えば、１つ以上の動作を実行するか又はその実行を制御するためのもの）、フィールドプログラマブルゲートアレイ（ＦＰＧＡ）、又は特定用途向け集積回路（ＡＳＩＣ）を含むハードウェアを用いて実装されてよい。いくつかの他の事例では、解析モジュール１０６は、ハードウェアとソフトウェアとの組み合わせを用いて実装されてもよい。本開示では、解析モジュール１０６によって実行されるものとして説明されている動作は、解析モジュール１０６が対応するシステムに実行することを指示し得る動作を含んでもよい。解析モジュール１０６は、以下の通りに、修復１０８に含まれる可能性がある二次編集を低減し、最小限にし、又は削除するために使用され得るソースコード１０４に対する一連の操作を実行するよう構成されてよい。

解析モジュール１０６は、ソースコード１０４の１つ以上のバグのあるバージョン及び１つ以上の対応する修復されたバージョンなどのソースコード１０４の複数のバージョンを含め、ソースコード１０４を取得するよう構成されてよい。いくつかの実施形態で、解析モジュール１０６は、ビッグコードデータベース１０２からソースコード１０４を取得するよう構成されてよい。ビッグコードデータベース１０２は、既存のソフトウェアプログラム及びそれらの各々のソースコードのリポジトリであってよい。これら又は他の実施形態では、ビッグコードデータベース１０２は、バグのあるバージョン及び対応する修復されたバージョンなどのソースコード１０４の異なるバージョンを含んでもよい。追加的に、又は代替的に、ビッグコードデータベース１０２は、解析のために利用可能にされてよく、このことは、他のソフトウェアプログラムの開発及びデバッグを容易にするのを助けることができる。

いくつかの実施形態で、解析モジュール１０６は、ソースコード１０４のバグのあるバージョンとソースコード１０４の対応する修復されたバージョンとの間で行われている編集を識別するよう構成されてよい。識別された編集は、バグのあるバージョンに含まれておりかつ修復されたバージョンでは直されている特定のエラーを直す１つ以上の一次編集を含んでよい。

いくつかの実施形態で、修復１０８を識別する部分として、解析モジュール１０６は、編集をクラスタに編成するよう構成されてよく、各クラスタは１つ以上の編集を含んでよい。これら又は他の実施形態では、クラスタの総数は、編集のあらゆる可能な、順序づけられていない組み合わせについて、異なるクラスタを含んでよい。例えば、編集は、第１編集“Ａ”、第２編集“Ｂ”、及び第３編集“Ｃ”を含んでよい。クラスタは、従って、次の通り：｛Ａ｝、｛Ｂ｝、｛Ｃ｝、｛Ａ，Ｂ｝、｛Ａ，Ｃ｝、｛Ｂ，Ｃ｝、及び｛Ａ，Ｂ，Ｃ｝であってよい。

解析モジュール１０６は、編集のクラスタの１つ以上から修復１０８を識別するよう構成されてよい。追加的に、又は代替的に、解析モジュール１０６は、同じく特定のエラーを直す全体編集の数が最少であるクラスタ又はクラスタの組み合わせを修復１０８として識別するよう構成されてよい。解析モジュール１０６は、修復１０８を識別するために、夫々図３、図５及び図６に関連して以下で詳細に説明されている方法３００、５００及び／又は６００の１つ以上の動作を実行するよう構成されてよい。

本開示の範囲から逸脱せずに、図１に対して、変更、追加、又は削除が行われてよい。例えば、環境１００は、本開示で例示及び記載されているよりも多い又は少ない要素を含んでもよい。

図２は、本開示で説明される少なくとも１つの実施形態に従って配置される、ソフトウェアプログラムを修復することに関係がある、例となる環境２００を表す図である。環境２００は、試験中のコード２０４をエラーについて解析するよう構成された修復モジュール２０６を含んでよい。修復モジュール２０６はまた、修正された試験中のコード２０８を出力するよう構成されてよい。修正された試験中のコード２０８は、修復モジュール２０６によって実行された修復操作によって試験中のコード２０４に対して行われた１つ以上の修正を含んでよい。

試験中のコード２０４は、例えば、ソフトウェアプログラム、ソフトウェアプログラムのソースコード、ライブラリ、アプリケーション、スクリプト、又はプロセッシングデバイスによる実行のための他のロジック若しくは命令などの電子データを含んでよい。いくつかの実施形態で、試験中のコード２０４は、ソフトウェアプログラムの完全なインスタンスを含んでよい。追加的に、又は代替的に、試験中のコード２０４は、ソフトウェアプログラムの一部を含んでもよい。試験中のコード２０４は、ソフトウェアプログラムのために使用され得る如何なる適切なタイプのコンピュータ言語でも記述されてよい。

修復モジュール２０６は、コンピュータデバイスが、修正された試験中のコード２０８を生成するために試験中のコード２０４の１つ以上の修正を実行することを可能にするよう構成されたコード及びルーチンを含んでよい。追加的に、又は代替的に、修復モジュール２０６は、プロセッサ、マイクロプロセッサ（例えば、１つ以上の動作を実行するか又はその実行を制御するためのもの）、フィールドプログラマブルゲートアレイ（ＦＰＧＡ）、又は特定用途向け集積回路（ＡＳＩＣ）を含むハードウェアを用いて実装されてよい。いくつかの他の事例では、修復モジュール２０６は、ハードウェアとソフトウェアとの組み合わせを用いて実装されてもよい。本開示では、修復モジュール２０６によって実行されるものとして説明されている動作は、修復モジュール２０６が対応するシステムに実行することを指示し得る動作を含んでもよい。

修復モジュール２０６は、試験中のコード２０４内の１つ以上のエラーを修復する（「直す」とも呼ばれる。）ために使用され得る試験中のコード２０４に対する一連の修復操作を実行するよう構成されてよい。いくつかの実施形態で、修復モジュール２０６は、修復テンプレート２１２及び１つ以上のテストスイート２１１に基づいて修復操作の１つ以上を実行するよう構成されてよい。

修復テンプレート２１２は、実行される場合に、試験中のコード２０４内のエラーの存在に応答して試験中のコード２０４に対して１つ以上の修正を実装するよう構成され得る如何なる適切なタイプの命令又はルーチンも含んでよい。修正は、エラーを修復するか又は修復しようと試み得る試験中のコード２０４の変更を含んでよい。本開示では、実行される可能性がある修正は、「修復候補」又は「修復」と呼ばれ得る。いくつかの実施形態で、修復テンプレート２１２は、前に修復されたソースコードから、修復を達成するために行われた一次編集を識別することによって識別された１つ以上の修復を含んでよい。例えば、修復テンプレート２１２は、解析モジュール１０６によって識別され得る図１の修復１０８を含んでよい。

テストスイート２１１は、試験中のコード２０４のためのテストケースとなり得る１つ以上のルーチンを含んでよい。テストスイート２１１は、試験中のコード２０４が指定された様態で動くかどうかを判定するよう構成されてよい。テストスイート２１１は、如何なる適切な技術に従っても構成されてよい。

修復モジュール２０６は、試験中のコード２０４内の１つ以上のエラー及び対応するエラー位置を検出又は決定するために試験中のコード２０４に対してテストスイート２１１の１つ以上を適用するよう構成されてよい。いくつかの実施形態で、修復モジュール２０６は、テストスイート２１１に含まれている１つ以上のテストを実行するよう構成されてよく、これは、テスト実行を実行する、とも呼ばれ得る。合格するテスト実行は、「合格テスト実行」と呼ばれてよく、失敗するテスト実行は、「落第テスト実行」と呼ばれてよい。いくつかの実施形態で、試験中のコード２０４のエラー位置及び対応するエラーは、エラー位置に現れるコードを実行する落第テスト実行に基づいて、識別されてよい。

いくつかの実施形態で、修復モジュール２０６は、検出されたエラーを修復するために行われる可能性がある潜在的な修正として修復テンプレート２１２から修復候補を取得するよう構成されてよい。いくつかの実施形態で、修復モジュール２０６は、修復候補の修復コードパターンを取得してもよい。例えば、いくつかの実施形態で、修復モジュール２０６は、米国特許出願第１５／８２２１０６号で記載されているような修復コードパターンを取得するよう構成されてもよい。

いくつかの実施形態で、修復モジュール２０６は、共通コードパターンデータベース２１４にアクセスするよう構成されてよい。共通コードパターンデータベース２１４は、ビッグコードから導出され得る共通のコードパターンを含んでよい。例えば、共通のコードパターンは、既存のソフトウェアプログラムの１つ以上のリポジトリに格納され得る既存のソフトウェアプログラムの既存のコードから導出されてよい。いくつかの実施形態で、共通のコードパターンは、米国特許出願第１５／８２２１０６号で記載されるように取得されてよい。

いくつかの実施形態で、修復モジュール２０６は、米国特許出願第１５／８２２１０６号で記載されるように、修復候補のコードパターンと共通のコードパターンとの間の関連付けに基づいてエラーの訂正のために修復候補を選択又は優先順位付けするよう構成されてよい。

いくつかの実施形態で、修復モジュール２０６はまた、修復候補の優先順位付けに基づいて、試験中のコード２０４に対して修復を実行するよう構成されてよい。例えば、修復モジュール２０６は、可能性がある修復として、最も高い優先順位付けから最も低い優先順位付けまで降順で修復候補を実装してよい。追加的に、又は代替的に、修復モジュール２０６は、修正された試験中のコード２０８を出力するよう構成されてよく、修正された試験中のコード２０８は、修復候補の優先順位付けに基づいて実装され得る１つ以上の修復を含んでよい。

本開示の範囲から逸脱せずに、図２に対して、変更、追加、又は削除が行われてよい。例えば、環境２００は、本開示で例示及び記載されているよりも多い又は少ない要素を含んでもよい。更に、いくつかの実施形態で、修復モジュール２０６、テストスイート２１１、及び修復テンプレート２１２の１つ以上のルーチン、１つ以上の命令、又はコードの少なくとも一部は、それらが同じ要素と見なされ得るように、あるいは、それが修復モジュール２０６、テストスイート２１１、及び修復テンプレート２１２のうちの２つ以上の部分と見なされ得る共通のセクションを有するように、組み合わされてよい。

図３は、本開示の少なくとも１つの実施形態に従って、例となるコンピュータシステム３０２のブロック図を表す。コンピュータシステム３０２は、解析モジュール（図１の解析モジュール１０６）及び／又は修復モジュール（例えば、図２の修復モジュール２０６）に関連した１つ以上の動作を実装又は指示するよう構成されてよい。コンピュータシステム３０２は、プロセッサ３５０、メモリ３５２、及びデータストレージ３５４を含んでよい。プロセッサ３５０、メモリ３５２、及びデータストレージ３５４は、通信可能に結合されてよい。

一般に、プロセッサ３５０は、様々なコンピュータハードウェア又はソフトウェアを含む如何なる適切な専用又は汎用のコンピュータ、コンピュータエンティティ、又はプロセッシングデバイスも含んでよく、如何なる適用可能なコンピュータ可読記憶媒体でも記憶されている命令を実行するよう構成されてよい。例えば、プロセッサ３５０は、マイクロプロセッサ、マイクロコントローラ、デジタル信号プロセッサ（ＤＳＰ）、特定用途向け集積回路（ＡＳＩＣ）、フィールドプログラマブルゲートアレイ（ＦＰＧＡ）、あるいは、プログラム命令を解釈及び／又は実行するようかつ・あるいはデータを処理するよう構成されたあらゆる他のデジタル又はアナログ回路を含んでよい。図３では単一のプロセッサとして表されているが、プロセッサ３５０は、本開示で記載されている動作の任意の数を個別的に又は集合的に実行するか又はその実行を指示するよう構成されたプロセッサをいくつでも含んでよい。更に、プロセッサの１つ以上は、異なるサーバなどの１つ以上の異なる電子機器に存在してもよい。

いくつかの実施形態で、プロセッサ３５０は、メモリ３５２、データストレージ３５４、又はメモリ３５２及びデータストレージ３５４に記憶されているプログラム命令を解釈及び／又は実行しかつ／あるいは記憶されているデータを処理するよう構成されてよい。いくつかの実施形態で、プロセッサ３５０は、データストレージ３５４からプログラム命令をフェッチし、プログラム命令をメモリ３５２にロードしてよい。プログラム命令がメモリ３５２にロードされた後、プロセッサ３５０はプログラム命令を実行し得る。

例えば、いくつかの実施形態で、上記のモジュール（例えば、解析モジュール及び／又は修復モジュール）の１つ以上は、プログラム命令としてデータストレージ３５４に含まれてよい。プロセッサ３５０は、対応するモジュールのプログラム命令をデータストレージ３５４からフェッチしてよく、対応するモジュールのプログラム命令をメモリ３５２にロードしてよい。対応するモジュールのプログラム命令がメモリ３５２にロードされた後、プロセッサ３５０は、コンピュータシステムが、命令によって記載されているように対応するモジュールに関連した動作を実装し得るように、プログラム命令を実行してよい。

メモリ３５２及びデータストレージ３５４は、コンピュータ実行可能命令又はデータ構造を搬送するか又は記憶しているコンピュータ可読記憶媒体を含んでよい。そのようなコンピュータ可読記憶媒体は、プロセッサ３５０などの汎用又は専用のコンピュータによってアクセスされ得る如何なる利用可能な媒体も含んでよい。例として、限定としてでなく、そのようなコンピュータ可読記憶媒体は、ランダムアクセスメモリ（ＲＡＭ）、リードオンリーメモリ（ＲＯＭ）、電気消去可能なプログラム可能リードオンリーメモリ（ＥＥＰＲＯＭ）、コンパクトディスク型リードオンリーメモリ（ＣＤ－ＲＯＭ）若しくは他の光ディスクストレージ、磁気ディスクストレージ若しくは他の磁気記憶デバイス、フラッシュメモリデバイス（例えば、固体状態メモリデバイス）、又はコンピュータ実行可能命令若しくはデータ構造の形で特定のプログラムコードを搬送若しくは記憶するために使用され得かつ汎用若しくは専用のコンピュータによってアクセスされ得るあらゆる他の記憶媒体を含む有形な又は非一時的なコンピュータ可読媒体を含んでよい。上記のものの組み合わせも、コンピュータ可読記憶媒体の範囲内に含まれてよい。コンピュータ実行可能命令は、例えば、プロセッサ３５０に特定の動作又は動作のグループを実行させるよう構成された命令及びデータを含んでよい。

本開示の範囲から逸脱せずに、コンピュータシステム３０２に対して、変更、追加、又は削除が行われてよい。例えば、いくつかの実施形態で、コンピュータシステム３０２は、明示的に例示又は記載されていないことがある他のコンポーネントをいくつでも含んでよい。

図４は、本開示で説明されている少なくとも１つの実施形態に従って、ソフトウェアプログラムに対する修復を識別する、例となる方法４００のフローチャートである。方法４００は、試験中のコードに対して如何なる適切なシステム、装置、又はデバイスによっても実行されてよい。例えば、図１の解析モジュール１０６及び図２の修復モジュール２０６の１つ以上又は（例えば１つ以上のモジュールによって指示される）図３のコンピュータシステム３０２が、方法４００に関連した動作の１つ以上を実行してよい。別個のブロックで表されているが、方法４００のブロックの１つ以上に関連したステップ及び動作は、特定の実施に応じて、更なるブロックに分けられても、より少ないブロックにまとめられても、又は削除されてもよい。

方法４００はブロック４０２から開始してよく、ソフトウェアプログラムのソースコードのソースコード編集が識別されてよい。編集は、ソースコードのバグのあるバージョンとソースコードの対応する修復されたバージョンとの間で行われてよい。バグのあるバージョンは、特定のエラーを含む可能性があり、特定のエラーは、修復されたバージョンでは直され得る。ソースコード及び対応するバージョンは、いくつかの実施形態では、ビッグコードリポジトリから取得されてよい。

ブロック４０４で、編集のクラスタが識別されてよい。例えば、編集はクラスタに編成されてよく、各クラスタは１つ以上の編集を含んでよい。編集をクラスタに編成する解析モジュール１０６に関連して上述されたように、いくつかの実施形態では、クラスタの総数は、クラスタの夫々の異なった、順序づけられていない組み合わせについて、異なるクラスタを含んでよい。

ブロック４０６で、１つ以上の有効なクラスタが、ブロック４０４で識別されたクラスタから識別されてよい。有効なクラスタは、１つ以上の有効なクラスタの夫々に関する第１ソースコードの成功したコンパイルに基づいて識別されてよい。有効なクラスタは、図５に関連して以下で更に詳細に記載される方法５００の１つ以上の動作に従って識別されてよい。

ブロック４０８で、１つ以上の無効なクラスタが、ブロック４０４で識別されたクラスタから識別されてよい。無効なクラスタは、１つ以上の無効なクラスタの夫々に関する第１ソフトウェアプログラムの１つ以上のコンパイルエラーに基づいて識別されてよい。無効なクラスタは、図５に関連して以下で更に詳細に記載される方法５００の１つ以上の動作に従って識別されてよい。

ブロック４１０で、ソースコードのバグのあるバージョンのエラーの修復は、有効なクラスタから識別されてよい。いくつかの実施形態で、有効なクラスタの組及びその組に対応する編集は、修復として識別されてよい。有効なクラスタの組は、単一の有効なクラスタ又は２つ以上の有効なクラスタの組み合わせを含んでよい。これら又は他の実施形態では、有効なクラスタの組は、同じく第１エラーを直す全体編集の数が最少である特定の有効なクラスタ又は有効なクラスタの特定の組み合わせであってよい。更に、修復の識別は、ブロック４０８で識別される無効なクラスタの検討から外してよい。修復は、図６に関連して以下で更に詳細に記載される方法６００の１つ以上の動作に従って、有効なクラスタから識別されてよい。

本開示の範囲から逸脱せずに、方法４００に対して、変更、追加、又は削除が行われてよい。例えば、方法４００の動作のいくつかは、異なった順序で実装されてよい。追加的に、又は代替的に、２つ以上の動作は同時に実行されてもよい。更に、説明されている操作及び動作は、単に例として与えられており、操作及び動作のいくつかは、開示されている実施形態の本質から外れずに、任意であっても、より少ない操作及び動作にまとめられても、又は更なる操作及び動作に拡張されてもよい。

例えば、いくつかの実施形態で、方法４００で解析されるソースコードは、第１ソースコードであってよく、第１ソースコードのバグのあるバージョン内のエラーは、第１エラーであってよい。これら又は他の実施形態で、方法４００は、第２ソフトウェアプログラムの第２ソースコード内の第２エラーを識別することを含んでよい。第２エラーは、第１エラーと同じタイプのエラーであってよい。追加的に、又は代替的に、第２エラーは、第２エラーが第１エラーと同じタイプであることに基づいて、かつ、ブロック４１０で識別された修復が第１エラーを直すことに基づいて、識別された修復に基づいて修復されてよい。

図５は、本開示で説明されている少なくとも１つの実施形態に従って、編集の有効な及び／又は無効なクラスタを識別する、例となる方法５００のフローチャートである。いくつかの実施形態で、図４の方法４００に関して上述されたブロック４０６及び４０８の動作の１つ以上は、方法５００に従って実行されてよい。

方法５００は、試験中のコードに対して如何なる適切なシステム、装置、又はデバイスによっても実行されてよい。例えば、図１の解析モジュール１０６及び図２の修復モジュール２０６の１つ以上又は（例えば１つ以上のモジュールによって指示される）図３のコンピュータシステム３０２が、方法５００に関連した動作の１つ以上を実行してよい。別個のブロックで表されているが、方法５００のブロックの１つ以上に関連したステップ及び動作は、特定の実施に応じて、更なるブロックに分けられても、より少ないブロックにまとめられても、又は削除されてもよい。

方法５００はブロック５０２から開始してよく、編集の特定のクラスタが選択されてよい。特定のクラスタは、いくつかの実施形態では、図４の方法４００のブロック４０４で識別されたクラスタから選択されてよい。上述されたように、特定のクラスタの編集は、エラーを含むエラーコードのバグのあるバージョンと、そのエラーが直されているソースコードの修復されたバージョンとの間で行われている編集であってよい。

ブロック５０４で、特定のクラスタは、ソースコードの第１の修正されたバージョンを生成するようソースコードのバグのあるバージョンに適用されてよい。例えば、特定のクラスタに含まれている編集は、第１の修正されたバージョンを生成するようソースコードのバグのあるバージョンに対して行われてよい。

ブロック５０６で、ソースコードの第１の修正されたバージョンをコンパイルしようと試みられてよい。ブロック５０８で、第１の修正されたバージョンがコンパイルに成功したか、それとも１つ以上のコンパイルエラーを含んでいたかが決定されてよい。第１の修正されたバージョンが１つ以上のコンパイルエラーを有していることに応答して、方法５００はブロック５１８へ進んでよい。ブロック５１８で、特定のクラスタは、無効なクラスタとして識別されてよい。対照的に、第１の修正されたバージョンがコンパイルに成功した（すなわち、如何なるコンパイルエラーも有していない）ことに応答して、方法５００はブロック５１０へ進んでよい。

ブロック５１０で、特定のクラスタは、ソースコードの第２の修正されたバージョンを生成するようソースコードの修復されたバージョンから破棄されてよい。例えば、特定のクラスタに含まれている編集は、対応するコードが、バグのあるバージョンにあったように元通りになるように、修復されたバージョンから破棄されてよい。例えば、バグのあるバージョン内の第１変数名を、修復されたバージョン内の第２変数名に変える第１編集は、第２の修正されたバージョンが第２変数名ではなく第１変数名を含むように、無効にされてよい。更に、選択されたクラスタに含まれていない、バグのあるバージョンと修復されたバージョンとの間で行われた編集は、無効にされなくてもよい。

ブロック５１２で、ソースコードの第２の修正されたバージョンをコンパイルしようと試みられてよい。ブロック５１４で、第２の修正されたバージョンがコンパイルに成功したか、それとも１つ以上のコンパイルエラーを含んでいたかが決定されてよい。第２の修正されたバージョンが１つ以上のコンパイルエラーを有していることに応答して、方法５００はブロック５１８へ進んでよく、特定のクラスタは、無効なクラスタとして識別されてよい。対照的に、第２の修正されたバージョンがコンパイルに成功した（すなわち、如何なるコンパイルエラーも有していない）ことに応答して、方法５００はブロック５１６へ進んでよい。ブロック５１６で、特定のクラスタは、有効なクラスタとして識別されてよい。

本開示の範囲から逸脱せずに、方法５００に対して、変更、追加、又は削除が行われてよい。例えば、方法５００の動作は、異なった順序で実装されてよい。例えば、いくつかの実施形態で、ブロック５１０、５１２、及び５１４は、ブロック５０４、５０６、及び５０８より前に、又はそれらと同時に実行されてよい。

更に、いくつかの実施形態で、方法５００は、図４のブロック４０４で識別され得る編集の各クラスタに関して繰り返し又は同時に実行されてよい。追加的に、又は代替的に、方法５００は、クラスタがそれらのサイズに従って昇順で選択される場合に繰り返し実行されてよい。これら又は他の実施形態では、編集の数が最少であるクラスタが最初に選択されてよく、編集の数が最多であるクラスタは最後に選択されてよい。

図６は、本開示で説明されている少なくとも１つの実施形態に従って、編集の有効なクラスタから修復を識別する、例となる方法６００のフローチャートである。いくつかの実施形態で、図４の方法４００に関して上述されたブロック４１０の動作の１つ以上は、方法５００に従って実行されてよい。

方法６００は、試験中のコードに対して如何なる適切なシステム、装置、又はデバイスによっても実行されてよい。例えば、図１の解析モジュール１０６及び図２の修復モジュール２０６の１つ以上又は（例えば１つ以上のモジュールによって指示される）図３のコンピュータシステム３０２が、方法６００に関連した動作の１つ以上を実行してよい。別個のブロックで表されているが、方法６００のブロックの１つ以上に関連したステップ及び動作は、特定の実施に応じて、更なるブロックに分けられても、より少ないブロックにまとめられても、又は削除されてもよい。

方法６００はブロック６０２から開始してよく、有効なクラスタは、有効なクラスタの組に編成されてよい。例えば、有効なクラスタは、有効なクラスタの各組が１つ以上の有効な組を含み得るように、有効なクラスタの組に編成されてよい。有効なクラスタの各組は、単一の有効なクラスタ又は複数の有効なクラスタを含んでよい。有効なクラスタの組の総数は、上述されたように編集がクラスタに編成され得る様態と同様に、有効なクラスタの夫々の異なった、順序づけられていない組み合わせについて、異なる組を含んでよい。

ブロック６０４で、有効なクラスタの特定の組が選択されてよい。いくつかの実施形態で、方法６００は、繰り返し実行されてよく、有効なクラスタの特定の組は、有効なクラスタの組のサイズの昇順に基づいて選択されてよい。そのようなものとして、ブロック６０４で選択される有効なクラスタの特定の組は、方法６００により未だ解析されていない他の組と比較して、対応する編集の数が最も少ない組であってよい。

ブロック６０６で、特定の組は、ソースコードの第１の修正されたバージョンを生成するようソースコードのバグのあるバージョンに適用されてよい。例えば、特定の組に含まれている編集は、第１の修正されたバージョンを生成するようソースコードのバグのあるバージョンに対して行われてよい。

ブロック６０８で、ソースコードの第１の修正されたバージョンは実行されてよい。ブロック６１０で、第１の修正されたバージョンの実行に基づいて、バグのあるバージョンに含まれておりかつ修復されたバージョンでは直されているエラーが、第１の修正されたバージョンで直されているかどうかが決定されてよい。エラーが直されていないことに応答して、方法６００はブロック６２０へ進んでよい。ブロック６２０で、有効なクラスタの特定の組は、エラーのスタンドアロン修復としての考慮から除外されてよい。対照的に、第１の修正されたバージョンが成功裏にエラーを直したことに応答して、方法６００はブロック６１２へ進んでよい。

ブロック６１２で、特定の組は、ソースコードの第２の修正されたバージョンを生成するようソースコードの修復されたバージョンから破棄されてよい。例えば、有効なクラスタの特定の組に含まれている編集は、対応するコードが、バグのあるバージョンにあったように元通りになるように、修復されたバージョンから破棄されてよい。図５のブロック５１０と同様に、選択されたクラスタに含まれていない、バグのあるバージョンと修復されたバージョンとの間で行われた編集は、ブロック６１２で無効にされなくてもよい。

ブロック６１４で、ソースコードの第２の修正されたバージョンは実行されてよい。ブロック６１６で、第２の修正されたバージョンの実行に基づいて、バグのあるバージョンにもともとあったエラーが第２の修正されたバージョンによって再現されているかどうかが決定される。第２の修正されたバージョンがエラーを再現していないことに応答して、方法６００はブロック６２０へ進んでよく、特定の組は、エラーのスタンドアロン修復としての考慮から除外されてよい。対照的に、第２の修正されたバージョンがエラーを再現していることに応答して、方法６００はブロック６１８へ進んでよい。ブロック６１８で、有効なクラスタの特定の組は、エラーのスタンドアロン修復として識別されてよい。

いくつかの実施形態で、有効なクラスタの１つより多い組は、有効なクラスタの組の中の複数組の夫々に関してブロック６０４、６０６、６０８、６１０、６１２、６１４、６１６、６１８及び６２０の動作を繰り返すことによって、エラーのスタンドアロン修復として識別されてよい。しかし、スタンドアロン修復として識別された有効なクラスタの組の１つ以上はまた、エラーを修復することに寄与しない可能性がある二次編集も含むことがある。いくつかの実施形態で、同じくスタンドアロン修復として識別される、編集の数が最少である有効なクラスタの組は、二次編集の数が最少である（いくつかの事例では、二次編集を含まないことがある）修復を識別するようエラーの修復として選択されてよい。そのようなものとして、修復内の二次編集の数は低減され得る。

追加的に、又は代替的に、ブロック６０４、６０６、６０８、６１０、６１２、６１４、６１６、６１８及び６２０の動作は、有効なクラスタの組に対して繰り返し実行されてよく、有効なクラスタの組は、それらのサイズ（例えば、有効なクラスタの組内の編集の数）に基づいて昇順で選択される。これら又は他の実施形態では、エラーを修復する有効なクラスタの最初の組を識別することに応答して、反復的なプロセスは終了してよい。このようにして方法６００を実行することは、エラーのスタンドアロン修復でもある、編集の数が最少である（二次編集の数も最少であり得る）有効なクラスタの組も識別しながら、計算資源の量を低減することができる。

本開示の範囲から逸脱せずに、方法６００に対して、変更、追加、又は削除が行われてよい。例えば、方法６００の動作は、異なった順序で実装されてよい。例えば、いくつかの実施形態で、ブロック６１２、６１４、及び６１６は、ブロック６０６、６０８、及び６１０より前に又はそれらと同時に実行されてよい。

方法４００、５００及び６００の動作の１つ以上が、ソースコードのバグのあるバージョンの例７０２及びソースコードの修復されたバージョンの例７０４に関してどのように実行され得るかに関して例を与えるために、これより、図７Ａ～７Ｅについて説明する。表されている例では、６つの編集、Ｅｄｉｔ１、Ｅｄｉｔ２、Ｅｄｉｔ３、Ｅｄｉｔ４、Ｅｄｉｔ５及びＥｄｉｔ６（概して「Ｅｄｉｔ」と呼ばれる。）が、バグのあるバージョン７０２と修復されたバージョン７０４との間で行われている。特に、図７Ａに表されているように、Ｅｄｉｔ１は、ソースコードの行７０８内の要素「Ｓｔｒｉｎｇ ｋｅｙ」を「Ｍａｐ．Ｅｎｔｒｙ＜Ｓｔｒｉｎｇ，Ｓｔｒｉｎｇ＞ｅｎｔｒｙ」に変更しており、Ｅｄｉｔ２は、行７０８内の要素「ｋｅｙＳｅｔ（）」を「ｅｎｔｒｙＳｅｔ（）」に変更しており、Ｅｎｔｒｙ３は、「Ｓｔｒｉｎｇ ｋｅｙ＝ｅｎｔｒｙ．ｇｅｔＫｅｙ（）」の行７１０を追加しており、編集４は、行７１２内の要素「ｃｈｅｃｋＶａｌｕｅ」を「ｔｅｓｔＶａｌｕｅ」に変更しており、Ｅｄｉｔ５は、行７１２内の要素「ｔａｂｌｅ．ｇｅｔ」を「ｅｎｔｒｙ．ｇｅｔＶａｌｕｅ」に変更しており、Ｅｄｉｔ６は、行７１４の要素「ｃｈｅｃｋＶａｌｕｅ」を「ｔｅｓｔＶａｌｕｅ」に変更している。

更に、修復されたバージョン７０４は、バグのあるバージョン７０２にあるエラーを直している。方法４００、５００及び６００の動作は、どのＥｄｉｔがエラーを直すことに寄与したか（例えば、どれが一次編集であるか）と、どのＥｄｉｔが二次編集である可能性があるかとを決定するためにコンピュータシステムによって実行されてよい。

Ｅｄｉｔは、編集のクラスタに編成されてよく、各クラスタは、１つ以上の編集を含んでよい。いくつかの実施形態で、クラスタの総数は、クラスタの異なる順序づけられていない組み合わせの総数であってよく、６つのＥｄｉｔに関しては６３個の異なるクラスタに等しくてよい。

次いで、編集のクラスタは、例えば、個々のクラスタに対して方法５００の動作の１つ以上を実行することによって、有効又は無効であると識別されてよい。例えば、図７Ｂは、｛Ｅｄｉｔ１｝のクラスタが、図５の方法５００のブロック５０４に関して上述されたように、図７Ａのバグのあるバージョン７０２に適用されているソースコードの第１の修正されたバージョン７１６を表す。図７Ｂはまた、クラスタ｛Ｅｄｉｔ１｝が、図５の方法５００のブロック５１０に関して上述されたように、修復されたバージョン７０４から破棄されているソースコードの第２の修正されたバージョン７１８を表す。図７Ｂに表されているように、第１の修正されたバージョン７１６及び第２の修正されたバージョン７１８は、夫々、コンパイルエラーを有してよく、それにより、｛Ｅｄｉｔ１｝のクラスタは、図５の方法のブロック５０６、５０８及び５１８並びに／又はブロック５１２、５１４及び５１８に基づいて、無効と見なされ得る。

他の例として、図７Ｃは、｛Ｅｄｉｔ１，Ｅｄｉｔ２，Ｅｄｉｔ３｝のクラスタが、図５の方法５００のブロック５０４に関して上述されたように、図７Ａのバグのあるバージョン７０２に適用されているソースコードの第１の修正されたバージョン７２０を表す。図７Ｃはまた、クラスタ｛Ｅｄｉｔ１，Ｅｄｉｔ２，Ｅｄｉｔ３｝が、図５の方法５００のブロック５１０に関して上述されたように、修復されたバージョン７０４から破棄されているソースコードの第２の修正されたバージョン７２２を表す。図７Ｃに表されているように、第１の修正されたバージョン７２０は、コンパイルに成功していてよいが、第２の修正されたバージョン７２２は、コンパイルエラーを有してよい。従って、たとえ第１の修正されたバージョン７２０がコンパイルに成功したとしても、第２の修正されたバージョン７２２が１つ以上のコンパイルエラーを有しているので、図５の方法のブロック５０４、５０６、５０８、５１０、５１２、５１４及び５１８に基づいて、｛Ｅｄｉｔ１，Ｅｄｉｔ２，Ｅｄｉｔ３｝のクラスタは無効と見なされ得る。

他の例として、図７Ｄは、｛Ｅｄｉｔ１，Ｅｄｉｔ２，Ｅｄｉｔ３，Ｅｄｉｔ４｝のクラスタが、図５の方法５００のブロック５０４に関して上述されたように、図７Ａのバグのあるバージョン７０２に適用されているソースコードの第１の修正されたバージョン７２４を表す。図７Ｄはまた、クラスタ｛Ｅｄｉｔ１，Ｅｄｉｔ２，Ｅｄｉｔ３，Ｅｄｉｔ４｝が、図５の方法５００のブロック５１０に関して上述されたように、修復されたバージョン７０４から破棄されているソースコードの第２の修正されたバージョン７２６を表す。図７Ｄに表されているように、第１の修正されたバージョン７２４及び第２の修正されたバージョン７２６は、夫々、コンパイルに成功していてよい。従って、｛Ｅｄｉｔ１，Ｅｄｉｔ２，Ｅｄｉｔ３，Ｅｄｉｔ４｝のクラスタは、図５の方法のブロック５０４、５０６、５０８、５１０、５１２、５１４及び５１６に基づいて、有効と見なされ得る。

以上は、Ｅｄｉｔのクラスタのいくつかへの方法５００の適用の例にすぎない。いくつかの実施形態で、方法５００は、有効なクラスタ及び無効なクラスタを識別するために夫々の異なるクラスタに対して実行されてよい。表されている例では、Ｅｄｉｔの２つの有効なクラスタ、すなわち、Ｖａｌｉｄ Ｃｌｕｓｔｅｒ１－｛Ｅｄｉｔ１，Ｅｄｉｔ２，Ｅｄｉｔ３，Ｅｄｉｔ４｝及びＶａｌｉｄ Ｃｌｕｓｔｅｒ２－｛Ｅｄｉｔ５，Ｅｄｉｔ６｝が識別されてよい。

次いで、方法６００の１つ以上の動作が、識別されたＶａｌｉｄ Ｃｌｕｓｔｅｒ１及びＶａｌｉｄ Ｃｌｕｓｔｅｒ２に適用されてよい。例えば、Ｖａｌｉｄ Ｃｌｕｓｔｅｒ１及びＶａｌｉｄ Ｃｌｕｓｔｅｒ２は、方法６００のブロック６０２に関して上述されたように、有効なクラスタの次の組、｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ１｝、｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ２｝、及び｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ１，Ｖａｌｉｄ Ｃｌｕｓｔｅｒ２｝に編成されてよい。

次いで、方法６００の他のブロックの１つ以上の動作が、ブロック６０２で識別された有効なクラスタの組に適用されてよい。例えば、図７Ｅは、組｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ１｝が、図６の方法６００のブロック６０６に関して上述されたように、図７Ａのバグのあるバージョン７０２に適用されているソースコードの第１の修正されたバージョン７２８を表す。図７Ｅはまた、組｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ１｝が、図６の方法６００のブロック６１２に関して上述されたように、図７Ａの修復されたバージョン７０４から破棄されているソースコードの第２の修正されたバージョン７３０を表す。図７Ｅに表されているように、第１の修正されたバージョン７２８は、エラーを直してよく、第２の修正されたバージョン７３０は、エラーを再現してよい。そのようなものとして、組｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ１｝は、図６のブロック６０４～６１８に基づいて、エラーの修復として識別され得る。

他の例として、図７Ｆは、組｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ２｝が、図６の方法６００のブロック６０６に関して上述されたように、図７Ａのバグのあるバージョン７０２に適用されているソースコードの第１の修正されたバージョン７３２を表す。図７Ｆはまた、組｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ２｝が、図６の方法６００のブロック６１２に関して上述されたように、図７Ａの修復されたバージョン７０４から破棄されているソースコードの第２の修正されたバージョン７３４を表す。図７Ｆに表されているように、第１の修正されたバージョン７３２は、エラーを直さなくてよく、第２の修正されたバージョン７３４は、エラーを再現しなくてよい。そのようなものとして、組｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ２｝は、図６のブロック６０４～６１８に基づいて、エラーの修復として識別され得ない。

他の例として、図７Ｇは、組｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ１，Ｖａｌｉｄ Ｃｌｕｓｔｅｒ２｝が、図６の方法６００のブロック６０６に関して上述されたように、図７Ａのバグのあるバージョン７０２に適用されているソースコードの第１の修正されたバージョン７３６を表す。図７Ｇはまた、組｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ１，Ｖａｌｉｄ Ｃｌｕｓｔｅｒ２｝が、図６の方法６００のブロック６１２に関して上述されたように、図７Ａの修復されたバージョン７０４から破棄されているソースコードの第２の修正されたバージョン７３８を表す。図７Ｇに表されているように、第１の修正されたバージョン７３６は、エラーを直してよく、第２の修正されたバージョン７３８は、エラーを再現してよい。そのようなものとして、組｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ１，Ｖａｌｉｄ Ｃｌｕｓｔｅｒ２｝は、図６のブロック６０４～６１８に基づいて、エラーの修復として識別され得る。

いくつかの実施形態で、図７Ａ～７Ｇの例に関して、組｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ１，Ｖａｌｉｄ Ｃｌｕｓｔｅｒ２｝ではなく、組｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ１｝が選択されてよい。これは、組｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ１｝の方が、それに含まれている編集が少ないからである。更に、組｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ１，Ｖａｌｉｄ Ｃｌｕｓｔｅｒ２｝が、修復として動作し得る組｛Ｖａｌｉｄ Ｃｌｕｓｔｅｒ１｝を既に含んでいることを考えれば、Ｖａｌｉｄ Ｃｌｕｓｔｅｒ２の編集は、エラーに関して二次編集である、と決定され得る。方法４００、５００及び６００の適用は、Ｅｄｉｔ５及びＥｄｉｔ６を省略しながら、このようにしてＥｄｉｔ１、Ｅｄｉｔ２、Ｅｄｉｔ３及びＥｄｉｔ４を修復として識別し得る。これは、Ｅｄｉｔ５及びＥｄｉｔ６が含まれていた場合と比較して、識別された修復の品質を改善し得る。

上述されたように、本開示で説明されている実施形態は、以下で更に詳細に説明されるように、様々なコンピュータハードウェア又はソフトウェアを含む専用又は汎用のコンピュータの使用を含んでよい。更に、上述されたように、本開示で説明されている実施形態は、コンピュータ実行可能命令を搬送するか又は記憶しているコンピュータ可読媒体を用いて実装されてもよい。

本開示で使用されるように、「モジュール」又は「コンポーネント」という用語は、モジュール若しくはコンポーネントの動作を実行するよう構成された特定のハードウェア実装、並びに／又はコンピュータシステムの汎用のハードウェア（例えば、コンピュータ可読媒体、プロセッシングデバイス、など）に記憶され及び／若しくはそれによって実行され得るソフトウェアオブジェクト若しくはソフトウェアルーチンを指し得る。いくつかの実施形態で、本開示で記載される異なるコンポーネント、モジュール、エンジン、及びサービスは、コンピュータシステムで（例えば、別個のスレッドとして）実行するオブジェクト又はプロセスとして実装されてもよい。本開示で記載されるシステム及び方法のいくつかは、（汎用のハードウェアに記憶され及び／又はそれによって実行される）ソフトウェアにおいて実装されるものとして概して記載されているが、特定のハードウェア実装、又はソフトウェアと特定のハードウェア実装との組み合わせも可能であり、考えられている。本明細書中、「コンピュータエンティティ」は、本開示で先に定義されたあらゆるコンピュータシステム、又はコンピュータシステムで実行されるあらゆるモジュール若しくはモジュールの組み合わせであってよい。

本開示で、特に添付の特許請求の範囲（例えば、添付の特許請求の本文）で使用される用語は、一般的に、“非限定的な（open）”用語として意図されている（例えば、語「含んでいる（including）」は、“～を含んでいるが、～に限定されない”との意に解釈されるべきであり、語「備えている（having）」は、「少なくとも～を備えている」との意に解釈されるべきであり、語「含む（includes）」は、“～を含むが、～に限定されない”との意に解釈されるべきである、など。）。

更に、導入されたクレーム記載（introduced claim recitation）において特定の数が意図される場合、そのような意図は当該クレーム中に明確に記載され、そのような記載がない場合は、そのような意図も存在しない。例えば、理解を促すために、後続の添付された特許請求の範囲では、「少なくとも１つの（at least one）」及び「１つ以上の（one or more）」といった導入句を使用し、クレーム記載を導入することがある。しかし、このような句を使用するからといって、「a」又は「an」といった不定冠詞によりクレーム記載を導入した場合に、たとえ同一のクレーム内に、「１つ以上の」又は「少なくとも１つの」といった導入句と「a」又は「an」といった不定冠詞との両方が含まれるとしても、当該導入されたクレーム記載を含む特定のクレームが、当該記載事項を１しか含まない例に限定されるということが示唆されると解釈されるべきではない（例えば、「a」及び／又は「an」は、「少なくとも１つの」又は「１つ以上の」を意味すると解釈されるべきである。）。定冠詞を使用してクレーム記載を導入する場合にも同様のことが当てはまる。

更には、導入されたクレーム記載において特定の数が明示されている場合であっても、そのような記載は、通常、少なくとも記載された数を意味するように解釈されるべきであることは、当業者には理解されるであろう（例えば、他に修飾語のない、単なる「２つの記載事項」という記載がある場合、この記載は、少なくとも２つの記載事項、又は２つ以上の記載事項を意味する。）。更に、「Ａ、Ｂ及びＣなどのうち少なくとも１つ」又は「Ａ、Ｂ及びＣなどのうちの１つ以上」に類する表記が使用される場合、一般的に、そのような構造は、Ａのみ、Ｂのみ、Ｃのみ、ＡとＢの両方、ＡとＣの両方、ＢとＣの両方、及び／又はＡとＢとＣの全て、などを含むよう意図される。「Ａ又はＢ」との言い回しのこの解釈は、たとえ「Ａ及び／又はＢ」が、「Ａ」若しくは「Ｂ」又は「Ａ及びＢ」の可能性を含むよう折に触れて使用され得るとしても、依然として適用可能である。

更に、２つ以上の選択可能な用語を表す如何なる離接語及び／又は離接句も、明細書、特許請求の範囲、又は図面のいずれであろうと、それら用語のうちの１つ、それらの用語のうちのいずれか、あるいは、それらの用語の両方を含む可能性を意図すると理解されるべきである。例えば、「Ａ又はＢ」という句は、「Ａ又はＢ」、あるいは、「Ａ及びＢ」の可能性を含むことが理解されるべきである。

本開示で挙げられている全ての例及び条件付き言語は、当該技術の促進に本発明者によって寄与される概念及び本発明を読者が理解するのを助ける教育上の目的を意図され、そのような具体的に挙げられている例及び条件に制限されないと解釈されるべきである。本開示の実施形態が詳細に記載されてきたが、様々な変更、置換、及び代替が、本開示の主旨及び適用範囲から逸脱することなしに行われてよい。

上記の実施形態に加えて、以下の付記を開示する。
（付記１）
第１ソフトウェアプログラムの第１ソースコードのバグのあるバージョンと、前記第１ソースコードの修復されたバージョンとの間で行われた複数のソースコード編集を識別することであり、前記バグのあるバージョンは第１エラーを含み、該第１エラーは前記修復されたバージョンでは直されている、ことと、
前記ソースコード編集の複数のクラスタを識別することであり、前記複数のクラスタの各クラスタは、前記複数のソースコード編集のうちの１つ以上のソースコード編集を含む、ことと、
前記複数のクラスタの中の複数の有効なクラスタを、該複数の有効なクラスタの各有効なクラスタに関する前記第１ソースコードの成功したコンパイルに基づいて、識別することと、
前記複数のクラスタの中の１つ以上の無効なクラスタを、該１つ以上の無効なクラスタの夫々に関する前記第１ソフトウェアプログラムの１つ以上のコンパイルエラーに基づいて、識別することと、
前記１つ以上の無効なクラスタを考慮すべき事項から外しながら、前記複数の有効なクラスタのうちの１つ以上の有効なクラスタの特定の組を前記第１エラーの第１修復として識別することと
を有する方法。
（付記２）
第２ソフトウェアプログラムの第２ソースコード内の第２エラーを識別することと、
前記第１修復に基づいて、前記第２エラーに関して、前記第２ソースコードに修復操作を実行することと
を更に有する、付記１に記載の方法。
（付記３）
前記複数の有効なクラスタの各々の有効なクラスタを識別することは、
前記各々の有効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記バグのあるバージョンに適用することによって、前記第１ソースコードの修正されたバージョンを生成することと、
前記第１ソースコードの前記修正されたバージョンがコンパイルに成功したことに応答して、前記各々の有効なクラスタを妥当であると識別することと
を含む、
付記１に記載の方法。
（付記４）
前記複数の有効なクラスタの各々の有効なクラスタを識別することは、
前記各々の有効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記修復されたバージョンから破棄することによって、前記第１ソースコードの修正されたバージョンを生成することと、
前記第１ソースコードの前記修正されたバージョンがコンパイルに成功したことに応答して、前記各々の有効なクラスタを妥当であると識別することと
を含む、
付記１に記載の方法。
（付記５）
前記１つ以上の無効なクラスタの各々の無効なクラスタを識別することは、
前記各々の無効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記バグのあるバージョンに適用することによって、前記第１ソースコードの修正されたバージョンを生成することと、
前記第１ソースコードの前記修正されたバージョンが１つ以上のコンパイルエラーを有していることに応答して、前記各々の無効なクラスタを妥当でないと識別することと
を含む、
付記１に記載の方法。
（付記６）
前記１つ以上の無効なクラスタの各々の無効なクラスタを識別することは、
前記各々の無効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記修復されたバージョンから破棄することによって、前記第１ソースコードの修正されたバージョンを生成することと、
前記第１ソースコードの前記修正されたバージョンが１つ以上のコンパイルエラーを有していることに応答して、前記各々の無効なクラスタを妥当でないと識別することと
を含む、
付記１に記載の方法。
（付記７）
前記１つ以上の有効なクラスタの特定の組は、前記第１エラーを直す全体編集の数が、同じく前記第１エラーを直す有効なクラスタの他の組と比較して最も少ない、
付記１に記載の方法。
（付記８）
前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することは、
前記１つ以上の有効なクラスタの特定の組に対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記バグのあるバージョンに適用することによって、前記第１ソースコードの修正されたバージョンを生成することと、
前記第１ソースコードの前記修正されたバージョンが前記第１エラーを修復することに応答して、前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することと
を含む、
付記１に記載の方法。
（付記９）
前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することは、
前記１つ以上の有効なクラスタの特定の組に対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記修復されたバージョンから破棄することによって、前記第１ソースコードの修正されたバージョンを生成することと、
前記第１ソースコードの前記修正されたバージョンが前記第１エラーを含むことに応答して、前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することと
を含む、
付記１に記載の方法。
（付記１０）
実行されることに応答して、システムに、
第１ソフトウェアプログラムの第１ソースコードのバグのあるバージョンと、前記第１ソースコードの修復されたバージョンとの間で行われた複数のソースコード編集を識別することであり、前記バグのあるバージョンは第１エラーを含み、該第１エラーは前記修復されたバージョンでは直されている、ことと、
前記ソースコード編集の複数のクラスタを識別することであり、前記複数のクラスタの各クラスタは、前記複数のソースコード編集のうちの１つ以上のソースコード編集を含む、ことと、
前記複数のクラスタの中の複数の有効なクラスタを、該複数の有効なクラスタの各有効なクラスタに関する前記第１ソースコードの成功したコンパイルに基づいて、識別することと、
前記複数のクラスタの中の１つ以上の無効なクラスタを、該１つ以上の無効なクラスタの夫々に関する前記第１ソフトウェアプログラムの１つ以上のコンパイルエラーに基づいて、識別することと、
前記１つ以上の無効なクラスタを考慮すべき事項から外しながら、前記複数の有効なクラスタのうちの１つ以上の有効なクラスタの特定の組を前記第１エラーの第１修復として識別することと
を有する動作を実行させる１つ以上の非一時的なコンピュータ可読記憶媒体。
（付記１１）
前記動作は、
第２ソフトウェアプログラムの第２ソースコード内の第２エラーを識別することと、
前記第１修復に基づいて、前記第２エラーに関して、前記第２ソースコードに修復操作を実行することと
を更に有する、
付記１０に記載の１つ以上の非一時的なコンピュータ可読記憶媒体。
（付記１２）
前記複数の有効なクラスタの各々の有効なクラスタを識別することは、
前記各々の有効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記バグのあるバージョンに適用することによって、前記第１ソースコードの修正されたバージョンを生成することと、
前記第１ソースコードの前記修正されたバージョンがコンパイルに成功したことに応答して、前記各々の有効なクラスタを妥当であると識別することと
を含む、
付記１０に記載の１つ以上の非一時的なコンピュータ可読記憶媒体。
（付記１３）
前記複数の有効なクラスタの各々の有効なクラスタを識別することは、
前記各々の有効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記修復されたバージョンから破棄することによって、前記第１ソースコードの修正されたバージョンを生成することと、
前記第１ソースコードの前記修正されたバージョンがコンパイルに成功したことに応答して、前記各々の有効なクラスタを妥当であると識別することと
を含む、
付記１０に記載の１つ以上の非一時的なコンピュータ可読記憶媒体。
（付記１４）
前記１つ以上の無効なクラスタの各々の無効なクラスタを識別することは、
前記各々の無効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記バグのあるバージョンに適用することによって、前記第１ソースコードの修正されたバージョンを生成することと、
前記第１ソースコードの前記修正されたバージョンが１つ以上のコンパイルエラーを有していることに応答して、前記各々の無効なクラスタを妥当でないと識別することと
を含む、
付記１０に記載の１つ以上の非一時的なコンピュータ可読記憶媒体。
（付記１５）
前記１つ以上の無効なクラスタの各々の無効なクラスタを識別することは、
前記各々の無効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記修復されたバージョンから破棄することによって、前記第１ソースコードの修正されたバージョンを生成することと、
前記第１ソースコードの前記修正されたバージョンが１つ以上のコンパイルエラーを有していることに応答して、前記各々の無効なクラスタを妥当でないと識別することと
を含む、
付記１０に記載の１つ以上の非一時的なコンピュータ可読記憶媒体。
（付記１６）
前記１つ以上の有効なクラスタの特定の組は、前記第１エラーを直す全体編集の数が、同じく前記第１エラーを直す有効なクラスタの他の組と比較して最も少ない、
付記１０に記載の１つ以上の非一時的なコンピュータ可読記憶媒体。
（付記１７）
前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することは、
前記１つ以上の有効なクラスタの特定の組に対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記バグのあるバージョンに適用することによって、前記第１ソースコードの修正されたバージョンを生成することと、
前記第１ソースコードの前記修正されたバージョンが前記第１エラーを修復することに応答して、前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することと
を含む、
付記１０に記載の１つ以上の非一時的なコンピュータ可読記憶媒体。
（付記１８）
前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することは、
前記１つ以上の有効なクラスタの特定の組に対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記修復されたバージョンから破棄することによって、前記第１ソースコードの修正されたバージョンを生成することと、
前記第１ソースコードの前記修正されたバージョンが前記第１エラーを含むことに応答して、前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することと
を含む、
付記１０に記載の１つ以上の非一時的なコンピュータ可読記憶媒体。
（付記１９）
１つ以上のプロセッサと、命令を記憶するよう構成された１つ以上の非一時的なコンピュータ可読記憶媒体とを有するシステムであって、
前記命令は、前記１つ以上のプロセッサによって実行されることに応答して、当該システムに、
第１ソフトウェアプログラムの第１ソースコードのバグのあるバージョンと、前記第１ソースコードの修復されたバージョンとの間で行われた複数のソースコード編集を識別することであり、前記バグのあるバージョンは第１エラーを含み、該第１エラーは前記修復されたバージョンでは直されている、ことと、
前記ソースコード編集の複数のクラスタを識別することであり、前記複数のクラスタの各クラスタは、前記複数のソースコード編集のうちの１つ以上のソースコード編集を含む、ことと、
前記複数のクラスタの中の複数の有効なクラスタを、該複数の有効なクラスタの各有効なクラスタに関する前記第１ソースコードの成功したコンパイルに基づいて、識別することと、
前記複数の有効なクラスタのうちの１つ以上の有効なクラスタの特定の組を前記第１エラーの第１修復として識別することと
を有し、
前記複数の有効なクラスタの各々の有効なクラスタを識別することが、
前記各々の有効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記バグのあるバージョンに適用することによって、前記第１ソースコードの第１の修正されたバージョンを生成することと、
前記各々の有効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記修復されたバージョンから破棄することによって、前記第１ソースコードの第２の修正されたバージョンを生成することと、
前記第１ソースコードの前記第１の修正されたバージョン及び前記第１ソースコードの前記第２の修正されたバージョンがコンパイルに成功したことに応答して、前記各々の有効なクラスタを妥当であると識別することと
を含み、
前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することが、
前記１つ以上の有効なクラスタの特定の組に対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記バグのあるバージョンに適用することによって、前記第１ソースコードの第３の修正されたバージョンを生成することと、
前記１つ以上の有効なクラスタの特定の組に対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記修復されたバージョンから破棄することによって、前記第１ソースコードに対応する第４の修正されたバージョンを生成することと、
前記第１ソースコードの前記第３の修正されたバージョンが前記第１エラーを修復することに応答して、かつ、前記第１ソースコードの前記第４の修正されたバージョンが前記第１エラーを含むことに応答して、前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することと
を含む、動作を実行させる、
システム。
（付記２０）
前記動作は、前記複数のクラスタの中の１つ以上の無効なクラスタを、該１つ以上の無効なクラスタの夫々に関する前記第１ソフトウェアプログラムの１つ以上のコンパイルエラーに基づいて、識別することを更に有し、
前記１つ以上の無効なクラスタは、前記第１修復を識別するときに、考慮すべき事項から外される、
付記１９に記載のシステム。

１００，２００ 環境
１０２ ビッグコードデータベース
１０４ ソースコード
１０６ 解析モジュール
１０８ 修復
２０４ 試験中のコード
２０６ 修復モジュール
２０８ 修正された試験中のコード
２１１ テストスイート
２１２ 修復テンプレート
２１４ 共通コードパターンデータベース
３０２ コンピュータシステム
３５０ プロセッサ
３５２ メモリ
３５４ データストレージ
７０２ バグのあるバージョン
７０４ 修復されたバージョン

Claims (20)

1. 第１ソフトウェアプログラムの第１ソースコードのバグのあるバージョンと、前記第１ソースコードの修復されたバージョンとの間で行われた複数のソースコード編集を識別することであり、前記バグのあるバージョンは第１エラーを含み、該第１エラーは前記修復されたバージョンでは直されている、ことと、
   前記ソースコード編集の複数のクラスタを識別することであり、前記複数のクラスタの各クラスタは、前記複数のソースコード編集のうちの１つ以上のソースコード編集を含む、ことと、
   前記複数のクラスタの中の複数の有効なクラスタを、該複数の有効なクラスタの各有効なクラスタに関する前記第１ソースコードの成功したコンパイルに基づいて、識別することと、
   前記複数のクラスタの中の１つ以上の無効なクラスタを、該１つ以上の無効なクラスタの夫々に関する前記第１ソフトウェアプログラムの１つ以上のコンパイルエラーに基づいて、識別することと、
   前記１つ以上の無効なクラスタを考慮すべき事項から外しながら、前記複数の有効なクラスタのうちの１つ以上の有効なクラスタの特定の組を前記第１エラーの第１修復として識別することと
   を有する方法。
2. 第２ソフトウェアプログラムの第２ソースコード内の第２エラーを識別することと、
   前記第１修復に基づいて、前記第２エラーに関して、前記第２ソースコードに修復操作を実行することと
   を更に有する、請求項１に記載の方法。
3. 前記複数の有効なクラスタの各々の有効なクラスタを識別することは、
   前記各々の有効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記バグのあるバージョンに適用することによって、前記第１ソースコードの修正されたバージョンを生成することと、
   前記第１ソースコードの前記修正されたバージョンがコンパイルに成功したことに応答して、前記各々の有効なクラスタを妥当であると識別することと
   を含む、
   請求項１に記載の方法。
4. 前記複数の有効なクラスタの各々の有効なクラスタを識別することは、
   前記各々の有効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記修復されたバージョンから破棄することによって、前記第１ソースコードの修正されたバージョンを生成することと、
   前記第１ソースコードの前記修正されたバージョンがコンパイルに成功したことに応答して、前記各々の有効なクラスタを妥当であると識別することと
   を含む、
   請求項１に記載の方法。
5. 前記１つ以上の無効なクラスタの各々の無効なクラスタを識別することは、
   前記各々の無効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記バグのあるバージョンに適用することによって、前記第１ソースコードの修正されたバージョンを生成することと、
   前記第１ソースコードの前記修正されたバージョンが１つ以上のコンパイルエラーを有していることに応答して、前記各々の無効なクラスタを妥当でないと識別することと
   を含む、
   請求項１に記載の方法。
6. 前記１つ以上の無効なクラスタの各々の無効なクラスタを識別することは、
   前記各々の無効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記修復されたバージョンから破棄することによって、前記第１ソースコードの修正されたバージョンを生成することと、
   前記第１ソースコードの前記修正されたバージョンが１つ以上のコンパイルエラーを有していることに応答して、前記各々の無効なクラスタを妥当でないと識別することと
   を含む、
   請求項１に記載の方法。
7. 前記１つ以上の有効なクラスタの特定の組は、前記第１エラーを直す全体編集の数が、同じく前記第１エラーを直す有効なクラスタの他の組と比較して最も少ない、
   請求項１に記載の方法。
8. 前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することは、
   前記１つ以上の有効なクラスタの特定の組に対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記バグのあるバージョンに適用することによって、前記第１ソースコードの修正されたバージョンを生成することと、
   前記第１ソースコードの前記修正されたバージョンが前記第１エラーを修復することに応答して、前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することと
   を含む、
   請求項１に記載の方法。
9. 前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することは、
   前記１つ以上の有効なクラスタの特定の組に対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記修復されたバージョンから破棄することによって、前記第１ソースコードの修正されたバージョンを生成することと、
   前記第１ソースコードの前記修正されたバージョンが前記第１エラーを含むことに応答して、前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することと
   を含む、
   請求項１に記載の方法。
10. 実行されることに応答して、システムに、
    第１ソフトウェアプログラムの第１ソースコードのバグのあるバージョンと、前記第１ソースコードの修復されたバージョンとの間で行われた複数のソースコード編集を識別することであり、前記バグのあるバージョンは第１エラーを含み、該第１エラーは前記修復されたバージョンでは直されている、ことと、
    前記ソースコード編集の複数のクラスタを識別することであり、前記複数のクラスタの各クラスタは、前記複数のソースコード編集のうちの１つ以上のソースコード編集を含む、ことと、
    前記複数のクラスタの中の複数の有効なクラスタを、該複数の有効なクラスタの各有効なクラスタに関する前記第１ソースコードの成功したコンパイルに基づいて、識別することと、
    前記複数のクラスタの中の１つ以上の無効なクラスタを、該１つ以上の無効なクラスタの夫々に関する前記第１ソフトウェアプログラムの１つ以上のコンパイルエラーに基づいて、識別することと、
    前記１つ以上の無効なクラスタを考慮すべき事項から外しながら、前記複数の有効なクラスタのうちの１つ以上の有効なクラスタの特定の組を前記第１エラーの第１修復として識別することと
    を有する動作を実行させる１つ以上の非一時的なコンピュータ可読記憶媒体。
11. 前記動作は、
    第２ソフトウェアプログラムの第２ソースコード内の第２エラーを識別することと、
    前記第１修復に基づいて、前記第２エラーに関して、前記第２ソースコードに修復操作を実行することと
    を更に有する、
    請求項１０に記載の１つ以上の非一時的なコンピュータ可読記憶媒体。
12. 前記複数の有効なクラスタの各々の有効なクラスタを識別することは、
    前記各々の有効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記バグのあるバージョンに適用することによって、前記第１ソースコードの修正されたバージョンを生成することと、
    前記第１ソースコードの前記修正されたバージョンがコンパイルに成功したことに応答して、前記各々の有効なクラスタを妥当であると識別することと
    を含む、
    請求項１０に記載の１つ以上の非一時的なコンピュータ可読記憶媒体。
13. 前記複数の有効なクラスタの各々の有効なクラスタを識別することは、
    前記各々の有効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記修復されたバージョンから破棄することによって、前記第１ソースコードの修正されたバージョンを生成することと、
    前記第１ソースコードの前記修正されたバージョンがコンパイルに成功したことに応答して、前記各々の有効なクラスタを妥当であると識別することと
    を含む、
    請求項１０に記載の１つ以上の非一時的なコンピュータ可読記憶媒体。
14. 前記１つ以上の無効なクラスタの各々の無効なクラスタを識別することは、
    前記各々の無効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記バグのあるバージョンに適用することによって、前記第１ソースコードの修正されたバージョンを生成することと、
    前記第１ソースコードの前記修正されたバージョンが１つ以上のコンパイルエラーを有していることに応答して、前記各々の無効なクラスタを妥当でないと識別することと
    を含む、
    請求項１０に記載の１つ以上の非一時的なコンピュータ可読記憶媒体。
15. 前記１つ以上の無効なクラスタの各々の無効なクラスタを識別することは、
    前記各々の無効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記修復されたバージョンから破棄することによって、前記第１ソースコードの修正されたバージョンを生成することと、
    前記第１ソースコードの前記修正されたバージョンが１つ以上のコンパイルエラーを有していることに応答して、前記各々の無効なクラスタを妥当でないと識別することと
    を含む、
    請求項１０に記載の１つ以上の非一時的なコンピュータ可読記憶媒体。
16. 前記１つ以上の有効なクラスタの特定の組は、前記第１エラーを直す全体編集の数が、同じく前記第１エラーを直す有効なクラスタの他の組と比較して最も少ない、
    請求項１０に記載の１つ以上の非一時的なコンピュータ可読記憶媒体。
17. 前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することは、
    前記１つ以上の有効なクラスタの特定の組に対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記バグのあるバージョンに適用することによって、前記第１ソースコードの修正されたバージョンを生成することと、
    前記第１ソースコードの前記修正されたバージョンが前記第１エラーを修復することに応答して、前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することと
    を含む、
    請求項１０に記載の１つ以上の非一時的なコンピュータ可読記憶媒体。
18. 前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することは、
    前記１つ以上の有効なクラスタの特定の組に対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記修復されたバージョンから破棄することによって、前記第１ソースコードの修正されたバージョンを生成することと、
    前記第１ソースコードの前記修正されたバージョンが前記第１エラーを含むことに応答して、前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することと
    を含む、
    請求項１０に記載の１つ以上の非一時的なコンピュータ可読記憶媒体。
19. １つ以上のプロセッサと、命令を記憶するよう構成された１つ以上の非一時的なコンピュータ可読記憶媒体とを有するシステムであって、
    前記命令は、前記１つ以上のプロセッサによって実行されることに応答して、当該システムに、
    第１ソフトウェアプログラムの第１ソースコードのバグのあるバージョンと、前記第１ソースコードの修復されたバージョンとの間で行われた複数のソースコード編集を識別することであり、前記バグのあるバージョンは第１エラーを含み、該第１エラーは前記修復されたバージョンでは直されている、ことと、
    前記ソースコード編集の複数のクラスタを識別することであり、前記複数のクラスタの各クラスタは、前記複数のソースコード編集のうちの１つ以上のソースコード編集を含む、ことと、
    前記複数のクラスタの中の複数の有効なクラスタを、該複数の有効なクラスタの各有効なクラスタに関する前記第１ソースコードの成功したコンパイルに基づいて、識別することと、
    前記複数の有効なクラスタのうちの１つ以上の有効なクラスタの特定の組を前記第１エラーの第１修復として識別することと
    を有し、
    前記複数の有効なクラスタの各々の有効なクラスタを識別することが、
    前記各々の有効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記バグのあるバージョンに適用することによって、前記第１ソースコードの第１の修正されたバージョンを生成することと、
    前記各々の有効なクラスタに対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記修復されたバージョンから破棄することによって、前記第１ソースコードの第２の修正されたバージョンを生成することと、
    前記第１ソースコードの前記第１の修正されたバージョン及び前記第１ソースコードの前記第２の修正されたバージョンがコンパイルに成功したことに応答して、前記各々の有効なクラスタを妥当であると識別することと
    を含み、
    前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することが、
    前記１つ以上の有効なクラスタの特定の組に対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記バグのあるバージョンに適用することによって、前記第１ソースコードの第３の修正されたバージョンを生成することと、
    前記１つ以上の有効なクラスタの特定の組に対応する前記１つ以上のソースコード編集を前記第１ソースコードの前記修復されたバージョンから破棄することによって、前記第１ソースコードに対応する第４の修正されたバージョンを生成することと、
    前記第１ソースコードの前記第３の修正されたバージョンが前記第１エラーを修復することに応答して、かつ、前記第１ソースコードの前記第４の修正されたバージョンが前記第１エラーを含むことに応答して、前記１つ以上の有効なクラスタの特定の組を前記第１修復として識別することと
    を含む、動作を実行させる、
    システム。
20. 前記動作は、前記複数のクラスタの中の１つ以上の無効なクラスタを、該１つ以上の無効なクラスタの夫々に関する前記第１ソフトウェアプログラムの１つ以上のコンパイルエラーに基づいて、識別することを更に有し、
    前記１つ以上の無効なクラスタは、前記第１修復を識別するときに、考慮すべき事項から外される、
    請求項１９に記載のシステム。

Images