JP2021034007A - ソフトウェアパッチの自動検索及び識別 - Google Patents

ソフトウェアパッチの自動検索及び識別 Download PDF

Info

Publication number
JP2021034007A
JP2021034007A JP2020047853A JP2020047853A JP2021034007A JP 2021034007 A JP2021034007 A JP 2021034007A JP 2020047853 A JP2020047853 A JP 2020047853A JP 2020047853 A JP2020047853 A JP 2020047853A JP 2021034007 A JP2021034007 A JP 2021034007A
Authority
JP
Japan
Prior art keywords
abstract
tree
node
post
tree representation
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.)
Withdrawn
Application number
JP2020047853A
Other languages
English (en)
Inventor
マハジャン・ソナル
Sonal Mahajan
アール プラサド・ムクル
R Prasad Mukul
アール プラサド・ムクル
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 JP2021034007A publication Critical patent/JP2021034007A/ja
Withdrawn legal-status Critical Current

Links

Images

Classifications

    • 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/362—Software debugging
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/90—Details of database functions independent of the retrieved data types
    • G06F16/95—Retrieval from the web
    • G06F16/953—Querying, e.g. by the use of web search engines
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/57—Certifying or maintaining trusted computer platforms, e.g. secure boots or power-downs, version controls, system software checks, secure updates or assessing vulnerabilities
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • G06F8/427—Parsing

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Databases & Information Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Software Systems (AREA)
  • Data Mining & Analysis (AREA)
  • Computer Security & Cryptography (AREA)
  • Quality & Reliability (AREA)
  • Stored Programmes (AREA)
  • Debugging And Monitoring (AREA)

Abstract

【課題】ソフトウェアパッチの自動検索及び識別のための方法等を提供する。【解決手段】方法２００において、デバイスはソフトウェアプログラム違反特性２１０を取得する。ポストを有するウェブサイト２２０は、プログラミング、ソースコード、ソースコード内の違反を識別し修正することなどに関連したポストを含む。デバイスは、違反特性を用いて、特性に基づいたウェブサイト検索２３０を実行して、ポストの組２４０を取得する。デバイスは、ポストの組及び違反を有するソフトウェアプログラム２５０に対して類似性解析２６０を実行する。デバイスは、ポストの類似性スコアに基づき、ポストの組の中から１つのポストを選択する。選択されたポスト２７０は、選択されたポストを用いて違反を修正することに関する修正動作２８０を実行するために使用される。修正動作は、選択されたポストを、デバイスに接続されたコンピュータ画面に示すことを含む。【選択図】図２

Description

本開示で議論される実施形態は、ソフトウェアパッチの自動検索及び識別に関係がある。
ソフトウェアプログラムは、それらの中にしばしばエラー（一般に「バグ」又は「違反」と呼ばれる。）があり、よって、ソフトウェアプログラムは、意図されたように動作しないことがある。様々な方法及びシステムが、ソフトウェアプログラム内のエラーを修正するためのパッチを識別しようとして使用され得る。
本開示で請求される対象は、上述されたような環境でしか動作しない実施形態又は上述されたようなあらゆる欠点を解消する実施形態に制限されない。むしろ、この背景は、本開示で記載されるいくつかの実施形態が実施され得る技術分野の一例を説明するためにのみ設けられている。
方法は、第１ソフトウェアプログラムにおいて第１違反を取得することを含んでよい。方法は、第１違反の１つ以上の特性を識別することを含んでよい。方法は、少なくとも１つのウェブサイトを検索して、少なくとも１つのウェブサイト上でポストの組を識別することを更に含んでよい。ポストの組の中の各ポストは、第１違反の１つ以上の特性の中の少なくとも１つを有している他のソフトウェアプログラムの１つ以上の他の違反に関する内容を各ポストが含むことに基づき識別されてよい。方法はまた、第１違反を含む第１ソフトウェアプログラムの第１部分を第１コンテキストとして取得することも含んでよい。方法は、第２コンテキストの組を取得することを更に含んでよく、第２コンテキストの組の中の各第２コンテキストは、ポストの組の中の異なるポストに対応する。各第２コンテキストは、対応する他の違反を含む他のソフトウェアプログラムの中の対応する１つの各々の部分を含んでよい。方法はまた、第１コンテキストの第１抽象構文木を取得することも含んでよく、方法は、第２抽象構文木の組を取得することを更に含んでよい。第２抽象構文木の組の中の各第２抽象構文木は、第２コンテキストの組の中の異なる第２コンテキストに対応してよい。方法はまた、第１抽象構文木を簡約及び抽象化することによって第１コンテキストの第１抽象木表現を取得するように第１抽象構文木を変更することも含んでよい。方法は、第２抽象構文木の組の中の各第２抽象構文木を簡約及び抽象化することによって第２抽象木表現の組を取得するように各第２抽象構文木を変更することを更に含んでよい。方法はまた、類似性スコアの組を決定することも含んでよい。類似性スコアの組の中の各類似性スコアは、第１抽象木表現を第２抽象木表現の組の中の対応する１つの第２抽象木表現と比較することによって決定されてよい。方法はまた、第１抽象木表現と特定の第２コンテキストに関連した第２抽象木表現の組の中の特定の第２抽象木表現との間の類似性スコアに基づきポストの組の中の特定のポストを選択することも含んでよく、特定の第２コンテキストは、特定のソフトウェアプログラムの特定の部分及び特定のポストの特定の違反に関連する。
実施形態の目的及び利点は、少なくとも、特許請求の範囲で特に指し示されている要素、特徴、及び組み合わせによって、実現及び達成される。
上記の概要及び下記の詳細な説明はいずれも、例として与えられており、請求される発明を説明するためのものであって、限定するものではない。
図面を使用して、更なる特定及び詳細をもって、例となる実施形態が記載及び説明される。
ソフトウェアパッチの自動検索及び識別に関連した環境の例を表す図である。 ソフトウェアパッチの自動検索及び識別の方法の例のフローチャートである。 ソフトウェアプログラムの類似性の比較を表す。 ソフトウェアプログラムの類似性の比較を表す。 ソフトウェアプログラムの類似性の比較を表す。 ソフトウェアプログラムの類似性の比較を表す。 ソフトウェアプログラムの類似性の比較を表す。 ソフトウェアプログラムの類似性の比較を表す。 ソフトウェアパッチの自動検索及び識別の方法の例のフローチャートである。 ソフトウェアパッチの自動検索及び識別の方法の例のフローチャートである。 粗検索の方法の例のフローチャートである。 精細検索の方法の例のフローチャートである。 類似性スコアを決定する方法の例のフローチャートである。 ソフトウェアパッチを自動で検索及び識別するよう構成され得るコンピューティングシステムの例を表す。
本開示で記載されるいくつかの実施形態は、ソフトウェアパッチの自動検索及び識別の方法及びシステムに関する。ソフトウェアプログラムは、ソフトウェアプログラムを意図しない様態で動かす可能性があるエラー（一般に「バグ」又は「違反」とも呼ばれる。）をしばしば含む。更に、様々なシステム及び技術が、ソフトウェアプログラムを直すためのソフトウェアパッチを検索及び識別するためにしばしば使用される。
ソフトウェアプログラムの開発中に、ユーザは、ソフトウェアプログラムを書くときに１つ以上の違反に遭遇することがある。違反を修正しようとして、ユーザは、プログラミングブックを閲覧したり、インターネット上でガイドを見たり、違反を解決することを支援し得る関連した議論又はポストのオンラインのディスカッションフォーラムを検索したりすることができる。しかし、違反を修正しようとするユーザの試みは、非効率的であることがある。例えば、ユーザは、違反がどのようなものであるか、及び／又はなぜ違反がユーザのコードに出現しているのかを全く把握していないことがある。故に、ユーザは、ユーザが実際に直面しているものとは異なる問題に対する解法を見つけようと努める可能性がある。更には、ユーザは、ユーザが見つけることができる違反に対する潜在的な解法がユーザの問題に関連しているかどうかを判断することができない可能性がある。すなわち、ユーザは、ユーザが見つけることができる潜在的なパッチが、ユーザが遭遇している違反に類似する違反に対する解法であるかどうかを判断することができないことがある。よって、たとえ関連がありそうな潜在的な解法をユーザが見つけることができるとしても、ユーザは、その場合に、どれが最も有益であり得るかを十分に理解しないまま、それらの潜在的な解法を読み通す可能性がある。違反のはっきりとした原因を特に明確に示すこと及び検索により得られる無数の、可能性がある解法から適切な解法を識別することがユーザにとって困難であることで、このタスクは、より難しくなり得る。
本開示の１つ以上の実施形態によれば、ソフトウェア開発の技術分野は、コンピューティングシステムがソフトウェアプログラムにおいて違反を識別し且つそのソフトウェアに類似した他のソフトウェアプログラムを識別することができるようにコンピュータシステムを構成することによって、改善され得る。いくつかの実施形態で、コンピュータシステムは、違反に対するパッチを識別した後で、修正動作を自動で実行し得る。代替的に、又は追加的に、いくつかの実施形態で、コンピュータシステムは、識別されたソフトウェアプログラムを表示してよく、ユーザは、識別されたソフトウェアプログラム及び／又は識別されたソフトウェアプログラムに関連したパッチに基づき、修正動作を実行してよい。例えば、コンピューティングシステムは、ソフトウェアプログラムにおいて違反を識別するよう構成されてよい。コンピューティングシステムは、それから、違反の特性を識別し、１つ以上のウェブサイトの検索を実行して、違反及びその特性に関係があるウェブサイト上のポストの組を生成してよい。次いで、コンピューティングシステムは、ポストの組の中の各ポストにおけるコードスニペットと違反を有しているソフトウェアプログラムとの間の類似性を決定してよく、コードスニペットがソフトウェアと最も類似しているポストを選択してよい。次いで、コンピューティングシステムは、最も類似しているポストをディスプレイで提示してよく、それにより、ユーザは、選択されたポストに基づきソフトウェアプログラムに対して修正動作を実行し得る。
いくつかの実施形態で、システムは、特定の方法でソフトウェアプログラム内の違反に対する特定のパッチを見つけることによって、ソフトウェアプログラムの開発を助け得る。システムは、ユーザが自分の力で見つけることができるよりもユーザのコードにとって適切であり且つ関連している特定のパッチを見つけ得る。更には、システムは、ユーザよりも速くパッチを見つけ得る。パッチの改善された関連性は、ソフトウェア違反を修正することを助け得る。ソフトウェア違反を修正するための可能性があるパッチの識別の速度は、ソースコードの開発及び試験を容易にすることを助け得る。かような及び他の実施形態で、ユーザは、ユーザの時間の大部分をしばしば占めることがあるバグフィックスの代わりにコードを記述することに焦点を当てることによって、より効率的にコードを開発することができる。
代替的に、又は追加的に、システムは、ユーザが識別し得るよりも正確な及び／又は関連している、ソフトウェアプログラムに対するパッチを識別し得る。より正確な及び／又はより関連しているパッチの識別は、より効率的なコード、又はユーザによって意図されたように動作するコードをユーザが書くことを助け得る。ソフトウェアプログラムのためのパッチの改善された識別は、このようにして、違反の修正を助けることができ、その結果として、特定のソースコードを改善することを助け得る。
添付の図面を参照して、本開示の実施形態を説明する。
図１は、本開示で記載される少なくとも１つの実施形態に従って配置される、ソフトウェアパッチの自動検索及び識別に関連した環境１００を例示する図である。環境１００は、ネットワーク１１０、デバイス１２０、及びウェブサイト１３０を含んでよい。
ネットワーク１１０は、環境１００の構成要素（例えば、デバイス１２０及びウェブサイト１３０）のいずれかの間の信号の通信のために構成された任意の通信ネットワークを含んでよい。ネットワーク１１０は、有線又は無線であってよい。ネットワーク１１０は、スター構成、トークンリング構成、又は他の適切な構成を含む多数の構成を有し得る。更には、ネットワーク１１０は、ローカルエリアネットワーク（ＬＡＮ）、ワイドエリアネットワーク（ＷＡＮ）（例えば、インターネット）、及び／又は複数のデバイスが通信し得る他の相互接続されたデータパスを含んでよい。いくつかの実施形態で、ネットワーク１１０は、ピア・ツー・ピアネットワークを含んでもよい。ネットワーク１１０はまた、多種多様な通信プロトコルでのデータの通信を可能にし得る電気通信ネットワークへ結合されても又はその部分を含んでもよい。
いくつかの実施形態で、ネットワーク１１０は、Ｂｌｕｅｔｏｏｔｈ（登録商標）通信ネットワーク、Ｚ−Ｗａｖｅ通信ネットワーク、Ｉｎｓｔｅｏｎ通信ネットワーク、ＥｎＯｃｅａｎ通信ネットワーク、ワイヤレスフィデリティ（Ｗｉ−Ｆｉ）通信ネットワーク、ＺｉｇＢｅｅ（登録商標）通信ネットワーク、ＨｏｍｅＰｌｕｇ通信ネットワーク、電力線搬送通信（Power Line Communication）ネットワーク、ＭＱＴＴ（Message Queue Telemetry Transport，）通信ネットワーク、ＭＱＴＴセンサ（ＭＱＴＴ−Ｓ）通信ネットワーク、制約付きアプリケーションプロトコル（Constrained Application Protocol，ＣｏＡＰ）通信ネットワーク、ＲＥＳＴ（Representative State Transfer） ＡＰＩ（Application Protocol Interface）通信ネットワーク、ＸＭＰＰ（eXtensible Messaging and Presence Protocol）通信ネットワーク、セルラー通信ネットワーク、任意の同様の通信ネットワーク、又はデータを送信及び受信するそれらの任意の組み合わせを含むか、あるいは、それらを含むように構成される。ネットワーク１１０で通信されるデータは、ショートメッセージングサービス（ＳＭＳ）、マルチメディアメッセージングサービス（ＭＭＳ）、ハイパーテキスト転送プロトコル（ＨＴＴＰ）、ダイレクトデータ接続、無線アプリケーションプロトコル（ＷＡＰ）、電子メール、スマートエネルギプロファイル（ＳＥＰ）、ＥＣＨＯＮＥＴ Ｌｉｔｅ、ＯｐｅｎＡＤＲ、又はデバイス１２０、ウェブサイト１３０、クラウドサーバ通信、若しくはゲートウェイにより実装され得る任意の他のプロトコルを介して通信されるデータを含んでよい。
デバイス１２０は、プロセッサ、メモリ、及び通信機能を含むコンピュータベースのハードウェアデバイスを含んでよい。デバイス１２０は、環境１００の他の構成要素のいずれかとデータをやりとりするようにネットワーク１１０へ結合されてよい。デバイス１２０のいくつかの例には、携帯電話機、スマートフォン、タブレットコンピュータ、ラップトップコンピュータ、デスクトップコンピュータ、セットトップボックス、仮想現実デバイス、又はコネクテッドデバイス、などがある。デバイス１２０は、プロセッサベースのコンピューティングデバイスを含んでもよい。例えば、デバイス１２０は、ハードウェアサーバ又は、サーバとして機能するよう構成された他のプロセッサベースのコンピューティングデバイスを含んでもよい。デバイス１２０は、メモリ及びネットワーク通信機能を含んでよい。いくつかの実施形態で、デバイス１２０は、図８に関連して後述されるようなコンピューティングシステムを含んでもよい。
いくつかの実施形態で、デバイス１２０は、ソフトウェアプログラム１２２を含んでよい。かような及び他の実施形態で、ソフトウェアプログラム１２２は、例えば、とりわけ、Ｃ＋＋、Ｃ、アセンブリ、Ｃ＃、Ｊａｖａ（登録商標）、ＢＡＳＩＣ、ＪａｖａＳｃｒｉｐｔ(登録商標)、Ｐｈｙｔｈｏｎ、及びＳＱＬのような、如何なるプログラミング言語でも書かれたソースコードを含んでよい。いくつかの実施形態で、ソフトウェアプログラム１２２は、複数のメソッドを含んでよい。かような及び他の実施形態で、メソッドは、ソフトウェアプログラム１２２内のはっきりと区別できるサブプログラムであってよく、独立して実行可能であり且つ／あるいはディスティンクトであることができる。例えば、メソッドは、ソフトウェアプログラム１２２のサブユニットであってよい。かような及び他の実施形態で、ソフトウェアプログラム１２２は、特定の目的のために及び／又は特定の目標を達成するために設計されてよい。
いくつかの実施形態で、ソフトウェアプログラム１２２は、違反１２４を含むことがある。単一の違反１２４が図１では表されているが、ソフトウェアプログラム１２２は、違反１２４をいくつでも含む可能性がある。いくつかの実施形態で、違反１２４には、コンパイルエラー、ランタイムエラー、ロジックエラー、及び／又は何らかの適切なメソッドロジによって識別され得る他のエラーがある。例えば、いくつかの実施形態で、違反１２４には、ソフトウェアプログラム１２２に基づくプログラムの実行の前にコンパイラによって検出され得るシンタックスエラーが含まれ得る。例えば、パンクチュエーションマークがソフトウェアプログラム１２２において欠落している場合があり、且つ／あるいは、変数が、宣言されずに使用される場合がある。代替的に、又は追加的に、いくつかの実施形態で、違反１２４には、ランタイムエラーが含まれ得る。かような及び他の実施形態では、ソフトウェアプログラム１２２が如何なるエラーもなくコンパイルされたとしても、コンパイルされたソフトウェアプログラム１２２を実行しようとするときにエラーが起こる場合がある。例えば、ソフトウェアプログラム１２２は、存在しない配列の要素にアクセスしようとする試み又はゼロによる除算を含むことがある。代替的に、又は追加的に、いくつかの実施形態で、違反１２４には、ロジックエラーが含まれ得る。かような及び他の実施形態で、ソフトウェアプログラム１２２は、如何なるエラーもなくコンパイルされ、コンパイルされたソフトウェアプログラム１２２を実行しようとするときにもエラーは起こらない。しかし、ソフトウェアプログラム１２２は、ソフトウェアプログラム１２２の作者又は設計者が期待したように機能しない場合がある。
いくつかの実施形態で、違反１２４は、異なる特性を含み得る。例えば、違反１２４は、違反１２４の名称を含んでよい。代替的に、又は追加的に、いくつかの実施形態で、違反１２４は、違反１２４の説明を含んでもよい。例えば、違反１２４の説明は、違反１２４のタイプを含んでよい。代替的に、又は追加的に、違反１２４は、プログラミング言語を含んでもよい。例えば、違反１２４のプログラミング言語は、ソフトウェアプログラム１２２のプログラミング言語と同じであってよい。一例として、違反１２４は、ランタイム例外（exception）を含んでよい。ランタイム例外の名称は、“java.lang.ArrayIndexOutOfBoundsException”であってよい。例外の説明は、“Index 10 out of bounds for length 10”であってよい。例外のためのタイプは、out-of-bounds exceptionであってよい。例外のためのプログラミング言語は、Ｊａｖａプログラミング言語であってよい。
ウェブサイト１３０は、インターネット上の如何なる適用可能なウェブサイトも含んでよい。代替的に、又は追加的に、いくつかの実施形態で、ウェブサイト１３０は、部内イントラネットサイト上の文書の集合のような、部内リポジトリ又はリソースを含んでよい。例えば、いくつかの実施形態で、ウェブサイト１３０は、ユーザが質問を投稿したり、他のユーザが回答を投稿したりすることができるディスカッションフォーラムを含んでもよい。例えば、１人のユーザが、違反を含むソフトウェアプログラムの形で質問を投稿することができ、もう１人のユーザが、もはや違反を含まない修正済みソフトウェアプログラムの形で質問に対する回答又はパッチを投稿することができる。かような及び他の実施形態で、複数人のユーザが質問に対する回答を投稿してもよく、且つ／あるいは、１つのユーザが複数の回答を投稿してもよい。いくつかの実施形態で、質問を投稿したユーザは、ユーザが経験した違反を解消するものとして１つの回答を選択することができる。いくつかの実施形態で、ウェブサイト１３０のユーザは、ユーザによって投稿された異なる回答について採決を行ってもよい。図１は単一のウェブサイト１３０を表すが、いくつかの実施形態で、複数のウェブサイト１３０が存在してもよい。いくつかの実施形態で、ウェブサイト１３０は、複数のページ、又はポスト１４０Ａ、ポスト１４０Ｂ、ポスト１４０Ｃ、及びポスト１４０Ｄ（集合的にポスト１４０）のような複数のポストを含んでよい。ウェブサイト１３０は４つのポスト１４０とともに表されているが、いくつかの実施形態で、ウェブサイト１３０は、数百のポスト１４０、数千のポスト１４０、数百ないし数千のポスト１４０、又は任意数のポスト１４０を含んでもよい。更に、ポスト１４０は単一のウェブサイト１３０に関連付けられるものとして表されているが、いくつかの実施形態で、ポスト１４０の一部は、第１ウェブサイトに関連してよく、他のポスト１４０は、第２ウェブサイトに関連してよい。例えば、ポスト１４０Ａ及びポスト１４０Ｂはウェブサイト１３０に関連し得るが、ポスト１４０Ｃ及びポスト１４０Ｄは別のウェブサイトに関連し得る。
かような及び他の実施形態で、ポスト１４０は夫々、異なるソフトウェアプログラムに関連付けられてよい。例えば、ポスト１４０Ａは、ソフトウェアプログラム１４２Ａに関連してよく、ポスト１４０Ｂはソフトウェアプログラム１４２Ｂに関連してよく、ポスト１４０Ｃはソフトウェアプログラム１４２Ｃに関連してよく、ポスト１４０Ｄはソフトウェアプログラム１４２Ｄ（集合的にソフトウェアプログラム１４２）に関連してよい。いくつかの実施形態で、ソフトウェアプログラム１４２への言及は、ソフトウェアプログラムのコードの行への参照を含んでよい。例えば、ソフトウェアプログラム１４２Ａは、より大規模なソフトウェアプログラムの複数の行を含んでよく、より大規模なソフトウェアプログラム内のあらゆる行を含まなくてもよい。いくつかの実施形態で、ソフトウェアプログラム１４２は、違反を含む、より大規模ソフトウェアプログラム内のコードの行であってよい。よって、ソフトウェアプログラム１４２への言及は、プログラム全体に限られない。かような及び他の実施形態で、ソフトウェアプログラム１４２は夫々、互いと異なってよく、ソフトウェアプログラム１２２と異なってよい。例えば、ソフトウェアプログラム１４２は夫々、目的が異なり、作者が異なり、異なるプログラミング言語で記述され、あるいは、ソフトウェアプログラム１２２とは異なる違反を含んでよい。
いくつかの実施形態で、ソフトウェアプログラム１４２は、異なる質問に関連付けられてよい。例えば、ウェブサイト１３０のユーザは、ウェブサイト１３０上でポスト１４０Ａを作成してよい。ポスト１４０Ａの部分として、ユーザはソフトウェアプログラム１４２Ａを加えてよく、ソフトウェアプログラム１４２Ａに関連した質問を尋ねてよい。例えば、ユーザは、ソフトウェアプログラム１４２Ａを書いているときに違反を経験することがある。支援を得るために、ユーザは、ポスト１４０Ａの部分としてウェブサイト１３０にソフトウェアプログラム１４２Ａを投稿してもよい。ユーザは、どのようにしてユーザが違反を修正することができるかをウェブサイト１３０の他のユーザに尋ねるために、及び／又は何がソフトウェアプログラム１４２Ａにおいて違反を引き起こしているかを他のユーザに尋ねるために、質問を書いてよい。
いくつかの実施形態で、ソフトウェアプログラム１４２Ａは違反１４４Ａを含むことがあり、ソフトウェアプログラム１４２Ｂは違反１４４Ｂを含むことがあり、ソフトウェアプログラム１４２Ｃは違反１４４Ｃを含むことがあり、ソフトウェアプログラム１４２Ｄは違反１４４Ｄ（集合的に違反１４４）を含むことがある。いくつかの実施形態で、違反１４４の夫々は、互いに異なった違反であってよい。例えば、違反１４４Ａはランタイムエラーであってよく、違反１４４Ｂはロジックエラーであってよく、違反１４４Ｃはコンパイルエラーであってよく、違反１４４Ｄは、違反１４４Ａとは相異なるランタイムエラーであってよい。代替的に、又は追加的に、いくつかの実施形態で、違反１４４の１つ以上は同じ違反であってよく、関連する違反であってよく、且つ／あるいは、類似した違反であってよい。例えば、いくつかの実施形態で、違反１４４Ａは、Ｃ＋＋プログラミング言語におけるインデックス範囲外（index out of bounds）違反であってよく、一方、違反１４４Ｃは、Ｊａｖａプログラミング言語におけるインデックス範囲外違反であってよい。この例で、違反１４４Ａ及び違反１４４Ｃは、類似した違反であり得る。いくつかの実施形態で、違反１４４は、たとえ違反が異なる環境で異なるように明示及び／又は処理されるとしても、類似した違反であると決定されることがある。例えば、配列インデックス範囲外（array index out of bounds）アクセスは、たとえ挙動の根本原因が同じであり得るとしても（すなわち、その規定されたインデックス範囲の外の配列にアクセスしようと試みること）、Ｊａｖａ環境と対比してＣ＋＋環境ではランタイム中に異なるように明示及び処理されることがある。
いくつかの実施形態で、ポスト１４０の１つ以上はパッチを含んでもよい。例えば、ポスト１４０Ａはパッチ１４６Ａを含んでよく、ポスト１４０Ｂはパッチ１４６Ｂを含んでよく、ポスト１４０Ｃはパッチ１４６Ｃ（集合的にパッチ１４６）を含んでよい。いくつかの実施形態で、１つ以上のポスト１４０は、関連するパッチ１４６を含まなくてもよい。例えば、ポスト１４０Ｄはパッチを含まなくてもよい。いくつかの実施形態で、パッチ１４６は、対応する違反１４４を修正する方法を表し得る。すなわち、パッチ１４６Ａは、違反１４４Ａを修正することができ、それにより、パッチ１４６Ａをソフトウェアプログラム１４２Ａに適用した後、ソフトウェアプログラム１４２Ａはもはや違反１４４Ａを有していない。いくつかの実施形態で、パッチ１４６は、ソフトウェアプログラム１４２内の違反１４４の原因に適用され得るソースコードを含むことがある。いくつかの実施形態で、ポスト１４０の１つ以上は、複数のパッチ１４６を含んでよい。例えば、ポスト１４０Ｂは、複数のパッチ１４６Ｂを含んでよい。かような及び他の実施形態で、ウェブサイト１３０の異なるユーザは、異なるパッチ１４６について順位付け又は投票してよく、それにより、１つのパッチ１４６Ｂが最も肯定的な投票を受け得る。かような及び他の実施形態で、パッチ１４６Ｂの１つは、選ばれたパッチがユーザの問題を解決することに基づき、ポスト１４０Ｂを作成したユーザによって、選ばれたパッチ１４６Ｂとして選択されてよい。
いくつかの実施形態で、ポスト１４０は質問を含んでよい。例えば、ソフトウェアプログラム１４２は、ウェブサイト１３０のユーザによって投稿された質問に組み込まれてもよい。例えば、第１ユーザが、ソフトウェアプログラム１４２Ａを書き、そして、違反１４４Ａに遭遇していることがある。第１ユーザは、それから、ソフトウェアプログラム１４２Ａ、違反１４４Ａ、及び違反１４４Ａの詳細、並びに他者に違反１４４Ａを修正することを助けてもらうリクエストを含むポスト１４０Ａをウェブサイト１３０上で生成してよい。かような及び他の実施形態で、パッチ１４６Ａは、第１ユーザの質問に対する回答を表し得る。例えば、かような及び他の実施形態で、第２ユーザが、ポスト１４０Ａ内の質問に対する回答としてパッチ１４６Ａを加えてよい。
環境１００の動作の説明が続く。ユーザは、デバイス１２０を用いてソフトウェアプログラム１２２を書いてよい。ソフトウェアプログラム１２２を書いているときに、又はソフトウェアプログラム１２２を試験しているときに、ユーザは違反１２４の通知を受けることがある。それから、デバイス１２０は、違反１２４の名称、違反１２４のタイプ、並びに／又はソフトウェアプログラム１２２及び／若しくは違反１２４に関連したプログラミング言語のような違反１２４の特性に基づく検索クエリを用いて、ウェブサイト１３０の検索を実行してよい。いくつかの実施形態で、検索クエリは、検索が、未回答のポスト１４０、回答済みのポスト１４０、又は未回答及び回答済みの両方のポスト１４０を含むべきかどうかを示すタグを含んでよい。
検索クエリによるウェブサイト１３０の検索は、ポスト１４０の組を返してよい。記載されるように、ウェブサイト１３０の検索は、違反１２４の特性に基づいてよく、違反１２４に類似している違反１４４を含むポスト１４０を返してよい。例えば、ウェブサイト１３０は４つのポスト１４０を含んでよい。検索クエリによるウェブサイト１３０の検索は、違反１４４Ａ及び違反１４４Ｃが違反１２４に類似しているので、ポスト１４０Ａ及びポスト１４０Ｃを返してよい。ウェブサイト１３０の検索は、違反１４４Ｂが違反１２４に類似していないので、ポスト１４０Ｂを返さなくてよい。ウェブサイト１３０の検索は、ポスト１４０Ｄがパッチを含まないので、ポスト１４０Ｄを返さなくてよい。いくつかの実施形態で、デバイス１２０は、図２及び図５に関して後述される１つ以上の動作に従って、どの違反が類似しているのか及びどれが類似していないのかを決定するよう構成されてよい。
次いで、デバイス１２０は、ソフトウェアプログラム１２２とソフトウェアプログラム１４２Ａとの間の類似性と、ソフトウェアプログラム１２２とソフトウェアプログラム１４２Ｃとの間の類似性とを決定してよい。かような及び他の実施形態で、デバイス１２０は、ソフトウェアプログラム１２２からメソッドを取り出してよい。かような及び他の実施形態で、メソッドは、違反１２４に関連するソースコードを含んでよい。例えば、ソフトウェアプログラム１２２は、数百行のコード、数千行のコード、数百万行のコード、又は任意数の行のコードを含んでよい。違反１２４は、ソフトウェアプログラム１２２内のメソッドに関連してよく、メソッドは、ソフトウェアプログラム１２２の全体よりも少ない行のコードを含んでよい。デバイス１２０は、ソフトウェアプログラム１２２のメソッドとソフトウェアプログラム１４２Ａとの間の類似性と、ソフトウェアプログラム１２２のメソッドとソフトウェアプログラム１４２Ｃとの間の類似性とを決定してよい。
いくつかの実施形態で、デバイス１２０は、ソフトウェアプログラム１２２の抽象木表現及び／又はソフトウェアプログラム１２２の一部分を、ソフトウェアプログラム１４２及びパッチ１４６に基づく抽象木表現と比較することによって、ソフトウェアプログラム１２２と１つ以上のソフトウェアプログラム１４２との間の類似性を決定してよい。例えば、図７に関して後述されるように、ソフトウェアプログラム１４２Ａ及び１つ以上のパッチ１４６Ａに基づき、パターンが取り出されてよい。例えば、デバイス１２０は、１つ以上のパッチ１４６Ａの抽象木表現内の対応するノードに基づき、ソフトウェアプログラム１４２Ａの抽象木表現内の１つ以上のノードを選択してよい。
代替的に、又は追加的に、デバイス１２０は、意味的及び／又は構文的コードクローン検出を用いて、ソフトウェアプログラム１２２と１つ以上のソフトウェアプログラム１４２との間の類似性を決定してよい。例えば、デバイス１２０は、ソフトウェアプログラム１２２及び１つ以上のソフトウェアプログラム１４２が同じ機能を実行するか又は同じ若しくは類似した物事を実行している程度を決定するために、上記のものとは異なる意味的コードクローン検出アルゴリズムを用いて、ソフトウェアプログラム１２２を１つ以上のソフトウェアプログラム１４２と比較してもよい。これに関連して、デバイス１２０は、ソフトウェアプログラム１２２及び１つ以上のソフトウェアプログラム１４２のソースコードの構成及び構造を比較してよい。
代替的に、又は追加的に、いくつかの実施形態で、デバイス１２０は、構文的コードクローン検出を用いて類似性を決定するように、ソフトウェアプログラム１２２を１つ以上のソフトウェアプログラム１４２と比較してよい。デバイス１２０は、ソフトウェアプログラム１２２の構文木を取得してよく、そして、ソフトウェアプログラム１４２の構文木を取得してよく、構文木どうしを比較して類似性を決定し得る。
次いで、デバイス１２０は、ソフトウェアプログラム１２２と最もよく類似しているソフトウェアプログラム１４２に関連したポスト１４０を選択してよい。例えば、ソフトウェアプログラム１４２Ｃが、ソフトウェアに最もよく類似していると決定されてよい。いくつかの実施形態で、デバイス１２０は、図７に関して後述される１つ以上の動作に従って、ソフトウェアプログラム１４２とソフトウェアプログラム１２２との間の類似性を決定するよう構成されてよい。デバイス１２０はポスト１４０Ｃを選択してよい。次いで、デバイス１２０は、デバイス１２０のユーザがソフトウェアプログラム１２２に対してパッチ１４６Ｃを実施することを可能にするように、パッチ１４６Ｃに基づくパッチをデバイス１２０のユーザに表示してよい。代替的に、又は追加的に、いくつかの実施形態で、デバイス１２０及び／又はユーザは、例えば、パッチ１４６Ｃに基づく修正動作のような修正動作を、ポスト１４０Ｃに基づきソフトウェアプログラム１２２に対して実行してよい。
本開示の適用範囲から逸脱することなしに、図１に対して変更、追加、又は削除が行われてよい。例えば、環境１００は、本開示で図示及び記載されているものよりも多い又は少ない要素を含んでもよい。更には、いくつかの実施形態で、ソフトウェアプログラム１２２は、デバイス１２０とは異なるデバイスを用いて生成及び編集されてもよい。例えば、かような及び他の実施形態で、ユーザは、ソフトウェアプログラム１２２を生成及び／又は編集するために１つのデバイスを使用してよく、デバイス１２０は、ウェブサイト１３０の検索を実行し、違反１２４に基づきポスト１４０を識別してよい。
代替的に、又は追加的に、いくつかの実施形態で、デバイス１２０及びデバイス１２０に関して論じられている動作は、異なるシステムにわたって分布してもよい。かような及び他の実施形態で、環境１００は、ネットワーク１１０と、ネットワーク１１０を介して通信上結合され得るデバイス１２０及びウェブサイト１３０を含む１つ以上のデバイスとを含んでよい。
図２は、ソフトウェアパッチの自動検索及び識別の、例となる方法２００のフローチャートである。いくつかの実施形態で、方法２００の１つ以上の動作は、コンピューティングシステム又はデバイスによって実行されてよい。図２に表されるように、図１のデバイス１２０のようなデバイスは、違反特性２１０を取得してよい。違反特性２１０は、数ある特性の中でもとりわけ、違反の名称、違反のタイプ、違反のプログラミング言語、違反のソースコード内の場所を含んでよい。ポストを有するウェブサイト２２０は、プログラミング、ソースコード、ソースコード内の違反を識別し修正すること、などに関連したポストを含んでよい。違反特性２１０を用いて、デバイスは、特性に基づいたウェブサイト検索２３０を実行して、ポストの組２４０を取得してよい。いくつかの実施形態で、ウェブサイトは、ウェブサイトがソフトウェアプログラムのリポジトリ並びに／又は違反及びパッチを有するソフトウェアプログラムを含むことに基づき、選択されてよい。例えば、ウェブサイトは、違反を伴うソフトウェアプログラムを含む様々なポストを含んでよい。ポストのいくつかはまた、ソフトウェアプログラム内の違反を修正するよう設計され得るパッチを含んでよい。代替的に、又は追加的に、いくつかの実施形態で、ウェブサイトは、内部コードリポジトリ、質問及び回答を有する内部サイト、メッセージボード、などを含んでよい。いくつかの実施形態で、ポストとともに複数のウェブサイトが存在してもよい。例えば、いくつかのポストは、第１ウェブサイトに関連してよく、他のポストは、第２ウェブサイトに関連してよい。
いくつかの実施形態で、デバイスは、違反特性２１０の中の１つ以上の特性を用いて検索クエリを形成することによって、検索２３０を実行してよい。例えば、検索クエリは、違反の名称及び違反のタイプを含んでよい。いくつかの実施形態で、検索クエリはまた、回答済みの質問に対するタグ及び／又は違反に関連したプログラミング言語に対するタグのような１つ以上のタグを含んでもよい。検索クエリに基づき、ポストの組２４０は識別されてよい。例えば、ポストの組は、ポストの組の中の各ポストが質問に対する回答を含むこと、ポスト内の質問が、違反特性２１０と同じタイプ及び／又は同じ名称の違反を有するコードスニペットを含むこと、並びにポスト内のコードスニペットが違反と同じプログラミング言語で書かれていることに基づき、識別されてよい。検索２３０は、粗検索（coarse search）と見なされてよい。
次いで、デバイスは、ポスト２４０の組及び違反を有するソフトウェアプログラム２５０に対して類似性解析２６０を実行してよい。例えば、デバイスは、違反を有するソフトウェアプログラム２５０を、ポストの組２４０の中の各ポストからのコードスニペットと比較してよい。いくつかの実施形態で、類似性解析は、図７に関して後述されるように、違反を有するソフトウェアプログラム２５０の抽象木表現を、ポストの組の中の各ポストに基づく抽象木表現と比較することによって、実行されてよい。いくつかの実施形態で、類似性解析は、他の形態の意味的及び／又は構文的コードクローン検出を用いて実行されてもよい。例えば、デバイスは、ポストの組２４０の中の各ポストについて類似性スコアを生成してよく、類似性スコアは、ポストのコードスニペットと違反を有するソフトウェアプログラム２５０との間の類似性を評価する。いくつかの実施形態で、デバイスは、ポストの組２４０の中のあるポストと、違反を含むソフトウェアプログラム内のメソッドとの類似性スコアを生成してもよい。かような及び他の実施形態で、類似性スコアが高いほど、ポストのコードスニペットと違反を有するソフトウェアプログラム２５０とがより類似していることに関連し得る。代替的に、又は追加的に、いくつかの実施形態で、類似性スコアが低いほど、ポストのコードスニペットと違反を有するソフトウェアプログラム２５０とがより類似していることに関連してもよい。
いくつかの実施形態で、デバイスは、ポストの類似性スコアに基づき、ポストの組２４０の中から１つのポストを選択してよい。いくつかの実施形態で、各ポストは、数で示される類似性スコアを有してよい。例えば、第１ポストは、５．４の類似性スコアを有してよい。第２ポストは、７．６の類似性スコアを有してよい。第２ポストは、第１ポストよりも類似性スコアが高いので、選択されてよい。選択されたポスト２７０は、次いで、選択されたポスト２７０を用いて違反を修正することに関する修正動作２８０を実行するために使用されてよい。いくつかの実施形態で、修正動作２８０は、選択されたポスト２７０をディスプレイ、例えば、デバイスに接続されたコンピュータ画面に示すことを含んでもよい。ソフトウェアプログラム２５０の開発者は、次いで、選択されたポスト２７０に基づきソフトウェアプログラム２５０を修正してよい。代替的に、又は追加的に、いくつかの実施形態で、修正動作２８０は、デバイスが選択されたポスト２７０に基づきソフトウェアプログラム２５０を修正することを含んでもよい。例えば、選択されたポスト２７０は、違反に対するパッチを含んでよい。例えば、ユーザは、ウェブサイト２２０上にポストにより質問を発行してよい。他のユーザは、ポストの質問に対する回答を投稿してよい。デバイスは、選択されたポスト２７０内の回答を、ソフトウェアプログラム２５０内の違反に対するパッチを生成するガイドとして提示することを含む修正動作を実行してよい。
図３Ａ〜３Ｆは、ソフトウェアプログラムの類似性の比較を表す。図３Ａは、ソフトウェアプログラム３１０を含む。ソフトウェアプログラム３１０は、図１のソフトウェアプログラム１２２及び／又は図２の違反を有するソフトウェアプログラム２５０のような、違反を有するソフトウェアプログラムを表してよい。図１のデバイス１２０のようなデバイスが、種々のコードスニペットをソフトウェアプログラム３１０と比較してよい。各コードスニペットは、図１のウェブサイト１３０及び／又は図２のポストを有するウェブサイト２２０のような、ウェブサイトの異なるポストに関連してよい。例えば、図３Ｂのコードスニペット３２０は、ソフトウェアプログラム１４２Ａを表してよく、図３Ｃのコードスニペット３３０は、ソフトウェアプログラム１４２Ｂを表してよい。
いくつかの実施形態で、図３Ｂのコードスニペット３２０及び／又は図３Ｃのコードスニペット３３０は、ソフトウェアプログラム１４２Ａ及び／又は１４２Ｂの部分を含んでもよい。いくつかの実施形態で、図３Ｂのコードスニペット３２０及び／又は図３Ｃのコードスニペット３３０は、図７のブロック７１０乃至７４５を参照して後述されるものと類似した方法により取得され得る対応するソフトウェアプログラム１４２Ａ及び／又は１４２Ｂの選択であってよい。例えば、図７を参照して後述されるように、ソフトウェアプログラム１４２Ａの抽象木表現が、パッチ１４６Ａの１つ以上の抽象木表現とアライメントされてよく、重複ノードでの関連性スコアが合計されてよい。ソフトウェアプログラム１４２Ａの抽象木表現のノードは、降順の関連性スコア順序で配置されてよく、ノードのサブセットは、図３Ｂのコードスニペット３２０を生成するように取り出されてよい。
図３Ａのソフトウェアプログラム３１０と図３Ｂのコードスニペット３２０及び図３Ｃのコードスニペット３３０との間の類似性解析を実行することにおいて、デバイスは、意味的及び／又は構文的コードクローン検出を使用してよい。例えば、デバイスは、図３Ａのソフトウェアプログラム３１０が図３Ｂのコードスニペット３２０及び図３Ｃのコードスニペット３３０と類似しているかどうかを判定するために、変数宣言、ループ構成、変数名、変数タイプ、分岐構成、条件文、入出力文、プログラミング言語、及び他の因子を比較してよい。代替的に、又は追加的に、いくつかの実施形態で、デバイスは、類似性スコアを生成するように比較を実行してよい。いくつかの実施形態で、類似性スコアは、図７に関して後述される１つ以上の動作に従って、決定されてよい。
いくつかの実施形態で、デバイスは、図３Ａのソフトウェアプログラム３１０と図３Ｂのコードスニペット３２０との間の類似性スコアを決定してよい。かような及び他の実施形態で、デバイスはまた、図３Ａのソフトウェアプログラム３１０と図３Ｃのコードスニペット３３０との間の類似性スコアも決定してよい。いくつかの実施形態で、デバイスは、ソフトウェアプログラム３１０、コードスニペット３２０、及びコードスニペット３３０の抽象木表現を比較することによって、図３Ａのソフトウェアプログラム３１０と図３Ｂのコードスニペット３２０との間の類似性スコアと、図３Ａのソフトウェアプログラム３１０と図３Ｃのコードスニペット３３０との間の類似性スコアとを決定してよい。
図３Ｄは、図３Ａのソフトウェアプログラム３１０の抽象木表現３５０を表す。いくつかの実施形態で、抽象木表現３５０は、図７のブロック７１０に関して後述されるように、ソフトウェアプログラム３１０から取得されてよい。抽象木表現３５０は、ノード３５５Ａ、ノード３５５Ｂ、ノード３５５Ｃ、ノード３５５Ｄ、ノード３５５Ｅ、ノード３５５Ｆ、ノード３５５Ｇ、及びノード３５５Ｈ（集合的にノード３５５）のような複数のノードを含んでよい。ソフトウェアプログラム３１０の抽象木表現３５０は８つのノード３５５により表されているが、それは任意数のノード３５５を含んでよい。いくつかの実施形態で、ノード３５５は、対応するソフトウェアプログラム３１０内の１以上のコードの行に関連してよい。いくつかの実施形態で、複数のノード３５５が、対応するソフトウェアプログラム内の単一のコードの行に関連してもよい。抽象木表現３５０におけるノード３５５の夫々は、構成（construct）、タイプ（type）、変数（variable）、などを含んでよい。例えば、ノード３５５Ｃは、構成“ｌｏｏｐ”を含んでよく、変数“＄ｔ１”を含んでよい。同様に、ノード３５５Ｂは、構成“ｄｅｃｌａｒｅ”を含んでよく、タイプ“Ｔａｂｌｅ”を含んでよく、変数“＄ｖ１”を含んでよい。
図３Ｅは、図３Ｂのコードスニペット３２０の抽象木表現３６０を表す。いくつかの実施形態で、抽象木表現３６０は、図７のブロック７４５に関して後述されるように、パターンとして取得されてよい。抽象木表現３６０は、ノード３６５Ａ、ノード３６５Ｂ、ノード３６５Ｃ、ノード３６５Ｄ、ノード３６５Ｅ、ノード３６５Ｆ、及びノード３６５Ｇ（集合的にノード３６５）のような複数のノードを含んでよい。抽象木表現３５０は７つのノード３６５により表されているが、それは任意数のノード３６５を含んでよい。いくつかの実施形態で、ノード３６５は、対応するソフトウェアプログラム内の１以上のコードの行に関連してよい。いくつかの実施形態で、複数のノード３６５が、対応するソフトウェアプログラム内の単一のコードの行に関連してもよい。図３Ｄの抽象木表現３５０のノード３５５と同様に、抽象木表現３６０におけるノード３６５の夫々は、構成（construct）、タイプ（type）、変数（variable）、などを含んでよい。
ソフトウェアプログラム３１０をコードスニペット３２０と比較するために、抽象木表現３６０が、図３Ｄの抽象木表現３５０と比較されてよい。比較を実行するために、図３Ｄの抽象木表現３５０及び図３Ｅの抽象木表現３６０は、重なりを決定するようにアライメントされてよい。いくつかの実施形態で、アライメントは、図７のブロック７２５に関して後述されているものと同様に実行されてよい。例えば、木編集距離（tree edit distance）を用いて、２つの抽象木表現の対応するノードが決定され得る。例えば、図３Ｄのノード３５５Ａは、図３Ｅのノード３６５Ａと対応してよく、図３Ｄのノード３５５Ｂは、図３Ｅのノード３６５Ｂと対応してよく、図３Ｄのノード３５５Ｃは、図３Ｅのノード３６５Ｃと対応してよく、図３Ｄのノード３５５Ｄは、図３Ｅのノード３６５Ｆと対応してよく、図３Ｄのノード３５５Ｅは、図３Ｅのノード３６５Ｄと対応してよく、図３Ｄのノード３５５Ｆは、図３Ｅのノード３６５Ｅと対応してよく、図３Ｄのノード３５５Ｇは、図３Ｅのノード３６５Ｇと対応してよい。図３Ｄのノード３５５Ｈは、図３Ｅにおいて対応するノードを有さなくてよい。
図３Ｄの抽象木表現３５０及び図３Ｅの抽象木表現３６０をアライメントした後に、類似性スコアが複数の因子に基づき計算されてよい。例えば、類似性スコアは、構成類似性、タイプ類似性、及び変数使用関係類似性に基づいてよい。いくつかの実施形態で、類似性スコアは、図７に関して後述される１つ以上の動作に従って計算されてよい。例えば、図３Ｄのノード３５５Ｂ及び図３Ｅのノード３６５Ｂは、両方のノードが構成“ｄｅｃｌａｒｅ”を含むので、構成類似性を示してよく、図３Ｄのノード３５５Ｃ及び図３Ｅのノード３６５Ｃは、両方のノードが構成“ｌｏｏｐ”を含み、更には、一致したタイプを有しているので、タイプ類似性を示してよく、図３Ｄのノード３５５Ｄ及び図３Ｅのノード３６５Ｆは、両方のノードが構成“ｄｅｃｌａｒｅ”を含むので、構成類似性を示してよく、図３Ｄのノード３５５Ｅ及び図３Ｅのノード３６５Ｄは、両方のノードが構成“ｃｏｎｓｔｒｕｃｔｏｒ”を含むので、構成類似性を示してよく、図３Ｄのノード３５５Ｆ及び図３Ｅのノード３６５Ｅは、両方のノードが構成“ｉｆ”を含むので、構成類似性を示してよく、図３Ｄのノード３５５Ｇ及び図３Ｅのノード３６５Ｇは、両方のノードが構成“ｍｅｔｈｏｄ”“ｒｅｍｏｖｅ”を有し且つ一致したタイプを有しているので、タイプ類似性を示してよい。図７のブロック７６５に関して後述されるように重み付けすることに基づき、図３Ｄの抽象木表現３５０及び図３Ｅの抽象木表現３６０は、比較的に高い類似性を有しているか又は比較的に高い類似性スコアを有していると決定され得る。
図３Ｆは、図３Ｃのコードスニペット３３０の抽象木表現３７０を表す。いくつかの実施形態で、抽象木表現３７０は、図７のブロック７４５に関して後述されるように、パターンとして取得されてよい。抽象木表現３７０は、ノード３７５Ａ、ノード３７５Ｂ、ノード３７５Ｃ、ノード３７５Ｄ、ノード３７５Ｅ、ノード３７５Ｆ、ノード３７５Ｇ、及びノード３７５Ｈ（集合的にノード３７５）のような複数のノードを含んでよい。抽象木表現３７０は８つのノード３７５により表されているが、それは任意数のノード３７５を含んでよい。いくつかの実施形態で、ノード３７５は、対応するソフトウェアプログラム内の１以上のコードの行に関連してよい。いくつかの実施形態で、複数のノード３７５が、対応するソフトウェアプログラム内の単一のコードの行に関連してもよい。図３Ｄの抽象木表現３５０のノード３５５と同様に、抽象木表現３７０におけるノード３７５の夫々は、構成（construct）、タイプ（type）、変数（variable）、などを含んでよい。
ソフトウェアプログラム３１０をコードスニペット３３０と比較するために、抽象木表現３７０が、図３Ｅの抽象木表現３６０を参照して上述されたのと同様にして、図３Ｄの抽象木表現３５０と比較されてよい。図３Ｄの抽象木表現３５０及び図３Ｆの抽象木表現３７０をアライメントした後に、図３Ｅの抽象木表現３６０を参照して上述されたのと同様の因子に基づき、類似性スコアが計算されてよい。例えば、図３Ｄのノード３５５Ｂ及び図３Ｆのノード３７５Ｂは、両方のノードが構成“ｄｅｃｌａｒｅ”を含むので、構成類似性を示してよく、図３Ｄのノード３５５Ｃ及び図３Ｆのノード３７５Ｃは、両方のノードが構成“ｌｏｏｐ”を含むので、構成類似性を示してよく、図３Ｄのノード３５５Ｄ及び図３Ｆのノード３７５Ｆは、両方のノードが構成“ｄｅｃｌａｒｅ”を含むので、構成類似性を示してよく、図３Ｄのノード３５５Ｇ及び図３Ｆのノード３７５Ｅは、両方のノードが構成“ｍｅｔｈｏｄ”“ｒｅｍｏｖｅ”を含むので、構成類似性を示してよい。図７のブロック７６５に関して後述されるように重み付けすることに基づき、図３Ｄの抽象木表現３５０及び図３Ｆの抽象木表現３７０は、図３Ｄの抽象木表現３５０及び図３Ｅの抽象木表現３６０と比較して相対的に低い類似性及び／又は相対的に低い類似性スコアを有していると決定され得る。これは、タイプ類似性及び／又は構成類似性の数が少ないことによって明白であり得る。
図３Ａのソフトウェアプログラム３１０、図３Ｂのコードスニペット３２０、及び図３Ｃのコードスニペット３３０は、例として与えられている。同様に、図３Ｄの抽象木表現３５０、図３Ｅの抽象木表現３６０、及び図３Ｆの抽象木表現３７０は、例として与えられている。
図４Ａ及び図４Ｂは、ソフトウェアパッチの自動検索及び識別の方法の例のフローチャートである。方法４００は、本開示で記載される少なくとも１つの実施形態に従って配置されてよい。方法４００は、全体として又は部分的に、いくつかの実施形態で、図１の環境１００及び／又は図８のコンピュータシステム８０２のようなシステム及び／又は環境によって実行されてよい。かような及び他の実施形態で、方法４００は、１つ以上の非一時的なコンピュータ可読媒体に記憶されている命令の実行に基づき、実行されてよい。別個のブロックとして表されているが、様々なブロックは、所望の実施に応じて、更なるブロックに分けられても、より少ないブロックへとまとめられても、あるいは削除されてもよい。
方法４００は、ブロック４１０から開始してよく、ブロック４１０で、第１ソフトウェアプログラム内の第１違反が、如何なる適切なメソッドロジによっても、識別されてよい。いくつかの実施形態で、第１違反はランタイム違反を含んでよい。ブロック４２０で、第１違反の１つ以上の特性が識別されてよい。いくつかの実施形態で、第１違反の１つ以上の特性は、例外名、例外タイプ、ソースコード言語を含んでよい。ブロック４３０で、ウェブサイトが、ウェブサイト上のポストの組を識別するように検索されてよい。いくつかの実施形態で、ウェブサイトは、ウェブサイトがソフトウェアプログラム、違反、及びソフトウェアプログラム内の違反を修正するためのパッチのリポジトリを含むことに基づき、検索されてよい。代替的に、又は追加的に、いくつかの実施形態で、ウェブサイトは、ウェブサイトが質問及び回答を含むこと、ソフトウェア違反及びパッチの部内リポジトリを含むこと、並びに／又は複数のポストを含むことに基づき、検索されてもよい。いくつかの実施形態で、ポストの組は、異なるウェブサイトに散在するポストの組であってよい。例えば、ポストの組の中の第１ポストは第１ウェブサイトからであってよく、ポストの組の中の第２ポスト及び第３ポストは第２ウェブサイトからであってよく、ポストの組の中の第４ポストは第３ウェブサイトからであってよい。ポストの組の中の各ポストは、各ポストが、第１違反の１つ以上の特性の中の少なくとも１つを有している他のソフトウェアプログラムの１つ以上の他の違反に関する内容を含むことに基づき、識別されてよい。いくつかの実施形態で、ポストの組を識別するようにウェブサイトを検索することは、第１違反の１つ以上の特性に基づき且つ１つ以上のタグに基づき検索クエリを生成することを含んでよい。１つ以上のタグは、ポストが回答を含むかどうか又はポストのソースコード言語を示してよい。いくつかの実施形態で、ウェブサイトを検索することは、検索クエリに基づきウェブサイト上の複数のポストを順位付けし、上位１０個に順位付けられたポストをポストの組として識別することを更に含んでよい。ウェブサイトの検索に関する更なる詳細は、図５に関連して後述される。
ブロック４４０で、第１違反を含む第１ソフトウェアプログラムの第１部分が、第１コンテキストとして取得されてよい。いくつかの実施形態で、第１違反を含む第１ソフトウェアプログラムの第１部分は、第１違反を含む第１ソフトウェアプログラム内のメソッドを含んでよい。ブロック４５０で、第２コンテキストの組が取得されてよい。第２コンテキストの組の中の各第２コンテキストは、ポストの組の中の異なるポストに対応してよい。各第２コンテキストは、対応する他の違反を含む対応する他のソフトウェアプログラムの各々の部分を含んでもよい。
ブロック４５５で、第１コンテキストの第１抽象構文木が取得されてよい。ブロック４６０で、第２抽象構文木の組が取得されてよい。第２抽象構文木の組の中の各第２抽象構文木は、第２コンテキストの組の中の異なる第２コンテキストに対応してよい。ブロック４６５で、第１抽象構文木は、第１コンテキストの第１抽象木表現を取得するように変更されてよい。第１抽象構文木は、第１抽象構文木を簡約及び抽象化することによって変更されてよい。いくつかの実施形態で、第１抽象構文木を変更することは、第１抽象構文木の第１ノード及び第２ノードを結合して、第１抽象木表現の第３ノードを生成することを含んでよい。抽象木表現の第３ノードの変数のデータタイプは、第１抽象木表現の第４ノードを生成するよう推測されてよい。第１抽象木表現の第３ノードの構成は、一般化されてよい。
ブロック４７０で、第２抽象構文木の組の中の各第２抽象構文木は、各第２抽象構文木を簡約及び抽象化することによって、第２抽象木表現の組を取得するように変更されてよい。いくつかの実施形態で、第２抽象木表現の組を取得するように第２抽象構文木の組の中の各第２抽象構文木を変更することは、ポストの組の中の特定のポストに関連した第１パッチの第３抽象構文木を取得することを含んでよい。第３抽象構文木は、第３抽象構文木を簡約及び抽象化することによって、第１パッチの第３抽象木表現を取得するように変更されてよい。特定のポストに関連した第２抽象木表現と、第３抽象木表現とは、第１の複数の重複ノードを取得するようにアライメントされてよい。第１の複数の重複ノードの各ノードは、第２抽象木表現内のノードと対応してよい。第１の複数の関連性スコアが決定されてよい。第１の複数の関連性スコアの各関連性スコアは、第１の複数の重複ノードの中のある重複ノードと対応してよい。第２抽象木表現のサブセットが、第１の複数の関連性スコアに基づき、第２抽象木表現として選択されてよい。
いくつかの実施形態で、ブロック４７０は、ポストの組の中の特定のポストに関連した第２パッチの第４抽象構文木を取得することを更に含んでよい。第４抽象構文木は、第４抽象構文木を簡約及び抽象化することによって、第２パッチの第４抽象木表現を取得するように変更されてよい。特定のポストに関連した第２抽象木表現と、第４抽象木表現とは、第２の複数の重複ノードを取得するようにアライメントされてよい。第２の複数の重複ノードの各ノードは、第２抽象木表現内のあるノードと対応してよい。第２の複数の関連性スコアが決定されてよい。第２の複数の関連性スコアの各関連性スコアは、第２の複数の重複ノードの中のある重複ノードと対応してよい。第２抽象木表現のサブセットは、第２の複数の関連性スコアに更に基づいて、第２抽象木表現として選択されてよい。
いくつかの実施形態で、第１パッチは、第１の数の回答投票及び第１の回答承認フラグに関連してよく、第２パッチは、第２の数の回答投票及び第２の回答承認フラグに関連してよい。かような及び他の実施形態で、第１の複数の関連性スコアは、第１の数の回答投票及び第１の回答承認フラグに基づき決定されてよく、第２の複数の関連性スコアは、第２の数の回答投票及び第２の回答承認フラグに基づき決定されてよい。
ブロック４７５で、類似性スコアの組が決定されてよい。類似性スコアの組の中の各類似性スコアは、第１抽象木表現を、第２抽象木表現の組の中の対応する１つの第２抽象木表現と比較することによって、決定されてよい。
ブロック４８０で、ポストの組の中の特定のポストが、第１抽象木表現と特定の第２コンテキストに関連した第２抽象木表現の組の中の特定の第２抽象木表現との間の類似性スコアに基づき、選択されてよく、特定の第２コンテキストは、特定のソフトウェアプログラムの特定の部分及び特定のポストの特定の違反に関連する。特定のポストを選択することに関する更なる詳細は、図６に関して後述される。
当業者に明らかなように、本明細書で開示されるこの及び他のプロセス、動作及び方法について、実行される機能及び／又は動作は、異なる順序で実施されてもよい。更に、説明されている機能及び動作は、単に例として与えられており、機能及び動作のいくつかは、開示されている実施形態の本質から外れることなしに、任意であっても、より少ない機能及び動作へとまとめられても、又は更なる機能及び動作に拡張されてもよい。いくつかの実施形態で、方法４００は、更なるブロック又はより少ないブロックを含んでもよい。
代替的に、又は追加的に、いくつかの実施形態で、方法４００は、特定のポストを用いて違反を修正することに関して修正動作を実行することを含んでよい。例えば、修正動作は、特定のポストを提示することを含んでよい。例えば、特定のポストは、コンピュータモニタ、テレビ、スマートフォンディスプレイ、ラップトップスクリーン、などのようなディスプレイ上で提示されてよい。次いで、ユーザは、特定のポストの提示に基づいて、ソフトウェアプログラムに対して修正動作を実行してよい。
図５は、例となる粗検索方法５００のフローチャートである。いくつかの実施形態で、粗検索は、図４のブロック４３０に関して上述されたようなウェブサイトの検索を含んでよい。ブロック５１０で、例外名がスタックトレースから取得されてよい。いくつかの実施形態で、ランタイム例外がスタックトレースとして与えられてよい。例えば、ランタイム例外の発生に応答して、図１のデバイス１２０のようなデバイスは、ランタイム例外の例外名を取得するようにスタックトレースを調べてよい。ブロック５２０で、例外タイプがスタックトレースから取得されてよい。
ブロック５３０で、回答済みの質問に対してフィルタが付加されてよい。いくつかの実施形態で、特定のウェブサイトの検索は“質疑応答”タイプのポストに関連してよく、このとき、各ポストは質問を含み得る。いくつかのポストはまた、質問に対する回答も含んでよい。代替的に、又は追加的に、いくつかのポストはまた、多種多様な回答、可能性のある回答、及び／又は提案される回答を含んでもよい。いくつかの実施形態で、ウェブサイトの検索は、回答を含む投稿のみを検索するオプションを含んでもよい。
ブロック５４０で、プログラミング言語タグのようなタグが付加されてもよい。いくつかの実施形態で、タグは、追加検索基準を含んでもよい。例えば、タグは、検索結果が、例えば、直近一週間、１年、２年といった、最近の期間内に、投稿、回答、更新、などされている必要があることといった、最新性（recency）オプションを含んでもよい。代替的に、又は追加的に、いくつかの実施形態で、タグは、特定の作者が質問を投稿した及び／又は回答を投稿した場合にしかポストを返さない検索を生じさせ得る他のタグを含んでもよい。代替的に、又は追加的に、いくつかの実施形態で、タグは、コードスニペットが特定のプログラミング言語で書かれているポストしか返さない検索を生じさせ得るプログラミング言語タグを含んでもよい。代替的に、又は追加的に、いくつかの実施形態で、タグは、検索からの所望数の結果を含んでもよい。例えば、タグは、１０個の検索結果が返されることを特定してよい。
ブロック５５０で、例外名、例外タイプ、フィルタ、及びタグを用いて、クエリが構成されてよい。いくつかの実施形態で、クエリは順序依存であってよい。かような及び他の実施形態で、検索からの結果は、検索クエリ内の語の順序に依存してよい。例えば、検索クエリにおいて最初に例外名を置くことは、例外名を最後に置くこととは異なった結果を検索実行時に返し得る。
ブロック５６０で、クエリは、ウェブサイトに関連したウェブサービスアプリケーションプログラミングインターフェイス（ＡＰＩ）へ送られてよい。いくつかの実施形態で、ＡＰＩは、検索クエリに従って検索を実行してよく、そして、検索の結果を返してよい。ブロック５７０で、アプリケーションプログラミングインターフェイスから結果が読み出されてよい。いくつかの実施形態で、結果は、関連性の降順で配置されてよい。例えば、アプリケーションプログラミングインターフェイスによって使用されるアルゴリズムは、クエリによる検索の結果を順位付けしてよい。ブロック５８０で、結果は、構造化されたフォーマットで取り出されてよい。例えば、いくつかの実施形態で、ウェブサイト上のポストは、質問及び回答を含んでよい。かような及び他の実施形態で、クエリを用いて実行された検索の結果は、ポストの質問と質問に対する回答との間の区別を保つように構造化されてよい。
本開示の適用範囲から逸脱することなしに、図５に対して変更、追加、又は削除が行われてよい。例えば、方法５００は、本開示で図示及び記載されているものよりも多い又は少ない要素を含んでよい。
図６は、例となる精細検索（fine search）方法６００のフローチャートである。いくつかの実施形態で、精細検索は、図４のブロック４６０に関して上述されたような、ウェブサイトの特定のポストを選択することを含んでよい。ブロック６１０で、メソッドがソフトウェアプログラムから取得されてよい。メソッドは、ソフトウェアプログラムにおいて例外を投げられていてよく、それに応じて取得されてよい。例えば、いくつかの実施形態で、図１のソフトウェアプログラム１２２のようなソフトウェアプログラムは、多数のメソッドを含んでよい。例えば、ソフトウェアプログラムは、１０個のメソッド、１００個のメソッド、１０００個のメソッド、又はそれよりも多いメソッドを含んでよい。ブロック６２０で、訪問されていないポストが疎スーパーセットから選択されてよい。疎スーパーセットは、上記の図５のブロック５７０で読み出された結果を含んでよい。例えば、疎スーパーセットは、クエリを用いて実行された結果により得られたポストの組を含んでよい。最初にブロック６２０に入るとき、疎スーパーセット内のあらゆるポストが、未訪問とフラグを立てられてよい。ポストが選択される場合に、そのポストは訪問済みとフラグを立てられてよい。
ブロック６３０で、ポストからコードスニペットが取り出されてよい。いくつかの実施形態で、ポストは、違反を有するソフトウェアプログラムを表し得るコードスニペットと、コードスニペットに関連した質問と、質問に対する１つ以上の回答とを含んでよい。ブロック６４０で、コード類似性照合が、コード類似性スコアを決定するためにコードスニペットとメソッドとの間で実行されてよい。いくつかの実施形態で、コード類似性は、後述される図７の方法７００のような方法により決定されてよい。代替的に、又は追加的に、いくつかの実施形態で、コード類似性は、意味的及び／又は構文的コードクローン検出のための他の方法により決定されてもよい。例えば、機能、変数、構成、値、及び／又はクラス間の類似性の程度が、コードスニペットとメソッドとの間で決定されてよい。いくつかの実施形態で、メソッドとコードスニペットとの間の類似性の程度が大きいほど、より高いコード類似性スコアに対応し得る。
決定ブロック６５０で、疎スーパーセット内に訪問されていないポストが残っているかどうかが決定されてよい。訪問されていないポストが残っていること（決定ブロック６５０での“はい”）に応答して、方法はブロック６２０に戻ってよく、疎スーパーセットから他の訪問されていないポストを選択してよい。訪問されていないポストが残っていないこと（決定ブロック６５０での“いいえ”）に応答して、方法はブロック６６０へ進んでよい。ブロック６６０で、メソッドに対して最も高いコード類似性スコアを有しているコードスニペットに関連したポストが、選択されてよい。このポストは、メソッドに最もよく類似していると決定されてよい。
本開示の適用範囲から逸脱することなしに、図６に対して変更、追加、又は削除が行われてよい。例えば、方法６００は、本開示で図示及び記載されているものよりも多い又は少ない要素を含んでよい。
図７は、類似性スコアを決定する、例となる方法７００のフローチャートである。ブロック７０５で、コードスニペットが、ウェブサイトのポストの質問セクションから取得されてよい（“質問コードスニペット”）。ブロック７１０で、質問コードスニペットの抽象木表現が取得されてよい。質問コードスニペットの抽象木表現はＱＴと呼ばれ得る。いくつかの実施形態で、抽象木表現は、抽象構文木の簡約化、タイプ推測、及び抽象化のプロセスによって、取得されてよい。
簡約化の間、質問コードスニペットの抽象構文木が取得されてよい。簡約化の部分として、抽象構文木は、木をコンパクトに且つ読みやすくするようにパースされ圧縮されてよい。いくつかの実施形態で、抽象構文木をパースし圧縮することは、抽象構文木の複数のノードを、結果として得られる抽象木表現内の単一ノードにまとめること含んでよい。例えば、抽象構文木は、ソフトウェアプログラムにおいてトークンごとにノードを含んでよい。例えば、ソースコード内の文“ｉｎｔ ａ；”は、文（statement）ノード、式（expression）ノード、変数（variable）ノード、などを含む一連のノードとして抽象構文木において表現されてよい。簡約化の部分として、ソースコード内の文“ｉｎｔ ａ；”に関連した抽象構文木内のノードは、パースされ、抽象木表現内の単一のノード、すなわち“ｄｅｃｌａｒｅ（ｉｎｔ，ａ）”に圧縮されてよい。ソースコードをパースすることは、ソースコード内の文を構成（construct）、タイプ（type）（すなわち、変数タイプ）、及び変数名に分けることを含んでよい。例えば、構成は、ソースコード内の文の関数を含んでよい。上記の“ｄｅｃｌａｒｅ（ｉｎｔ，ａ）”ノードの場合に、構成は“ｄｅｃｌａｒｅ”であってよく、タイプは“ｉｎｔ”であってよく、変数名は“ａ”であってよい。構成は、“ｆｏｒ”、“ｆｏｒ−ｅａｃｈ”、“ｗｈｉｌｅ”のようなループ、“ｉｆ”のような条件、宣言及びコンストラクタ、“ｄｅｌｅｔｅ”及び“ｉｎｓｅｒｔ”のようなメソッド、などを含んでよい。タイプは、“整数”（“ｉｎｔ”）、浮動小数点（“ｆｌｏａｔ”）、文字列、ブーリアン（Booleans）、コレクション、などを含んでよい。
タイプ推測の間、変数のデータタイプが推測されてよい。タイプ推測は、ソースコード内の変数の使用に基づき、変数の推測されるタイプを決定することを含んでよい。例えば、“ｆｏｒ”ループのようなループ内で使用される変数は、たとえ変数がソフトウェアプログラム、抽象構文木、及び／又は圧縮された抽象構文木においてそのようなものとして明示的に定義されていないとしても、整数であると推測され得る。更なる例として、ソースコード内の文は“ｉｆ（ｆｌａｇ）”を含んでよい。変数“ｆｌａｇ”のデータタイプは、ソースコードにおいて識別されなくてもよいが、“ｉｆ”文における変数“ｆｌａｇ”の使用に基づいて、“ｆｌａｇ”は“ブール”型の変数であることが推測され得る。よって、文“ｉｆ（ｆｌａｇ）”は、“ｒｏｏｔ”ノード、更なる“ｄｅｃｌａｒｅ（Ｂｏｏｌｅａｎ，ｆｌａｇ）”ノード、及び“ｉｆ（ｆｌａｇ）”ノードへと木表現において変換されてよい。同様に、タイプ推測は、メソッド範囲又は呼び出し側（caller）を推測することと、変数値を推測することとを伴ってよい。タイプ推測の間、抽象構文木に存在し得ないノードが抽象木表現に追加されてもよい。
抽象化の間、異なるデータタイプ及び／又は構成は、単一のデータタイプ及び／又は構成に一般化されてよい。かような及び他の実施形態で、変数のデータタイプが抽象化されてよい。例えば、データタイプは、変数のスーパータイプに変更されてよい。抽象化の間、整数、浮動小数点、文字、文字列、及びブーリアンのような基本データ型は、抽象化されないままであってよい。他のデータタイプはスーパータイプの部分であってよい。例えば、“コレクション”（Collection）データタイプは、“配列”（Array）データタイプのサブタイプとして含まれてよい。抽象化の部分として、“配列”データタイプである変数を含むノードは、“コレクション”データタイプである変数を含むように抽象化されてよい。いくつかのデータタイプは、用途に特有の及び／又はユーザにより定義されたタイプを含んでもよい。かようなデータタイプは、一般的なタイプの変数に変換されてよい。追加的に、又は代替的に、いくつかの実施形態で、変数タイプは、変数タイプのスーパータイプに抽象化されてよい。例えば、いくつかのプログラミング言語では、“コレクション”は“リスト”（List）のスーパータイプであってよい。よって、“リスト”変数は、“コレクション”変数であるよう抽象化されてよい。代替的に、又は追加的に、抽象化の間、インジケータ名が抽象化されてよい。第１変数名“ｌｉｓｔ”は名称“＄ｖ１”に抽象化されてよく、第２変数名“ｓ”は“＄ｖ２”に抽象化されてよい。代替的に、又は追加的に、抽象化の間、構成は一般化されてよい。例えば、“ｆｏｒ”、“ｆｏｒ−ｅａｃｈ”、及び“ｗｈｉｌｅ”は夫々、“ループ”（loop）構成に抽象化されてよい。追加的に、又は代替的に、抽象化の間、複製サブツリーが抽象化及びリファクタリングされてよい。
一例として、ソフトウェアプログラムは、２行のソースコードを含んでよい：

List<String>list = new ArrayList<>();
For(String s: list){…}

ここで、省略記号は、何らか潜在的なコードを表す。
簡約化、タイプ推測、及び抽象化のプロセスの間、ソースコードの抽象構文木は、抽象木表現を生成するように変更されてよい。例えば、“リスト”（List）変数タイプは、“コレクション”（Collection）変数タイプに抽象化されてよい。“ｌｉｓｔ”変数名は、“＄ｖ１”変数名に抽象化されてよい。“ｆｏｒ”ループ構成は、“ループ”（loop）構成に抽象化されてよい。変数名“ｓ”は、変数名“＄ｖ２”に抽象化されてよい。コードの結果とし得られる抽象木表現は、ルート（root）ノードと、ルートノードの下にある“ｄｅｃｌａｒｅ（Ｃｏｌｌｅｃｔｉｏｎ，＄ｖ１）”ノードと、“ｄｅｃｌａｒｅ（Ｃｏｌｌｅｃｔｉｏｎ，＄ｖ１）”ノードの下にある“ｃｏｎｓｔｒｕｃｔｏｒ（Ｃｏｌｌｅｃｔｉｏｎ）”ノードと、ルートノードの下にある“ｌｏｏｐ（＄ｖ１）”ノードと、“ｌｏｏｐ（＄ｖ１）”ノードの下にある“ｄｅｃｌａｒｅ（Ｓｔｒｉｎｇ，＄ｖ２）”ノードとを含み得る。
ブロック７１５で、ポスト内の訪問されていない回答が選択されてよい。いくつかの実施形態で、回答はコードスニペット（“回答コードスニペット”）を含んでよい。例えば、回答コードスニペットは、質問のコードスニペットの一部のパッチ又は修正バージョンであってよい。かような及び他の実施形態で、回答コードスニペットは、質問コードスニペットに含まれるコードの各行を含まなくてもよい。例えば、ユーザは、違反に関係があるコードの行しか回答に含めなくてもよい。ブロック７２０で、回答コードスニペットの抽象木表現が取得されてよい。回答コードスニペットの抽象木表現はＡＴと呼ばれ得る。いくつかの実施形態で、回答コードスニペットの抽象木表現は、質問コードスニペットの抽象木表現と同じように取得されてよい。ブロック７２５で、質問コードスニペットの抽象木表現及び回答コードスニペットの抽象木表現は、重なりを決定するようにアライメントされてよい。いくつかの実施形態で、質問コードスニペットの抽象木表現及び回答コードスニペットの抽象木表現のアライメントは、木編集距離を用いて決定されてよい。かような及び他の実施形態で、木編集距離は、異なる木の類似性及び／又は不同性の程度の表現であってよい。例えば、木編集距離は計算されてよい。木編集距離に基づいて、質問コードスニペットの抽象木表現と回答コードスニペットの抽象木表現との間のアライメントが決定されてよい。すなわち、質問コードスニペットの抽象木表現のどのノードが、回答コードスニペットの抽象木表現のどのノードと対応するかが、決定されてよい。木編集距離は、２つの木のうちの一方を他方の木に変換するために必要とされる最低限の動作数に基づき、決定されてよい。かような及び他の実施形態で、動作は、数ある動作の中でもとりわけ、削除動作（例えば、第１の木が、第２の木にはないノードを含む場合）、追加動作（例えば、第１の木が、第２の木にあるノードを欠いている場合）、及び整合動作（第１の木のノードが、中身に関して第２の木のノードと一致するが、２つのノードのコンテキストは、必ずしも完全には一致し得ない場合）を含んでよい。
ブロック７３０で、各重複ノードでの関連性スコアが決定されてよい。いくつかの実施形態で、関連性スコアは重み付けされてよい。例えば、いくつかの実施形態で、夫々の回答は回答投票と関連付けられてよい。ウェブサイトのユーザは、特定の回答について、質問に対する解であると投票してよい。回答に関連した投票の総数は、回答の関連性に関連付けられてよい。いくつかの実施形態で、ウェブサイト上でポストにおいて質問を尋ねたユーザはまた、回答を最良の回答として選択してもよい。いくつかの実施形態で、最良の回答として選択された回答は、最良に関連した他の回答よりも関連性があり得る。例えば、いくつかの実施形態で、特定の回答に関連したノードの関連性スコアは、

関連性スコアＰ，Ａ＝１＋（重み１×ａｎｓｗｅｒｖｏｔｅｓ）＋（重み２×ｉｆ−ａｃｃｅｐｔｅｄ−ａｎｓｗｅｒ）

と決定されてよい。かような及び他の実施形態で、ａｎｓｗｅｒｖｏｔｅｓは、回答に賛成するウェブサイト上の投票の総数であってよく、ｉｆ−ａｃｃｅｐｔｅｄ−ａｎｓｗｅｒは、回答がポスト内の質問の作者によって最良の回答としてマークされた場合には１であってよく、そうでない場合には０であってよい。かような及び他の実施形態で、重み１及び重み２は、任意の数であってよい。例えば、重み１は０．００１であってよく、重み２は２であってよい。例えば、回答が投票数０であって、最良の回答としてマークされていない場合には、関連性スコアは１＝１＋（０．００１×０）＋（２×０）であってよい。代替的に、回答が投票数１０００であって、最良の回答としてマークされる場合には、関連性スコアは４＝１＋（０．００１×１，０００）＋（２×１）である。
決定ブロック７３５で、質問に関連した訪問されていない回答が残っているかどうかが決定されてよい。訪問されていないが残っていること（決定ブロック７３５での“はい”）に応答して、方法７００はブロック７１５に戻ってよい。訪問されていないが残っていないこと（決定ブロック７３５での“いいえ”）に応答して、方法７００はブロック７４０へ進んでよい。
ブロック７４０で、質問コードスニペットの抽象木表現からのノードは、降順の関連性スコア順序で配置されてよく、ノードの一部が選択されてよい。いくつかの実施形態で、各重複ノードでの重み付けされた関連性スコアは、ポストに関連した全ての回答にわたって合計されてよい：

関連性スコアＰ＝Σ関連性スコアＰ，Ａ

いくつかの実施形態で、特定の数のノードが選択されてよく、選択されたノードは、最も高い関連性スコアを有するノードである。かような及び他の実施形態で、特定の数は、５、１０、２０、１００、又は任意の数であってよい。例えば、特定の数は１０であってよく、関連性スコアが高い上位１０個のノードが選択されてよい。代替的に、又は追加的に、いくつかの実施形態で、閾関連性スコアを上回る関連性スコアを有するあらゆるノードが選択されてもよい。かような及び他の実施形態で、閾関連性スコアは、２、１０、１５、又は任意の数であってよい。例えば、閾関連性スコアは１０であってよい。１０以上である重み付けされた関連性スコアを有する、質問コードスニペットの抽象木表現内の各ノードが、選択されてよい。いくつかの実施形態で、閾関連性スコアは、質問に関連した回答の数に基づき決定されてよい。
ブロック７４５で、質問及び選択されたノードに基づき、パターンが取り出されてよい。いくつかの実施形態で、パターンは、質問コードスニペット及び回答コードスニペットに関連した抽象木表現に類似した抽象木表現であってよい。例えば、パターンは、選択されたノードのみを含めることによって取得される、質問コードスニペットの抽象木表現のサブツリーであってよい。
ブロック７５０で、ソフトウェアプログラムのコードスニペット（“ソフトウェアプログラムコードスニペット”）が取得されてよい。いくつかの実施形態で、ソフトウェアプログラムコードスニペットは、ソフトウェアプログラムのメソッドであってよい。ブロック７５５で、ソフトウェアプログラムコードスニペットの抽象木表現が取得されてよい。いくつかの実施形態で、ソフトウェアプログラムコードスニペットの抽象木表現は、質問コードスニペットの抽象木表現及び回答コードスニペットの抽象木表現と同様にして取得されてよい。
ブロック７６０で、パターン及びソフトウェアプログラムコードスニペットの抽象木表現は、重複ノードを見つけるようにアライメントされてよい。いくつかの実施形態で、アライメントは、質問コードスニペットの抽象木表現及び回答のアライメントと同様であってよい。
ブロック７６５で、類似性スコアが重複ノードに基づき計算されてよい。いくつかの実施形態で、類似性スコアは重み付けされてよい。いくつかの実施形態で、類似性スコアは複数の因子に基づき計算されてよい。例えば、類似性スコアは、数ある因子の中でもとりわけ、構成類似性、タイプ類似性、及び変数使用関係類似性に基づいてよい。いくつかの実施形態で、構成類似性は、抽象木表現内の重複ノードが同じ構成を含む場合に現れてよい。例えば、両方の重複ノードが“ｄｅｃｌａｒｅ”構成である場合に、構成類似性が存在し得る。上述されたように、構成は、とりわけ“ｄｅｃｌａｒｅ”、“ｃｏｎｓｔｒｕｃｔｏｒ”、“ｌｏｏｐ”、“ｍｅｔｈｏｄ”、“ｉｆ”を含んでよい。いくつかの実施形態で、タイプ類似性は、構成類似性が存在するとの決定に応答して、決定されてよい。かような及び他の実施形態で、タイプ類似性は、抽象木表現内の重複ノードが同じ構成及び同じタイプを含む場合に存在してよい。例えば、両方の重複ノードが“ｄｅｃｌａｒｅ”構成であり、“整数”（integer）タイプを含む場合に、タイプ類似性が存在し得る。上述されたように、タイプは、とりわけ“Ｂｏｏｌｅａｎ”、“ｃｏｌｌｅｃｔｉｏｎ”、“ｓｔｒｉｎｇ”、“ｉｎｔｅｇｅｒ”、“ｆｌｏａｔ”を含んでよい。いくつかの実施形態で、変数使用類似性は、構成類似性及びタイプ類似性が存在するとの決定に応答して、決定されてよい。かような及び他の実施形態で、変数使用類似性は、変数が両方の重複ノードで同じように使用される場合に存在してよい。例えば、変数がソフトウェアプログラムコードスニペットの抽象木表現及びパターンの両方においてｌｏｏｐ及びｒｅｍｏｖｅメソッドで使用される場合に、変数使用類似性が存在し得る。いくつかの実施形態で、変数使用類似性は、ジャカール指数（Jaccard index）を用いて決定されてよい。
類似性スコアは、

類似性スコア＝（重みＡ×構成類似性）＋（重みＢ×タイプ類似性）＋（重みＣ×変数使用関係類似性）

と計算されてよい。かような及び他の実施形態で、構成類似性は、構成が一致している重複ノードの数であってよい。かような及び他の実施形態で、タイプ類似性は、一致した構成及び一致したタイプの両方を有している重複ノードの数であってよい。かような及び他の実施形態で、変数使用関係類似性は、同じ又は類似した状況で変数が使用されるインスタンスの数であってよい。代替的に、又は追加的に、いくつかの実施形態で、変数使用関係類似性は、ジャカール指数Ｊとして示されてよく、上述されたように、ソフトウェアプログラムのコードスニペットにおいて変数が使用される場所の数ＶＳＰと、パターン内の一致ノードにおいて現れる対応する変数がパターンにおいて使用される場所の数ＶＰとの共通集合のサイズを和集合のサイズで割ったもの：

Ｊ（ＶＳＰ，ＶＰ）＝｜ＶＳＰ∩ＶＰ｜／｜ＶＳＰ∪ＶＰ｜
＝｜ＶＳＰ∩ＶＰ｜／（｜ＶＳＰ｜＋｜ＶＰ｜−｜ＶＳＰ∩ＶＰ｜）

