JP2021060961A - 説明的及び実行可能な修復例の生成 - Google Patents

Abstract

【課題】説明的及び実行可能な修復例の生成方法を提供する。【解決手段】方法は、第１のソフトウェアプログラムの第１の部分内の第１の違反を取得し、第１の違反を修正するための第１の提案されたパッチを取得する。また、第２の違反を含む第２のソフトウェアプログラムを識別し、無関係と識別された第２の部分内の１つ以上の要素を除去することにより、第２のソフトウェアプログラムの第２の部分を簡素化し、第１の違反に対する第１の提案されたパッチを簡素化された第２の部分に適用して、修復された簡素化された第２の部分を生成する。また、修復された簡素化された第２の部分から、実行可能な修復された簡素化された第２の部分を取得し、第２の違反及び実行可能な修復された簡素化された第２の部分を、第１の提案されたパッチが第１の違反及び第１のソフトウェアプログラムにどのように影響するかの例として提示する。【選択図】図４

Description

本開示で論じられる実施形態は、説明的及び実行可能な修復例の生成に関する。

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

本開示において請求される対象事項は、何らかの欠点を解決し又は上述されたような環境においてのみ動作する実施形態に限定されない。むしろ、この背景技術は、本開示に記載されるいくつかの実施形態が実施され得る１つの例示的な技術分野を示すためにのみ提供される。

一方法が、第１のソフトウェアプログラムの第１の部分内の第１の違反を取得するステップと、第１の違反を修正するための第１の提案されたパッチを取得するステップとを含み得る。該方法は、第２の違反を含む第２の部分を有する第２のソフトウェアプログラムを識別するステップをさらに含んでもよい。第２のソフトウェアプログラムは、第２の違反が第１の違反と類似するとの決定に応答して識別されてもよい。第１の提案されたパッチは、第２の違反を修正し得る。該方法は、無関係と識別された第２の部分内の１つ以上の要素を除去することにより、第２のソフトウェアプログラムの第２の部分を簡素化するステップをさらに含んでもよい。該方法は、第１の違反に対する第１の提案されたパッチを簡素化された第２の部分に適用して、修復された簡素化された第２の部分を生成するステップをさらに含んでもよい。該方法は、修復された簡素化された第２の部分から実行可能な修復された簡素化された第２の部分を取得するステップをさらに含んでもよい。該方法は、第２の違反及び実行可能な修復された簡素化された第２の部分を、第１の提案されたパッチが第１の違反及び第１のソフトウェアプログラムにどのように影響するかの例として提示するステップをさらに含んでもよい。

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

前述の一般的な説明及び以下の詳細な説明の双方が例として与えられ、説明的であり、請求される発明の限定ではない。

例示的な実施形態が、添付図面の使用を通してさらなる特定性及び詳細と共に記載され、説明される。
説明的及び実行可能な修復例の生成に関連する一例示的な環境を表す図である。 ソフトウェアプログラムを簡素化する処理を示す。 ソフトウェアプログラムを簡素化する処理を示す。 ソフトウェアプログラムを簡素化する処理を示す。 ソフトウェアプログラムを簡素化する処理を示す。 ソフトウェアプログラムを簡素化する処理を示す。 ソフトウェアプログラムを簡素化する処理を示す。 ソフトウェアプログラムを簡素化する一例示的な方法のフローチャートである。 説明的及び実行可能な修復例を生成する一例示的な方法のフローチャートである。 説明的及び実行可能な修復例を生成するように構成され得る一例示的なコンピューティングシステムを示す。

本開示に記載されるいくつかの実施形態は、ソフトウェアプログラムを修復する方法及びシステムに関する。ソフトウェアプログラムは、ソフトウェアプログラムを意図されない方法で挙動させる可能性があるエラー（一般に「バグ」又は「違反（violations）」とも呼ばれる）をしばしば含む。さらに、エラーを検出及び訂正してソフトウェアプログラムを修復するために、しばしば、自動化された修復システム及び手法が使用される。

いくつかの実施形態において、既存のソフトウェアプログラムのリポジトリが使用されて、開発又はテストされているコード内のエラーを識別及び／又は訂正するために使用され得る対応するコード内のパターンを識別することができる。いくつかの例において、既存のソフトウェアプログラムのリポジトリは、多数のソフトウェアプログラム（例えば、数千、数万、数十万、数百万等のソフトウェアプログラム）のソースコードを含み得る。例えば、ソフトウェアプログラムのリポジトリを収集する方法及びソフトウェアプログラムの修復は、2019年2月7日に出願された米国特許出願第16/270,509号及び2019年2月7日に出願された米国特許出願第16/270,518号に記載されており、上記出願は双方、その全体を参照により本明細書に組み込まれる。

本開示において、このようなリポジトリに記憶され、他のソフトウェアプログラムの開発に役立つよう使用され得る既存のソフトウェアプログラム及び対応するソースコードは、「ビッグコード」と呼ばれることがある。いくつかの例において、ソフトウェアプログラムのリポジトリから修復ストラテジが学習され得る。修復ストラテジは、2018年8月22日に出願された米国特許出願第16/109,434号及び2019年6月20日に出願された米国特許出願第16/447,535号に記載されているように精緻化され、新たに発見された違反に対して適用されてもよく、上記出願は双方、その全体を参照により本明細書に組み込まれる。例えば、ビッグコードリポジトリを使用し、開発中のソフトウェアプログラムの潜在的な修復ストラテジが識別されてもよい。

ソフトウェアプログラムの開発の間、ソフトウェアプログラムの１つ以上の違反が識別されることがある。これら又は他の実施形態において、開発ツールが、違反を修正する（remediate）ための１つ以上の潜在的な修復ストラテジ又はパッチを識別し、ユーザに提示することがある。しかしながら、ユーザは、ソフトウェアプログラムに対して自動的に生成されたフィックスを採用することをためらう場合がある。詳細には、ユーザは、パッチがどのような問題を直すように設計されているか、パッチがソフトウェアプログラムにどのような変更を行うか、又はパッチが違反にどのように対処するかを理解しない可能性がある。ゆえに、既存の方法は、違反を修正するためのパッチをユーザに提示し得るが、ユーザはパッチを信頼しない可能性があり、代わりに、違反に対する代替の解決策を探し出す可能性がある。

本開示の１つ以上の実施形態によれば、ソフトウェア開発の技術分野は、コンピューティングシステムがソフトウェアプログラムにおける違反を識別し、違反を修正するためのパッチを識別及び示唆し、同じ又は類似の（similar）タイプの違反を有しかつ示唆されたパッチにより修正される第２のソフトウェアプログラムを識別し、第２のソフトウェアプログラムを簡素化し、簡素化された第２のソフトウェアプログラムを実行可能な形式で、示唆されたパッチを使用する例としてユーザに提示することができるようにコンピュータシステムを構成することにより、改善され得る。

２つの異なるソフトウェアプログラムを修正し得るパッチを参照するとき、２つのソフトウェアプログラムに対するパッチを実現するために使用されるソフトウェアコードは異なり得るが、実行される動作のタイプ、及びパッチが２つのソフトウェアプログラムをモディファイする方法は、類似するか又は同じである可能性がある。例えば、２つの異なるソフトウェアプログラムを修正するパッチを記述するとき、パッチは、第１のソフトウェアプログラムを修正し得る第１の動作セットを含むことができ、第１の動作セットと同じタイプの第２の動作セットを含むことができ、第２のソフトウェアプログラムを修正し得る。あるいは、パッチは、違反を修正するための一連の動作を参照してもよく、各ソフトウェアプログラムを修正するための正確なソフトウェアコードを含まない場合がある。

コンピューティングシステムは、ソフトウェアプログラム内の違反を識別するように構成され得る。次いで、コンピューティングシステムは、違反をリポジトリ内のソフトウェアプログラムに関連づけられた違反と比較することができる。次いで、コンピューティングシステムは、リポジトリ内のパッチに基づいて違反に対するパッチを識別することができる。次いで、コンピューティングシステムは、同じ又は類似のタイプの違反を有し、かつパッチにより修正される第２のソフトウェアプログラムを識別することができる。次いで、コンピューティングシステムは、第２のソフトウェアプログラムを簡素化し、簡素化された第２のソフトウェアプログラムから実行可能プログラムを作成することができる。次いで、コンピューティングシステムは、簡素化された第２のソフトウェアプログラム、パッチ、及び実行可能な簡素化された第２のソフトウェアプログラムを、パッチを使用する例としてディスプレイ上に提示することができ、それにより、ユーザは、パッチに基づいてソフトウェアプログラムに対して修復動作を実行することができる。

いくつかの実施形態において、システムは、ソフトウェアプログラムにおける違反に対するパッチを発見して例示的なフォーマットでパッチを提示することにより、ソフトウェアプログラミングの開発を容易にすることができ、このことは、ユーザが違反に対して独立した解決策を探すよりむしろパッチを受け入れる結果をもたらし得る。これは、ユーザが自分自身で実行できるよりもより迅速な違反の解決を容易にする可能性がある。ソフトウェア違反の修正における速度の改善は、ソースコードの開発及びテストを容易にするのに役立ち得る。これら及び他の実施形態において、ユーザは、ユーザの時間の大部分をしばしば占めることがあるバグフィックスの代わりにコードを書くことに焦点を合わせることにより、より効率的にコードを開発することができる。

代わりに又はさらに、システムは、ユーザが識別し得るよりもより正確な及び／又はより関連性のある、ソフトウェアプログラムのパッチを識別することができる。より正確な及び／又はより関連性のあるパッチの識別は、ユーザがより効率的なコード又はユーザにより意図された方法で動作するコードを書くのに役立ち得る。ゆえに、改善されたソフトウェアプログラムに対するパッチの識別及び例示的なフォーマットでのパッチの提示は、違反の訂正を容易にする可能性があり、結果的に特定のソースコードの改善に役立ち得る。

本開示の１つ以上の実施形態によれば、ソフトウェア開発の技術分野は、コンピューティングシステムがソフトウェアプログラムにおける違反を識別し、違反を修正するためのパッチを識別し、同じ又は類似のタイプのものでありかつパッチにより修正される違反を有する第２のソフトウェアプログラムを識別し、第２のソフトウェアプログラムを簡素化し、簡素化された第２のソフトウェアプログラムをパッチの例として提示することができるようにコンピュータシステムを構成することにより、改善され得る。

本開示の実施形態は、添付の図面を参照して説明される。

図１は、本開示に記載される少なくとも１つの実施形態に従って配置された、説明的及び実行可能な修復例の生成に関連する一例示的な環境１００を表す図である。環境１００は、デバイス１２０、データベース１３０、ネットワーク１５０、及び例１７０を含み得る。

デバイス１２０は、プロセッサ、メモリ、及び通信機能を含むコンピュータベースのハードウェアデバイスを含んでもよい。デバイス１２０は、ネットワーク１５０に結合されて環境１００の他のコンポーネントのいずれかとデータを通信することができる。デバイス１２０のいくつかの例は、モバイルフォン、スマートフォン、タブレットコンピュータ、ラップトップコンピュータ、デスクトップコンピュータ、セットトップボックス、仮想現実デバイス、又はコネクテッドデバイス等を含んでもよい。デバイス１２０は、プロセッサベースのコンピューティングデバイスを含んでもよい。例えば、デバイス１２０は、ハードウェアサーバ、又はサーバとして機能するように構成された別のプロセッサベースのコンピューティングデバイスを含んでもよい。デバイス１２０は、メモリ及びネットワーク通信機能を含んでもよい。

いくつかの実施形態において、デバイス１２０は、ソフトウェアプログラム１２２を含み得る。これら及び他の実施形態において、ソフトウェアプログラム１２２は、とりわけ、Ｃ＋＋、Ｃ、アセンブリ、Ｃ＃、Ｊａｖａ（登録商標）、ＢＡＳＩＣ、ＪａｖａＳｃｒｉｐｔ（登録商標）、Ｐｙｔｈｏｎ、及びＳＱＬなどの任意のプログラミング言語で書かれたソースコードを含んでもよい。いくつかの実施形態において、ソフトウェアプログラム１２２は、複数のメソッドを含んでもよい。これら及び他の実施形態において、メソッドは、独立して実行可能及び／又は区別可能であり得る、ソフトウェアプログラム１２２内の個別のサブプログラムでもよい。例えば、メソッドは、ソフトウェアプログラム１２２のサブユニットでもよい。これら及び他の実施形態において、ソフトウェアプログラム１２２は、特定の目的のため、及び／又は特定の目標を達成するために設計されてもよい。

いくつかの実施形態において、ソフトウェアプログラム１２２は、違反１２４を含み得る。図１には単一の違反１２４が示されているが、ソフトウェアプログラム１２２は複数の違反１２４を含むことがある。いくつかの実施形態において、違反１２４は、実行時エラー、論理エラー、及び／又は他のエラーを含んでもよい。例えば、いくつかの実施形態において、違反１２４は実行時エラーを含み得る。これら及び他の実施形態において、ソフトウェアプログラム１２２は何のエラーもなくコンパイルすることができるが、コンパイルされたソフトウェアプログラム１２２を実行しようとするときエラーに遭遇し得る。例えば、ソフトウェアプログラム１２２は、ゼロによる除算、又は存在しない配列の要素にアクセスする試みを含む可能性がある。代わりに又はさらに、いくつかの実施形態において、違反１２４は論理エラーを含み得る。これら及び他の実施形態において、ソフトウェアプログラム１２２は何のエラーもなくコンパイルすることができ、コンパイルされたソフトウェアプログラム１２２を実行しようとするときエラーに遭遇し得ない。しかしながら、ソフトウェアプログラム１２２は、ソフトウェアプログラム１２２の作者又は設計者により予期されるとおりに機能しない場合がある。

いくつかの実施形態において、違反１２４は、ソフトウェアプログラム１２２内の違反１２４のタイプ及び位置により一意に指定されることにより、コンピュータ記憶装置に記憶及び／又は表現され得る。これら及び他の実施形態において、違反１２４のタイプ及び位置は、ソフトウェアプログラム分析ツールにより決定及び／又は報告されてもよい。いくつかの実施形態において、違反１２４のタイプは、違反１２４のカテゴリを含んでもよく、「ヌルポインタの参照解除」、「配列インデックスが境界外である」、又は「無限ループ」などの、予め定義されたツール特有のタイプのセットのうち１つを含んでもよい。いくつかの実施形態において、違反１２４の位置は、他の仕様の中でも、ソフトウェアプログラム１２２内の行番号、行番号の範囲、又は文字の範囲により指定されてもよい。

データベース１３０は、ソフトウェアプログラミングストラテジのストレージを含んでもよい。いくつかの実施形態において、データベース１３０は、インターネット上の１つ以上のウェブサイト、例えば、ユーザが違反を含むソフトウェアプログラムを投稿する可能性があって他のユーザが違反を修正するためのパッチを投稿することができる１つ以上のウェブサイトなどを含んでもよい。いくつかの実施形態において、データベース１３０は、様々な異なるウェブサイト、イントラネットサイト、又は他のソースから収集され得るソフトウェアプログラムのリポジトリ（ビッグコードリポジトリ）を含んでもよい。いくつかの実施形態において、データベース１３０は、違反と違反を修正するためのストラテジとを含むソフトウェアプログラムを含んでもよい。図１は単一のデータベース１３０を示しているが、いくつかの実施形態において、複数のデータベース１３０が存在してもよい。

いくつかの実施形態において、データベース１３０は、ストラテジ１４０Ａ、ストラテジ１４０Ｂ、及びストラテジ１４０Ｃ（集合的にストラテジ１４０）などのストラテジを含んでもよい。データベース１３０は３つのストラテジ１４０で示されているが、いくつかの実施形態において、データベース１３０は数百のストラテジ１４０、数千のストラテジ１４０、数十万のストラテジ１４０、又は任意数のストラテジ１４０を含んでもよい。これら及び他の実施形態において、ストラテジ１４０は各々、異なるソフトウェアプログラムに関連づけられてもよい。例えば、ストラテジ１４０Ａはソフトウェアプログラム１４２Ａを含んでもよく、ストラテジ１４０Ｂはソフトウェアプログラム１４２Ｂを含んでもよく、ストラテジ１４０Ｃはソフトウェアプログラム１４２Ｃを含んでもよい（集合的に、ソフトウェアプログラム１４２）。これら及び他の実施形態において、ソフトウェアプログラム１４２は各々、互いに異なってもよく、ソフトウェアプログラム１２２と異なってもよい。例えば、ソフトウェアプログラム１４２は各々、異なる目的を有し、異なる作者を有し、異なるプログラミング言語で書かれ、あるいはソフトウェアプログラム１２２と異なるタイプの違反を含み得る。

いくつかの実施形態において、ソフトウェアプログラム１４２Ａは違反１４４Ａを含んでもよく、ソフトウェアプログラム１４２Ｂは違反１４４Ｂを含んでもよく、ソフトウェアプログラム１４２Ｃは違反１４４Ｃを含んでもよい（集合的に、違反１４４）。いくつかの実施形態において、違反１４４の各々は、互いに異なるタイプの違反であり得る。例えば、違反１４４Ａは実行時エラーであり得、違反１４４Ｂは論理エラーであり得、違反１４４Ｃは異なるタイプのエラーであり得る。代わりに又はさらに、いくつかの実施形態において、違反１４４のうち１つ以上が、同じタイプの違反であり得、関連するタイプの違反であり得、かつ／あるいは類似するタイプの違反であり得る。例えば、いくつかの実施形態において、違反１４４Ａは、Ｃ＋＋プログラミング言語におけるインデックス境界外違反であり得、一方で、違反１４４Ｃは、Ｊａｖａプログラミング言語におけるインデックス境界外違反であり得る。この例において、違反１４４Ａ及び違反１４４Ｃは類似の違反であり得る。いくつかの実施形態において、違反１４４は、違反が異なる環境において別様に明示され及び／又は扱われるとしても、類似の違反であると決定されてもよい。例えば、配列インデックス境界外アクセスは、挙動の根本原因が同じ、すなわち、その規定されたインデックス境界の外の配列にアクセスしようとすることであり得るとしても、Ｃ＋＋環境対Ｊａｖａ環境において実行時の間に別様に明示され、扱われてもよい。

いくつかの実施形態において、違反１４４は、上で論じられた違反１２４と類似した方法でコンピュータ記憶装置及び／又はメモリ内に表現及び／又は指定されてもよい。例えば、違反１４４の各々は、対応するソフトウェアプログラム１４２内の違反１４４のタイプ及び位置を含むことができる。

いくつかの実施形態において、投稿１４０のうち１つ以上がパッチを含んでもよい。例えば、投稿１４０Ａはパッチ１４６Ａを含んでもよく、投稿１４０Ｂはパッチ１４６Ｂを含んでもよく、投稿１４０Ｃはパッチ１４６Ｃを含んでもよい（集合的に、パッチ１４６）。いくつかの実施形態において、パッチ１４６は、対応する違反１４４を修正するためのメソッドを表してもよく、例えば、パッチ１４６Ａは違反１４４Ａを修正することができ、それにより、パッチ１４６Ａをソフトウェアプログラム１４２Ａに適用した後、ソフトウェアプログラム１４２Ａは違反１４４Ａをもはや有さない。いくつかの実施形態において、パッチ１４６は、ソフトウェアプログラム１４２内の違反１４４のソースに適用され得るソースコードを含んでもよい。代わりに又はさらに、いくつかの実施形態において、パッチ１４６は、対応する違反１４４なしの対応するソースコード１４２を表してもよい。例えば、いくつかの実施形態において、ソフトウェアプログラム１４２Ａは、特定の違反、違反１４４Ａを有するソフトウェアプログラムであり得る。パッチ１４６Ａは、違反１４４Ａをもはや有さないように修復されたソフトウェアプログラム１４２Ａであり得る。

ネットワーク１５０は、環境１００の構成要素（例えば、デバイス１２０及びデータベース１３０）のいずれかの間の信号の通信に対して構成された任意の通信ネットワークを含んでもよい。ネットワーク１５０は、有線又は無線であってもよい。ネットワーク１５０は、スター構成、トークンリング構成、又は他の適切な構成を含む多数の構成を有することができる。さらに、ネットワーク１５０は、ローカルエリアネットワーク（ＬＡＮ）、ワイドエリアネットワーク（ＷＡＮ）（例えば、インターネット）、及び／又は複数のデバイスが通信することができる他の相互接続されたデータパスを含んでもよい。いくつかの実施形態において、ネットワーク１５０は、ピアツーピアネットワークを含んでもよい。また、ネットワーク１５０は、様々な異なる通信プロトコルにおけるデータの通信を可能にし得る電気通信ネットワークの一部に結合され、あるいはこれを含んでもよい。

いくつかの実施形態において、ネットワーク１５０は、ＢＬＵＥＴＯＯＴＨ（登録商標）通信ネットワーク、Ｚ−Ｗａｖｅ（登録商標）通信ネットワーク、Ｉｎｓｔｅｏｎ（登録商標）通信ネットワーク、ＥｎＯｃｅａｎ（登録商標）通信ネットワーク、ワイヤレスフィデリティ（Ｗｉ‐Ｆｉ）（登録商標）通信ネットワーク、ＺｉｇＢｅｅ（登録商標）通信ネットワーク、ＨｏｍｅＰｌｕｇ（登録商標）通信ネットワーク、電力線通信（Power-line Communication）ネットワーク、メッセージキューテレメトリトランスポート（message queue telemetry transport、ＭＱＴＴ）通信ネットワーク、ＭＱＴＴセンサ（ＭＱＴＴ‐Ｓ）通信ネットワーク、制約付きアプリケーションプロトコル（constrained application protocol、ＣｏＡＰ）通信ネットワーク、代表的状態転送アプリケーションプロトコルインターフェース（representative state transfer application protocol interface、ＲＥＳＴ ＡＰＩ）通信ネットワーク、拡張可能メッセージング及びプレゼンスプロトコル（extensible messaging and presence protocol、ＸＭＰＰ）通信ネットワーク、セルラー通信ネットワーク、任意の同様の通信ネットワーク、又はデータを送受信するためのこれらの任意の組み合わせを含み、あるいは含むように構成される。ネットワーク１５０で通信されるデータは、ショートメッセージングサービス（ＳＭＳ）、マルチメディアメッセージングサービス（ＭＭＳ）、ハイパーテキスト転送プロトコル（ＨＴＴＰ）、直接データ接続、無線アプリケーションプロトコル（ＷＡＰ）、電子メール、スマートエネルギープロファイル（ＳＥＰ）、ＥＣＨＯＮＥＴ Ｌｉｔｅ、ＯｐｅｎＡＤＲ、又はデバイス１２０、ウェブサイト１３０、クラウドサーバ通信、又はゲートウェイで実現可能な任意の他のプロトコルを介して通信されるデータを含んでもよい。

例１７０は、ソフトウェアプログラム１７２、違反１７４、パッチ１７６、及び実行可能ソフトウェアプログラム１７８を含み得る。いくつかの実施形態において、ソフトウェアプログラム１７２は、ソフトウェアプログラム１２２と異なり得る。これら及び他の実施形態において、ソフトウェアプログラム１７２は、ソフトウェアプログラム１４２のうち１つに基づいてもよい。例えば、いくつかの実施形態において、ソフトウェアプログラム１７２は、ソフトウェアプログラム１４２のうち１つの一部分でもよい。例えば、ソフトウェアプログラム１７２は、違反を含むソフトウェアプログラム１４２のうち１つのメソッドでもよい。代わりに又はさらに、ソフトウェアプログラム１７２は、ソフトウェアプログラム１４２のうち１つの簡素化されたバージョンでもよい。

いくつかの実施形態において、ソフトウェアプログラム１７２は違反１７４を含み得る。いくつかの実施形態において、違反１７４は、違反１２４と類似し、関連し、かつ／あるいは同一であり得る。いくつかの実施形態において、違反１７４はさらに、データベース１３０内のストラテジ１４０のうち１つ以上に関連づけられた違反１４４と類似し、関連し、かつ／あるいは同一であり得る。いくつかの実施形態において、違反１７４は、違反１７４及び違反１２４が同じタイプの違反であることに基づいて違反１２４と類似し、関連し、かつ／あるいは同一であると決定されてもよい。例えば、違反１７４及び違反１２４の双方が、境界外違反である実行時違反であり得る。いくつかの実施形態において、違反１７４及び違反１２４は、意味的及び／又は構文的コード比較に基づいて類似の違反であると決定されてもよい。いくつかの実施形態において、違反１７４及び違反１２４の実行時エラーレポート、エラータイプ、及び／又はエラー特性に基づく。違反１７４は、類似した方法で違反１４４のうち１つと類似し、関連し、及かつ／あるいは同一であると決定されてもよい。

パッチ１７６は、違反１７４を修正するためのメソッドを表してもよく、例えば、パッチ１７６は違反１７４を修正することができ、それにより、パッチ１７６をソフトウェアプログラム１７２に適用した後、ソフトウェアプログラム１７２は違反１７４をもはや有さない。いくつかの実施形態において、パッチ１７６は、ソフトウェアプログラム１７２内の違反１７４のソースに適用され得るソースコードを含んでもよい。代わりに又はさらに、いくつかの実施形態において、パッチ１７６は、違反１７４なしの対応するソースコード１７２を表してもよい。例えば、いくつかの実施形態において、ソフトウェアプログラム１７２は、特定の違反、違反１７４を有するソフトウェアプログラムであり得る。パッチ１７６は、違反１７４をもはや有さないように修復されたソフトウェアプログラム１７２であり得る。

いくつかの実施形態において、実行可能ソフトウェアプログラム１７８は、ソフトウェアプログラム１７２及び／又はパッチ１７６の実行可能バージョンを含み得る。例えば、実行可能ソフトウェアプログラム１７８は、違反１７４の修正後のソフトウェアプログラム１７２の実行可能バージョンでもよい。

環境１００の動作の説明が以下に続く。ユーザは、デバイス１２０を使用してソフトウェアプログラム１２２を書くことができる。ソフトウェアプログラム１２２を書く間、又はソフトウェアプログラム１２２をテストする間に、ユーザは違反１２４の通知を受け取り得る。次いで、デバイス１２０は、データベース１３０の検索を実行して、違反１２４を修正するためのパッチを識別することができる。データベース１３０は、米国特許出願第16/270,509号及び米国特許出願第16/270,518号に記載されるように生成され、かつ／あるいは収集されてもよい。例えば、データベースは、様々な異なるウェブサイト及び／又はコードリポジトリをクローリングすることにより収集されてもよい。デバイス１２０は、米国特許出願第16/109,434号及び米国特許出願第16/447,535号に記載されているように検索を実行してパッチを識別し、パッチを精緻化してもよい。

デバイス１２０は、データベース１３０から例１７０を選択することができる。例えば、デバイス１２０は、違反１２４に対応する、及び／又は違反１２４を修正するために識別されたパッチに対応する、ストラテジ１４０のうち特定のストラテジを例１７０として選択する。例１７０は、ソフトウェアプログラム１７２を含んでもよく、これは、ストラテジ１４０のうち１つに関連づけられたソフトウェアプログラムの一部分でもよい。次いで、デバイス１２０は、ソフトウェアプログラム１７２を簡素化することができる。いくつかの実施形態において、デバイス１２０は、ソフトウェアプログラム１７２から１つ以上の無関係の（extraneous）要素を除去することによりソフトウェアプログラム１７２を簡素化してもよい。要素は、例えば、とりわけ、コード行、関数呼び出し、オブジェクト、クラス、及び参照を含んでもよい。ソースコード内の要素は、その除去後、ソフトウェアプログラム１７２が違反１７４を依然として有し、ソフトウェアプログラム１７２がパッチ１７６により依然として修正される場合、無関係であると決定されてもよい。

ソフトウェアプログラム１７２内の無関係の要素を識別するために、デバイス１２０は、ソフトウェアプログラム１７２内の特定の要素を選択することができる。次いで、デバイス１２０は、特定の要素に対して変形（transformation）を実行することができる。変形は、ソフトウェアプログラムの要素のモディフィケーションでもよい。変形は、ソフトウェアプログラムの要素を削除すること、ソフトウェアプログラムに要素を追加すること、及び／又はソフトウェアプログラム内の要素を変更することを含んでもよい。変形は、例えば、クラス定義を除去すること又はクラス内の宣言若しくは注釈を除去することなどのクラス定義の変形、メソッド定義を除去すること又はメソッド内のパラメータ、宣言、若しくは注釈を除去することなどのメソッド定義の変形、ステートメントを除去すること、メソッド呼び出しをスタブメソッドで置換すること、又はボディを保持したままループ若しくは条件付きステートメントを除去することなどのステートメントの変形、あるいは式を定数で置換すること又は式から項を除去することなどの式の変形を含んでもよい。代わりに又はさらに、変形は、タイプ及び識別子を正規化すること（normalizing）、例えば、タイプをジェネリックタイプ又はスーパータイプで置換すること、変数名を変数のタイプから導出された名前で置換すること、クラス又はメソッド名をジェネリック名で置換すること、及びスタブクラス及び／又はメソッドのジェネリック名を生成することなどを含んでもよい。次いで、デバイス１２０は、変形された要素を有するソフトウェアプログラム１７２が違反１７４を含むかどうかを決定することができる。ソフトウェアプログラム１７２が違反１７４を保持する場合、デバイス１２０は、パッチが変形された要素を有するソフトウェアプログラム１７２を修正するかどうかを決定することができる。パッチがソフトウェアプログラム１７２を依然として修正する場合、変形は、ソフトウェアプログラム１７２の簡素化として受け入れられてもよい。ソフトウェアプログラム１７２が違反１７４をもはや有さないか、又はパッチが違反１７４をもはや修正しないかのいずれかの場合、デバイス１２０は、変形をソフトウェアプログラム１７２の簡素化として拒否してもよく、連続した変形及び／又は要素に進んでもよい。

簡素化されたソフトウェアプログラム１７２を生成した後、デバイス１２０は、パッチ１７６が適用された簡素化されたソフトウェアプログラム１７２に基づいて実行可能ソフトウェアプログラム１７８を取得することができる。いくつかの実施形態において、簡素化されたソフトウェアプログラム１７２、違反１７４、パッチ１７６、及び／又は実行可能ソフトウェアプログラム１７８は、ディスプレイを介してユーザに提示されてもよい。例えば、簡素化されたソフトウェアプログラム１７２、違反１７４、パッチ１７６、及び／又は実行可能ソフトウェアプログラム１７８は、デバイス１２０のディスプレイを介してユーザに提示されてもよい。提示は、パッチがソフトウェアプログラム１２２の機能にどのように影響し得るかの例であり得る。いくつかの実施形態において、ユーザは、デバイス１２０を使用してパッチを閲覧し、簡素化されたソフトウェアプログラム１７２を閲覧し、実行可能ソフトウェアプログラム１７８を実行して、パッチがソフトウェアプログラム１２２にどのように影響するかを見ることができる。いくつかの実施形態において、ユーザは、デバイス１２０を使用して、ソフトウェアプログラム１２２内の違反１２４を修復するためのパッチを実装してもよい。代わりに又はさらに、いくつかの実施形態において、デバイス１２０は、識別されたパッチをソフトウェアプログラム１２２に対する修復動作として実装してもよい。

