JP6878933B2 - ソフトウエアプログラムの修復のための方法及びプログラム - Google Patents
ソフトウエアプログラムの修復のための方法及びプログラム Download PDFInfo
- Publication number
- JP6878933B2 JP6878933B2 JP2017022071A JP2017022071A JP6878933B2 JP 6878933 B2 JP6878933 B2 JP 6878933B2 JP 2017022071 A JP2017022071 A JP 2017022071A JP 2017022071 A JP2017022071 A JP 2017022071A JP 6878933 B2 JP6878933 B2 JP 6878933B2
- Authority
- JP
- Japan
- Prior art keywords
- parameter
- score
- repair
- candidates
- candidate
- 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
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/3668—Software testing
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
-
- 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/3668—Software testing
- G06F11/3672—Test management
- G06F11/3692—Test management for test results analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
- G06F16/24—Querying
- G06F16/245—Query processing
- G06F16/2457—Query processing with adaptation to user needs
- G06F16/24578—Query processing with adaptation to user needs using ranking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/445—Program loading or initiating
- G06F9/44589—Program code verification, e.g. Java bytecode verification, proof-carrying code
-
- 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
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3664—Environments for testing or debugging software
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
- G06F2201/81—Threshold
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
- G06F2201/86—Event-based monitoring
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
- G06F2201/865—Monitoring of software
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
- G06F2201/88—Monitoring involving counting
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Computational Linguistics (AREA)
- Data Mining & Analysis (AREA)
- Databases & Information Systems (AREA)
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
Description
(1) TSS = (2 * |LCS(str1, str2)|)/(|str1| + |str2|)
(2) TDS = 1 - TSS
プロセッサが、
テストプログラムセットを用いて、ソフトウエアプログラムの不具合位置での不具合を特定し、
前記不具合に対する複数の修復候補の各々に対してテキスト類似度スコアを決定することで、複数のテキスト類似度スコアを決定し、
前記複数の修復候補を、前記テキスト類似度スコアに基づき分類し、
分類に基づき、前記複数の修復候補から特定の修復候補を選択し、
前記特定の修復候補の選択に基づき、前記不具合位置において前記特定の修復候補を適用する、
処理を実行する方法。
前記プロセッサが、
最長共通部分列の決定に基づき前記テキスト類似度スコアを決定する
処理をさらに実行する付記1記載の方法。
前記不具合は、複数のパラメータを含むメソッド呼び出しを含み、
前記複数の修復候補は、前記複数のパラメータの各々について1以上のパラメータ置換候補を含み、
前記複数のテキスト類似度スコアを決定する処理は、前記複数のパラメータの各々のパラメータ位置について位置スコアを決定する処理を含む、
付記1記載の方法。
前記メソッド呼び出しは第1のメソッド呼び出しであり、
前記位置スコアを、特定のパラメータ位置について決定する処理は、
前記第1のメソッド呼び出しにより呼び出されるメソッドの第2のメソッド呼び出しを、前記ソフトウエアプログラムにおいて特定し、
前記第1のメソッド呼び出しの前記特定のパラメータ位置における第1のパラメータと、前記第2のメソッド呼び出しの前記特定のパラメータ位置における第2のパラメータとの間のパラメータテキスト類似度スコアを決定する処理を含む、
付記3記載の方法。
前記位置スコアを、特定のパラメータ位置について決定する処理は、
前記メソッド呼び出しにより呼び出されるメソッドの複数の他のメソッド呼び出しを、前記ソフトウエアプログラムにおいて特定し、
前記メソッド呼び出しの前記特定のパラメータ位置におけるパラメータと、特定された前記複数の他のメソッド呼び出しの各々の前記特定のパラメータ位置におけるパラメータとの間で、パラメータテキスト類似度スコアを決定することで、複数のパラメータテキスト類似度スコアを取得し、
前記複数のパラメータテキスト類似度スコアの平均を求める処理を含む、
付記3記載の方法。
前記不具合は、パラメータを含むメソッド呼び出しを含み、
前記複数の修復候補は、前記メソッド呼び出しに含まれる前記パラメータについての複数のパラメータ置換候補を含み、
前記複数のテキスト類似度スコアを決定する処理は、前記複数のパラメータ置換候補の各々についてパラメータ置換スコアを決定する処理を含む、
付記1記載の方法。
前記複数のパラメータ置換候補は、前記パラメータと同じ種類のパラメータを含む各パラメータ置換候補に基づくパラメータ置換候補として選択される、
付記6記載の方法。
前記不具合はメソッドを呼び出すメソッド呼び出しを含み、
前記複数の修復候補は、前記メソッドと同一のシグネチャを有するソフトウエアプログラムにおける複数の他のメソッドを含み、
前記複数のテキスト類似度スコアを決定する処理は、前記メソッドの名前と前記複数の他のメソッドの名前の各々との間でメソッドテキスト類似度スコアを決定することで、複数のメソッド置換スコアを決定する処理を含む、
付記1記載の方法。
前記複数の修復候補は、第1の複数の修復候補であり、
前記プロセッサが、
前記テキスト類似度スコアに基づき前記第1の複数の修復候補の一部を取り除くことで、第2の複数の修復候補を取得し、
分類に基づき、前記第2の複数の修復候補から前記特定の修復候補を選択する、
処理をさらに実行する付記1記載の方法。
前記不具合は、複数のパラメータを含むメソッド呼び出しを含み、
前記複数のパラメータの各々は、前記メソッド呼び出しにおけるパラメータ位置に有り、
前記複数の修復候補は、前記複数のパラメータの各々に対する複数のパラメータ置換候補を含み、
前記複数のテキスト類似度スコアを決定する処理は、前記複数のパラメータ置換候補の各々について置換スコアを決定する処理を含み、
前記複数のテキスト類似度スコアを決定する処理は、各パラメータ位置について位置スコアを決定する処理を含み、
前記複数のテキスト類似度スコアを決定する処理は、前記複数の修復候補の各々について、当該修復候補に関連付けられた、対応する置換スコアと対応する位置スコアとに基づく合成スコアを決定する処理を含む、
付記1記載の方法。
前記不具合は、レシーバオブジェクトを含むメソッド呼び出しを含み、
前記複数の修復候補は、前記メソッド呼び出しに含まれる前記レシーバオブジェクトに対する複数のレシーバ置換候補を含み、
前記複数のテキスト類似度スコアを決定する処理は、レシーバ置換スコアを前記複数のレシーバ置換候補の各々について決定する処理を含む、
付記1記載の方法。
前記複数のレシーバ置換候補は、前記レシーバオブジェクトと同じ種類のレシーバオブジェクトを含む各レシーバ置換候補に基づくレシーバ置換候補として選択される、
付記11記載の方法。
前記レシーバ置換スコアを、前記複数のレシーバ置換候補のうち特定のレシーバ置換候補について決定する処理は、前記レシーバオブジェクトの名前と前記特定のレシーバ置換候補の名前との間の最長共通部分列に基づきレシーバ置換スコアを決定する処理を含む、
付記11記載の方法。
プロセッサに、
テストプログラムセットを用いて、ソフトウエアプログラムの不具合位置における、メソッドを呼び出すメソッド呼び出しを含む不具合を特定し、
前記メソッド呼び出しを含む前記不具合に応じて、前記不具合に対する複数の修復候補の各々に対してテキスト類似度スコアを決定することで、複数のテキスト類似度スコアを決定し、
前記複数の修復候補を、前記テキスト類似度スコアに基づき分類し、
分類に基づき、前記複数の修復候補から特定の修復候補を選択し、
前記特定の修復候補の選択に基づき、前記不具合位置において前記特定の修復候補を適用する、
処理を実行させるプログラム。
前記複数の修復候補は、前記メソッドと同一のシグネチャを有するソフトウエアプログラムにおける複数の他のメソッドを含み、
前記複数のテキスト類似度スコアを決定する処理は、前記メソッドと前記複数の他のメソッドの各々との間でメソッドテキスト類似度スコアを決定することで、複数のメソッド置換スコアを決定する処理を含む、
付記14記載のプログラム。
前記複数の修復候補は、第1の複数の修復候補であり、
前記プロセッサに、
前記テキスト類似度スコアに基づき前記第1の複数の修復候補の一部を取り除くことで、第2の複数の修復候補を取得し、
分類に基づき前記第2の複数の修復候補から前記特定の修復候補を選択する、
付記14記載のプログラム。
前記メソッド呼び出しは、複数のパラメータを含み、
前記複数のパラメータの各々は、前記メソッド呼び出しにおけるパラメータ位置に有り、
前記複数の修復候補は、前記複数のパラメータの各々に対する複数のパラメータ置換候補を含み、
前記複数のテキスト類似度スコアを決定する処理は、前記複数のパラメータ置換候補の各々について置換スコアを決定する処理を含み、
前記複数のテキスト類似度スコアを決定する処理は、各パラメータ位置について位置スコアを決定する処理を含み、
前記複数のテキスト類似度スコアを決定する処理は、前記複数の修復候補の各々について、当該修復候補に関連付けられた、対応する置換スコアと対応する位置スコアとに基づく合成スコアを決定する処理を含む、
付記14記載のプログラム。
前記メソッド呼び出しは、レシーバオブジェクトを含み、
前記複数の修復候補は、前記メソッド呼び出しに含まれる前記レシーバオブジェクトに対する複数のレシーバ置換候補を含み、
前記複数のテキスト類似度スコアを決定する処理は、レシーバ置換スコアを前記複数のレシーバ置換候補の各々について決定する処理を含む、
付記14記載のプログラム。
前記プロセッサに、
最長共通部分列の決定に基づき前記テキスト類似度スコアを決定する
処理をさらに実行させる付記14記載のプログラム。
プロセッサが、
テストプログラムセットを用いて、ソフトウエアプログラムの不具合位置における、メソッドを呼び出し且つパラメータとレシーバオブジェクトとのうち少なくともいずれかを含むメソッド呼び出しを含む不具合を特定し、
前記不具合に対する複数の修復候補であって且つ前記パラメータに対する1以上のパラメータ置換候補、前記メソッドに対する1以上のメソッド置換候補および前記レシーバオブジェクトに対する1以上のレシーバ置換候補のうちの少なくともいずれかを含む前記複数の修復候補を、前記メソッド呼び出しを含む前記不具合に基づき特定し、
前記メソッド呼び出しを含む前記不具合に応じて、前記不具合に対する複数の修復候補の各々に対して、前記メソッド呼び出しを含む前記不具合に基づきテキスト類似度スコアを決定することで、複数のテキスト類似度スコアを決定し、
前記複数の修復候補を、前記テキスト類似度スコアに基づき分類し、
分類に基づき、前記複数の修復候補から特定の修復候補を選択し、
前記特定の修復候補の選択に基づき、前記不具合位置において前記特定の修復候補を適用する、
処理を実行する方法。
104 テスト対象コード
106 修復モジュール
108 修正されたテスト対象コード
111 テストプログラムセット
112 修復テンプレート
202 計算システム
250 プロセッサ
252 メモリ
254 データ格納部
Claims (6)
- プロセッサが、
テストプログラムセットを用いて、ソフトウエアプログラムの不具合位置における、複数のパラメータを含むメソッド呼び出しを特定し、
前記メソッド呼び出しにより呼び出されるメソッドの複数の他のメソッド呼び出しを、前記ソフトウエアプログラムにおいて特定し、
前記メソッド呼び出しの各パラメータ位置について、前記メソッド呼び出しのパラメータと、特定された前記複数の他のメソッド呼び出しの各々のパラメータとの間で、パラメータテキスト類似度スコアを決定し、当該パラメータテキスト類似度スコアを平均することで位置スコアを決定し、
前記複数のパラメータの各々についての1又は複数のパラメータ置換候補の各々に対して、当該パラメータ置換候補のパラメータ位置における位置スコアを用いてスコアを算出し、
前記複数のパラメータの各々についての前記1又は複数のパラメータ置換候補を、前記スコアに基づき分類し、
分類に基づき、前記複数のパラメータの各々についての前記1又は複数のパラメータ置換候補から特定の修復候補を選択し、
前記特定の修復候補の選択に基づき、前記不具合位置において前記特定の修復候補を適用する、
処理を実行する方法。 - 前記パラメータテキスト類似度スコアを決定する処理において、
最長共通部分列の決定に基づき前記パラメータテキスト類似度スコアを決定する
請求項1記載の方法。 - 前記スコアを算出する処理が、
前記複数のパラメータの各々についての1又は複数のパラメータ置換候補の各々に対して、テキスト類似度に基づく置換スコアを算出し、
前記複数のパラメータの各々についての1又は複数のパラメータ置換候補の各々に対して、当該パラメータ置換候補の置換スコアと当該パラメータ置換候補のパラメータ位置における位置スコアとを用いて前記スコアを算出する
処理を含む請求項1又は2記載の方法。 - プロセッサに、
テストプログラムセットを用いて、ソフトウエアプログラムの不具合位置における、複数のパラメータを含むメソッド呼び出しを特定し、
前記メソッド呼び出しにより呼び出されるメソッドの複数の他のメソッド呼び出しを、前記ソフトウエアプログラムにおいて特定し、
前記メソッド呼び出しの各パラメータ位置について、前記メソッド呼び出しのパラメータと、特定された前記複数の他のメソッド呼び出しの各々のパラメータとの間で、パラメータテキスト類似度スコアを決定し、当該パラメータテキスト類似度スコアを平均することで位置スコアを決定し、
前記複数のパラメータの各々についての1又は複数のパラメータ置換候補の各々に対して、当該パラメータ置換候補のパラメータ位置における位置スコアを用いてスコアを算出し、
前記複数のパラメータの各々についての前記1又は複数のパラメータ置換候補を、前記スコアに基づき分類し、
分類に基づき、前記複数のパラメータの各々についての前記1又は複数のパラメータ置換候補から特定の修復候補を選択し、
前記特定の修復候補の選択に基づき、前記不具合位置において前記特定の修復候補を適用する、
処理を実行させるプログラム。 - 前記パラメータテキスト類似度スコアを決定する処理において、
最長共通部分列の決定に基づき前記パラメータテキスト類似度スコアを決定する
請求項4記載のプログラム。 - 前記スコアを算出する処理が、
前記複数のパラメータの各々についての1又は複数のパラメータ置換候補の各々に対して、テキスト類似度に基づく置換スコアを算出し、
前記複数のパラメータの各々についての1又は複数のパラメータ置換候補の各々に対して、当該パラメータ置換候補の置換スコアと当該パラメータ置換候補のパラメータ位置における位置スコアとを用いて前記スコアを算出する
処理を含む請求項4又は5記載のプログラム。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US15/051,503 | 2016-02-23 | ||
US15/051,503 US10133657B2 (en) | 2016-02-23 | 2016-02-23 | Textual similarity based software program repair |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2017151977A JP2017151977A (ja) | 2017-08-31 |
JP6878933B2 true JP6878933B2 (ja) | 2021-06-02 |
Family
ID=59629965
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2017022071A Active JP6878933B2 (ja) | 2016-02-23 | 2017-02-09 | ソフトウエアプログラムの修復のための方法及びプログラム |
Country Status (2)
Country | Link |
---|---|
US (1) | US10133657B2 (ja) |
JP (1) | JP6878933B2 (ja) |
Families Citing this family (13)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10180897B2 (en) * | 2016-09-26 | 2019-01-15 | Fujitsu Limited | Automated software program repair |
US10678673B2 (en) * | 2017-07-12 | 2020-06-09 | Fujitsu Limited | Software program fault localization |
US10268572B2 (en) * | 2017-08-03 | 2019-04-23 | Fujitsu Limited | Interactive software program repair |
US10496459B2 (en) * | 2017-11-24 | 2019-12-03 | Fujitsu Limited | Automated software program repair candidate selection |
US10521224B2 (en) | 2018-02-28 | 2019-12-31 | Fujitsu Limited | Automatic identification of relevant software projects for cross project learning |
JP2019153056A (ja) * | 2018-03-02 | 2019-09-12 | 富士ゼロックス株式会社 | 情報処理装置、及び情報処理プログラム |
US10664383B2 (en) | 2018-08-22 | 2020-05-26 | Fujitsu Limited | Automated software program repair of similar code snippets |
US10761961B2 (en) * | 2018-12-21 | 2020-09-01 | Fujitsu Limited | Identification of software program fault locations |
RU2739866C2 (ru) * | 2018-12-28 | 2020-12-29 | Акционерное общество "Лаборатория Касперского" | Способ обнаружения совместимых средств для систем с аномалиями |
US10853051B2 (en) * | 2019-02-05 | 2020-12-01 | Fujitsu Limited | Automated candidate repair patch generation |
US10782941B1 (en) | 2019-06-20 | 2020-09-22 | Fujitsu Limited | Refinement of repair patterns for static analysis violations in software programs |
JP7423497B2 (ja) | 2020-12-01 | 2024-01-29 | 株式会社日立製作所 | 計算機及びソフトウェアの修正箇所の選択方法 |
KR102605212B1 (ko) * | 2021-10-22 | 2023-11-24 | 슈어소프트테크주식회사 | 동일 위치에 대한 다수의 패치들 중 최종 패치를 선택하는 방법 및 최종 패치 선택 모듈 |
Family Cites Families (14)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPS63245738A (ja) * | 1987-04-01 | 1988-10-12 | Nec Corp | プログラム未定義デ−タ項目の自動修正方式 |
JPH01154256A (ja) * | 1987-12-11 | 1989-06-16 | Hitachi Ltd | プログラムのエラー位置検出方法 |
JPH05173844A (ja) * | 1991-12-19 | 1993-07-13 | Nec Corp | コーディングミス修正方式 |
JP2636720B2 (ja) * | 1993-12-08 | 1997-07-30 | 日本電気株式会社 | コーディング時の入力文字列修正装置 |
WO2009104268A1 (ja) * | 2008-02-21 | 2009-08-27 | 富士通株式会社 | パッチ候補選択装置、パッチ候補選択プログラムおよびパッチ候補選択方法 |
US20090292941A1 (en) * | 2008-05-22 | 2009-11-26 | Nec Laboratories America, Inc. | Proof-guided error diagnosis (ped) by triangulation of program error causes |
JP5200719B2 (ja) * | 2008-07-15 | 2013-06-05 | 富士通株式会社 | Webアプリケーション検査プログラム、テスト実行装置、およびテスト実行方法 |
JP5301411B2 (ja) * | 2009-10-16 | 2013-09-25 | 日本電信電話株式会社 | 類似性算出装置、類似性算出方法、類似性算出プログラム、及び類似性解析装置 |
US8645761B2 (en) * | 2011-01-13 | 2014-02-04 | International Business Machines Corporation | Precise fault localization |
JP2013003664A (ja) * | 2011-06-13 | 2013-01-07 | Sony Corp | 情報処理装置および方法 |
JP5578625B2 (ja) * | 2011-06-27 | 2014-08-27 | Necソリューションイノベータ株式会社 | プログラム分析装置、プログラム分析方法、及びプログラム |
US20130339929A1 (en) * | 2012-06-14 | 2013-12-19 | Microsoft Corporation | Program repair |
US10108526B2 (en) * | 2012-11-27 | 2018-10-23 | Purdue Research Foundation | Bug localization using version history |
US9665467B2 (en) * | 2015-06-30 | 2017-05-30 | International Business Machines Corporation | Error and solution tracking in a software development environment |
-
2016
- 2016-02-23 US US15/051,503 patent/US10133657B2/en active Active
-
2017
- 2017-02-09 JP JP2017022071A patent/JP6878933B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JP2017151977A (ja) | 2017-08-31 |
US20170242782A1 (en) | 2017-08-24 |
US10133657B2 (en) | 2018-11-20 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6878933B2 (ja) | ソフトウエアプログラムの修復のための方法及びプログラム | |
US10296447B2 (en) | Automated software program repair | |
JP7095408B2 (ja) | ソフトウェアプログラムフォールト位置特定 | |
JP6787046B2 (ja) | 機械学習ベースのソフトウェアプログラム修復 | |
JP7110789B2 (ja) | 自動化されたソフトウェアプログラム修復候補の選択 | |
US8621441B2 (en) | System and method for software immunization based on static and dynamic analysis | |
JP6627658B2 (ja) | ソフトウェアプログラムを修復する方法、記憶媒体及びシステム | |
US10049031B2 (en) | Correlation of violating change sets in regression testing of computer software | |
JP6891703B2 (ja) | 自動ソフトウェアプログラム修復 | |
JP7404839B2 (ja) | ソフトウェアプログラム不良位置の識別 | |
US20200065226A1 (en) | Automated software program repair of similar code snippets | |
JP7070195B2 (ja) | インタラクティブなソフトウェアプログラムの修復 | |
CN109643271B (zh) | 识别不稳定测试 | |
JP7056139B2 (ja) | ソフトウェアプログラム修復のためのメソッド呼び出し合成 | |
JP6416588B2 (ja) | ソースコード検証システム | |
JP7384054B2 (ja) | 自動化されたソフトウェアプログラム修復 | |
JP2020129372A (ja) | 自動化されたソフトウェアプログラム修復 | |
JP2020126603A (ja) | 自動候補修正パッチ生成 | |
RU2458386C1 (ru) | Способ определения ошибочного использования памяти | |
Spiridonov et al. | MODEL CORRECT OPERATION OF COMPUTER PROGRAMS WITH MEMORY | |
CN112988563A (zh) | 污点动态分析方法和装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20191112 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20201021 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20201117 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20210104 |
|
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: 20210330 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20210412 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6878933 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |