JP7409197B2 - ソフトウェアプログラムにおける静的分析違反の修復パターンの精緻化 - Google Patents

ソフトウェアプログラムにおける静的分析違反の修復パターンの精緻化 Download PDF

Info

Publication number
JP7409197B2
JP7409197B2 JP2020058005A JP2020058005A JP7409197B2 JP 7409197 B2 JP7409197 B2 JP 7409197B2 JP 2020058005 A JP2020058005 A JP 2020058005A JP 2020058005 A JP2020058005 A JP 2020058005A JP 7409197 B2 JP7409197 B2 JP 7409197B2
Authority
JP
Japan
Prior art keywords
repair
violation
pattern
software program
violations
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
JP2020058005A
Other languages
English (en)
Other versions
JP2021002326A (ja
Inventor
浩章 吉田
プラサド・ムクル
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Fujitsu Ltd
Original Assignee
Fujitsu Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Fujitsu Ltd filed Critical Fujitsu Ltd
Publication of JP2021002326A publication Critical patent/JP2021002326A/ja
Application granted granted Critical
Publication of JP7409197B2 publication Critical patent/JP7409197B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/36—Software reuse
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)

Description

本開示で議論される実施形態は、ソフトウェアプログラムにおける静的分析違反の修復パターンの精緻化に関する。
ソフトウェアプログラムの性能及び正確さに影響を与え得る又はプロジェクトのスタイルガイドラインに違反する疑わしいコードパターンを識別しフラグを立てるために、ソフトウェアプログラムのための多くの新しい技術が開発されている。疑わしいコードパターン又は違反は、ソフトウェアプログラムにより実行される動作に影響し得るだけでなく、ソフトウェアプログラムの全体の開発時間にも影響を与え得る。異なる分野における様々なソフトウェアプログラムから特定された異なる違反を修復するために、あるソリューションが開発されている。このようなソリューションは、対応する違反を修復し又は解決するための修復例と呼ばれている。
本開示で請求される主題は、任意の欠点を解決する実施形態なたが］上述のような環境でのみ動作する実施形態に限定されない。むしろ、この背景技術は、本開示に記載の幾つかの実施形態が実施され得る一例である技術領域を説明するためにのみ提供される。
一実施形態の一態様によると、動作は、修復パターンセットを読み出すステップを含んでよい。修正パターンセットの各々は、ソフトウェアプログラムの第１違反セットに関連付けられた第１修復例セットに基づき学習されてよい。動作は、ソフトウェアプログラムの第２違反セットを読み出すステップを更に含んでよい。第２違反セットの各々は、未確定違反であってよい。動作は、ソフトウェアプログラムの読み出した第２違反セットから第１ソフトウェアプログラムの未確定違反を選択するステップと、修復パターンセットから修復パターンを選択するステップと、を更に含んでよい。動作は、修正パターンセットの精緻化のために、第１動作セットを実行するステップを更に含んでよい。第１動作セットは、選択された未確定違反に選択された修正パターンを適用して修復結果を生成するステップを更に含んでよい。第１動作セットは、生成された修復結果が違反に対応するか否かを決定するステップと、生成された修正結果が違反に対応するという決定に基づき、適用した修復パターンを修復パターンセットから削除するステップと、を更に含んでよい。第１動作セットは、修復パターンセットの中の次の修復パターンを選択された修復パターンとして再選択するステップを更に含んでよい。動作は、選択された修正パターンに基づき、修正パターンセットについて、第１動作セットを繰り返し実行することにより、精緻化された修復パターンセットを取得するステップを更に含んでよい。
実施形態の目的及び利点は、請求項において特に指摘される要素、特徴、及び組み合わせにより少なくとも実現され達成される。
前述の一般的説明及び以下の詳細な説明は両方とも例として与えられ、説明のためであり、請求される本発明の限定ではない。
例示的な実施形態は、以下の添付の図面の使用を通じて更なる特殊性及び詳細事項により記載され説明される。
ソフトウェアプログラムにおける静的分析違反の修復パターンの精緻化に関連する例示的な環境を示す図である。
ソフトウェアプログラムにおける静的分析違反の修復パターンの精緻化のための例示的な電子装置を示すブロック図である。
違反を含む欠陥ソフトウェアプログラム及び修復済みソフトウェアプログラムの例を示す。
ソフトウェアプログラムの中の違反を修復するための例示的な修復パターンを示す。
ソフトウェアプログラムにおける静的分析違反の修復パターンの精緻化のための例示的な方法のフローチャートである。
ソフトウェアプログラムの中の違反への修復パターンの適用に基づく修復パターンの精緻化のための例示的な方法のフローチャートを示す。 ソフトウェアプログラムの中の違反への修復パターンの適用に基づく修復パターンの精緻化のための例示的な方法のフローチャートを示す。
人間のフィードバックに基づく修復パターンの精緻化のための例示的な方法のフローチャートを示す。 人間のフィードバックに基づく修復パターンの精緻化のための例示的な方法のフローチャートを示す。
全図は、本開示に記載される少なくとも１つの実施形態に従う。
本開示に記載の幾つかの実施形態は、ソフトウェアプログラムのプログラムコードの静的コード分析に基づき識別され得る違反の修正パターンの精緻化に関連する。標準的に、ソフトウェアプログラムは、多様なソリューションを提供するために、異なるドメイン固有言語で開発される。ソフトウェアプログラムの開発又は展開の間に、幾つかの問題（例えば、欠陥、バグ、疑わしいコード、又は違反）が検出されることがある。これらの問題は、ソフトウェアプログラムの必要な動作又は性能に影響するだけでなく、ソフトウェアプログラムの展開の達成のための全体的な時間にも影響を与え得る。
特定の静的アナライザ又は静的コード分析ツールが、ソフトウェアプログラムの異なる違反を自動的に検出するために利用可能である。これらの静的コード分析ツールは、１つ以上の構文違反及び／又は意味的違反を検出し得る。これらの静的コード分析ツールは、識別された違反の異なる属性（例えば、種類、行番号、ノード名、又はノード属性）を検出し得る。さらに、これらの静的コード分析ツールは、文体違反、一般的なソフトウェアの欠点、セキュリティ脆弱性、及び／又は他のスタイルガイドライン違反も検出し得る。静的コードアナライザ又は静的コード分析ツールの例は、限定ではないが、FindBugs、SpotBugs、PMD、Coverity、Facebook Infer、Google error－prone、SonarQube、Splint、cppcheck、又はClang static analyzerを含み得る。このような静的コード分析ツールは、異なるドメイン固有言語（domain specific languages：DSL）のソフトウェアプログラムの中の違反を自動的に検出できる。
標準的に、違反を修復し及び欠陥ソフトウェアプログラムを改良ソフトウェアプログラムに変換するために、修復動作または変更が使用され得る。ソフトウェアプログラムの開発の増加に伴い、検出される違反の数も優位に増大している。しかしながら、依然として、検出される違反の数の増大と比べて、修復動作の数は、限定的であり不十分である。
異なる学習技術（例えば、機械学習）を通じて修復戦略（又は共通の修復パターン）を自動的に学習し生成するために、修復例として幾つかの修復動作を考慮した、特定のソリューションが開発された。このようなソリューションは、「例示プログラミング（programming by example：PbE）」に基づく修復パターン学習又は生成システムと呼ばれる。例えば、参照により全体がここに組み込まれる米国特許出願番号第１６／１０９，４３４号、２０１８年８月２２日出願は、１つ以上のソフトウェアプログラムの中の異なる検出した欠陥（つまり違反）に基づく、及び検出した欠陥に関連付けられた編集動作（つまり修復例）に基づく、修正パターン（以後、修復パターンと呼ぶ）の生成及び学習を議論している。参照された出願による修正パターン（又は修復パターン）を生成する方法は、単なる例であることに留意する。しかしながら、異なる修復例又は違反を修復するために実行される編集動作に基づき、修復パターンを生成し又は街区周する異なる他の方法が存在し得る。
生成された修復パターンは、検出したソフトウェアプログラムに対して修復動作を実行するために使用され得る。修復パターンは、検出した違反に対して実行される１つ以上の編集動作（修復例としての）を一般化し又は表すこと、又は修復済みソフトウェアプログラムを得ることにも対応し得る。同様に、幾つかの改良されたソフトウェアプログラムは、異なる修復パターンを学習し又は生成するために、（違反を含む）異なる欠陥ソフトウェアプログラムに関して、１つ以上の編集動作を識別してよい。修復パターンは、修復パターンを用いて修復される違反を含む、ソフトウェアプログラムのソースコードと互換性のあるフォーマットで生成されてよい。図２Ａ及び図２Ｂに、例えば、修復例及び修復パターンの特定の例が詳細に記載される。
生成された修復パターンは、特定の報告された違反を修復することが可能であり得る。依然として、一般的修復パターンに対してテストされていない又は一般的修復パターンを用いて修復を試みられていない幾つかの未修正又は未知の違反が存在し得る。これは、修復パターン（又は修正パターン若しくは修復戦略）を生成するために不十分な数の修復例しかないことに起因し、これは、未修正又は未知の違反を修復するのに十分に一般的または可能でないことがある。したがって、異なる未確定違反を解決するために、自動的に生成された修復パターンの改良または精緻化が必要である。
本開示の１つ以上の実施形態によると、ソフトウェアセキュリティ、ソフトウェアデバッグ、ソフトウェア検証及び妥当性確認（verification and validation：V&V）を含むソフトウェアプロジェクト管理の技術分野は、コンピューティングシステムが種々の未修正又は未知の違反に対する種々の修復パターン（又は戦略）を格納する訓練されたモデルを実行し、及び種々の未修正又は未知の違反に対する訓練されたモデルの実行に基づき格納された修復パターンを更に精緻化できるように、コンピュータシステムを構成することにより精緻化され得る。
システムは、種々の修復例に基づき生成され／学習され得る格納された修復パターンを読み出すよう構成されてよい。システムは、データベースから未確定違反セットを読み出し、読み出した修正パターンの各々を読み出した未確定違反の各々に適用するよう更に構成されてよい。システムは、修復パターンの各々の読み出した未確定違反の各々への適用が未確定違反の修復をもたらすか否かを決定するよう更に構成されてよい。修復パターンが対応する未確定違反を修復できないと決定された場合、修復パターンの精緻化されたシステムを得るために、決定された修復パターンは、修復パターンの学習されたシステムから削除されてよい。精緻化された修復パターンは、幾つかの未修正又は新たに発見された違反を修復するために向上した精度（又は品質）を実証し得る。幾つかの実施形態では、精緻化されたシステムは、（「最良」修復パターンとして、）特定種類の全ての未確定違反を修復可能な１つの修復パターンを含んでよい。別の実施形態では、精緻化されたシステムは、特定種類の閾数の（例えば「９０％」以上の）違反を修復するのに十分正確であり得る修復パターンセットを含んでよい。
本開示の実施形態は、添付の図面を参照して説明される。
図１は、本開示に記載される少なくとも１つの実施形態に従い構成される、ソフトウェアプログラム内の静的分析違反の修復パターンの精緻化に関連する例示的な環境を示す図である。図１を参照すると、環境１００が示される。環境１００は、電子装置１０２、データベース１０４、ユーザエンド装置１０６、及び通信ネットワーク１０８を含んでよい。電子装置１０２、データベース１０４、及びユーザエンド装置１０６は、通信ネットワーク１０８を介して互いに通信可能に結合されてよい。図１には、データベース１０４に格納された、修復パターンセット１１０、第１違反セット１１２、第１修復例セット１１４、及び第２違反セット１１６が更に示される。第２違反セット１１６は、データベース１０４に格納された未知又は未確定違反に対応してよい。電子装置１０２に関連付けられ又はそれを操作し得るユーザ１１８が更に示される。ユーザ１１８は、ソフトウェア開発、デバッグ、又はテスト経験を有する人物であってよい。
電子装置１０２は、データベース１０４から修復パターンセット１１０を読み出すよう構成され得る、適切なロジック、回路、及びインタフェースを含んでよい。修正パターンセット１１０は、異なるソフトウェアプログラムの第１違反セット１１２に関連付けられた第１修復例セット１１４に基づき学習され又は生成されてよい。第１違反セット１１２は、修復例セット１１４が利用可能である、したがって確定違反と呼ばれる欠陥コードの一部に対応してよい。第２違反セットは、修復例セットが利用可能でない、したがって未確定違反と呼ばれる欠陥コードの一部に対応してよい。
第１違反セット１１２及び第２違反セット１１６は、従来知られている種々の静的コード分析ツールによりソフトウェアプログラムから検出された欠陥またはバグに対応してよい。また、第１違反セット１１２及び第２違反セットの各々は、違反の説明及び違反カテゴリに関連付けられてよい。違反の説明及び関連する違反カテゴリの一例は、以下の表１に提供される。
［表１］例示的な違反の説明及びカテゴリ
Figure 0007409197000001
電子装置１０２は、第２違反セット１１６（つまり、未確定又は未知の違反）をデータベース１０４から読み出し、読み出した修復パターンセット１１０の各々を第２違反セット１１６に適用するよう構成されてよい。電子装置１０２は、第１修復例セット１１４から自動的に学習された修復パターンセット１１０が、データベース１０４に格納された第２違反セット１１６の各々を修復又は解決できるか否かを決定するよう構成されてよい。電子装置１０２は、第２違反セット１１６の各々を修復できない可能性のある、修復パターンセット１１０からの修復パターンを決定するよう構成されてよい。電子装置１０２は、決定した修復パターンを削除し、決定した修復パターンの削除に基づき、修復パターンセット１１０を更に精緻化するよう更に構成されてよい。幾つかの実施形態では、第２違反セット１１６（つまり、精緻化のために修復パターンセット１１０と共に適用される）は、同じ種類又はカテゴリの違反に対応してよい。違反の種類の例は、限定ではないが、ＮＵＬＬポインタ逆参照、範囲外、セキュリティ問題、又は悪意のあるコードの脆弱性、危険なコード、性能問題、コード規則を含み得る。
１つ以上の実施形態では、電子装置１０２は、異なる修復パターンの第２違反セット１１６（つまいｒ未確定違反）への適用により、種々の修復例を生成するよう構成されてよい。電子装置１０２は、ユーザ１１８からユーザ入力を受信するよう更に構成されてよい。ユーザ入力は、生成された修復例のうちの１つ以上の選択であってよい。電子装置１０２は、人間のフィードバック又は選択に基づく修復パターンの更なる精緻化のために、選択された修復例を修復パターンとして、第１修復例セット１１４に追加するよう構成されてよい。
電子装置１０２の例は、限定ではないが、統合開発環境（integrated development environment：IDE）装置、ソフトウェアテスト装置、モバイル装置、デスクトップコンピュータ、ラップトップ、コンピュータワークステーション、コンピューティング装置、メインフレームマシン、クラウドサーバのようなサーバ、及びサーバ群を含んでよい。１つ以上の実施形態では、電子装置１０２は、ユーザエンド端末装置、及びユーザエンド端末装置に通信可能に結合されたサーバを含んでよい。ユーザエンド端末装置の例は、限定ではないが、モバイル装置、デスクトップコンピュータ、ラップトップ、及びコンピュータワークステーションを含んでよい。電子装置１０２は、プロセッサ、（例えば、１つ以上の動作を実行する又は実行を制御する）マイクロプロセッサ、ＦＰＧＡ（field－programmable gate array）、又はＡＳＩＣ（application－specific integrated circuit）を含むハードウェアを用いて実装されてよい。幾つかの他の例では、電子装置１０２は、ハードウェア及びソフトウェアの組み合わせを用いて実装されてよい。
１つ以上の実施形態では、電子装置１０２は、第２違反セット１１６（未確定違反）のうちの１つ以上を修復した生成された修復セットに基づき修復パターンセット１１０を自動的に学習し生成するよう訓練されたニューラルネットワーク又は機械学習システムを含んでよい。ニューラルネットワークの例は、限定ではないが、深層ニューラルネットワーク（deep neural network：ＤＮＮ）、リカレントニューラルネットワーク（recurrent neural network：ＲＮＮ）、人工ニューラルネットワーク（artificial neural network：ＡＮＮ）畳み込みニューラルネットワーク（convolutional neural network：ＣＮＮ）、ＣＮＮリカレントニューラルネットワーク（ＣＮＮ－ＲＮＮ）、Ｒ－ＣＮＮ、超短期記憶（Long Short Term Memory：ＬＳＴＭ）ネットワークに基づくＲＮＮ、完全接続ニューラルネットワーク、ＣＴＣ（Connectionist Temporal Classification）に基づくＲＮＮ、深層ベイジアン（Bayesian）ニューラルネットワーク、敵対的生成ネットワーク（Generative Adversarial Network：ＧＡＮ）、及び／又はこのようなネットワークの組み合わせを含んでよい。
データベース１０４（例えば、Big Code）は、修復パターンセット１１０、第１違反セット１１２、第１修復例セット１１４、及び第２違反セット１１６（つまり未確定違反）を格納するよう構成されてよい、適切なロジック、インタフェース、及び／又はコードを含んでよい。幾つかの実施形態では、データベース１０４は、第１違反セット１１２、第１修復例セット１１４、及び第２違反セット１１６に関連付けられた、異なるソフトウェアプログラム、コード、ライブラリ、アプリケーション、スクリプト、又はルーチンを格納してよい。
データベース１０４は、関係型又は非関係型データベースであってよい。また、幾つかの例では、データベース１０４は、クラウドサーバのようなサーバ上に格納されてよく、又は電子装置１０２上にキャッシュされ格納されてよい。データベース１０４のサーバは、データ、違反、又はプログラムを、電子装置１０２から通信ネットワーク１０８を介して提供するための要求を受信するよう構成されてよい。それに応答して、データベース１０４のサーバは、受信した要求に基づき、データ、違反、又はプログラムを読み出し、電子装置１０２へ通信ネットワーク１０８を介して提供するよう構成されてよい。追加又は代替として、データベース１０４は、プロセッサ、（例えば、１つ以上の動作を実行する又は実行を制御する）マイクロプロセッサ、ＦＰＧＡ（field－programmable gate array）、又はＡＳＩＣ（application－specific integrated circuit）を含むハードウェアを用いて実装されてよい。幾つかの他の例では、データベース１０４は、ハードウェア及びソフトウェアの組み合わせを用いて実装されてよい。
ユーザエンド端末装置１０６は、生成された又は精緻化された修復パターンセット１１０が展開され得る、適切なロジック、回路、インタフェース、及び／又はコードを有してよい。ユーザエンド端末装置１０６は、種々のソフトウェア開発段階の間に、特にコードテスト又は検証及び妥当性確認（Ｖ＆Ｖ）段階の間に、ソフトウェアプログラム内で識別され得る異なる違反を修復するために展開された修復パターンセット１１０をユーザ１１８に推奨し及び／又は適用し得る、統合開発環境（ＩＤＥ）、コードエディタ、ソフトウェアデバッガ、ソフトウェア開発キット、又はテストアプリケーションのうちの１つ以上を含んでよい。ユーザエンド装置１０６の例は、限定ではないが、モバイル装置、デスクトップコンピュータ、ラップトップ、コンピュータワークステーション、コンピューティング装置、メインフレームマシン、クラウドサーバのようなサーバ、及びサーバ群を含んでよい。図１では、ユーザエンド装置１０６は電子装置１０２と別個であるが、しかしながら、幾つかの実施形態では、ユーザエンド装置１０６は、本開示の範囲から逸脱することなく、電子装置１０２に統合されてよい。
通信ネットワーク１０８は、通信媒体であって、該通信媒体を通じて電子装置１０２が通信し得る通信媒体と、データベース１０４を格納し得るサーバと、ユーザエンド装置１０６と、を含んでよい。通信ネットワーク１０８の例は、限定ではないが、インターネット、クラウドネットワーク、Ｗｉ－Ｆｉ（Wireless Fidelity）ネットワーク、ＰＡＮ（Personal Area Network）、ＬＡＮ（Local Area Network）、及び／又はＭＡＮ（Metropolitan Area Network）を含んでよい。環境１００内の種々の装置は、種々の有線及び無線通信プロトコルに従い、通信ネットワーク１０８に接続するよう構成されてよい。このような有線及び無線通信プロトコルの例は、限定ではないが、ＴＣＰ／ＩＰ（Transmission Control Protocol and Internet Protocol）、ＵＤＰ（User Datagram Protocol）、ＨＴＴＰ（Hypertext Transfer Protocol）、ＦＴＰ（File Transfer Protocol）、ZigBee、EDGE、ＩＥＥＥ８０２．１１、Ｌｉ－Ｆｉ（light fidelity）、８０２．１６、ＩＥＥＥ８０２．１１ｓ、ＩＥＥＥ８０２．１１ｇ、マルチホップ通信、無線アクセスポイント（ＡＰ）、装置間通信、セルラ通信プロトコル、及び／又はＢＴ（Bluetooth(登録商標)）通信プロトコル、又はそれらの組み合わせを含んでよい。
変更、追加、又は省略が、本開示の範囲から逸脱することなく図１に対して行われてよい。例えば、環境１００は、図示され本開示で説明されるよりも多数又は少数の要素を含んでよい。例えば、幾つかの実施形態では、環境１００は、電子装置１０２を含むが、データベース１０４及びユーザエンド装置１０６を含まなくてよい。さらに、幾つかの実施形態では、データベース１０４及びユーザエンド装置１０６の各々の機能は、本開示の範囲から逸脱することなく、電子装置１０２に組み込まれてよい。
図２は、本開示に記載される少なくとも１つの実施形態に従い構成される、ソフトウェアプログラム内の静的分析違反の修復パターンの精緻化のための例示的な電子装置を示すブロック図である。図２は、図１の要素と関連して説明される。図２を参照すると、電子装置１０２のブロック図２００が示される。電子装置１０２は、プロセッサ２０４、メモリ２０６、永久データ記憶装置２０８７、入力／出力（Ｉ／Ｏ）装置２１０、ディスプレイスクリーン２１２、及びネットワークインタフェース２１４を含んでよい。
プロセッサ２０４は、電子装置１０２により実行されるべき異なる動作に関連付けられたプログラム命令を実行するよう構成され得る、適切なロジック、回路、及び／又はインタフェースを含んでよい。例えば、動作のうちの幾つかは、修復パターンセット１１０及び第２違反セット１１６のデータベース１０４からの読み出し、修復パターンセット１１０の第２違反セット１１６への適用、修復例セットの生成、生成された修復例のうちの１つ以上を選択するためのユーザ入力の受信、及び適用及び選択に基づく修復パターンセット１１０の更なる精緻化、を含んでよい。プロセッサ２０４は、種々のコンピュータハードウェア又はソフトウェアモジュールを含む、任意の適切な専用又は汎用コンピュータ、コンピューティングエンティティ、又は処理装置を含んでよく、任意の適切なコンピュータ可読記憶媒体に格納された命令を実行するよう構成されてよい。例えば、プロセッサ２０４は、マイクロプロセッサ、マイクロコントローラ、デジタル信号プロセッサ（ＤＳＰ）、特定用途向け集積回路（ＡＳＩＣ）、フィールドプログラマブルゲートアレイ（ＦＰＧＡ）、又はプログラム命令を解釈し及び／又は実行し及び／又はデータを処理するよう構成される任意の他のデジタル若しくはアナログ回路を含んでよい。
図２には単一のプロセッサとして示されるが、プロセッサ２０４は、個々に又は集合的に本開示に記載のような電子装置１０２の任意の数の動作を実行する又は実行を指示するよう構成される任意の数のプロセッサを含んでよい。さらに、プロセッサのうちの１つ以上は、異なるサーバのような１つ以上の異なる電子装置上に存在してよい。幾つかの実施形態では、プロセッサ２０４は、プログラム命令を解釈し及び／又は実行し、及び／又はメモリ２０６及び／又は永久データ記憶装置２０８に格納されたデータを処理するよう構成されてよい。幾つかの実施形態では、プロセッサ２０４は、プログラム命令を永久データ記憶装置２０８からフェッチし、プログラム命令をメモリ２０６にロードしてよい。プログラム命令がメモリ２０６にロードされた後に、プロセッサ２０４は、プログラム命令を実行してよい。プロセッサ２０４の例のうちの幾つかは、ＧＰＵ、ＣＰＵ、ＲＩＳＣプロセッサ、ＡＳＩＣプロセッサ、ＣＩＳＣプロセッサ、コプロセッサ、及び／又はそれらの組み合わせであってよい。
プロセッサ２０６は、プロセッサ２０４により実行可能なプログラム命令を格納するよう構成され得る、適切なロジック、回路、インタフェース及び／又はコードを含んでよい。特定の実施形態では、メモリ２０６は、オペレーティングシステム及び関連する特定用途情報を格納するよう構成されてよい。メモリ２０６は、格納されたコンピュータ実行可能命令またはデータ構造を運ぶ又は有するコンピュータ可読記憶媒体を含んでよい。このようなコンピュータ可読記憶媒体は、プロセッサ２０４のような汎用又は専用コンピュータによりアクセスされ得る任意の市販の媒体を含んでよい。例として、限定ではなく、このようなコンピュータ可読記憶媒体は、ランダムアクセスメモリ（ＲＡＭ）、読み出し専用メモリ（ＲＯＭ）、電気的消去可能なプログラマブル読み出し専用メモリ（ＥＥＰＲＯＭ）、コンパクトディスク読み出し専用メモリ（ＣＤ－ＲＯＭ）、又は他の光ディスク記憶装置、磁気ディスク記憶装置、又は他の磁気記憶装置、フラッシュメモリ素子（例えば、個体メモリ装置）、又はコンピュータ実行可能命令若しくはデータ構造の形式で特定のプログラムコードを運ぶ又は格納するために使用され得る且つ汎用又は専用コンピュータによりアクセスされ得る任意の他の記憶媒体、を含む有形又は非一時的コンピュータ可読媒体を含んでよい。上記の組み合わせも、コンピュータ可読記憶媒体の範囲に含まれてよい。コンピュータ実行可能命令は、例えば、プロセッサ２０４に、電子装置１０２に関連付けられた特定動作又は一群の動作を実行させるよう構成される命令及びデータを含んでよい。
永久データ記憶装置２０８は、プロセッサ２０４により実行可能なプログラム命令、オペレーティングシステム、及び／又はログ及び特定用途データベースのような特定用途情報を格納するよう構成され得る、適切なロジック、回路、インタフェース、及び／又はコードを含んでよい。永久データ記憶装置２０８は、格納されたコンピュータ実行可能命令またはデータ構造を運ぶ又は有するコンピュータ可読記憶媒体を含んでよい。このようなコンピュータ可読記憶媒体は、プロセッサ２０４のような汎用又は専用コンピュータによりアクセスされ得る任意の市販の媒体を含んでよい。
例として、限定ではなく、このようなコンピュータ可読記憶媒体は、ＣＤ－ＲＯＭ（Compact Disc Read－Only Memory）又は他の光ディスク記憶装置、磁気ディスク記憶装置、又は他の磁気記憶装置（例えばＨＤＤ（Hard－Disk Drive））、フラッシュメモリ装置（例えば、ＳＤＤ（Solid State Drive）、ＳＤ（Secure Digital）カード、他の個体メモリ装置）、又は特定のプログラムコードをコンピュータ実行可能命令またはデータ構造の形式で運び又は融資得る且つ汎用又は専用コンピュータによりアクセスされ得る任意の他の記憶媒体を含む有形又は非一時的コンピュータ可読記憶媒体を含んでよい。上記の組み合わせも、コンピュータ可読記憶媒体の範囲に含まれてよい。コンピュータ実行可能命令は、例えば、プロセッサ２０４に、電子装置１０２に関連付けられた特定動作又は一群の動作を実行させるよう構成される命令及びデータを含んでよい。
幾つかの実施形態では、メモリ２０６、永久データ記憶装置２０８、又は組み合わせのいずれも、データベース１０４から読み出した修復パターンセット１１０及び第１違反セット１１６を格納してよい。幾つかの実施形態では、メモリ２０６、永久データ記憶装置２０８、又は組み合わせのどちらも、修復パターンセット１１０の第２違反セット１１６（つまり未確定違反）への適用の間に生成された１つ以上の修復例を格納してよい。幾つかの実施形態では、メモリ２０６、永久データ記憶装置２０８、又は組み合わせのどちらも、第２違反セット１１６のうちの１つ以上を修復するために生成された修復例に基づき、より多くの修復パターンを学習するニューラルネットワークを格納してよい。
Ｉ／Ｏ装置２１０は、ユーザ入力（例えば、生成された修復例を選択するためのユーザ入力）を受信するよう構成され得る、適切なロジック、回路、インタフェース、及び／又はコードを含んでよい。Ｉ／Ｏ装置２１０は、ユーザ入力に応答して、出力を提供するよう更に構成されてよい。Ｉ／Ｏ装置２１０は、プロセッサ２０４及びネットワークインタフェース２１４のような他のコンポーネントと通信するよう構成され得る種々の入力及び出力装置を含んでよい。入力装置の例は、限定ではないが、タッチスクリーン、キーボード、マウス、ジョイスティック、及び／又はマイクロフォンを含んでよい。出力装置の例は、限定ではないが、ディスプレイ及び／又はスピーカを含んでよい。
ディスプレイスクリーン２１２は、修復パターンセット１１０の精緻化のために修復パターンとして１つ以上の修復例を選択するために、生成された修復例をユーザ１１８にレンダリングするよう構成され得る、適切なロジック、回路、インタフェース、及び／又はコードを含んでよい。ディスプレイスクリーン２１２は、ユーザ１１８から、１つ以上の修復例を選択するためのユーザ入力を受信するよう構成されてよい。このような場合には、ディスプレイスクリーン２１２は、ユーザ入力を受信するタッチスクリーンであってよい。ディスプレイスクリーン２１２は、限定ではないが、液晶ディスプレイ（ＬＣＤ）ディスプレイ、発光ダイオード（ＬＥＤ）ディスプレイ、プラズマディスプレイ、及び／又は有機ＬＥＤ（ＯＬＥＤ）ディスプレイ技術、及び／又は他のディスプレイ技術のような、幾つかの知られている技術を通じて実現されてよい。
ネットワークインタフェース２１４は、電子装置１０２、データベース１０４、及びユーザエンド装置１０６の間の通信を通信ネットワーク１０８を介して確立するよう構成され得る、適切なロジック、回路、インタフェース、及び／又はコードを有してよい。ネットワークインタフェース２１４は、通信ネットワーク１０８を介して電子装置１０２の有線又は無線通信をサポートする種々の知られている技術の使用により実装されてよい。ネットワークインタフェース２１４は、限定ではないが、アンテナ、無線周波数（ＲＦ）通信機、１つ以上の増幅器、チューナ、１つ以上の発信器、デジタル信号プロセッサ、コードデコーダ（ＣＯＤＥＣ）チップセット、加入者識別モジュール（ＳＩＭ）カード、及び／又はローカルバッファを含んでよい。
ネットワークインタフェース２１４は、無線通信により、インターネット、イントラネット、及び／又はセルラ電話ネットワーク、無線ＬＡＮ、及び／又は都市域ネットワーク（ＭＡＮ）のような無線ネットワークのようなネットワークと通信してよい。無線通信は、ＧＳＭ(登録商標)（Global System for Mobile Communications）、ＥＤＧＥ（Enhanced Data GSM Environment）、Ｗ－ＣＤＭＡ（wideband code division multiple access）、ＬＴＥ（Long Term Evolution）、ＣＤＭＡ（code division multiple access）、ＴＤＭＡ（time division multiple access）、Ｂｌｕｅｔｏｏｔｈ、Ｗｉ－Ｆｉ（Wireless Fidelity）（例えばＩＥＥＥ８０２．１１ａ、ＩＥＥＥ８０２．１１ｂ、ＩＥＥＥ８０２．１１ｇ、及び／又はＩＥＥＥ８０２．１１ｎ）、ＶｏＩＰ（voice over Internet Protocol）、Ｌｉ－Ｆｉ（light fidelity）、又はＷｉ－ＭＡＸのような、複数の通信規格、プロトコル、及び技術のうちのいずれかを使用してよい。
変更、追加、又は省略が、本開示の範囲から逸脱することなく例示的な電子装置１０２に対して行われてよい。例えば、幾つかの実施形態では、例示的な電子装置１０２は、簡単のために明示され又は記載されないことのある任意の数の他のコンポーネントを含んでよい。
図３Ａは、本開示に記載される少なくとも１つの実施形態に従い構成される、違反を含む欠陥ソフトウェアプログラム及び修復済みソフトウェアプログラムの例を示す。図３Ａは、図１及び図２の要素と関連して説明される。図３Ａを参照すると、欠陥ソフトウェアプログラム３０２の一例が示される。欠陥ソフトウェアプログラム３０２は、ドメイン固有言語（domain specific language：ＤＳＬ）、例えばＪａｖａ(登録商標)に関連付けられた、コード、スクリプト、又はルーチンを含んでよい。欠陥ソフトウェアプログラム３０２は、１次ノード３０６において違反（例えば、図示のように「doc.get(field);」）を含んでよい。違反は、欠陥ソフトウェアプログラム３０２の性能に影響を与え得る欠陥又はバグを示してよい。幾つかの実施形態では、欠陥ソフトウェアプログラム３０２は、１次ノード３０６における違反を含む複数の違反を含んでよい。違反は、従来知られている静的コード分析ツールにより識別されてよい。違反は、また、欠陥ソフトウェアプログラム３０２内で検出された違反の位置に対応してよい。違反の位置は、１次ノード３０６（又は主ノード）として参照されてよい。この１次ノード３０６に関して、異なる編集ノードが識別されてよく、又は異なる編集動作が実行されてよい。
図３Ａには、改良ソフトウェアプログラム３０４も示される。改良ソフトウェアプログラム３０４は、欠陥ソフトウェアプログラム３０２の修復されたバージョンであってよい。欠陥ソフトウェアプログラム３０２は、改良ソフトウェアプログラム３０４を取得するために、欠陥ソフトウェアプログラム３０２に適用された修復例に基づき修復されてよい。修復例は、改良ソフトウェアプログラム３０４を取得するために欠陥ソフトウェアプログラム３０２に対して実行される１つ以上の編集動作に対応してよい。図３Ａには、編集ノード３０８Ａ～３０８Ｄのセットが示される。改良ソフトウェアプログラム３０４を得るために、欠陥ソフトウェアプログラム３０２の編集ノード３０８Ａ～３０８Ｄのセットに対して実行される編集動作セット（つまり、１つ以上の命令／コマンドに対して実行される変更又は変換）も示される。通常、所与の編集ノードのための編集動作は、所与の編集ノードに関連付けられたコード部分に対する、置換／交換、コードの付加、訂正、新たな付加、柵状、位置シフト、又は他の変更、のうちの１つ以上に対応してよい。例えば、図３Ａに示すように、第１編集動作（「Map.Entry<String,Object>entry」）は、第１編集ノード３０８Ａに追加されてよく、第２編集動作（「doc.entrySet()」）は、第２編集ノード３０８Ｂにおいて変更されてよく、第３編集動作（「Stringfield=entry.getKey();」）は、第３編集ノード３０８Ｃに追加されてよく、第４編集動作（「entry.getValue();」）は、第４編集ノード３０８Ｄ（又は主ノード３０６）に追加されてよい。
図３Ａには、位置３１０Ａ～３１０Ｃのセットも示される。これらは、違反の主ノード３０６と編集ノード３０８Ａ～３０８Ｄ（つまり、コードを修復する必要がある位置）の各々との間の関係を示してよい。幾つかの実施形態では、位置３１０Ａ～３１０Ｃのセット、又は主ノード３０６と編集ノード３０８Ａ～３０８Ｄとの間の関係が分析されて、修復パターンセット１１０（確定パターンとも呼ばれる）を生成してよい。生成された修復パターンセット１１０は、編集ノード３０８Ａ～３０８Ｄ、及び違反を修復するための及び改良ソフトウェアプログラム３０４を取得するための対応する編集動作を示してよい。
図３Ｂは、本開示に記載される少なくとも１つの実施形態に従い構成される、ソフトウェアプログラム内の違反を修復するための例示的な修復パターンを示す。図３Ｂは、図１、図２、及び図３Ａの要素と関連して説明される。図３Ｂを参照すると、第１ソフトウェアプログラム３１２の一例が示される。第１ソフトウェアプログラム３１２は、１次ノード３１４において違反（例えば、図示のように「insQueries.get(name)」）を含んでよい。違反は、第１ソフトウェアプログラム３１２に対して静的コード分析ツールを使用して、第１ソフトウェアプログラム３１２から検出されてよい。図３Ｂには、第２ソフトウェアプログラム３１６も示される。第２ソフトウェアプログラム３１６は、第１修復パターン（確定パターン）に対応し、又は編集ノード及び編集ノードに対して実行される編集動作の識別に基づき生成されてよい。例えば、図３Ｂに示すように、第２ソフトウェアプログラム３１６は、第１編集動作（図示のように「Stringname=entry.getKey()」）が実行され得る第１編集ノード３２０を含んでよい。第１編集ノード３２０は、第２ソフトウェアプログラム３１６内の主ノード３１４に位置する違反文の第１親ノード３１８（つまり、「if(!params.isEmpty()){」により定められる）の前の行にあってよい。したがって、１次ノード３１４、第１親ノード３１８、及び第１編集ノード３２０に基づき、第１修復パターンが生成されてよい。第２ソフトウェアプログラム３１６は、主ノード３１４にいて編集動作（「entry.getValue()」）を示してよい。
図３Ｂの第２ソフトウェアプログラム３１６内に示すように、第１修復パターンは、第１ロケータに対応してよい。第１ロケータは、１次ノード３１４と、１次ノード３１４における文の第１親ノード３１８の前の行に存在し得る第１編集ノード３２０との間の関係を表してよい。第１編集ノード３２０に対して実行される編集動作（つまり、「Stringname=entry.getKey()」）は、違反３１４の修復を確認するために、静的コード分析ツールにより更に分析されてよい。
図３Ｂには、第２修復パターンに基づき修復され得る第３ソフトウェアプログラム３２２も示される。例えば、第２ソフトウェアプログラム３１６の静的コード分析が違反を示す場合には、第２ロケータが第２修復パターンとして識別されてよい。第２ロケータは、１次ノード３１４と、編集動作（図示しない）との間の関係を表してよい。該編集動作は、１次ノード３１４における違反文の第１親ノード３１８の前に存在し得る第２親ノードの本体（body）の開始位置に存在してよい。図示のように、第３ソフトウェアプログラム３２２内には文の第２親ノードが存在しないので、静的コード分析ツールは、第３ソフトウェアプログラム３２２を分析した後に、違反にフラグを立てて（flag）よい。
図３Ｂには、第３修復パターンに基づき修復され得る第４ソフトウェアプログラム３２４も示される。第３修復パターンは、１次ノード３１４と第２編集ノード３２８との間の関係として、第３ロケータを示してよい。例えば、第３修復パターンは、１次ノード３１４における違反の第１パラメータ３２６（「name」）を識別し、更に第２編集ノード３２８における編集動作として第１パラメータ３２６の宣言を行うための処理を示してよい。ここで、第２編集ノード３２８は、１次ノード３１４における違反文の第１親ノード３１８の本体の開始位置にあってよい。
ここで、図３Ｂに記載した第１修復パターン、第２修復パターン、及び第３修復パターンは、単に一例として提供されることに留意する。しかしながら、本開示の範囲から逸脱することなく、編集ノード、及び対応する編集ノードにおいて実行される編集動作を定めるための幾つかの種類の修復パターンが存在し得る。
図４は、本開示に記載される少なくとも１つの実施形態に従い構成される、ソフトウェアプログラム内の静的分析違反の修復パターンの精緻化に関連する例示的な方法のフローチャートである。図４は、図１、図２、図３Ａ及び図３Ｂの要素と関連して説明される。図４を参照すると、フローチャート４００が示される。フローチャート４００に示される方法は、４０２で開始してよく、任意の適切なシステム、機器、又は装置により、例えば図１又は図２の例示的な電子装置１０２により、実行されてよい。別個のブロックを示したが、フローチャート４００のブロックのうちの１つ以上に関連するステップ及び動作は、特定の実装に依存して、追加ブロックに分けられ、少ないブロックに結合され、又は削除されてよい。
ブロック４０２で、修復パターンセット１１０が読み出されてよい。幾つかの実施形態では、プロセッサ２０４は、データベース１０４から修復パターンセット１１０を読み出すよう構成されてよい。別の実施形態では、プロセッサ２０４は、メモリ２０６、永久データ記憶装置２０８、又はそれらの組み合わせのいずれあに格納された修復パターンセット１１０を読み出してよい。修復パターンセット１１０は、第１違反セット１１２を修復可能な第１修復例セット１１４（又は編集動作）に基づき学習され又は生成されてよい。幾つかの実施形態では、プロセッサ２０４は、第１違反セット１１２及び第１修復例セット１１４をデータベース１０４から読み出し、第１修復例セット１１４の分析に基づき修復パターンセット１１０を自動的に生成するよう構成されてよい。
ブロック４０４で、第２違反セット１１６（つまり、「未知又は未確定違反」）が読み出される。幾つかの実施形態では、プロセッサ２０４は、メモリ２０６及び／又は永久データ記憶装置２０８に格納されたデータベース１０４から、第２違反セット１１６を読み出すよう構成されてよい。第２違反セット１１６は、修復例又は違反を修正するための編集動作により修復されていない、ソフトウェアプログラムの欠陥又はバグであってよい。幾つかの実施形態では、第２違反セット１１６内の全ての違反は,同じ違反種類であってよい。
ブロック４０６で、修復パターンセット１１０の各々は、第２違反セット１１６の各々に適用されてよい。幾つかの実施形態では、プロセッサ２０４は、読み出した第２違反セット１１６の各々に対して、修復パターンセット１１０の各々を実行し又は適用するよう構成されてよい。プロセッサ２０４は、異なる修復パターン、又は修復パターンセット１１０により定められた編集動作を、第２違反セット１１６（未確定違反）に適用して、第２違反セットを修復するよう構成されてよい。図３Ｂに、修復パターンセット１１０の特定の例が記載される。
ブロック４０８で、修復パターンセット１１０が精緻化されてよい。プロセッサ２０４は、第２違反セット１１６の各々又は第２違反セット１１６のうちの閾数（例えば「９０％」より多く）を修復できない可能性のある修復パターンを決定してよい。プロセッサ２０４は、ブロック４０６のように、修復パターンセット１１０の第２違反セット１１６への適用に基づき、修復パターンセット１１０から、修復パターンを決定するよう構成されてよい。
決定した修復パターンが第２違反セット１１６の中の１つ以上の未確定違反を修復できないので、プロセッサ２０４は、修復パターンセット１１０から決定した修復パターンを削除する又は除去するよう更に構成されてよい。プロセッサ２０４は、修復パターンセット１１０からの決定した修復パターンの削除に基づき、修復パターンセット１１０を精緻化するよう構成されてよい。したがって、開示の電子装置１０２のプロセッサ２０４は、修復パターンセット１１０に基づき自動的に学習された修復パターンセット１１０が、未確定又は未知の違反（つまり、第２違反セット１１６）も修復可能か否かを決定可能であってよい。可能ではない場合、このような修復パターンも、修復パターンセット１１０を精緻化するために削除される。その結果、精緻化された修復パターンセットは、ソフトウェアプログラム内の違反を修復するための制度の向上を提供する。幾つかの実施形態では、精緻化された修復パターンセットは、（「最良」修復パターンとして、）特定種類の全ての未確定違反を修復可能な１つの修復パターンを含んでよい。
ブロック４１０で、１つ以上の修復例が、第２違反セット１１６に対する修復パターンセット１１０の適用に基づき生成されてよい。幾つかの実施形態では、プロセッサ２０４は、第２違反セット１１６の各々に対する修復パターンセット１１０の各々の実行に基づき、修復結果を生成するよう構成されてよい。修復結果は、修復パターンセット１１０のうちの１つを適用することにより、対応する未確定違反が修復された又は解決されたか否かを示してよい。幾つかの実施形態では、静的コード分析ツールは、修復パターンセット１１０の各々の第２違反セット１１６の各々への適用により取得されたソフトウェアプログラムの分析に基づき、修復結果（つまり、修復又は違反）を生成してよい。対応する未確定違反が修復されたと決定された場合、プロセッサ２０４は、修復されている対応する未確定違反に関連付けられた修復例を生成するよう構成されてよい（つまり、第１修復例セット１１４と異なってよい）。したがって、プロセッサ２０４は、第２違反セット１１６に対して修復パターンセットを繰り返し実行する又は適用することにより、第２修復例セットを生成してよい。
ブロック４１２で、ユーザ入力は、第２修復例セットから１つ以上の修復例を選択するために受信されてよい。幾つかの実施形態では、プロセッサ２０４は、ユーザ入力をユーザ１１８から、Ｉ／Ｏ装置２１０又はディスプレイスクリーン２１２を通じて受信するよう構成されてよい。プロセッサ２０４は、（ブロック４１２で生成されたよ）第２修復例セットから１つ以上の修復例を選択するよう構成されてよい。
ブロック４１４で、修復パターンセット１１０が、ユーザ入力に基づき精緻化されてよい。幾つかの実施形態では、プロセッサ２０４は、（ブロック４０８で先に精緻化されたように）修復パターンセット１１０を更に精緻化するよう構成されてよい。プロセッサ２０４は、ブロック４１２でユーザ１１８から受信したユーザ入力に基づき、選択された１つ以上の修復例を（追加修復パターン又は戦略として）精緻化された修復パターンセット１１０に追加してよい。したがって、修復パターンセット１１０の精緻化は、ユーザ１１８（例えば、経験を積んだソフトウェア開発者）から受信した介入又はフィードバックに更に基づいてよい。
ブロック４１６で、精緻化された修復パターンセット１１０が、新たに受信した又は発見された違反に適用されてよい。幾つかの実施形態では、プロセッサ２０４は、データベース１０４から新たに発見された違反を読み出し又は受信するよう構成されてよい。新たに発見した違反は、第２ソフトウェアプログラムに含まれてよい。プロセッサ２０４は、（ブロック４０８及びブロック４１４で精緻化されたような）精緻化された修復パターンセット１１０を新たに発見した違反に適用するよう、又は、精緻化された修復パターンセット１１０がデータベース１０４内の新たに発見した違反を修復するために使用可能か否かを更にテストするよう、更に構成されてよい。修復の場合には、精緻化された修復パターンセット１１０の新たに受信した違反への適用は、修復済み第２ソフトウェアプログラムを生成してよい。したがって、未確定違反、人間のフィードバック、又は新たに発見された違反のうちの１つ又はそれらの組み合わせによる修復パターンセットの精緻化に基づき、未確定違反を修復する、学習された修復パターンセット１１０の精度又は品質が向上され得る。制御は終了する。
フローチャート４００は、４０２、４０４、４０６、４０８、４１０、４１２、４１４、及び４１６のような個別の動作として図示された。しかしながら、特定の実施形態では、開示の実施形態の本質を損なうことなく、特定の実装に依存して、このような個別の動作は、追加動作に更に分けられ、より少数の動作に結合され、又は削除されてよい。
図５Ａ及び５Ｂは、本開示に記載される少なくとも１つの実施形態に従い構成される、ソフトウェアプログラム内の違反に対する修復パターンの適用に基づく、修復パターンの精緻化のための例示的な方法のフローチャートを共同で示す。図５Ａ及び５Ｂは、図１、図２、図３Ａ、図３Ｂ及び図４の要素と関連して説明される。図５Ａ及び５Ｂを参照すると、フローチャート５００が示される。フローチャート５００に示される方法は、５０２で開始してよく、任意の適切なシステム、機器、又は装置により、例えば図１又は図２の例示的な電子装置１０２により、実行されてよい。別個のブロックを示したが、フローチャート５００のブロックのうちの１つ以上に関連するステップ及び動作は、特定の実装に依存して、追加ブロックに分けられ、少ないブロックに結合され、又は削除されてよい。
ブロック５０２で、修復パターンセット１１０及び第２違反セット１１６は、データベース１０４から読み出されてよい。幾つかの実施形態では、プロセッサ２０４は、ブロック４０２及びブロック４０４で決定されたように、修復パターンセット１１０（又は確定パターン）及び第２違反セット１１６を、データベース１０４から読み出すよう構成されてよい。
ブロック５０４で、修復パターンセットの数又はサイズが「１」に等しいか否かが決定されてよい。プロセッサ２０４は、修復パターンセット１１０の数又はサイズが「１」であるか否かを決定するよう構成されてよい。決定した数が「１」である場合、第１修復例セット１１４に基づき生成された又は利用可能な１つの修復パターンのみが存在してよい。したがって、１つの修復パターンの更なる精緻化は可能でなく、制御は終了し、更なる精緻化は実行されない。その他の場合、制御はブロック５０６に進む。
ブロック５０６で、（例示的な第１未確定違反について）未確定違反は、第２違反セット１１６から選択されてよい。幾つかの実施形態では、プロセッサ２０４は、データベース１０４から読み出した第２違反セット１１６から、第１未確定違反を選択するよう構成されてよい。選択された第１未確定違反は、特定のＤＳＬ内の特定のソフトウェアプログラムに関連付けられてよい。
ブロック５０８で、修復パターン（例えば、第１修復パターン）は、（ブロック５０２でデータベース１０４から読み出されたような）修復パターンセット１１０から選択されてよい。幾つかの実施形態では、プロセッサ２０４は、修復パターンセット１１０から第１修復パターンを選択するよう構成されてよい。
ブロック５１０で、選択された修復パターンは、選択された未確定違反に適用されてよい。プロセッサ２０４は、ソフトウェアプログラムの選択された未確定違反を修復する又は解決するために、修復パターンセット１１０から選択された修復パターンを、選択された未確定違反に対して適用し又は実行するよう構成されてよい。選択された修復パターンは、図３Ａ及び３Ｂに詳述したように、選択された未確定違反に適用され得る１つ以上の編集動作に対応してよい。
ブロック５１２で、修復結果が、選択された未確定違反に対する選択された修復パターンの適用に基づき生成されてよい。幾つかの実施形態では、プロセッサ２０４は、選択された修復パターンが選択された未確定違反を修復可能か否かを決定するために、修復結果を生成するよう構成されてよい。別の実施形態では、修復結果は、開示の電子装置１０２に関連付けられた静的コード分析ツールにより生成されてよい。
ブロック５１４で、生成された修復結果が、違反、又は選択された未確定違反の修復に対応するか否かが決定されてよい。幾つかの実施形態では、プロセッサ２０４は、ブロック５１２における生成された修復結果が違反に対応するか否かを決定するよう構成されてよい。修復結果が違反に対応する場合、これは、適用された修復パターンが選択された未確定違反を修復できないことを示してよい。制御はブロック５１６に進む。その他の場合、生成された修復結果が選択れた未確定違反の修復に対応する場合、制御はブロック５１８に進む。
ブロック５１６で、選択された未確定違反に適用された修復パターンは、修復パターンセット１１０から削除される。幾つかの実施形態では、プロセッサ２０４は、修復パターンセット１１０の精緻化のために、修復パターンセット１１０から、修復パターン（つまり、選択された未確定違反を修復できない可能性のあるもの）を削除するよう構成されてよい。
ブロック５１８で、修復パターンセット１１０の全部が選択された未確定違反に適用されるか否かが決定されてよい。プロセッサ２０４は、修復パターンセット１１０の全部が選択された未確定違反に適用されるか否かを決定するよう構成されてよい。修復パターンセット１１０の全部が選択された未確定違反に適用されない場合、制御はブロック５２０に進む。その他の場合、制御はブロック５２２に進む。
ブロック５２０で、修復パターンセット１１０のうちの次の修復パターンが選択されてよい。幾つかの実施形態では、プロセッサ２０４は、修復パターンセット１１０から次の修復パターンを選択するよう構成されてよい。制御はブロック５１０に進み、その結果、修復パターンセット１１０の各々が選択された未確定違反に適用されてよい。したがって、ブロック５１０～ブロック５２０の動作は、修復パターンセット１１０の選択された未確定違反への適用に基づき、電子装置１０２又はプロセッサ２０４により繰り返し実行されてよい。
ブロック５２２で、第２違反セット１１６の全部が修復パターンセット１１０により処理されるか否かが決定されてよい。幾つかの実施形態では、プロセッサ２０４は、第２違反セット１１６の全部が修復パターンセット１１０により処理されるか否かを決定するよう構成されてよい。第２違反セットの全部が処理されない場合、制御はブロック５２４に進む。その他の場合、制御はブロック５２６に進む。
ブロック５２４で、次の未確定違反が、第２違反セット１１６から選択されてよい。幾つかの実施形態では、プロセッサ２０４は、第２違反セット１１６から次の未確定違反を選択するよう構成されてよい。制御はブロック５０８に進み、その結果、修復パターンセット１１０の各々は、第２違反セット１１６の各々に適用されてよい。したがって、ブロック５０８～ブロック５２４の動作は、修復パターンセット１１０の第２違反セット１１６への適用に基づき、電子装置１０２又はプロセッサ２０４により繰り返し実行されてよい。
ブロック５２６で、精緻化された修復パターンセットが格納され、ディスプレイスクリーン２１２に出力されてよい。一実施形態では、精緻化された修復パターンセットは、メモリ２０６又は永久データ記憶装置１０８に格納されてよい。幾つかの実施形態では、プロセッサ２０４は、データベース１０４に精緻化された修復パターンセットをコミットしてよい。幾つかの実施形態では、精緻化された修復パターンセットは、ディスプレイスクリーン２１２を通じてユーザ１１８に表示されてよい。幾つかの実施形態では、ブロック５０２～ブロック５２６で実行される修復パターンセット１１０の精緻化は、同じ違反種類の又は異なる違反種類の第２違反セット１１６に対して実行されてよい。
フローチャート５００は、５０２、５０４、５０６、５０８、５１０、５１２、５１４、５１６、５１８、５２０、５２２、５２４、及び５２６のような個別の動作として図示された。しかしながら、特定の実施形態では、開示の実施形態の本質を損なうことなく、特定の実装に依存して、このような個別の動作は、追加動作に更に分けられ、より少数の動作に結合され、又は削除されてよい。
図６Ａ及び６Ｂは、本開示に記載される少なくとも１つの実施形態に従い構成される、人間のフィードバックに基づく、修復パターンの精緻化のための例示的な方法のフローチャートを共同で示す。図６Ａ及び６Ｂは、図１、図２、図３Ａ、図３Ｂ、図４、図５Ａ及び図５Ｂの要素と関連して説明される。図６Ａ及び６Ｂを参照すると、フローチャート６００が示される。フローチャート６００に示される方法は、６０２で開始してよく、任意の適切なシステム、機器、又は装置により、例えば図１又は図２の例示的な電子装置１０２により、実行されてよい。別個のブロックにより示したが、フローチャート６００のブロックのうちの１つ以上に関連するステップ及び動作は、特定の実装に依存して、追加ブロックに分けられ、少ないブロックに結合され、又は削除されてよい。
ブロック６０２で、（ブロック５０２でも実行されたように）修復パターンセット１１０及び第２違反セット１１６は、データベース１０４から読み出されてよい。ブロック６０４で、ブロック５０４で実行されたように、修復パターンセットの数又はサイズが「１」に等しいか否かが決定されてよい。
ブロック６０６で、第２修復例セットはＮＵＬＬ値を指定されてよい。プロセッサ２０４は、ＮＵＬＬ値を第２修復例（例えば、「Ｅ」として参照される）に割り当てるよう構成されてよい。ＮＵＬＬ値は、第２修復例セットが任意の修復例を含まない可能性があることを表し得る。幾つかの実施形態では、プロセッサ２０４は、修復例セットの第１の数又は第１のサイズを「０」に初期化するよう構成されてよい。
ブロック６０８で、（ブロック５０６でも実行されたように）未確定違反（例えば第１未確定違反について）は、第２違反セット１１６から選択されてよい。ブロック６１０で、（ブロック５０８でも実行されたように）修復パターン（例えば、第１修復パターン）は、修復パターンセット１１０から選択されてよい。
ブロック６１２で、第３修復例セットはＮＵＬＬ値を指定されてよい。プロセッサ２０４は、ＮＵＬＬ値を第３修復例（例えば、「Ｅ」として参照される）に割り当てるよう構成されてよい。ＮＵＬＬ値は、第３修復例セットが任意の修復例を含まない可能性があることを表し得る。幾つかの実施形態では、プロセッサ２０４は、第２修復例セットの第２の数又は第２のサイズを「０」に初期化するよう構成されてよい。
ブロック６１４で、（ブロック５１０でも実行されたように）選択された修復パターンは、選択された未確定違反に適用されてよい。ブロック６１６で、（ブロック５１２でも実行されたように）修復結果が、選択された未確定違反に対する選択された修復パターンの適用に基づき生成されてよい。
ブロック６１８で、生成された修復結果が、選択された未確定違反の修復に対応するか否かが決定されてよい。一実施形態では、プロセッサ２０４は、生成された修復結果が選択された未確定違反の修復に対応するか否かを決定するよう構成されてよい。別の実施形態では、でんしそう｝に関連付けられた静的コード分析ツールは、生成された修復結果が修復に対応するか否かを検出してよい。生成された修復結果が選択れた未確定違反の修復に対応する場合、制御は６２０に進む。その他の場合、制御は６２４に進む。
ブロック６２０で、選択された未確定違反に関連付けられた修復例が生成されてよい。幾つかの実施形態では、プロセッサ２０４は、適用した修復パターンが選択された未確定違反の修復をもたらしたことに基づき、選択された未確定違反に対して実行された１つ以上の修復動作又は編集ノードを表し得る修復例を生成するよう構成されてよい。
ブロック６２２で、生成された修復例は、第３修復例セット（Ｅ’と呼ばれる）に追加されてよい。幾つかの実施形態では、プロセッサ２０４は、生成された修復例を第３修復例セットに追加するよう構成されてよい。プロセッサ２０４は、第３修復例セットの第２の数又はサイズを「１」だけ増大するよう更に構成されてよい。
ブロック６２４で、（ブロック５１８でも実行されたように）修復パターンセット１１０の全部が選択された未確定違反に適用されるか否かが決定されてよい。修復パターンセット１１０の全部が選択された未確定違反に適用されない場合、制御はブロック６２６に進む。その他の場合、制御はブロック６２８に進む。
ブロック６２６で、（ブロック５２０でも実行されたように）修復パターンセット１１０のうちの次の修復パターンが選択されてよい。制御は６１４に進み、その結果、修復パターンセット１１０の各々は、選択された未確定違反に適用され、ブロック６２０で選択された未確定違反について修復として修復結果を生成された第３修復例セットを生成してよい。
ブロック６２８で、（ブロック５２２でも実行されたように）第２違反セット１１６の全部が修復パターンセット１１０により処理されるか否かが決定されてよい。第２違反セットの全部が処理されない場合、制御はブロック６３０に進む。その他の場合、制御はブロック６３６に進む。
ブロック６３０で、（ブロック５２４でも実行されたように）次の未確定違反が、第２違反セット１１６から選択されてよい。６３２で、第２の数の（又は第２のサイズの）第３修復例セット（Ｅ’と呼ばれる）が、第２修復例セット（Ｅと呼ばれる）の第１の数（又は第１のサイズ）より大きいか否かが決定されてよい。第２の数が第１の数より少ない場合、制御はブロック６１０に進む。その他の場合、制御は６３４に進む。
ブロック６３４で、第２修復例セットは第３修復例セットを割り当てられてよい。幾つかの実施形態では、プロセッサ２０４は、第３修復例セットの中の生成された修復例（Ｅ’と呼ばれる）を、第２修復例セット（Ｅと呼ばれる）に割り当ててよい。この割り当ては、１つの未確定違反への修復パターンセット１１０の適用が、他の未確定違反に対する適用のときより多くの数の修復例を生成するとき、より多くの数の修復例が考慮されるべきである。これは、どの未確定違反において、最大数の修復パターンセット１１０が修復に成功したかを識別することを示してもよい。制御は６１０に進む。
ブロック６３６で、ユーザ入力は、生成された第２修復例セットから１つ以上の修復例を選択するために受信されてよい。幾つかの実施形態では、プロセッサ２０４は、（ブロック４１２でも実行されたように）１つ以上の修復例を選択するために、ユーザ入力をユーザ１１８から、Ｉ／Ｏ装置２１０又はディスプレイスクリーン２１２を通じて受信するよう構成されてよい。人間のフィードバックとしてユーザ１１８により選択された１つ以上の修復例は、人間のフィードバック又はユーザ１１８から受信された選択に基づき修復パターンセット１１０を精緻化するために及び修復パターンセット１１０の精度を向上するために更に使用されてよい。
ブロック６３８で、選択された１つ以上の修復例が、修復パターンとして、修復パターンセット１１０を更に精緻化するために、修復パターンセット１１０に追加されてよい。幾つかの実施形態では、人間のフィードバックに基づく精緻化として、プロセッサ２０４は、選択された１つ以上の修復例を、修復パターンとして、修復パターンセット１１０に追加するよう構成されてよい。
ブロック６４０で、（ブロック５２６でも実行されたように）精緻化された修復パターンセットが格納され、ディスプレイスクリーン２１２に出力されてよい。制御は終了する。
フローチャート６００は、６０２、６０４、６０６、６０８、６１０、６１２、６１４、６１６、６１８、６２０、６２２、６２４、６２６、６２８、６３０、６３２、６３４、６３６、６３８、及び６４０のような個別の動作として図示された。しかしながら、特定の実施形態では、開示の実施形態の本質を損なうことなく、特定の実装に依存して、このような個別の動作は、追加動作に更に分けられ、より少数の動作に結合され、又は削除されてよい。
本開示の種々の実施形態は、実行されることに応答してシステム（例えば、例示的な電子装置１０２）に動作を実行させる命令を格納するよう構成される１つ以上の非一時的コンピュータ可読記憶媒体を提供してよい。動作は、修復パターンセットを読み出すステップであって、修復パターンセットの各々は、ソフトウェアプログラムの第１違反セットに関連付けられた第１修復例セットに基づき学習される、ステップを含んでよい。動作は、ソフトウェアプログラムの第２違反セットを読み出すステップであって、第２違反セットの各々は未確定違反である、ステップを更に含んでよい。動作は、ソフトウェアプログラムの読み出した第２違反セットから第１ソフトウェアプログラムの未確定違反を選択するステップと、修復パターンセットから修復パターンを選択するステップと、を更に含んでよい。動作は、修正パターンセットの精緻化のために、第１動作セットを実行するステップを更に含んでよい。第１動作セットは、選択された未確定違反に選択された修正パターンを適用して修復結果を生成するステップを含んでよい。第１動作セットは、生成された修復結果が違反に対応するか否かを決定するステップと、生成された修正結果が違反に対応するという決定に基づき、適用した修復パターンを修復パターンセットから削除するステップと、を更に含んでよい。第１動作セットは、修復パターンセットの中の次の修復パターンを選択された修復パターンとして再選択するステップを更に含んでよい。動作は、選択された修復パターンに基づき、修復パターンセットについて、第１動作セットを繰り返し実行することにより、精緻化された修復パターンセットを取得するステップを更に含んでよい。
本開示で使用されるとき、用語「モジュール」又は「コンポーネント」は、モジュール又はコンポーネントの動作を実行するよう構成される特定ハードウェア実装、及び／又は、コンピューティングシステムの汎用ハードウェア（例えば、コンピュータ可読媒体、処理装置、等）により格納され及び／又は実行され得るソフトウェアオブジェクト又はソフトウェアルーチンを表してよい。幾つかの実施形態では、本開示に記載されたものと異なるコンポーネント、モジュール、エンジン、及びサービスが、コンピューティングシステム上で実行するオブジェクト又はプロセス（例えば、別個のスレッド）として実装されてよい。本開示に記載されたシステム及び方法のうちの一部は、概して（汎用ハードウェアに格納される及び／又はそれにより実行される）ソフトウェアで実装されるとして記載されたが、専用ハードウェア実装又はソフトウェア及び専用ハードウェア実装の組み合わせも、可能であり想定される。この記載において、「コンピューティングエンティティ」は、本開示において前述した任意のコンピューティングシステム、又はコンピューティングシステム上で実行する任意のモジュール若しくはモジュールの組み合わせであってよい。
本開示で及び特に添付の特許請求の範囲（例えば、添付の請求項本体）で使用される用語は、通常、「広義」の用語として意図される（例えば、用語「含む」は「含むが、これに限定されない」と解釈されるべきであり、用語「有する」は「有するが、これに限定されない」と解釈されるべきである、等）。
さらに、特定数の導入された請求項の列挙が意図される場合、このような意図は、請求項中に明示的に示され、このような列挙のない場合、このような意図は存在しない。例えば、理解の支援として、以下の添付の請求項は、請求項の列挙を導入するために、導入フレーズ「少なくとも１つ」及び「１つ以上」の使用を含み得る。しかしながら、このようなフレーズの使用は、同じ請求項が導入フレーズ「１つ以上」又は「少なくとも１つ」及び不定冠詞「ａ」又は「ａｎ」を含むときでも（例えば、「ａ」及び／又は「ａｎ」は「少なくとも１つ」又は「１つ以上」を意味すると解釈されるべきである）、不定冠詞「ａ」又は「ａｎ」による請求項の列挙の導入が、このような導入された請求項の列挙を含む任意の特定の請求項を、１つのこのような列挙のみを含む実施形態に限定することを意味すると考えられるべきではない。つまり、同じことが、請求項の列挙を導入するために使用される定冠詞の使用にも当てはまる。
さらに、特定数の導入された請求項の列挙が明示的に記載される場合、当業者は、このような列挙が、少なくとも列挙された数を意味すると解釈されるべきであることを理解する（例えば、他の修飾のない「２つの列挙」の記載は、少なくとも２つの列挙、又は２以上の列挙を意味する）。さらに、「Ａ、Ｂ、及びＣ等のうちの少なくとも１つ」又は「Ａ、Ｂ、及びＣ等のうちの１つ以上」と同様の記載が使用される例では、通常、このような構成は、Ａ単独で、Ｂ単独で、Ｃ単独で、Ａ及びＢを一緒に、Ａ及びＣを一緒に、Ｂ及びＣを一緒に、又はＡ、Ｂ、及びＣを一緒に、等を含むことを意図する。
さらに、２以上の選択的な用語を表す任意の離接的な語又はフレーズは、説明、請求項、又は図面にあるかにかかわらず、用語のうちの１つ、用語のうちのいずれか、又は両方の用語を含む可能性を想定すると理解されるべきである。例えば、フレーズ「Ａ又はＢ」は、「Ａ」又は「Ｂ」又は「Ａ及びＢ」の可能性を含むと理解されるべきである。
本開示に記載された全ての例及び条件付き言語は、読者が本開示及び本開示が技術を更に発展させることに貢献する概念を理解するのを支援する教示目的を意図しており、そのような具体的に列挙された例及び条件に限定されないと解釈されるべきである。本開示の実施形態は詳細に記載されたが、本開示の精神及び範囲から逸脱することなく、これらに種々の変更、代替、及び選択が行われ得る。
以上の実施形態に加えて、更に以下の付記を開示する。
（付記１） 修復パターンセットを読み出すステップであって、前記修復パターンセットの各々は、ソフトウェアプログラムの第１違反セットに関連付けられた第１修復例セットに基づき学習される、ステップと、
前記ソフトウェアプログラムの第２違反セットを読み出すステップであって、前記第２違反セットの各々は未確定違反である、ステップと、
前記ソフトウェアプログラムの前記読み出した第２違反セットから、第１ソフトウェアプログラムの未確定違反を選択するステップと、
前記修復パターンセットから修復パターンを選択するステップと、
前記修復パターンセットの精緻化のために第１動作セットを実行するステップであって、前記第１動作セットは、
前記選択された未確定違反に前記選択された修復パターンを適用して、修復結果を生成するステップと、
前記生成された修復結果が違反に対応するか否かを決定するステップと、
前記生成された修復結果が前記違反に対応するという結果に基づき、前記修復パターンセットから前記適用した修復パターンを削除するステップと、
前記修復パターンセットの中の次の修復パターンを前記選択された修復パターンとして再選択するステップと、を含む、ステップと、
前記選択された修復パターンに基づき、前記修復パターンセットについて前記第１動作セットを繰り返し実行することにより、精緻化された修復パターンセットを取得するステップと、
を含む方法。
（付記２） 前記第２違反セットは同じ違反タイプである、付記１に記載の方法。
（付記３） 前記修復パターンセットの各々は、修復例としての、前記ソフトウェアプログラムの中の前記第１違反セット又は前記第２違反セットの対応する違反を修復する１つ以上の編集動作に対応する、付記１に記載の方法。
（付記４） 前記ソフトウェアプログラムの前記読み出した第２違反セットの各々について、前記修復パターンセットに対して前記第１動作セットを繰り返し実行するステップと、
前記読み出した第２違反セットの各々について前記第１動作セットを繰り返し実行する前記ステップに基づき、前記精緻化された修復パターンセットを取得するステップと、
を更に含む付記１に記載の方法。
（付記５） 前記修復パターンセットについて前記第１動作セットを繰り返し実行することにより、第２修復例セットを生成するステップ、を更に含み、
前記第１動作セットは、
前記適用した修復パターンに基づき、前記生成された修復結果が前記選択された未確定違反の修復に対応するか否かを決定するステップと、
前記生成された修復結果が前記選択された未確定違反の前記修復に対応するという決定に基づき、前記選択された未確定違反に関連付けられた修復例を生成するステップと、
前記生成された修復例を前記第２修復例セットに追加するステップと、
を更に含む、付記１に記載の方法。
（付記６） 前記生成された第２修復例セットから少なくとも１つの修復例を選択するためのユーザ入力を受信するステップと、
前記選択された少なくとも１つの修復例を修復パターンとして前記修復パターンセットに追加することにより、前記精緻化された修復パターンセットを取得するステップと、
を更に含む付記５に記載の方法。
（付記７） 前記ソフトウェアプログラムの前記読み出した第２違反セットの各々について、前記第１動作セットを繰り返し実行することにより、前記第２修復例セットを生成するステップと、
前記ソフトウェアプログラムの前記読み出した第２違反セットの各々について、前記生成された第２修復例セットから少なくとも１つの修復例を選択するためのユーザ入力を受信するステップと、
前記選択された少なくとも１つの修復例を修復パターンとして前記ソフトウェアプログラムの前記読み出した第２違反セットに追加することにより、前記精緻化された修復パターンセットを取得するステップと、
を更に含む付記５に記載の方法。
（付記８） データベースから、第２ソフトウェアプログラムの新たに発見した違反を受信するステップと、
前記受信した新たに発見した違反に前記精緻化された修復パターンセットのうちの１つを適用するステップと、
前記受信した新たに発見した違反への前記精緻化された修復パターンセットのうちの１つの適用に基づき、修復済み第２ソフトウェアプログラムを生成するステップと、
を更に含む付記１に記載の方法。
（付記９） 前記ソフトウェアプログラムの前記第２違反セットはデータベースから読み出される、付記１に記載の方法。
（付記１０） 命令を格納するよう構成された１つ以上の非一時的コンピュータか独記憶媒体であって、前記命令は、実行されることに応答して、システムに動作を実行させ、前記動作は、
修復パターンセットを読み出すステップであって、前記修復パターンセットの各々は、ソフトウェアプログラムの第１違反セットに関連付けられた第１修復例セットに基づき学習される、ステップと、
前記ソフトウェアプログラムの第２違反セットを読み出すステップであって、前記第２違反セットの各々は未確定違反である、ステップと、
前記ソフトウェアプログラムの前記読み出した第２違反セットから、第１ソフトウェアプログラムの未確定違反を選択するステップと、
前記修復パターンセットから修復パターンを選択するステップと、
前記修復パターンセットの精緻化のために第１動作セットを実行するステップであって、前記第１動作セットは、
前記選択された未確定違反に前記選択された修復パターンを適用して、修復結果を生成するステップと、
前記生成された修復結果が違反に対応するか否かを決定するステップと、
前記生成された修復結果が前記違反に対応するという結果に基づき、前記修復パターンセットから前記適用した修復パターンを削除するステップと、
前記修復パターンセットの中の次の修復パターンを前記選択された修復パターンとして再選択するステップと、を含む、ステップと、
前記選択された修復パターンに基づき、前記修復パターンセットについて前記第１動作セットを繰り返し実行することにより、精緻化された修復パターンセットを取得するステップと、
を含む、１つ以上のコンピュータ可読記憶媒体。
（付記１１） 前記第２違反セットは同じ違反タイプである、付記１０に記載の１つ以上のコンピュータ可読記憶媒体。
（付記１２） 前記修復パターンセットの各々は、修復例としての、前記ソフトウェアプログラムの中の前記第１違反セット又は前記第２違反セットの対応する違反を修復する１つ以上の編集動作に対応する、付記１０に記載の１つ以上のコンピュータ可読記憶媒体。
（付記１３） 前記動作は、
前記ソフトウェアプログラムの前記読み出した第２違反セットの各々について、前記修復パターンセットに対して前記第１動作セットを繰り返し実行するステップと、
前記読み出した第２違反セットの各々について前記第１動作セットを繰り返し実行する前記ステップに基づき、前記精緻化された修復パターンセットを取得するステップと、
を更に含む、付記１０に記載の１つ以上のコンピュータ可読記憶媒体。
（付記１４） 前記動作は、
前記修復パターンセットについて前記第１動作セットを繰り返し実行することにより、第２修復例セットを生成するステップ、を更に含み、
前記第１動作セットは、
前記適用した修復パターンに基づき、前記生成された修復結果が前記選択された未確定違反の修復に対応するか否かを決定するステップと、
前記生成された修復結果が前記選択された未確定違反の前記修復に対応するという決定に基づき、前記選択された未確定違反に関連付けられた修復例を生成するステップと、
前記生成された修復例を前記第２修復例セットに追加するステップと、
を更に含む、付記１０に記載の１つ以上のコンピュータ可読記憶媒体。
（付記１５） 前記動作は、
前記生成された第２修復例セットから少なくとも１つの修復例を選択するためのユーザ入力を受信するステップと、
前記選択された少なくとも１つの修復例を修復パターンとして前記修復パターンセットに追加することにより、前記精緻化された修復パターンセットを取得するステップと、
を更に含む、付記１４に記載の１つ以上のコンピュータ可読記憶媒体。
（付記１６） 前記動作は、前記ソフトウェアプログラムの前記読み出した第２違反セットの各々について、前記第１動作セットを繰り返し実行することにより、前記第２修復例セットを生成するステップと、
前記ソフトウェアプログラムの前記読み出した第２違反セットの各々について、前記生成された第２修復例セットから少なくとも１つの修復例を選択するためのユーザ入力を受信するステップと、
前記選択された少なくとも１つの修復例を修復パターンとして前記ソフトウェアプログラムの前記読み出した第２違反セットに追加することにより、前記精緻化された修復パターンセットを取得するステップと、
を更に含む、付記１４に記載の１つ以上のコンピュータ可読記憶媒体。
（付記１７） 前記動作は、
データベースから、第２ソフトウェアプログラムの新たに発見した違反を受信するステップと、
前記受信した新たに発見した違反に前記精緻化された修復パターンセットのうちの１つを適用するステップと、
前記受信した新たに発見した違反への前記精緻化された修復パターンセットのうちの１つの適用に基づき、修復済み第２ソフトウェアプログラムを生成するステップと、
を更に含む、付記１０に記載の１つ以上のコンピュータ可読記憶媒体。
（付記１８） 前記ソフトウェアプログラムの前記第２違反セットはデータベースから読み出される、付記１０に記載の１つ以上のコンピュータ可読記憶媒体。
（付記１９） 電子装置であって、プロセッサを含み、前記プロセッサは、
修復パターンセットを読み出し、前記修復パターンセットの各々は、ソフトウェアプログラムの第１違反セットに関連付けられた第１修復例セットに基づき学習され、
前記ソフトウェアプログラムの第２違反セットを読み出し、前記第２違反セットの各々は未確定違反であり、
前記ソフトウェアプログラムの前記読み出した第２違反セットから、第１ソフトウェアプログラムの未確定違反を選択し、
前記修復パターンセットから修復パターンを選択し、
前記修復パターンセットの精緻化のために第１動作セットを実行し、前記第１動作セットは、
前記選択された未確定違反に前記選択された修復パターンを適用して、修復結果を生成するステップと、
前記生成された修復結果が違反に対応するか否かを決定するステップと、
前記生成された修復結果が前記違反に対応するという結果に基づき、前記修復パターンセットから前記適用した修復パターンを削除するステップと、
前記修復パターンセットの中の次の修復パターンを前記選択された修復パターンとして再選択するステップと、を含み、
前記選択された修復パターンに基づき、前記修復パターンセットについて前記第１動作セットを繰り返し実行することにより、精緻化された修復パターンセットを取得する、
よう構成される、電子装置。
（付記２０） 前記ソフトウェアプログラムの前記第２違反セットはデータベースから読み出される、付記１９に記載の電子装置。
１００ 環境
１０２ 電子装置
１０４ データベース
１０６ ユーザエンド装置
１０８ 通信ネットワーク
１１０ 修復パターンセット
１１２ 第１違反セット
１１４ 第１修復例セット
１１６ 第２違反セット
１１８ ユーザ

Claims (20)

  1. 修復パターンセットを読み出すステップであって、前記修復パターンセットの各々は、ソフトウェアプログラムの第１違反セットに関連付けられた第１修復例セットに基づき学習される、ステップと、
    前記ソフトウェアプログラムの第２違反セットを読み出すステップであって、前記第２違反セットの各々は未確定違反である、ステップと、
    前記ソフトウェアプログラムの前記読み出した第２違反セットから、第１ソフトウェアプログラムの未確定違反を選択するステップと、
    前記修復パターンセットから修復パターンを選択するステップと、
    前記修復パターンセットの精緻化のために第１動作セットを実行するステップであって、前記第１動作セットは、
    前記選択された未確定違反に前記選択された修復パターンを適用して、修復結果を生成するステップと、
    前記生成された修復結果が違反に対応するか否かを決定するステップと、
    前記生成された修復結果が前記違反に対応するという結果に基づき、前記修復パターンセットから前記適用した修復パターンを削除するステップと、
    前記修復パターンセットの中の次の修復パターンを前記選択された修復パターンとして再選択するステップと、を含む、ステップと、
    前記選択された修復パターンに基づき、前記修復パターンセットについて前記第１動作セットを繰り返し実行することにより、精緻化された修復パターンセットを取得するステップと、
    を含む方法。
  2. 前記第２違反セットは同じ違反タイプである、請求項１に記載の方法。
  3. 前記修復パターンセットの各々は、修復例としての、前記ソフトウェアプログラムの中の前記第１違反セット又は前記第２違反セットの対応する違反を修復する１つ以上の編集動作に対応する、請求項１に記載の方法。
  4. 前記ソフトウェアプログラムの前記読み出した第２違反セットの各々について、前記修復パターンセットに対して前記第１動作セットを繰り返し実行するステップと、
    前記読み出した第２違反セットの各々について前記第１動作セットを繰り返し実行する前記ステップに基づき、前記精緻化された修復パターンセットを取得するステップと、
    を更に含む請求項１に記載の方法。
  5. 前記修復パターンセットについて前記第１動作セットを繰り返し実行することにより、第２修復例セットを生成するステップ、を更に含み、
    前記第１動作セットは、
    前記適用した修復パターンに基づき、前記生成された修復結果が前記選択された未確定違反の修復に対応するか否かを決定するステップと、
    前記生成された修復結果が前記選択された未確定違反の前記修復に対応するという決定に基づき、前記選択された未確定違反に関連付けられた修復例を生成するステップと、
    前記生成された修復例を前記第２修復例セットに追加するステップと、
    を更に含む、請求項１に記載の方法。
  6. 前記生成された第２修復例セットから少なくとも１つの修復例を選択するためのユーザ入力を受信するステップと、
    前記選択された少なくとも１つの修復例を修復パターンとして前記修復パターンセットに追加することにより、前記精緻化された修復パターンセットを取得するステップと、
    を更に含む請求項５に記載の方法。
  7. 前記ソフトウェアプログラムの前記読み出した第２違反セットの各々について、前記第１動作セットを繰り返し実行することにより、前記第２修復例セットを生成するステップと、
    前記ソフトウェアプログラムの前記読み出した第２違反セットの各々について、前記生成された第２修復例セットから少なくとも１つの修復例を選択するためのユーザ入力を受信するステップと、
    前記選択された少なくとも１つの修復例を修復パターンとして前記ソフトウェアプログラムの前記読み出した第２違反セットに追加することにより、前記精緻化された修復パターンセットを取得するステップと、
    を更に含む請求項５に記載の方法。
  8. データベースから、第２ソフトウェアプログラムの新たに発見した違反を受信するステップと、
    前記受信した新たに発見した違反に前記精緻化された修復パターンセットのうちの１つを適用するステップと、
    前記受信した新たに発見した違反への前記精緻化された修復パターンセットのうちの１つの適用に基づき、修復済み第２ソフトウェアプログラムを生成するステップと、
    を更に含む請求項１に記載の方法。
  9. 前記ソフトウェアプログラムの前記第２違反セットはデータベースから読み出される、請求項１に記載の方法。
  10. 命令を格納するよう構成された１つ以上の非一時的コンピュータか独記憶媒体であって、前記命令は、実行されることに応答して、システムに動作を実行させ、前記動作は、
    修復パターンセットを読み出すステップであって、前記修復パターンセットの各々は、ソフトウェアプログラムの第１違反セットに関連付けられた第１修復例セットに基づき学習される、ステップと、
    前記ソフトウェアプログラムの第２違反セットを読み出すステップであって、前記第２違反セットの各々は未確定違反である、ステップと、
    前記ソフトウェアプログラムの前記読み出した第２違反セットから、第１ソフトウェアプログラムの未確定違反を選択するステップと、
    前記修復パターンセットから修復パターンを選択するステップと、
    前記修復パターンセットの精緻化のために第１動作セットを実行するステップであって、前記第１動作セットは、
    前記選択された未確定違反に前記選択された修復パターンを適用して、修復結果を生成するステップと、
    前記生成された修復結果が違反に対応するか否かを決定するステップと、
    前記生成された修復結果が前記違反に対応するという結果に基づき、前記修復パターンセットから前記適用した修復パターンを削除するステップと、
    前記修復パターンセットの中の次の修復パターンを前記選択された修復パターンとして再選択するステップと、を含む、ステップと、
    前記選択された修復パターンに基づき、前記修復パターンセットについて前記第１動作セットを繰り返し実行することにより、精緻化された修復パターンセットを取得するステップと、
    を含む、１つ以上のコンピュータ可読記憶媒体。
  11. 前記第２違反セットは同じ違反タイプである、請求項１０に記載の１つ以上のコンピュータ可読記憶媒体。
  12. 前記修復パターンセットの各々は、修復例としての、前記ソフトウェアプログラムの中の前記第１違反セット又は前記第２違反セットの対応する違反を修復する１つ以上の編集動作に対応する、請求項１０に記載の１つ以上のコンピュータ可読記憶媒体。
  13. 前記動作は、
    前記ソフトウェアプログラムの前記読み出した第２違反セットの各々について、前記修復パターンセットに対して前記第１動作セットを繰り返し実行するステップと、
    前記読み出した第２違反セットの各々について前記第１動作セットを繰り返し実行する前記ステップに基づき、前記精緻化された修復パターンセットを取得するステップと、
    を更に含む、請求項１０に記載の１つ以上のコンピュータ可読記憶媒体。
  14. 前記動作は、
    前記修復パターンセットについて前記第１動作セットを繰り返し実行することにより、第２修復例セットを生成するステップ、を更に含み、
    前記第１動作セットは、
    前記適用した修復パターンに基づき、前記生成された修復結果が前記選択された未確定違反の修復に対応するか否かを決定するステップと、
    前記生成された修復結果が前記選択された未確定違反の前記修復に対応するという決定に基づき、前記選択された未確定違反に関連付けられた修復例を生成するステップと、
    前記生成された修復例を前記第２修復例セットに追加するステップと、
    を更に含む、請求項１０に記載の１つ以上のコンピュータ可読記憶媒体。
  15. 前記動作は、
    前記生成された第２修復例セットから少なくとも１つの修復例を選択するためのユーザ入力を受信するステップと、
    前記選択された少なくとも１つの修復例を修復パターンとして前記修復パターンセットに追加することにより、前記精緻化された修復パターンセットを取得するステップと、
    を更に含む、請求項１４に記載の１つ以上のコンピュータ可読記憶媒体。
  16. 前記動作は、前記ソフトウェアプログラムの前記読み出した第２違反セットの各々について、前記第１動作セットを繰り返し実行することにより、前記第２修復例セットを生成するステップと、
    前記ソフトウェアプログラムの前記読み出した第２違反セットの各々について、前記生成された第２修復例セットから少なくとも１つの修復例を選択するためのユーザ入力を受信するステップと、
    前記選択された少なくとも１つの修復例を修復パターンとして前記ソフトウェアプログラムの前記読み出した第２違反セットに追加することにより、前記精緻化された修復パターンセットを取得するステップと、
    を更に含む、請求項１４に記載の１つ以上のコンピュータ可読記憶媒体。
  17. 前記動作は、
    データベースから、第２ソフトウェアプログラムの新たに発見した違反を受信するステップと、
    前記受信した新たに発見した違反に前記精緻化された修復パターンセットのうちの１つを適用するステップと、
    前記受信した新たに発見した違反への前記精緻化された修復パターンセットのうちの１つの適用に基づき、修復済み第２ソフトウェアプログラムを生成するステップと、
    を更に含む、請求項１０に記載の１つ以上のコンピュータ可読記憶媒体。
  18. 前記ソフトウェアプログラムの前記第２違反セットはデータベースから読み出される、請求項１０に記載の１つ以上のコンピュータ可読記憶媒体。
  19. 電子装置であって、プロセッサを含み、前記プロセッサは、
    修復パターンセットを読み出し、前記修復パターンセットの各々は、ソフトウェアプログラムの第１違反セットに関連付けられた第１修復例セットに基づき学習され、
    前記ソフトウェアプログラムの第２違反セットを読み出し、前記第２違反セットの各々は未確定違反であり、
    前記ソフトウェアプログラムの前記読み出した第２違反セットから、第１ソフトウェアプログラムの未確定違反を選択し、
    前記修復パターンセットから修復パターンを選択し、
    前記修復パターンセットの精緻化のために第１動作セットを実行し、前記第１動作セットは、
    前記選択された未確定違反に前記選択された修復パターンを適用して、修復結果を生成するステップと、
    前記生成された修復結果が違反に対応するか否かを決定するステップと、
    前記生成された修復結果が前記違反に対応するという結果に基づき、前記修復パターンセットから前記適用した修復パターンを削除するステップと、
    前記修復パターンセットの中の次の修復パターンを前記選択された修復パターンとして再選択するステップと、を含み、
    前記選択された修復パターンに基づき、前記修復パターンセットについて前記第１動作セットを繰り返し実行することにより、精緻化された修復パターンセットを取得する、
    よう構成される、電子装置。
  20. 前記ソフトウェアプログラムの前記第２違反セットはデータベースから読み出される、請求項１９に記載の電子装置。

JP2020058005A 2019-06-20 2020-03-27 ソフトウェアプログラムにおける静的分析違反の修復パターンの精緻化 Active JP7409197B2 (ja)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US16/447,535 US10782941B1 (en) 2019-06-20 2019-06-20 Refinement of repair patterns for static analysis violations in software programs
US16/447535 2019-06-20

Publications (2)

Publication Number Publication Date
JP2021002326A JP2021002326A (ja) 2021-01-07
JP7409197B2 true JP7409197B2 (ja) 2024-01-09

Family

ID=72516936

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2020058005A Active JP7409197B2 (ja) 2019-06-20 2020-03-27 ソフトウェアプログラムにおける静的分析違反の修復パターンの精緻化

Country Status (2)

Country Link
US (1) US10782941B1 (ja)
JP (1) JP7409197B2 (ja)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US11243746B2 (en) 2019-07-01 2022-02-08 X Development Llc Learning and using programming styles
CN114328168A (zh) * 2020-10-09 2022-04-12 腾讯科技（深圳）有限公司 异常检测方法、装置、计算机设备和存储介质
CN112800704B (zh) * 2021-04-06 2021-06-25 深圳英集芯科技股份有限公司 基于功能buffer的芯片后端改版方法、装置及计算机设备

Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2006236042A (ja) 2005-02-25 2006-09-07 Matsushita Electric Ind Co Ltd ソースプログラム解析装置およびその方法
JP2008250914A (ja) 2007-03-30 2008-10-16 Canon Software Inc プログラム修正装置及び方法、並びにプログラム
JP2017151977A (ja) 2016-02-23 2017-08-31 富士通株式会社 ソフトウエアプログラムの修復のための方法及びプログラム
JP2017519300A5 (ja) 2015-06-10 2018-06-28
JP2018133081A (ja) 2017-02-17 2018-08-23 富士通株式会社 ソフトウェアプログラム修復のためのメソッド呼び出し合成
JP2019029015A (ja) 2017-08-03 2019-02-21 富士通株式会社 インタラクティブなソフトウェアプログラムの修復

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8468497B2 (en) * 2007-11-27 2013-06-18 International Business Machines Corporation Automated defect classification
US8527955B2 (en) * 2009-09-11 2013-09-03 International Business Machines Corporation System and method to classify automated code inspection services defect output for defect analysis
US8924935B1 (en) * 2012-09-14 2014-12-30 Emc Corporation Predictive model of automated fix handling
WO2015191737A1 (en) 2014-06-13 2015-12-17 The Charles Stark Draper Laboratory, Inc. Systems and methods for software analysis
US9513948B2 (en) * 2015-02-05 2016-12-06 International Business Machines Corporation Automated virtual machine provisioning based on defect state
US20170212829A1 (en) * 2016-01-21 2017-07-27 American Software Safety Reliability Company Deep Learning Source Code Analyzer and Repairer
US10521224B2 (en) * 2018-02-28 2019-12-31 Fujitsu Limited Automatic identification of relevant software projects for cross project learning

Patent Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2006236042A (ja) 2005-02-25 2006-09-07 Matsushita Electric Ind Co Ltd ソースプログラム解析装置およびその方法
JP2008250914A (ja) 2007-03-30 2008-10-16 Canon Software Inc プログラム修正装置及び方法、並びにプログラム
JP2017519300A5 (ja) 2015-06-10 2018-06-28
JP2017151977A (ja) 2016-02-23 2017-08-31 富士通株式会社 ソフトウエアプログラムの修復のための方法及びプログラム
JP2018133081A (ja) 2017-02-17 2018-08-23 富士通株式会社 ソフトウェアプログラム修復のためのメソッド呼び出し合成
JP2019029015A (ja) 2017-08-03 2019-02-21 富士通株式会社 インタラクティブなソフトウェアプログラムの修復

Also Published As

Publication number Publication date
US10782941B1 (en) 2020-09-22
JP2021002326A (ja) 2021-01-07

Similar Documents

Publication Publication Date Title
CN110018955B (zh) 通过转换手动测试用例来生成自动化测试脚本
JP7409197B2 (ja) ソフトウェアプログラムにおける静的分析違反の修復パターンの精緻化
JP6686529B2 (ja) 脆弱性分析のための自律型推論システム
US9158538B2 (en) User-extensible rule-based source code modification
US8387017B2 (en) Black box testing optimization using information from white box testing
US10248537B2 (en) Translation bug prediction classifier
US20210216288A1 (en) Api-based software development platform
US20130125098A1 (en) Transformation of Computer Programs
US9645800B2 (en) System and method for facilitating static analysis of software applications
US9329979B2 (en) Derivation of generalized test cases
JP2018505506A (ja) 機械ベースの命令編集
WO2020076726A1 (en) Zero coding automation with natural language processing, such as for use in testing telecommunications software and resources
US20180129490A1 (en) Object ordering preservation during lto link stage
US11349908B2 (en) Generating templates for deployment of system services
WO2021086704A1 (en) Rules generation using learned repetitive code edits
JP2023152843A (ja) コード説明可能性のためのコードの強化
US20210303272A1 (en) Learning string edit actions from repair examples of software programs
US11861332B2 (en) String localization for universal use
US20220318005A1 (en) Generation of software program repair explanations
CN111796832B (zh) 热补丁文件生成方法、装置、设备及存储介质
EP3872663B1 (en) Method and device for symbolic analysis of a software program
KR102117165B1 (ko) 바이너리 분석을 위한 중간 언어 테스트 방법 및 장치
CN114077447A (zh) 静态分析违规的修复策略的自动改善和半自动改善
US20230075295A1 (en) Automatic denoising of machine learning projects
US10997056B1 (en) Generation of explanatory and executable repair examples

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20221208

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20231121

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20231122

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20231204

R150 Certificate of patent or registration of utility model

Ref document number: 7409197

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150