代わりに又はさらに、いくつかの実施形態において、デバイス１２０はソフトウェアプログラム１７２を簡素化しなくてもよい。これら及び他の実施形態において、デバイス１２０は、実行可能ソフトウェアプログラム１７８を取得することができる。これら及び他の実施形態において、ソフトウェアプログラム１７２、違反１７４、パッチ１７６、及び／又は実行可能ソフトウェアプログラム１７８は、ディスプレイを介してユーザに提示されてもよい。

本開示の範囲から逸脱することなく、図１に対して変更、追加、又は省略がなされてもよい。例えば、環境１００は、本開示に例示及び記載されたものより多くの又は少ない要素を含んでもよい。さらに、いくつかの実施形態において、ソフトウェアプログラム１２２は、デバイス１２０と異なるデバイスを使用して作成され、編集されてもよい。例えば、これら及び他の実施形態において、ユーザは、あるデバイスを使用してソフトウェアプログラム１２２を作成及び／又は編集してもよく、デバイス１２０は、データベース１３０を使用してパッチを識別し、ソフトウェアプログラム１７２を簡素化し、かつ／あるいは簡素化されたソフトウェアプログラム１７２、違反１７４、パッチ１７６、及び／又は実行可能ソフトウェアプログラム１７８を提示することができる。

代わりに又はさらに、いくつかの実施形態において、デバイス１２０、及びデバイス１２０に対して論じられた動作は、異なるシステムにわたり分散されてもよい。これら及び他の実施形態において、環境１００は、ネットワーク１５０と、ネットワーク１５０を介して通信上結合され得るデバイス１２０及びデータベース１３０を含む１つ以上のデバイスとを含んでもよい。

図２Ａ〜図２Ｆは、ソフトウェアプログラムを簡素化する処理を示す。図２Ａは、ソフトウェアプログラム２１０を示す。ソフトウェアプログラム２１０は、簡素化前のソフトウェアプログラムを表し得る。例えば、ソフトウェアプログラム２１０は、ソフトウェアプログラム１４２Ａ、１４２Ｂ、及び／又は１４２Ｃのうち１つ以上を表してもよい。いくつかの実施形態において、ソフトウェアプログラム２１０は、関数呼び出し、メソッド呼び出し、クラス宣言、変数宣言、メソッド、オブジェクト、条件付きステートメント、ループ、入力／出力ステートメント、コメント等を含み得る多くの行を含むことができる。例えば、ソフトウェアプログラム２１０は、他の要素の中でも、コメント行「// Other method definitions are omitted」、条件付きステートメント「if (map == null)」、及びループ「for (UK key : map.keySet()）」を含む。ソフトウェアプログラム２１０は、クラスの一部であるコード、メソッドの一部であるコード、及び異なるメソッド呼び出しをさらに含んでもよい。いくつかの実施形態において、ソフトウェアプログラム２１０は、白い感嘆符付きの黒い三角形で表された違反を含んでもよい。ソフトウェアプログラム２１０において、違反は、行「ttlmap.put(key, wrapWithTs(map.get(key)));」と関連づけられ得る。違反は、特定のパッチにより修正され得る。ソフトウェアプログラム２１０は、１つ以上の無関係の要素を含み得る。無関係の要素は、ソフトウェアプログラム２１０が違反を依然として含み、かつ特定のパッチにより依然として修復され得るように、ソフトウェアプログラム２１０から除去され得る要素を含むことができる。

図２Ｂは、ソフトウェアプログラム２２０を示す。ソフトウェアプログラム２２０は、パッチ１４６のうち１つなどのパッチの適用後のソフトウェアプログラム２１０であり得る。図２Ｂにおいて、パッチはハッシュされたテキストで示されている。パッチの適用後、ソフトウェアプログラム２２０は、図２Ａのソフトウェアプログラム２１０に存在する違反をもはや含み得ない。図２Ａのソフトウェアプログラム２１０及び図２Ｂのソフトウェアプログラム２２０は、ソフトウェアプログラムの簡素化前のソフトウェアプログラム及び対応するパッチを表し得る。例えば、図２Ａのソフトウェアプログラム２１０は図１のソフトウェアプログラム１４２Ａであり得、図２Ｂのソフトウェアプログラム２２０は図１のパッチ１４６Ａであり得る。

図２Ｃは、簡素化処理の間に現れ得るソフトウェアプログラム２３０を示す。図１のデバイス１２０などのデバイスが、図２Ａのソフトウェアプログラム２１０を簡素化することができる。ソフトウェアプログラム２１０を簡素化するために、デバイスは、ソフトウェアプログラム２１０の１つ以上の無関係の要素を識別することができる。無関係の要素は、図２Ｃでは取り消し線付きテキストで示されている。例えば、図２Ｃに示されるように、ソフトウェアプログラム２１０のコメント行が無関係であると決定されてもよい。ソフトウェアプログラム２１０はコメント行の削除後に違反を依然として含み、かつパッチはコメント行の削除後に違反を依然として修正するため、デバイスは、コメント行が無関係であると決定することができる。

代わりに又はさらに、デバイスは、条件付きステートメントが無関係の要素であること、１つ以上のコード行が無関係の要素であること、及び／又はコード行の１つ以上の部分が無関係の要素であることを決定してもよい。例えば、デバイスは、「wrapWithTS」関数呼び出しが一コード行内の無関係な要素であると決定してもよく、その行から呼び出しを削除してもよい。代わりに又はさらに、デバイスは、１つ以上の要素に対するスタブメソッド及び／又はスタブクラスを生成してもよい。例えば、デバイスは、メソッド呼び出し「ttlmap.put」をメソッドスタブ「methodStub1」で置換することができ、置換されたメソッド呼び出しと同じ入力及び出力を含むが何ら計算を実行し得ないスタブメソッドを生成することができる。

ソフトウェアプログラム２１０の簡素化を実行してソフトウェアプログラム２３０を取得する間、デバイスは、簡素化によるソフトウェアプログラム２１０が違反を依然として有すること及び違反がパッチにより修正されることを周期的に確認してもよい。例えば、いくつかの実施形態において、デバイスは、毎要素の毎変形の後、確認を実行してもよい。いくつかの実施形態において、デバイスは、変形の後、ソフトウェアプログラムが違反をもはや含まず、かつ／あるいはパッチがソフトウェアプログラム内の違反をもはや修正しない場合、要素の変形を破棄してもよい。

図２Ｄは、ソフトウェアプログラム２４０を示す。ソフトウェアプログラム２４０は、パッチの適用後の図２Ｃのソフトウェアプログラム２３０であり得、パッチは、図２Ｂで適用されたパッチと同じである。パッチの適用後、ソフトウェアプログラム２４０は、図２Ｃのソフトウェアプログラム２３０に存在する違反をもはや含み得ない。

図２Ｅは、簡素化処理の完了後に現れ得る簡素化されたソフトウェアプログラム２５０を示す。いくつかの実施形態において、簡素化されたソフトウェアプログラム２５０は、図１の例１７０のソフトウェアプログラム１７２に対応し得る。簡素化処理は、関数名、メソッド名、クラス名等を正規化することをさらに含んでもよい。例えば、図２Ａのソフトウェアプログラム２１０及び／又は図２Ｃのソフトウェアプログラム２３０と比較したとき、ソフトウェアプログラム２５０は正規化された名前を含むことができる。例えば、クラス「TtlMapState」が「Example」にリネームされてもよい。同様に、メソッドputAllが「example」にリネームされてもよく、ソフトウェアプログラム内の様々な変数がリネームされてもよい。例えば、変数「UK」及び「UV」が「Object」及び「Object」にリネームされてもよい。類似した方法で、メソッドスタブが「methodStub1」から「doSomething」にリネームされてもよく、メソッドへの入力変数が、「object1」及び「object2」と名付けられた「Object」タイプの変数に変更されてもよい。ソフトウェアプログラムの要素の前の変形と同様に、デバイスは、簡素化されたソフトウェアプログラム２５０が違反を有し、かつ違反がパッチにより修正されることを確認してもよい。元のソフトウェアプログラム２１０と比較したとき、ソフトウェアプログラム２５０は、１つ以上の無関係の要素が削除され、１つ以上の変数がリネームされているため、読み取り及び理解がより簡単であり得る。

図２Ｆは、ソフトウェアプログラム２６０を示す。ソフトウェアプログラム２６０は、パッチの適用後の図２Ｅのソフトウェアプログラム２５０であり得、パッチは、図２Ｂ及び図２Ｄで適用されたパッチと同じである。パッチの適用後、ソフトウェアプログラム２６０は、図２Ｅのソフトウェアプログラム２５０に存在する違反をもはや含み得ない。いくつかの実施形態において、デバイスは、パッチ内の変数の正規化をさらに行ってもよい。例えば、図２Ｂ及び図２Ｄのパッチと比較したとき、図２Ｆのパッチは、図２Ｅのソフトウェアプログラム２５０に対して実行されたように、変数「UV」から「Object」への正規化された名前を含むことができる。

図２Ａ〜図２Ｆに示す簡素化処理及びソフトウェアプログラムは例として提供されている。デバイスは、代替的な方法でソフトウェアプログラムを簡素化してもよく、ソフトウェアプログラムは、異なるプログラミング言語で書かれ、異なるコード行を含み、かつ／あるいは異なる無関係の要素を含んでもよい。

図３は、ソフトウェアプログラムを簡素化する一例示的な方法３００のフローチャートである。方法３００は、本開示に記載される少なくとも１つの実施形態に従って配置されてもよい。方法３００は、いくつかの実施形態において、図１及び図５それぞれの環境１００及び／又はコンピューティングシステム５０２などのシステム及び／又は環境により、全体的に又は部分的に実行されてもよい。これら及び他の実施形態において、方法３００は、１つ以上の非一時的コンピュータ読取可能媒体に記憶された命令の実行に基づいて実行されてもよい。個別のブロックとして示されているが、様々なブロックが所望の実装に依存してさらなるブロックに分割されてもよく、より少ないブロックに組み合わせられてもよく、あるいは消去されてもよい。

ブロック３０５において、パッチにより修正される違反を含むソフトウェアプログラム内で要素が識別され得る。いくつかの実施形態において、要素は、コード行、コード行の一部、変数名、メソッド名、クラス名等を含んでもよい。