として決定され得る。いくつかの実施形態で、異なる因子は、異なる重みを有してよい。例えば、構成類似性に関連した重みＡは０．５であってよく、タイプ類似性に関連した重みＢは２．０であってよく、変数使用関係類似性に関連した重みＣは１．０であってよい。
本開示の適用範囲から逸脱することなしに、図７に対して変更、追加、又は削除が行われてよい。例えば、方法７００は、本開示で図示及び記載されているものよりも多い又は少ない要素を含んでもよい。代替的に、又は追加的に、いくつかの実施形態で、要素は、別の順序で配置されてもよい。例えば、ブロック７５０は、ブロック７０５の前に配置されてもよい。
図８は、本開示の少なくとも１つの実施形態に従う、例となるコンピューティングシステム８０２のブロック図を表す。コンピューティングシステム８０２は、ソフトウェアパッチの自動検索及び識別に関連した１以上の動作を実装又は案内するよう構成されてよい。コンピューティングシステム８０２は、プロセッサ８５０、メモリ８５２、及びデータストレージ８５４を含んでよい。プロセッサ８５０、メモリ８５２、及びデータストレージ８５４は、通信上結合されてよい。
一般に、プロセッサ８５０は、様々なコンピュータハードウェア又はソフトウェアモジュールを含む任意の適切な特別目的又は汎用のコンピュータ、コンピューティングエンティティ、又はプロセッシングデバイスを含んでよく、任意の適用可能なコンピュータ可読記憶媒体に記憶されている命令を実行するよう構成されてよい。例えば、プロセッサ８５０は、マイクロプロセッサ、マイクロコントローラ、デジタル信号プロセッサ（ＤＳＰ）、特定用途向け集積回路（ＡＳＩＣ）、フィールドプログラマブルゲートアレイ（ＦＰＧＡ）、あるいは、プログラム命令を解釈及び／若しくは実行するよう並びに／又はデータを処理するよう構成された任意の他のデジタル又はアナログ回路構成を含んでよい。図８には単一のプロセッサとして表されているが、プロセッサ８５０は、本開示で記載される任意数の動作を個別的に又は集合的に実行するか又はその実行を指示するよう構成された任意数のプロセッサを含んでよい。更に、１以上のプロセッサが、異なるサーバのような、１以上の異なる電子デバイスに存在してもよい。
いくつかの実施形態で、プロセッサ８５０は、メモリ８５２、データストレージ８５４、又はメモリ８５２及びデータストレージ８５４に記憶されているプログラム命令を解釈及び／若しくは実行するよう並びに／又は記憶されているデータを処理するよう構成されてよい。いくつかの実施形態で、プロセッサ８５０は、データストレージ８５４からプログラム命令をフェッチし、プログラム命令をメモリ８５２にロードしてよい。プログラム命令がメモリ８５２内にロードされた後、プロセッサ８５０はプログラム命令を実行してよい。
例えば、いくつかの実施形態で、図４の方法４００、図５の方法５００、及び／又は図６の方法６００は、プログラム命令としてデータストレージ８５４に含まれてよい。プロセッサ８５０は、方法のプログラム命令をデータストレージ８５４からフェッチしてよく、そして、方法のプログラム命令をメモリ８５２にロードしてよい。方法のプログラム命令がメモリ８５２にロードされた後、プロセッサ８５０は、コンピューティングシステムが命令によって指示されるように方法に関連した動作を実装し得るように、プログラム命令を実行してよい。
メモリ８５２及びデータストレージ８５４は、コンピュータ実行可能な命令又はデータ構造を運ぶか又は記憶しているコンピュータ可読記憶媒体を含んでよい。かようなコンピュータ可読記憶媒体は、プロセッサ８５０のような汎用又は特別目的のコンピュータによってアクセスされ得る任意の利用可能な非一時媒体を含んでよい。一例として、制限なしに、かようなコンピュータ可読記憶媒体は、ランダムアクセスメモリ（ＲＡＭ）、リードオンリーメモリ（ＲＯＭ）、電気的消去可能なプログラム可能リードオンリーメモリ（ＥＥＰＲＯＭ）、コンパクトディスク・リードオンリーメモリ（ＣＤ−ＲＯＭ）若しくは他の光ディスクストレージ、磁気ディスクストレージ若しくは他の磁気記憶デバイス、フラッシュメモリデバイス（例えば、ソリッドステートメモリデバイス）、あるいは、コンピュータ実行可能な命令又はデータ構造の形で特定のプログラムコードを搬送又は記憶するために使用され得且つ汎用又は特別目的のコンピュータによってアクセスされ得る任意の他の記憶媒体を含む有形な又は非一時的なコンピュータ可読記憶媒体を含んでよい。上記のものの組み合わせも、コンピュータ可読記憶媒体の範囲内に含まれ得る。コンピュータ実行可能命令は、例えば、プロセッサ８５０に特定の動作又は動作群を実行させるよう構成された命令及びデータを含んでよい。
本開示の適用範囲から逸脱することなしに、コンピューティングシステム８０２に対して変更、追加、又は削除が行われてよい。例えば、いくつかの実施形態で、コンピューティングシステム８０２は、明示的に図示又は記載されていないことがある任意数の他の構成要素を含んでもよい。
理解され得るように、上述されたように２段階検索プロセスによるソフトウェアパッチの自動検索及び識別は、ソフトウェアプログラミングを改善する手段及び／又はソフトウェアプログラムを開発する時間を削減する手段として使用されてよい。従って、本明細書で記載されるシステム及び方法は、ソフトウェアプログラム内の違反を修正し、いくつかの場合には、ソフトウェアプログラムを開発するための開発時間を削減する能力を提供する。
上記の通り、本開示で記載される実施形態は、以下でより詳細に論じられるように、様々なコンピュータハードウェア又はソフトウェアモジュールを含む特別目的又は汎用のコンピュータ（例えば、図８のプロセッサ８５０）の使用を含んでよい。更に、上記の通り、本開示で記載される実施形態は、コンピュータ実行可能な命令又はデータ構造を運ぶか又は記憶しているコンピュータ可読媒体（例えば、図８のメモリ８５２又はデータストレージ８５４）を用いて実装されてもよい。
本開示で使用されるように、「モジュール」又は「コンポーネント」との語は、モジュール若しくはコンポーネントの動作を実行するよう構成された特定のハードウェア実施、及び／又はコンピューティングシステムの汎用のハードウェア（例えば、コンピュータ可読媒体、プロセッシングデバイス、など）によって記憶及び／又は実行され得るソフトウェアオブジェクト若しくはソフトウェアルーチンを指し得る。いくつかの実施形態で、本開示で記載される種々のコンポーネント、モジュール、エンジン、及びサービスは、コンピューティングシステムで（例えば、別個のスレッドとして）実行されるオブジェクト又はプロセスとして実施されてもよい。本開示で記載されるシステム及び方法の一部は、（汎用のハードウェアによって記憶及び／又は実行される）ソフトウェアにおいて実施されるものとして概して記載されているが、特定のハードウェア実施又はソフトウェアと特定のハードウェア実施との組み合わせも可能であり企図される。本明細書中、「コンピューティングエンティティ」は、本開示で先に定義されている任意のコンピューティングシステム、又はコンピューティングシステムで実行される任意のモジュール若しくはモジュールの組み合わせであってよい。
本開示で、特に添付の特許請求の範囲（例えば、添付の特許請求の本文）で使用される語は、一般的に、“非限定的な（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. 前記少なくとも１つのウェブサイトを検索して前記ポストの組を識別することは、
    前記第１違反の前記１つ以上の特性に基づき、且つ、ポストが該ポストに関する回答又はソースコード言語を含むかどうかを示す１つ以上のタグに基づき、検索クエリを生成することと、
    前記検索クエリに基づき前記少なくとも１つのウェブサイト上で複数のポストを順位付けすることと、
    上位１０個に順位付けされたポストを前記ポストの組として識別することと
    を有する、
    請求項１５に記載のシステム。