ブロック３１０において、要素に対する変形が識別され得る。いくつかの実施形態において、変形は、他の改変の中でもクラス定義を除去すること、クラス内の宣言を除去すること、クラス内の注釈を除去すること、クラスをスタブクラスで置換することなどのクラス定義の改変、他の改変の中でもメソッド定義を除去すること、メソッド内のパラメータを除去すること、メソッド内の宣言を除去すること、メソッド内の注釈を除去すること、メソッドをスタブメソッドで置換することなどのメソッド定義の改変、他の改変の中でもステートメントを除去すること、メソッド呼び出しをスタブメソッドで置換すること、ステートメントのボディを維持しながらループステートメントを除去すること、ステートメントのボディを維持しながら条件付きステートメントを除去することなどのステートメントへの改変、他の改変の中でも式を定数で置換すること、式から項を除去することなどの式への改変を含んでもよい。いくつかの実施形態において、変形は、他の改変の中でもタイプをジェネリックタイプで置換すること、タイプをスーパータイプで置換することなどのタイプの正規化、他の改変の中でも変数名をそのタイプから導出すること、変数に対してその周囲のコンテキストから自然な名前を生成することなどの変数名の正規化、「Example」及び「example()」などのジェネリック名を使用することなどのクラス及びメソッド名の正規化、「SomeClass」又は「doSomething()」などのジェネリック名を使用することなどのスタブクラス及びスタブメソッド名の正規化を含んでもよい。

ブロック３１５において、変形がソフトウェアプログラム内の要素に適用され得る。判断ブロック３２０において、変形された要素を有するソフトウェアプログラムが違反を含むかどうかが決定され得る。例えば、いくつかの実施形態において、変形を要素に適用することは、ソフトウェアプログラムが違反を含まない結果をもたらす可能性がある。変形された要素を有するソフトウェアプログラムが違反を含まないとの決定に応答して（判断ブロック３２０で「Ｎｏ」）、方法３００はブロック３３５に進み得る。変形された要素を有するソフトウェアプログラムが違反を含むとの決定に応答して（判断ブロック３２０で「Ｙｅｓ」）、方法３００は判断ブロック３２５に進み得る。

判断ブロック３２５において、変形された要素を有するソフトウェアプログラム内の不良をパッチが修正するかどうかが決定され得る。例えば、いくつかの実施形態において、変形を要素に適用することは、パッチがソフトウェアプログラム内の違反をもはや修正しない結果をもたらす可能性がある。変形された要素を有するソフトウェアプログラム内の不良をパッチが修正しないとの決定に応答して（判断ブロック３２５で「Ｎｏ」）、方法３００はブロック３３５に進み得る。変形された要素を有するソフトウェアプログラム内の不良をパッチが修正するとの決定に応答して（判断ブロック３２５で「Ｙｅｓ」）、方法３００はブロック３３０に進み得る。

ブロック３３０において、変形がソフトウェアプログラムの簡素化として受け入れられ得る。ブロック３３５において、変形がソフトウェアプログラムの簡素化として拒否され得る。方法３００は、ブロック３３０及びブロック３３５の双方から判断ブロック３４０に進み得る。

判断ブロック３４０において、要素に対する何らかの他の変形があるかどうかが決定され得る。要素に対する他の変形があるとの決定に応答して（判断ブロック３４０で「Ｙｅｓ」）、方法３００はブロック３１０に戻り得、新しい変形が識別され得る。要素に対する他の変形がないとの決定に応答して（判断ブロック３４０で「Ｎｏ」）、方法３００は判断ブロック３４５に進み得る。

判断ブロック３４５において、ソフトウェアプログラム内に何らかの他の要素があるかどうかが決定され得る。ソフトウェアプログラム内に他の要素があるとの決定に応答して（判断ブロック３４５で「Ｙｅｓ」）、方法３００はブロック３０５に戻り得、新しい要素が識別され得る。ソフトウェアプログラム内に他の要素がないとの決定に応答して（判断ブロック３４５で「Ｎｏ」）、方法３００はブロック３５０に進み得る。

ブロック３５０において、受け入れられた変形を有する簡素化されたソフトウェアプログラムが出力され得る。

本開示の範囲から逸脱することなく、図３に対して変更、追加、又は省略がなされてもよい。例えば、方法３００は、本開示に例示及び記載されたものより多くの又は少ない要素を含んでもよい。いくつかの実施形態において、変形及び／又は要素は、ランク付け及び／又は優先順位付けされてもよい。例えば、いくつかの実施形態において、削除は、他の改変より上に優先順位付けされてもよい。削除を優先することにより、方法３００はより効率的であり得、なぜならば、削除がソフトウェアプログラムの簡素化として受け入れられる場合、他の改変を調べることは役立たない可能性があるためである。

代わりに又はさらに、いくつかの実施形態において、ソフトウェアプログラムの要素は特定の順序で識別されてもよい。例えば、方法３００は、ソフトウェアプログラムの始めから始まってソフトウェアプログラムの終わりに進む要素を識別することができる。代わりに又はさらに、いくつかの実施形態において、方法３００は、ソフトウェアプログラムの終わりで始まってソフトウェアプログラムの始めに進むソフトウェアプログラムの要素を識別してもよい。代わりに又はさらに、いくつかの実施形態において、方法３００は、ソフトウェアプログラムの要素をランダムに識別してもよい。

図４は、説明的及び実行可能な修復例を生成する一例示的な方法４００のフローチャートである。方法４００は、本開示に記載される少なくとも１つの実施形態に従って配置されてもよい。方法４００は、いくつかの実施形態において、図１及び図５それぞれの環境１００及び／又はコンピューティングシステム５０２などのシステム及び／又は環境により、全体的に又は部分的に実行されてもよい。これら及び他の実施形態において、方法４００は、１つ以上の非一時的コンピュータ読取可能媒体に記憶された命令の実行に基づいて実行されてもよい。個別のブロックとして示されているが、様々なブロックが所望の実装に依存してさらなるブロックに分割されてもよく、より少ないブロックに組み合わせられてもよく、あるいは消去されてもよい。

方法４００はブロック４１０で開始でき、ブロック４１０において、第１のソフトウェアプログラムの第１の部分内の第１の違反が取得され得る。ブロック４２０において、第１の違反を修正するための第１の提案されたパッチが取得され得る。

ブロック４３０において、第２の違反を含む第２の部分を有する第２のソフトウェアプログラムが識別され得る。第２のソフトウェアプログラムは、第２の違反が第１の違反と類似するとの決定に応答して識別されてもよい。第１の提案されたパッチは、第２の違反を修正し得る。

ブロック４４０において、第２のソフトウェアプログラムの第２の部分が、無関係と識別された第２の部分内の１つ以上の要素を除去することにより簡素化され得る。いくつかの実施形態において、要素は、第２の部分が該要素の除去後に第２の違反を保持することに基づいて無関係として識別されてもよい。いくつかの実施形態において、要素は、第２の違反を保持することに追加で、第２の違反が、該要素の除去後に第２の部分に適用されたとき第１の提案されたパッチにより修正される場合、無関係と識別されてもよい。いくつかの実施形態において、第２の部分は、上で論じられた図３の方法３００の１つ以上の動作を使用することにより簡素化されてもよい。

例えば、いくつかの実施形態において、第２の部分の第１の要素の第１の変形が生成され得る。第１の変形は、第１の要素に適用されてもよい。第１の変形を有する第２の部分が、第２の違反を含むことが確認され得る。第１の変形を有する第２の部分が第２の違反を含むとの確認に応答して、第１の提案されたパッチが、第１の変形を有する第２の部分内の第２の違反を修正することが確認され得る。第１の提案されたパッチが第２の部分内の第２の違反を修正するとの確認に応答して、第１の変形が、第２の部分の簡素化として維持され得る。第２の部分の第２の要素の第２の変形が生成され得る。第２の変形は、第２の要素に適用されてもよい。第２の変形を有する第２の部分が、第２の違反を含まないことが決定され得る。第２の変形を有する第２の部分が第２の違反を含まないとの決定に応答して、第２の変形が、第２の部分の簡素化として拒否され得る。第２の部分の第３の要素の第３の変形が生成され得る。第３の変形は、第３の要素に適用されてもよい。第３の変形を有する第２の部分が、第２の違反を含むことが確認され得る。第３の変形を有する第２の部分が第２の違反を含むとの確認に応答して、第１の提案されたパッチが、第３の変形を有する第２の部分内の第２の違反を修正するのに失敗することが決定され得る。第１の提案されたパッチが第３の変形を有する第２の部分内の第２の違反を修正するのに失敗するとの決定に応答して、第３の変形が、第２の部分の簡素化として拒否され得る。

いくつかの実施形態において、第２の部分は、複数のコード行及び複数の変数を含み得る。これら及び他の実施形態において、第２の部分を簡素化することは、複数のコード行のうちのコード行を無関係のコード行として識別することを含んでもよい。無関係のコード行は、除去されてもよい。無関係のコード行なしの第２の部分が、第２の違反を含むことが確認され得る。第１の提案されたパッチが、無関係のコード行なしの第２の部分内の第２の違反を修正することが確認され得る。複数の変数のうちの変数が、リネーム可能として識別され得る。リネーム可能変数は、リネームされてもよい。リネームされたリネーム可能変数を有する第２の部分が、第２の違反を含むことが確認され得る。第１の提案されたパッチが、リネームされたリネーム可能変数を有する第２の部分内の第２の違反を修正することが確認され得る。簡素化された第２の部分が、第２の部分、除去された無関係のコード行、及びリネームされたリネーム可能変数に基づいて取得され得る。いくつかの実施形態において、第２の部分は、複数のクラス及び複数のメソッドをさらに含んでもよく、第２の部分を簡素化することは、複数のクラスのうちのクラスをスタブ候補クラスとして識別することをさらに含んでもよい。スタブ候補クラスに対してスタブクラスが生成され得る。スタブクラスを有する第２の部分が、第２の違反を含むことが確認され得る。第１の提案されたパッチが、スタブクラスを有する第２の部分内の第２の違反を修正することが確認され得る。複数のメソッドのうちのメソッドが、スタブ候補メソッドとして識別され得る。スタブ候補メソッドに対してスタブメソッドが生成され得る。スタブメソッドを有する第２の部分が、第２の違反を含むことが確認され得る。第１の提案されたパッチが、スタブメソッドを有する第２の部分内の第２の違反を修正することが確認され得る。簡素化された第２の部分は、生成されたスタブクラス及び生成されたスタブメソッドにさらに基づいてもよい。

ブロック４５０において、第１の違反に対する第１の提案されたパッチが簡素化された第２の部分に適用されて、修復された簡素化された第２の部分を生成し得る。ブロック４６０において、修復された簡素化された第２の部分から、実行可能な修復された簡素化された第２の部分が取得され得る。ブロック４７０において、第２の違反、及び実行可能な修復された簡素化された第２の部分が、第１の提案されたパッチが第１の違反及び第１のソフトウェアプログラムにどのように影響するかの例として提示され得る。

当業者は、本明細書に開示されるこの及び他の処理、動作、及び方法について、実行される機能及び／又は動作が異なる順序で実現されてもよいことを理解するであろう。さらに、概説される機能及び動作は例として提供されているに過ぎず、機能及び動作のいくつかは開示される実施形態の本質を損なうことなく任意でもよく、より少ない機能及び動作に組み合わせられてもよく、あるいはさらなる機能及び動作へ拡張されてもよい。いくつかの実施形態において、方法４００は、さらなるブロック又はより少ないブロックを含んでもよい。

図５は、本開示の少なくとも１つの実施形態による、一例示的なコンピューティングシステム５０２のブロック図を示す。コンピューティングシステム５０２は、説明的及び実行可能な修復例の生成に関連づけられた１つ以上の動作を実現又は指示するように構成され得る。コンピューティングシステム５０２は、プロセッサ５５０、メモリ５５２、及びデータ記憶装置５５４を含んでもよい。プロセッサ５５０、メモリ５５２、及びデータ記憶装置５５４は、通信上結合されてもよい。

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

いくつかの実施形態において、プロセッサ５５０は、メモリ５５２、データ記憶装置５５４、又はメモリ５５２及びデータ記憶装置５５４に記憶されたプログラム命令を解釈及び／又は実行し、かつ／あるいはデータを処理するように構成されてもよい。いくつかの実施形態において、プロセッサ５５０は、データ記憶装置５５４からプログラム命令を取り出し、プログラム命令をメモリ５５２にロードすることができる。プログラム命令がメモリ５５２にロードされた後、プロセッサ５５０はプログラム命令を実行することができる。

例えば、いくつかの実施形態において、図３の方法３００及び／又は図４の方法４００は、プログラム命令としてデータ記憶装置５５４に含まれてもよい。プロセッサ５５０は、データ記憶装置５５４から方法のプログラム命令を取り出すことができ、方法のプログラム命令をメモリ５５２にロードすることができる。方法のプログラム命令がメモリ５５２にロードされた後、プロセッサ５５０はプログラム命令を実行することができ、それにより、コンピューティングシステムは、命令により指示されるとおり方法に関連づけられた動作を実現できる。

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

本開示の範囲から逸脱することなく、コンピューティングシステム５０２に対して変更、追加、又は省略がなされてもよい。例えば、いくつかの実施形態において、コンピューティングシステム５０２は、明示的に図示又は説明されない可能性のある任意数の他のコンポーネントを含んでもよい。

理解される得るように、上で論じられた説明的及び実行可能な修復例の生成は、ソフトウェアプログラミングを改善するため及び／又はソフトウェアプログラムを開発する時間を削減するための手段として用いられてもよい。したがって、本明細書に記載されるシステム及び方法は、ソフトウェアプログラムにおける違反を訂正し、いくつかの例ではソフトウェアプログラムを開発する開発時間を削減する能力を提供する。

上述のように、本開示に記載される実施形態は、以下でより詳細に論じられるように、種々のコンピュータハードウェア又はソフトウェアモジュールを含む専用又は汎用コンピュータ（例えば、図５のプロセッサ５５０）の使用を含んでもよい。さらに、上述のように、本開示に記載される実施形態は、記憶されたコンピュータ実行可能命令又はデータ構造を搬送し又は有するコンピュータ読取可能媒体（例えば、図５のメモリ５５２又はデータ記憶装置５５４）を使用して実現されてもよい。

本開示において用いられるとき、用語「モジュール」又は「コンポーネント」は、モジュール又はコンポーネントのアクションを実行するように構成された特定のハードウェア実装、及び／又はコンピューティングシステムの汎用ハードウェア（例えば、コンピュータ読取可能媒体、処理デバイス等）に記憶され及び／又は汎用ハードウェアにより実行され得るソフトウェアオブジェクト又はソフトウェアルーチンを参照し得る。いくつかの実施形態において、本開示に記載される異なるコンポーネント、モジュール、エンジン、及びサービスが、コンピューティングシステム上で実行するオブジェクト又はプロセスとして（例えば、別個のスレッドとして）実現されてもよい。本開示に記載されるシステム及び方法のいくつかは、一般に、（汎用ハードウェアに記憶され、及び／又は汎用ハードウェアにより実行される）ソフトウェアで実現されるものとして記載されるが、特定のハードウェア実装、又はソフトウェアと特定のハードウェア実装との組み合わせもまた可能であり、企図される。本説明において、「コンピューティングエンティティ」は、本開示において前に定義された任意のコンピューティングシステム、又はコンピューティングシステム上で動作する任意のモジュール又はモジュレートの組み合わせであってもよい。

本開示において、特に別記の特許請求の範囲（例えば、別記の特許請求の範囲の本文）において用いられる用語は、一般に「開放的」な用語として意図されている（例えば、用語「含んでいる」は、「含んでいるがこれに限定されない」と解釈されるべきであり、用語「有する」は、「少なくとも有する」と解釈されるべきであり、用語「含む」は、「含むがこれに限定されない」と解釈されるべきである、等）。

さらに、特定数の導入された請求項記載が意図されている場合、そのような意図は請求項に明示的に記載され、そのような記載がない場合、そのような意図は存在しない。例えば、理解の助けとして、以下の別記の特許請求の範囲は、請求項記載を導入するために、導入フレーズ「少なくとも１つの」及び「１つ以上の」の使用を含むことがある。しかしながら、そのようなフレーズの使用は、不定冠詞「一の」（“a”又は“an”）による請求項記載の導入が、同じ請求項が導入フレーズ「１つ以上の」又は「少なくとも１つの」と「一の」などの不定冠詞とを含むときでも、そのような導入された請求項記載を含む任意の特定の請求項を１つのそのような記載のみ含む実施形態に限定することを暗に示すように見なされるべきではない（例えば、「一の」（“a”及び／又は“an”）は「少なくとも１つの」又は「１つ以上の」を意味するよう解釈されるべきである）。請求項記載を導入するために用いられる定冠詞の使用についても同様である。

さらに、特定数の導入された請求項記載が明示的に記載されている場合であっても、当業者は、そのような記載は少なくとも記載された数を意味するよう解釈されるべきであることを認識するであろう（例えば、他の修飾語を伴わない「２つの記載」というただそれだけの記載は、少なくとも２つの記載、又は２つ以上の記載を意味する）。さらに、「Ａ、Ｂ、及びＣ等のうち少なくとも１つ」又は「Ａ、Ｂ、及びＣ等のうち１つ以上」と類似の規定が用いられている例において、一般に、そのような構造は、Ａ単独、Ｂ単独、Ｃ単独、Ａ及びＢ共に、Ａ及びＣ共に、Ｂ及びＣ共に、又はＡ、Ｂ、及びＣ共に等を含むことが意図される

さらに、明細書においてか、特許請求の範囲においてか、又は図面においてかにかかわらず、２つ以上の代替的な用語を提示するいかなる分離的なワード又はフレーズも、用語のうち１つ、用語のうちいずれか、又は双方の用語を含む可能性を考慮するよう理解されるべきである。例えば、フレーズ「Ａ又はＢ」は、「Ａ」又は「Ｂ」又は「Ａ及びＢ」の可能性を含むよう理解されるべきである。

本開示に記載された全ての例及び条件付き言語は、本開示と発明者が当該分野を促進するために寄与した概念とを理解する際に読者を助けるための教育的目的を意図されており、そのような具体的に記載された例及び条件への限定を伴わないとみなされるべきである。本開示の実施形態が詳細に記載されたが、本開示の主旨及び範囲から逸脱することなく、種々の変更、置換、及び改変をこれに行うことができる。