JP2020047853A 2019-08-23 2020-03-18 ソフトウェアパッチの自動検索及び識別 Withdrawn JP2021034007A (ja)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US16/550069 2019-08-23
US16/550,069 US11042467B2 (en) 2019-08-23 2019-08-23 Automated searching and identification of software patches

Publications (1)

Publication Number Publication Date
JP2021034007A true JP2021034007A (ja) 2021-03-01

Family

ID=74646975

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2020047853A Withdrawn JP2021034007A (ja) 2019-08-23 2020-03-18 ソフトウェアパッチの自動検索及び識別

Country Status (2)

Country Link
US (1) US11042467B2 (ja)
JP (1) JP2021034007A (ja)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2021079258A (ja) * 2021-03-04 2021-05-27 株式会社三洋物産 遊技機
KR20230057712A (ko) * 2021-10-22 2023-05-02 슈어소프트테크주식회사 동일 위치에 대한 다수의 패치들 중 최종 패치를 선택하는 방법 및 최종 패치 선택 모듈

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US11714629B2 (en) * 2020-11-19 2023-08-01 Khoros, Llc Software dependency management
CN113282572B (zh) * 2021-07-20 2021-10-29 湖南省第二测绘院 一种耕地网格化划分的方法、系统及终端设备
US20230236944A1 (en) * 2022-01-21 2023-07-27 Capital One Services, Llc Error handling recommendation engine

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8082471B2 (en) * 2007-05-11 2011-12-20 Microsoft Corporation Self healing software
CN106537333A (zh) * 2014-06-13 2017-03-22 查尔斯斯塔克德拉珀实验室公司 用于软件产物的数据库的系统和方法
US9965633B2 (en) * 2015-12-29 2018-05-08 Sap Se Using code similarities for improving auditing and fixing of SAST-discovered code vulnerabilities
US20200210158A1 (en) * 2017-05-30 2020-07-02 Phase Change Software Llc Automated or machine-enhanced source code debugging
US10606570B2 (en) 2018-03-08 2020-03-31 Fujitsu Limited Representing software with an abstract code graph
US10671511B2 (en) * 2018-06-20 2020-06-02 Hcl Technologies Limited Automated bug fixing

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2021079258A (ja) * 2021-03-04 2021-05-27 株式会社三洋物産 遊技機
KR20230057712A (ko) * 2021-10-22 2023-05-02 슈어소프트테크주식회사 동일 위치에 대한 다수의 패치들 중 최종 패치를 선택하는 방법 및 최종 패치 선택 모듈
US11822915B2 (en) 2021-10-22 2023-11-21 Suresoft Technologies Inc. Method for selecting the last patch from among a plurality patches for same location and the last patch selection module
KR102605212B1 (ko) * 2021-10-22 2023-11-24 슈어소프트테크주식회사 동일 위치에 대한 다수의 패치들 중 최종 패치를 선택하는 방법 및 최종 패치 선택 모듈

Also Published As

Publication number Publication date
US11042467B2 (en) 2021-06-22
US20210056006A1 (en) 2021-02-25

Similar Documents

Publication Publication Date Title
JP2021034007A (ja) ソフトウェアパッチの自動検索及び識別
US9798648B2 (en) Transitive source code violation matching and attribution
Franks et al. Cacheca: A cache language model based code suggestion tool
US9684709B2 (en) Building features and indexing for knowledge-based matching
CN116860949B (zh) 问答处理方法、装置、系统、计算设备及计算机存储介质
AU2017272243B2 (en) Method and system for creating an instance model
US8364696B2 (en) Efficient incremental parsing of context sensitive programming languages
EP3974964A1 (en) Automated generation of software patches
Abebe et al. Automated identifier completion and replacement
US11556455B2 (en) Automated identification of posts related to software patches
EP4080372A1 (en) Semi-supervised bug pattern revision
Lee et al. Automatic detection of design pattern for reverse engineering
JP2022078962A (ja) エラーに関連するコードの行の自動識別
Rainford et al. Code and data synthesis for genetic improvement in emergent software systems
US10997056B1 (en) Generation of explanatory and executable repair examples
Sieper et al. Semantic code search with neural bag-of-words and graph convolutional networks
Siers Generating specifications for JSON APIs for formal and semantic use
Pilař Systém vyhledávání a filtrováni pro HelpStone. org
Reese Natural Language Processing with Java Cookbook: Over 70 recipes to create linguistic and language translation applications using Java libraries
Blok ZITA-A Self Learning Tutoring Assistant
CN117785156A (zh) 一种单文件优化方法、装置、电子设备及存储介质
CN118152585A (zh) 一种利用知识图谱提升大语言模型准确性的方法及装置
CN115756487A (zh) 目标类型变量查找方法、电子设备及存储介质
Lemons Applying sequence-to-sequence RNN models to IR-based bug localization
Shah et al. Context aware ontology based information extraction

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20221208

A761 Written withdrawal of application

Free format text: JAPANESE INTERMEDIATE CODE: A761

Effective date: 20240126