上記の実施形態につき以下の付記を残しておく。
（付記１）
第１のソフトウェアプログラムの第１の部分内の第１の違反を取得するステップと、
前記第１の違反を修正するための第１の提案されたパッチを取得するステップと、
第２の違反を含む第２の部分を有する第２のソフトウェアプログラムを識別するステップであり、前記第２のソフトウェアプログラムは、前記第２の違反が前記第１の違反と類似するとの決定に応答して識別され、前記第１の提案されたパッチは前記第２の違反を修正する、ステップと、
無関係と識別された前記第２の部分内の１つ以上の要素を除去することにより、前記第２のソフトウェアプログラムの前記第２の部分を簡素化するステップと、
前記第１の違反に対する前記第１の提案されたパッチを前記簡素化された第２の部分に適用して、修復された簡素化された第２の部分を生成するステップと、
前記修復された簡素化された第２の部分から実行可能な修復された簡素化された第２の部分を取得するステップと、
前記第２の違反及び前記実行可能な修復された簡素化された第２の部分を、前記第１の提案されたパッチが前記第１の違反及び前記第１のソフトウェアプログラムにどのように影響するかの例として提示するステップと、
を含む方法。
（付記２）
前記第２の部分を簡素化するステップは、
前記第２の部分の第１の要素の第１の変形を生成するステップと、
前記第１の変形を前記第１の要素に適用するステップと、
前記第１の変形を有する前記第２の部分が前記第２の違反を含むと確認するステップと、
前記第１の変形を有する前記第２の部分が前記第２の違反を含むとの確認に応答して、前記第１の提案されたパッチが前記第１の変形を有する前記第２の部分内の前記第２の違反を修正すると確認するステップと、
前記第１の提案されたパッチが前記第２の部分内の前記第２の違反を修正するとの確認に応答して、前記第１の変形を前記第２の部分の簡素化として維持するステップと、
を含む、付記１に記載の方法。
（付記３）
前記第２の部分を簡素化するステップは、
前記第２の部分の第２の要素の第２の変形を生成するステップと、
前記第２の変形を前記第２の要素に適用するステップと、
前記第２の変形を有する前記第２の部分が前記第２の違反を含まないと決定するステップと、
前記第２の変形を有する前記第２の部分が前記第２の違反を含まないとの決定に応答して、前記第２の変形を前記第２の部分の簡素化として拒否するステップと、
をさらに含む、付記２に記載の方法。
（付記４）
前記第２の部分を簡素化するステップは、
前記第２の部分の第３の要素の第３の変形を生成するステップと、
前記第３の変形を前記第３の要素に適用するステップと、
前記第３の変形を有する前記第２の部分が前記第２の違反を含むと確認するステップと、
前記第３の変形を有する前記第２の部分が前記第２の違反を含むとの確認に応答して、前記第１の提案されたパッチが前記第３の変形を有する前記第２の部分内の前記第２の違反を修正するのに失敗すると決定するステップと、
前記第１の提案されたパッチが前記第３の変形を有する前記第２の部分内の前記第２の違反を修正するのに失敗するとの決定に応答して、前記第３の変形を前記第２の部分の簡素化として拒否するステップと、
をさらに含む、付記２に記載の方法。
（付記５）
前記第２の部分は複数のコード行及び複数の変数を含み、前記第２の部分を簡素化するステップは、
前記複数のコード行のうちのコード行を無関係のコード行として識別するステップと、
前記無関係のコード行を除去するステップと、
前記無関係のコード行なしの前記第２の部分が前記第２の違反を含むと確認するステップと、
前記第１の提案されたパッチが前記無関係のコード行なしの前記第２の部分内の前記第２の違反を修正すると確認するステップと、
前記複数の変数のうちの変数をリネーム可能変数として識別するステップと、
前記リネーム可能変数をリネームするステップと、
前記リネームされたリネーム可能変数を有する前記第２の部分が前記第２の違反を含むと確認するステップと、
前記第１の提案されたパッチが前記リネームされたリネーム可能変数を有する前記第２の部分内の前記第２の違反を修正すると確認するステップと、
前記第２の部分、前記除去された無関係のコード行、及び前記リネームされたリネーム可能変数に基づいて、簡素化された第２の部分を取得するステップと、
を含む、付記１に記載の方法。
（付記６）
前記第２の部分は複数のクラス及び複数のメソッドをさらに含み、前記第２の部分を簡素化するステップは、
前記複数のクラスのうちのクラスをスタブ候補クラスとして識別するステップと、
前記スタブ候補クラスに対するスタブクラスを生成するステップと、
前記スタブクラスを有する前記第２の部分が前記第２の違反を含むと確認するステップと、
前記第１の提案されたパッチが前記スタブクラスを有する前記第２の部分内の前記第２の違反を修正すると確認するステップと、
前記複数のメソッドのうちのメソッドをスタブ候補メソッドとして識別するステップと、
前記スタブ候補メソッドに対するスタブメソッドを生成するステップと、
前記スタブメソッドを有する前記第２の部分が前記違反を含むと確認するステップと、
前記第１の提案されたパッチが前記スタブメソッドを有する前記第２の部分内の前記第２の違反を修正すると確認するステップと、
をさらに含み、
前記簡素化された第２の部分を取得するステップは、前記生成されたスタブクラス及び前記生成されたスタブメソッドにさらに基づく、付記５に記載の方法。
（付記７）
少なくとも１つのシステムにより実行されたことに応答して前記少なくとも１つのシステムに付記１に記載の方法を実行させる１つ以上の命令を記憶するように構成された少なくとも１つの非一時的コンピュータ読取可能媒体。
（付記８）
第１のソフトウェアプログラム内の第１の違反を取得するステップと、
前記第１の違反を修正するための第１の提案されたパッチを取得するステップと、
前記第１の違反と類似する第２の違反を有する第２のソフトウェアプログラムを識別するステップであり、前記第１の提案されたパッチは前記第２の違反を修正する、ステップと、
前記第１の違反に対する前記第１の提案されたパッチを前記第２のソフトウェアプログラムに適用して、修復された第２のソフトウェアプログラムを生成するステップと、
前記修復された第２のソフトウェアプログラムから実行可能な修復された第２のソフトウェアプログラムを取得するステップと、
前記第２の違反及び前記実行可能な修復された第２のソフトウェアプログラムを、前記第１の提案されたパッチが前記第１の違反及び前記第１のソフトウェアプログラムにどのように影響するかの例として提示するステップと、
前記第１の提案されたパッチに基づいて前記第１の違反に関して１つ以上の修復動作を実行するステップと、
を含む方法。
（付記９）
前記第２のソフトウェアプログラム内の１つ以上の無関係の要素を識別及び除去することにより前記第２のソフトウェアプログラムを簡素化するステップ、をさらに含み、前記第１の提案されたパッチを適用するステップは、前記第１の提案されたパッチを前記簡素化された第２のソフトウェアプログラムに適用するステップを含み、前記実行可能な修復された第２のソフトウェアプログラムを取得するステップは、実行可能な修復された簡素化された第２のソフトウェアプログラムを取得するステップを含み、前記実行可能な修復された第２のソフトウェアプログラムを提示するステップは、前記実行可能な修復された簡素化された第２のソフトウェアプログラムを提示するステップを含む、付記８に記載の方法。
（付記１０）
前記第２のソフトウェアプログラムを簡素化するステップは、
前記第２のソフトウェアプログラムの第１の変形を生成するステップと、
前記第１の変形を前記第２のソフトウェアプログラムに適用するステップと、
前記第１の変形を有する前記第２のソフトウェアプログラムが前記第２の違反を含むと確認するステップと、
前記第１の変形を有する前記第２のソフトウェアプログラムが前記第２の違反を含むとの確認に応答して、前記第１の提案されたパッチが前記第１の変形を有する前記第２のソフトウェアプログラム内の前記第２のソフトウェア違反を修正すると確認するステップと、
前記第１の提案されたパッチが前記第２のソフトウェアプログラム内の前記第２のソフトウェア違反を修正するとの確認に応答して、前記第１の変形を前記第２のソフトウェアプログラムの簡素化として維持するステップと、
を含む、付記９に記載の方法。
（付記１１）
前記第２のソフトウェアプログラムを簡素化するステップは、
前記第２のソフトウェアプログラムの第２の変形を生成するステップと、
前記第２の変形を前記第２のソフトウェアプログラムに適用するステップと、
前記第２の変形を有する前記第２のソフトウェアプログラムが前記第２の違反を含まないと決定するステップと、
前記第２の変形を有する前記第２のソフトウェアプログラムが前記第２の違反を含まないとの決定に応答して、前記第２の変形を前記第２のソフトウェアプログラムの簡素化として拒否するステップと、
をさらに含む、付記１０に記載の方法。
（付記１２）
前記第２のソフトウェアプログラムを簡素化するステップは、
前記第２のソフトウェアプログラムの第３の変形を生成するステップと、
前記第３の変形を前記第２のソフトウェアプログラムに適用するステップと、
前記第３の変形を有する前記第２のソフトウェアプログラムが前記第２の違反を含むと確認するステップと、
前記第３の変形を有する前記第２のソフトウェアプログラムが前記第２の違反を含むとの確認に応答して、前記第１の提案されたパッチが前記第３の変形を有する前記第２のソフトウェアプログラム内の前記第２のソフトウェア違反を修正するのに失敗すると決定するステップと、
前記第１の提案されたパッチが前記第３の変形を有する前記第２のソフトウェアプログラムを修正するのに失敗するとの決定に応答して、前記第３の変形を前記第２のソフトウェアプログラムの簡素化として拒否するステップと、
をさらに含む、付記１０に記載の方法。
（付記１３）
前記第２のソフトウェアプログラムは複数のコード行及び複数の変数を含み、前記第２のソフトウェアプログラムを簡素化するステップは、
前記複数のコード行のうちのコード行を無関係のコード行として識別するステップと、
前記無関係のコード行を除去するステップと、
前記無関係のコード行なしの前記第２のソフトウェアプログラムが前記第２の違反を含むと確認するステップと、
前記第１の提案されたパッチが前記無関係のコード行なしの前記第２のソフトウェアプログラム内の前記第２の違反を修正すると確認するステップと、
前記複数の変数のうちの変数をリネーム可能変数として識別するステップと、
前記リネーム可能変数をリネームするステップと、
前記リネームされたリネーム可能変数を有する前記第２のソフトウェアプログラムが前記第２の違反を含むと確認するステップと、
前記第１の提案されたパッチが前記リネームされたリネーム可能変数を有する前記第２のソフトウェアプログラム内の前記第２の違反を修正すると確認するステップと、
前記第２のソフトウェアプログラム、前記除去された無関係のコード行、及び前記リネームされたリネーム可能変数に基づいて、簡素化された第２のソフトウェアプログラムを取得するステップと、
を含む、付記９に記載の方法。
（付記１４）
前記第２のソフトウェアプログラムは複数のクラス及び複数のメソッドをさらに含み、前記第２のソフトウェアプログラムを簡素化するステップは、
前記複数のクラスのうちのクラスをスタブ候補クラスとして識別するステップと、
前記スタブ候補クラスに対するスタブクラスを生成するステップと、
前記スタブクラスを有する前記第２のソフトウェアプログラムが前記第２の違反を含むと確認するステップと、
前記第１の提案されたパッチが前記スタブクラスを有する前記第２のソフトウェアプログラム内の前記第２の違反を修正すると確認するステップと、
前記複数のメソッドのうちのメソッドをスタブ候補メソッドとして識別するステップと、
前記スタブ候補メソッドに対するスタブメソッドを生成するステップと、
前記スタブメソッドを有する前記第２のソフトウェアプログラムが前記違反を含むと確認するステップと、
前記第１の提案されたパッチが前記スタブメソッドを有する前記第２のソフトウェアプログラム内の前記第２の違反を修正すると確認するステップと、
をさらに含み、
前記簡素化された第２のソフトウェアプログラムを取得するステップは、前記生成されたスタブクラス及び前記生成されたスタブメソッドにさらに基づく、付記１３に記載の方法。
（付記１５）
少なくとも１つのシステムにより実行されたことに応答して前記少なくとも１つのシステムに付記８に記載の方法を実行させる１つ以上の命令を記憶するように構成された少なくとも１つの非一時的コンピュータ読取可能媒体。
（付記１６）
ソフトウェアプログラムを取得するステップであり、前記ソフトウェアプログラムは複数のコード行及び複数の変数を含む、ステップと、
前記ソフトウェアプログラム内の違反を識別するステップと、
前記違反を修正するための提案されたパッチを取得するステップと、
前記複数のコード行のうちのコード行を無関係のコード行として識別するステップと、
前記無関係のコード行を除去するステップと、
前記無関係のコード行なしの前記ソフトウェアプログラムが前記違反を含むと確認するステップと、
前記提案されたパッチが前記無関係のコード行なしの前記ソフトウェアプログラム内の前記違反を修正すると確認するステップと、
前記複数の変数のうちの変数をリネーム可能変数として識別するステップと、
前記リネーム可能変数をリネームするステップと、
前記無関係のコード行なしで前記リネームされたリネーム可能変数を有する前記ソフトウェアプログラムが前記違反を含むと確認するステップと、
前記提案されたパッチが前記無関係のコード行なしで前記リネームされたリネーム可能変数を有する前記ソフトウェアプログラム内の前記違反を修正すると確認するステップと、
前記ソフトウェアプログラム、前記除去された無関係のコード行、及び前記リネームされたリネーム可能変数に基づいて、簡素化されたソフトウェアプログラムを取得するステップと、
を含む方法。
（付記１７）
前記ソフトウェアプログラムは複数のクラスをさらに含み、
前記複数のクラスのうちのクラスをスタブ候補クラスとして識別するステップと、
前記スタブ候補クラスに対するスタブクラスを生成するステップと、
前記無関係のコード行なしで前記リネームされたリネーム可能変数を有し前記スタブクラスを有する前記ソフトウェアプログラムが前記違反を含むと確認するステップと、
前記提案されたパッチが前記無関係のコード行なしで前記リネームされたリネーム可能変数を有し前記スタブクラスを有する前記ソフトウェアプログラム内の前記違反を修正すると確認するステップと、
をさらに含み、
前記簡素化されたソフトウェアプログラムを取得するステップは、前記生成されたスタブクラスにさらに基づく、付記１６に記載の方法。
（付記１８）
前記ソフトウェアプログラムは複数のメソッドをさらに含み、
前記複数のメソッドのうちのメソッドをスタブ候補メソッドとして識別するステップと、
前記スタブ候補メソッドに対するスタブメソッドを生成するステップと、
前記無関係のコード行なしで前記リネームされたリネーム可能変数を有し前記スタブクラスを有し前記スタブメソッドを有する前記ソフトウェアプログラムが前記違反を含むと確認するステップと、
前記提案されたパッチが前記無関係のコード行なしで前記リネームされたリネーム可能変数を有し前記スタブクラスを有し前記スタブメソッドを有する前記ソフトウェアプログラム内の前記違反を修正すると確認するステップと、
をさらに含み、
前記簡素化されたソフトウェアプログラムを取得するステップは、前記生成されたスタブメソッドにさらに基づく、付記１７に記載の方法。
（付記１９）
前記ソフトウェアプログラムは複数のメソッドをさらに含み、
前記複数のメソッドのうちのメソッドをスタブ候補メソッドとして識別するステップと、
前記スタブ候補メソッドに対するスタブメソッドを生成するステップと、
前記無関係のコード行なしで前記リネームされたリネーム可能変数を有し前記スタブメソッドを有する前記ソフトウェアプログラムが前記違反を含むと確認するステップと、
前記提案されたパッチが前記無関係のコード行なしで前記リネームされたリネーム可能変数を有し前記スタブメソッドを有する前記ソフトウェアプログラム内の前記違反を修正すると確認するステップと、
をさらに含み、
前記簡素化されたソフトウェアプログラムを取得するステップは、前記生成されたスタブメソッドにさらに基づく、付記１６に記載の方法。
（付記２０）
少なくとも１つのシステムにより実行されたことに応答して前記少なくとも１つのシステムに付記１６に記載の方法を実行させる１つ以上の命令を記憶するように構成された少なくとも１つの非一時的コンピュータ読取可能媒体。

Claims (10)

1. 第１のソフトウェアプログラムの第１の部分内の第１の違反を取得するステップと、
   前記第１の違反を修正するための第１の提案されたパッチを取得するステップと、
   第２の違反を含む第２の部分を有する第２のソフトウェアプログラムを識別するステップであり、前記第２のソフトウェアプログラムは、前記第２の違反が前記第１の違反と類似するとの決定に応答して識別され、前記第１の提案されたパッチは前記第２の違反を修正する、ステップと、
   無関係と識別された前記第２の部分内の１つ以上の要素を除去することにより、前記第２のソフトウェアプログラムの前記第２の部分を簡素化するステップと、
   前記第１の違反に対する前記第１の提案されたパッチを前記簡素化された第２の部分に適用して、修復された簡素化された第２の部分を生成するステップと、
   前記修復された簡素化された第２の部分から実行可能な修復された簡素化された第２の部分を取得するステップと、
   前記第２の違反及び前記実行可能な修復された簡素化された第２の部分を、前記第１の提案されたパッチが前記第１の違反及び前記第１のソフトウェアプログラムにどのように影響するかの例として提示するステップと、
   を含む方法。
2. 前記第２の部分を簡素化するステップは、
   前記第２の部分の第１の要素の第１の変形を生成するステップと、
   前記第１の変形を前記第１の要素に適用するステップと、
   前記第１の変形を有する前記第２の部分が前記第２の違反を含むと確認するステップと、
   前記第１の変形を有する前記第２の部分が前記第２の違反を含むとの確認に応答して、前記第１の提案されたパッチが前記第１の変形を有する前記第２の部分内の前記第２の違反を修正すると確認するステップと、
   前記第１の提案されたパッチが前記第２の部分内の前記第２の違反を修正するとの確認に応答して、前記第１の変形を前記第２の部分の簡素化として維持するステップと、
   を含む、請求項１に記載の方法。
3. 前記第２の部分を簡素化するステップは、
   前記第２の部分の第２の要素の第２の変形を生成するステップと、
   前記第２の変形を前記第２の要素に適用するステップと、
   前記第２の変形を有する前記第２の部分が前記第２の違反を含まないと決定するステップと、
   前記第２の変形を有する前記第２の部分が前記第２の違反を含まないとの決定に応答して、前記第２の変形を前記第２の部分の簡素化として拒否するステップと、
   をさらに含む、請求項２に記載の方法。
4. 前記第２の部分を簡素化するステップは、
   前記第２の部分の第３の要素の第３の変形を生成するステップと、
   前記第３の変形を前記第３の要素に適用するステップと、
   前記第３の変形を有する前記第２の部分が前記第２の違反を含むと確認するステップと、
   前記第３の変形を有する前記第２の部分が前記第２の違反を含むとの確認に応答して、前記第１の提案されたパッチが前記第３の変形を有する前記第２の部分内の前記第２の違反を修正するのに失敗すると決定するステップと、
   前記第１の提案されたパッチが前記第３の変形を有する前記第２の部分内の前記第２の違反を修正するのに失敗するとの決定に応答して、前記第３の変形を前記第２の部分の簡素化として拒否するステップと、
   をさらに含む、請求項２に記載の方法。
5. 前記第２の部分は複数のコード行及び複数の変数を含み、前記第２の部分を簡素化するステップは、
   前記複数のコード行のうちのコード行を無関係のコード行として識別するステップと、
   前記無関係のコード行を除去するステップと、
   前記無関係のコード行なしの前記第２の部分が前記第２の違反を含むと確認するステップと、
   前記第１の提案されたパッチが前記無関係のコード行なしの前記第２の部分内の前記第２の違反を修正すると確認するステップと、
   前記複数の変数のうちの変数をリネーム可能変数として識別するステップと、
   前記リネーム可能変数をリネームするステップと、
   前記リネームされたリネーム可能変数を有する前記第２の部分が前記第２の違反を含むと確認するステップと、
   前記第１の提案されたパッチが前記リネームされたリネーム可能変数を有する前記第２の部分内の前記第２の違反を修正すると確認するステップと、
   前記第２の部分、前記除去された無関係のコード行、及び前記リネームされたリネーム可能変数に基づいて、簡素化された第２の部分を取得するステップと、
   を含む、請求項１に記載の方法。
6. 前記第２の部分は複数のクラス及び複数のメソッドをさらに含み、前記第２の部分を簡素化するステップは、
   前記複数のクラスのうちのクラスをスタブ候補クラスとして識別するステップと、
   前記スタブ候補クラスに対するスタブクラスを生成するステップと、
   前記スタブクラスを有する前記第２の部分が前記第２の違反を含むと確認するステップと、
   前記第１の提案されたパッチが前記スタブクラスを有する前記第２の部分内の前記第２の違反を修正すると確認するステップと、
   前記複数のメソッドのうちのメソッドをスタブ候補メソッドとして識別するステップと、
   前記スタブ候補メソッドに対するスタブメソッドを生成するステップと、
   前記スタブメソッドを有する前記第２の部分が前記違反を含むと確認するステップと、
   前記第１の提案されたパッチが前記スタブメソッドを有する前記第２の部分内の前記第２の違反を修正すると確認するステップと、
   をさらに含み、
   前記簡素化された第２の部分を取得するステップは、前記生成されたスタブクラス及び前記生成されたスタブメソッドにさらに基づく、請求項５に記載の方法。
7. プロセッサに請求項１乃至６のうちいずれか１項に記載の方法を実行させるコンピュータプログラム。
8. 第１のソフトウェアプログラム内の第１の違反を取得するステップと、
   前記第１の違反を修正するための第１の提案されたパッチを取得するステップと、
   前記第１の違反と類似する第２の違反を有する第２のソフトウェアプログラムを識別するステップであり、前記第１の提案されたパッチは前記第２の違反を修正する、ステップと、
   前記第１の違反に対する前記第１の提案されたパッチを前記第２のソフトウェアプログラムに適用して、修復された第２のソフトウェアプログラムを生成するステップと、
   前記修復された第２のソフトウェアプログラムから実行可能な修復された第２のソフトウェアプログラムを取得するステップと、
   前記第２の違反及び前記実行可能な修復された第２のソフトウェアプログラムを、前記第１の提案されたパッチが前記第１の違反及び前記第１のソフトウェアプログラムにどのように影響するかの例として提示するステップと、
   前記第１の提案されたパッチに基づいて前記第１の違反に関して１つ以上の修復動作を実行するステップと、
   を含む方法。
9. ソフトウェアプログラムを取得するステップであり、前記ソフトウェアプログラムは複数のコード行及び複数の変数を含む、ステップと、
   前記ソフトウェアプログラム内の違反を識別するステップと、
   前記違反を修正するための提案されたパッチを取得するステップと、
   前記複数のコード行のうちのコード行を無関係のコード行として識別するステップと、
   前記無関係のコード行を除去するステップと、
   前記無関係のコード行なしの前記ソフトウェアプログラムが前記違反を含むと確認するステップと、
   前記提案されたパッチが前記無関係のコード行なしの前記ソフトウェアプログラム内の前記違反を修正すると確認するステップと、
   前記複数の変数のうちの変数をリネーム可能変数として識別するステップと、
   前記リネーム可能変数をリネームするステップと、
   前記無関係のコード行なしで前記リネームされたリネーム可能変数を有する前記ソフトウェアプログラムが前記違反を含むと確認するステップと、
   前記提案されたパッチが前記無関係のコード行なしで前記リネームされたリネーム可能変数を有する前記ソフトウェアプログラム内の前記違反を修正すると確認するステップと、
   前記ソフトウェアプログラム、前記除去された無関係のコード行、及び前記リネームされたリネーム可能変数に基づいて、簡素化されたソフトウェアプログラムを取得するステップと、
   を含む方法。
10. プロセッサに請求項９に記載の方法を実行させるコンピュータプログラム。

Images