JP2022178542A - Program correction device, program correction method, and program correction program - Google Patents

Abstract

To provide a program correction device, a program correction method, and a program correction program for correcting defects in a program according to its internal relationship.SOLUTION: A program correction device 100 includes: a correction candidate acquiring unit 215 that acquires a correction candidate that is a program obtained by correcting an original program; a correction candidate executing unit 220 that sets a plurality of patterns of input values for a corrected portion in the acquired correction candidate and executes the correction candidate; and a correction candidate inspection unit 230 that determines whether or not an output value of the corrected portion in the executed correction candidate depends on the input value, and outputs the correction candidate as a correction proposal for the original program when it is determined that the output value of the corrected portion depends on the input value.SELECTED DRAWING: Figure 1

Description

本発明は、プログラム修正装置、プログラム修正方法、及びプログラム修正プログラムに関する。 The present invention relates to a program correction device, a program correction method, and a program correction program.

ソフトウェアに含まれる不具合（バグ）を特定し修正する技術として、Automated Program Repair（ＡＰＲ）が提案されている。ＡＰＲは、例えば、「不具合箇所の特定」及び「パッチの生成」の２つのフェーズで構成される。具体的には、所定の不具合箇所検出プログラムにより、修正対象のソフトウェアにおける不具合箇所を特定した後、その不具合箇所に関する部分を書き換えることでソフトウェアを修正することが可能な修正プログラム（パッチ候補）を複数作成する。そして、作成した各パッチ候補の検証を行うことで、最適なパッチ候補（パッチ案）を特定する。このパッチ案を修正対象のソフトウェアに適用することで、バグが修復される。 Automated Program Repair (APR) has been proposed as a technique for identifying and correcting defects (bugs) included in software. APR is composed of, for example, two phases of "identification of defect location" and "generation of patch". Specifically, after identifying the defect in the software to be corrected by a predetermined defect detection program, a plurality of correction programs (patch candidates) that can correct the software by rewriting the part related to the defect create. Then, by verifying each created patch candidate, an optimum patch candidate (patch plan) is specified. By applying this patch proposal to the software to be fixed, the bug will be fixed.

しかしながら、このパッチ案が必ずしもソフトウェアの開発にとって最良であるとは限らない。例えば、上記のパッチ候補の検証が不充分である場合には多くのパッチ案が出力されて、ソフトウェアの開発者による追加的な確認作業が発生する。 However, this patch proposal is not necessarily the best for software development. For example, if the verification of the patch candidates is insufficient, many patch proposals are output, requiring additional confirmation work by the software developer.

ここで、ソフトウェアの修正プログラムの適否を判定する方法として、特許文献１には、テストスーツを利用してソフトウェアプログラム中の誤りを特定し、誤りの特定に応じて、ソフトウェアプログラムを修復テンプレートで修正し、その修正が不適切であるか否かを示すアンチパターン条件を充足するか否かを判定し、修正がアンチパターン条件を充足することに応じてその修正を不許可にし、あるいは、修正がアンチパターン条件を充足しないことに応じて修正後のソフトウェアプログラムについて更なるテストを実行することが記載されている。 Here, as a method for judging the propriety of a software modification program, Patent Document 1 discloses that an error in a software program is identified using a test suit, and the software program is modified using a repair template according to the identification of the error. determine whether the modification satisfies an anti-pattern condition that indicates whether the modification is inappropriate; disallow the modification if the modification satisfies the anti-pattern condition; Performing further tests on the modified software program in response to failure to satisfy anti-pattern conditions is described.

特開２０１７－０４５４４６号公報JP 2017-045446 A

特許文献１は、所定のステートメントの削除といった不適切な修正を「アンチパターン」として事前定義し、このアンチパターンと一致するパッチ案を除外するものである。しかしながら、プログラムを具体的に実行させて判明するような不適正（例えば、特定の変数や式の内容に依存して現れる修正の不具合）を検知することが難しいという問題がある。 US Pat. No. 6,200,000 predefines an inappropriate modification, such as deletion of a given statement, as an "anti-pattern" and excludes patch proposals that match this anti-pattern. However, there is a problem that it is difficult to detect inadequacies (for example, correction defects that appear depending on the content of specific variables or expressions) that are found by actually executing the program.

本発明はこのような問題に鑑みてなされたもので、その目的は、プログラムの不具合をその内部関係に即して修正することが可能な、プログラム修正装置、プログラム修正方法、及びプログラム修正プログラムを提供することにある。 SUMMARY OF THE INVENTION The present invention has been made in view of such problems, and its object is to provide a program correction device, a program correction method, and a program correction program capable of correcting defects in a program according to its internal relationship. to provide.

上記課題を解決するための本発明の一つは、プロセッサ及びメモリを有し、元のプログラムに対し修正が行われたプログラムである修正候補を取得する修正候補取得部と、前記取得した修正候補において修正が行われた部分に対する入力値を複数パターン設定し、前
記修正候補を実行する修正候補実行部と、前記実行された修正候補において修正が行われた部分の出力値が前記入力値に依存するか否かを判定し、前記修正が行われた部分の出力値が前記入力値に依存すると判定した場合に、前記修正候補を前記元のプログラムに対する修正案として出力する修正候補検査部と、を備えるプログラム修正装置、とする。 One of the present inventions for solving the above problems is a correction candidate acquisition unit having a processor and a memory and acquiring a correction candidate that is a program obtained by correcting an original program; a correction candidate execution unit for setting a plurality of patterns of input values for the corrected portion in the above, and executing the correction candidate; and an output value of the corrected portion in the executed correction candidate depends on the input value. a correction candidate inspecting unit for determining whether or not to modify the original program, and outputting the correction candidate as a correction proposal for the original program when it is determined that the output value of the modified portion depends on the input value; and a program modification device comprising:

また、上記課題を解決するための本発明の一つは、情報処理装置が、元のプログラムに対し修正が行われたプログラムである修正候補を取得する修正候補取得処理と、前記取得した修正候補において修正が行われた部分に対する入力値を複数パターン設定し、前記修正候補を実行する修正候補実行処理と、前記実行された修正候補において修正が行われた部分の出力値が前記入力値に依存するか否かを判定し、前記修正が行われた部分の出力値が前記入力値に依存すると判定した場合に、前記修正候補を前記元のプログラムに対する修正案として出力する修正候補検査処理と、を実行するプログラム修正方法、とする。 According to another aspect of the present invention for solving the above problems, an information processing apparatus acquires a correction candidate, which is a program obtained by correcting an original program; a correction candidate execution process for setting a plurality of patterns of input values for a portion corrected in the above, and executing the correction candidate; and an output value of the corrected portion in the executed correction candidate depends on the input value. correction candidate inspection processing for outputting the correction candidate as a correction proposal for the original program when it is determined that the output value of the corrected portion depends on the input value; and a program modification method that executes

また、上記課題を解決するための本発明の一つは、情報処理装置に、元のプログラムに対し修正が行われたプログラムである修正候補を取得する修正候補取得処理と、前記取得した修正候補において修正が行われた部分に対する入力値を複数パターン設定し、前記修正候補を実行する修正候補実行処理と、前記実行された修正候補において修正が行われた部分の出力値が前記入力値に依存するか否かを判定し、前記修正が行われた部分の出力値が前記入力値に依存すると判定した場合に、前記修正候補を前記元のプログラムに対する修正案として出力する修正候補検査処理と、を実行させるプログラム修正プログラム、とする。 According to another aspect of the present invention for solving the above problems, an information processing apparatus is provided with a correction candidate acquisition process for acquiring a correction candidate that is a program obtained by correcting an original program; a correction candidate execution process for setting a plurality of patterns of input values for a portion corrected in the above, and executing the correction candidate; and an output value of the corrected portion in the executed correction candidate depends on the input value. correction candidate inspection processing for outputting the correction candidate as a correction proposal for the original program when it is determined that the output value of the corrected portion depends on the input value; Suppose that the program modification program that causes the

本発明によれば、プログラムの不具合をその内部関係に即して修正することができる。 According to the present invention, program defects can be corrected in accordance with their internal relationships.

上記した以外の課題、構成及び効果は、以下の実施形態の説明により明らかにされる。 Problems, configurations, and effects other than those described above will be clarified by the following description of the embodiments.

実施例１に係るプログラム修正装置の構成の一例を示す図である。1 is a diagram illustrating an example of a configuration of a program correction device according to Embodiment 1; FIG. プログラム修正装置が備えるハードウェアの一例を説明する図である。It is a figure explaining an example of the hardware with which a program correction apparatus is provided. プログラム修正処理の一例を説明するフロー図である。It is a flow chart explaining an example of program correction processing. 修正候補生成処理の詳細を説明するフロー図である。FIG. 11 is a flow diagram illustrating details of correction candidate generation processing; ソースコードの一例を示す図である。It is a figure which shows an example of a source code. 修正候補情報の一例を示す図である。It is a figure which shows an example of correction candidate information. 修正候補実行処理の詳細を説明するフロー図である。FIG. 10 is a flow diagram illustrating details of a correction candidate execution process; 修正候補に対するテストコードの一例を示す図である。It is a figure which shows an example of the test code with respect to a correction candidate. テスト実行結果情報の一例を示す図である。It is a figure which shows an example of test execution result information. テスト実行時情報の一例を示す図である。It is a figure which shows an example of information at the time of test execution. 修正候補検査処理の詳細を説明するフロー図である。FIG. 11 is a flow diagram illustrating details of a correction candidate inspection process; 修正結果情報の一例を示す図である。It is a figure which shows an example of correction result information. 実施例２に係るテスト実行時情報の一例を示す図である。FIG. 11 is a diagram illustrating an example of test execution time information according to the second embodiment; 実施例２に係る修正候補検査処理の一例を説明するフロー図である。FIG. 11 is a flow diagram illustrating an example of correction candidate inspection processing according to the second embodiment;

－実施例１－
図１は、実施例１に係るプログラム修正装置１００の構成の一例を示す図である。プログラム修正装置１００は、プログラムのソースコードに存在する不具合（バグ）を修正するためのプログラム（パッチ）をそれぞれ候補として複数作成し、それらのパッチ（パッチ候補）をそれぞれ適用したソースコード（以下、修正プログラム、又は修正候補という）を作成する。そして、プログラム修正装置１００は、予め作成したテストコードを実行
することで、各修正候補の実行結果及び、パッチを適用したソースコードの部分（以下、パッチ部分という）の処理結果に基づき、最も適切なパッチ候補（パッチ案）を特定する。これにより、プログラム修正装置１００は、ソースコードの修正を行う。 -Example 1-
FIG. 1 is a diagram showing an example of the configuration of a program correction device 100 according to the first embodiment. The program correction apparatus 100 creates a plurality of programs (patches) as candidates for correcting defects (bugs) existing in the source code of the program, and applies the patches (patch candidates) to the source code (hereinafter referred to as (referred to as a modified program or modified candidate). Then, the program modification apparatus 100 executes the test code created in advance, and based on the execution result of each modification candidate and the processing result of the source code portion to which the patch is applied (hereinafter referred to as the patch portion), the most appropriate test code. Identify potential patch candidates (patch proposals). Thereby, the program modification apparatus 100 modifies the source code.

すなわち、プログラム修正装置１００は、修正候補生成部２１０、修正候補取得部２１５、修正候補実行部２２０、及び修正候補検査部２３０の各機能部を備える。 That is, the program correction apparatus 100 includes functional units of a correction candidate generation unit 210 , a correction candidate acquisition unit 215 , a correction candidate execution unit 220 , and a correction candidate inspection unit 230 .

また、プログラム修正装置１００は、ソースコード２９１、テストコード２９２、修正候補情報２９３、テスト実行結果情報２９４、テスト実行時情報２９５、及び修正結果情報２９６の各情報を記憶する。 The program correction device 100 also stores each information of source code 291 , test code 292 , correction candidate information 293 , test execution result information 294 , test execution time information 295 , and correction result information 296 .

修正候補生成部２１０は、ソースコード２９１に適用するパッチ（パッチ候補）を複数生成し、各パッチを適用したソースコード（修正候補）をそれぞれ生成する。修正候補生成部２１０は、生成した修正候補を記憶する。 The modification candidate generation unit 210 generates a plurality of patches (patch candidates) to be applied to the source code 291, and generates source codes (modification candidates) to which each patch is applied. The correction candidate generator 210 stores the generated correction candidates.

なお、ソースコード２９１は、任意の言語で記述されたプログラムのソースコードである。また、パッチは、例えば、条件分岐式の変更又は追加を行うプログラムである。 The source code 291 is source code of a program written in any language. A patch is, for example, a program that changes or adds a conditional branch expression.

修正候補取得部２１５は、修正候補生成部２１０が生成した修正候補を取得する。 The correction candidate acquisition unit 215 acquires the correction candidates generated by the correction candidate generation unit 210 .

修正候補実行部２２０は、修正候補取得部２１５が取得した修正候補におけるパッチ部分に複数パターンの入力値を設定することで、修正候補をそれぞれ実行する。本実施形態では、複数パターンの入力値を設定したテストコードを実行して修正候補を呼び出すことで、修正候補を実行するものとする。 The correction candidate execution unit 220 executes each of the correction candidates by setting a plurality of patterns of input values for the patch portions in the correction candidates acquired by the correction candidate acquisition unit 215 . In this embodiment, it is assumed that a correction candidate is executed by executing a test code in which a plurality of patterns of input values are set and calling the correction candidate.

修正候補検査部２３０は、修正候補実行部２２０で実行された修正候補におけるパッチ部分の出力値が、修正候補実行部２２０で設定した入力値に依存するか否かを判定し、その修正部分の出力値が設定入力値に依存すると判定した場合に、修正候補を元のソースコード２９１に適用してこれを新たなプログラム（新たなソースコード）として生成する。 The correction candidate inspecting unit 230 determines whether or not the output value of the patch portion in the correction candidate executed by the correction candidate executing unit 220 depends on the input value set by the correction candidate executing unit 220, and determines whether or not the corrected portion is determined. If it is determined that the output value depends on the set input value, the modification candidate is applied to the original source code 291 to generate a new program (new source code).

なお、修正候補検査部２３０は、修正候補におけるパッチ部分と、修正部分の出力値とを対応づけた情報としてテスト実行時情報２９５を生成する。 The correction candidate inspection unit 230 generates the test execution time information 295 as information in which the patch portion in the correction candidate and the output value of the corrected portion are associated with each other.

ここで、図２は、プログラム修正装置１００が備えるハードウェアの一例を説明する図である。プログラム修正装置１００は、ＣＰＵ（Central Processing Unit）、ＭＰＵ（Micro Processing Unit）、又はＧＰＵ（Graphics Processing Unit）等のプロセッサ１１０と、ＲＯＭ（Read Only Memory）、又はＲＡＭ（Random Access Memory）等の主記憶装置１２０と、ハードディスクドライブ（Hard Disk Drive）、フラッシュメモリ（Flash Memory）、又はＳＳＤ（Solid State Drive）等の補助記憶装置１３０と、キーボード、マウス、カードリーダ、又はタッチパネル等の入力装置１４０と、ＬＣＤ（Liquid Crystal
Display）、音声出力装置（スピーカ）、又は印字装置等の出力装置１５０と、ＮＩＣ（Network Interface Card）、無線通信モジュール、ＵＳＢ（Universal Serial Interface）モジュール、又はシリアル通信モジュール等の通信装置１６０とを備える。 Here, FIG. 2 is a diagram for explaining an example of hardware included in the program correction device 100. As shown in FIG. The program correction device 100 includes a processor 110 such as a CPU (Central Processing Unit), MPU (Micro Processing Unit), or GPU (Graphics Processing Unit), and a main memory such as ROM (Read Only Memory) or RAM (Random Access Memory). A storage device 120, an auxiliary storage device 130 such as a hard disk drive, a flash memory, or a solid state drive (SSD), and an input device 140 such as a keyboard, mouse, card reader, or touch panel. , LCD (Liquid Crystal
Display), audio output device (speaker), or an output device 150 such as a printer, and a communication device 160 such as a NIC (Network Interface Card), a wireless communication module, a USB (Universal Serial Interface) module, or a serial communication module. Prepare.

プログラム修正装置１００の機能は、プロセッサ３１１が、主記憶装置１２０又は補助記憶装置１３０に格納されているプログラムを読み出して実行することにより実現される。また上記のプログラムは、例えば、記録媒体に記録して配布することができる。
次に、プログラム修正装置１００が行う処理について説明する。 The functions of the program correction device 100 are realized by the processor 311 reading and executing the programs stored in the main storage device 120 or the auxiliary storage device 130 . Further, the above program can be distributed by being recorded on a recording medium, for example.
Next, processing performed by the program correction device 100 will be described.

＜プログラム修正処理＞
図３は、ソースコードを修正する処理であるプログラム修正処理の一例を説明するフロー図である。プログラム修正処理は、例えば、プログラム修正装置１００にユーザから所定の入力が行われたことを契機に実行される。 <Program Correction Processing>
FIG. 3 is a flowchart for explaining an example of program correction processing, which is processing for correcting source code. The program correction process is executed, for example, when a user inputs a predetermined value to the program correction device 100 .

まず、プログラム修正装置１００の修正候補生成部２１０は、不具合箇所をパッチ候補により修正したソースコードである修正候補を生成する修正候補生成処理を実行する（ｓ１１１）。 First, the correction candidate generation unit 210 of the program correction device 100 executes a correction candidate generation process of generating a correction candidate, which is a source code obtained by correcting a defective portion using a patch candidate (s111).

修正候補実行部２２０は、修正候補生成処理ｓ１１１で生成した修正候補におけるパッチ部分に複数パターンの入力値を設定したテストプログラムを実行することで、そのテストプログラムによる修正候補の実行結果の情報（テスト実行結果情報２９４）及び、修正候補におけるパッチ部分の処理結果の情報（テスト実行時情報２９５）を生成する修正候補実行処理を実行する（ｓ１１２）。 The correction candidate execution unit 220 executes a test program in which a plurality of patterns of input values are set in the patch portion of the correction candidate generated in the correction candidate generation process s111, and thereby obtains information (test Execution result information 294) and processing result information (test execution time information 295) of the patch portion in the correction candidate are generated (s112).

修正候補検査部２３０は、修正候補実行処理ｓ１１２で生成した情報に基づき、そのテストプログラムの実行に成功しかつ、そのパッチ部分がテストプログラムで設定した各入力値に依存しない修正候補を特定することで、最終的な修正候補を決定する修正候補検査処理を実行する（ｓ１１３）。その後、修正候補検査部２３０は、最終的な修正候補を正式なパッチ案として出力し、ユーザに提示する（例えば、ファイルに出力し、又は画面に表示する）。以上でプログラム修正処理は終了する。
以下、これらの処理の詳細を説明する。 Based on the information generated in the modification candidate execution process s112, the modification candidate inspecting unit 230 identifies modification candidates that successfully execute the test program and whose patch portions do not depend on the input values set in the test program. Then, a correction candidate inspection process for determining final correction candidates is executed (s113). After that, the correction candidate inspection unit 230 outputs the final correction candidate as a formal patch plan and presents it to the user (for example, outputs it to a file or displays it on the screen). This completes the program correction processing.
Details of these processes will be described below.

＜修正候補生成処理＞
図４は、修正候補生成処理ｓ１１１の詳細を説明するフロー図である。
修正候補生成部２１０は、ソースコード２９１を取得し、取得したソースコード２９１における不具合箇所（バグの箇所）を特定する（ｓ１１１１）。例えば、修正候補生成部２１０は、ソースコード２９１のために用意されたテストケースを実行してそのソースコード２９１を呼び出す（実行させる）ことで、ソースコード２９１内の処理の実行経路を特定する。修正候補生成部２１０は、特定した実行経路に基づきソースコード２９１内の各処理の疑惑値等を算出し、不具合箇所を特定する（例えば、Spectrum-Based Fault Localization：ＳＢＦＬ）。なお、ここで説明した不具合箇所の特定方法は一例であり、実
行内容と所定のデータベースとの内容比較、又は人手によるチェック等任意の方法を採用できる。 <Correction candidate generation processing>
FIG. 4 is a flowchart for explaining the details of the correction candidate generation processing s111.
The correction candidate generation unit 210 acquires the source code 291 and identifies the defect location (bug location) in the acquired source code 291 (s1111). For example, the correction candidate generator 210 identifies the execution path of the process in the source code 291 by executing a test case prepared for the source code 291 and calling (executing) the source code 291 . The correction candidate generation unit 210 calculates a suspected value or the like for each process in the source code 291 based on the identified execution path, and identifies a fault location (for example, Spectrum-Based Fault Localization: SBFL). It should be noted that the method of identifying the defective portion described here is just an example, and any method such as comparison of the execution content with a predetermined database or manual checking can be employed.

（ソースコード）
なお、図５は、ソースコード２９１の一例を示す図である。ソースコード２９１は、例えば、入力される変数２９１１に対する出力を行う関数２９１２によって構成され、関数２９１２は、さらに１又は複数の関数２９１３を含む。 (Source code)
5 is a diagram showing an example of the source code 291. As shown in FIG. The source code 291 is composed of, for example, a function 2912 that outputs an input variable 2911 , and the function 2912 further includes one or more functions 2913 .

次に、図４に示すように修正候補生成部２１０は、ｓ１１１１で特定したソースコード２９１の不具合箇所を修正するパッチ候補を複数生成する（ｓ１１１２）。パッチ候補は、例えば、不具合箇所に対する条件分岐、定数、変数若しくは関数式の追加、不具合箇所の変更、又は不具合箇所の削除等を行うプログラムである。 Next, as shown in FIG. 4, the correction candidate generation unit 210 generates multiple patch candidates for correcting the defective portion of the source code 291 identified in s1111 (s1112). A patch candidate is, for example, a program that performs conditional branching, addition of constants, variables, or function expressions to a defective portion, modification of the defective portion, deletion of the defective portion, or the like.

そして、修正候補生成部２１０は、ｓ１１１２で生成した各パッチをソースコード２９１に適用した新たなソースコード（すなわち、修正候補）をそれぞれ生成し、修正候補情報２９３に記憶する（ｓ１１１３）。以上で修正候補生成処理ｓ１１１は終了する。 Then, the correction candidate generation unit 210 generates new source codes (that is, correction candidates) by applying each patch generated in s1112 to the source code 291, and stores them in the correction candidate information 293 (s1113). The correction candidate generating process s111 ends here.

（修正候補情報）
図６は、修正候補情報２９３の一例を示す図である。修正候補情報２９３は、各修正候
補のＩＤ２９３１と、修正候補２９３２とを含む。修正候補２９３２は、修正前のソースコードにパッチ２９３３を適用したソースコードである。 (Correction candidate information)
FIG. 6 is a diagram showing an example of the correction candidate information 293. As shown in FIG. The correction candidate information 293 includes an ID 2931 and a correction candidate 2932 of each correction candidate. The correction candidate 2932 is source code obtained by applying the patch 2933 to the source code before correction.

＜修正候補実行処理＞
図７は、修正候補実行処理ｓ１１２の詳細を説明するフロー図である。修正候補取得部２１５は、修正候補生成処理ｓ１１１で生成した各修正候補を取得する。そして、修正候補実行部２２０は、所定のテストコードを実行することで、各修正候補を実行させる（ｓ１１２１）。 <Correction candidate execution processing>
FIG. 7 is a flowchart for explaining the details of the correction candidate execution process s112. The correction candidate acquisition unit 215 acquires each correction candidate generated in the correction candidate generation process s111. Then, the correction candidate executing unit 220 causes each correction candidate to be executed by executing a predetermined test code (s1121).

（テストコード）
ここで、図８は、修正候補に対するテストコード２９２の一例を示す図である。テストコード２９２は、１又は複数のテスト部２９２１を有する。各テスト部２９２１は、修正候補に異なる入力値２９２２を代入して修正候補を実行する呼び出し部２９２３と、呼び出し部２９２３に基づく修正候補の実行結果と予め指定した正解値とが一致するか否かを判定する判定部２９２４とを含む。 (test code)
Here, FIG. 8 is a diagram showing an example of test code 292 for correction candidates. The test code 292 has one or more test sections 2921 . Each testing unit 2921 performs a calling unit 2923 that substitutes a different input value 2922 for a correction candidate and executes the correction candidate, and determines whether or not the result of execution of the correction candidate based on the calling unit 2923 matches a previously specified correct value. and a determination unit 2924 that determines

判定部２９２４は、テストの「成功」（実行結果と正解値が一致した場合）又はテストの「失敗」（実行結果と正解値が一致しなかった場合）を出力する。 The determination unit 2924 outputs test “success” (when the execution result and the correct value match) or test “failure” (when the execution result and the correct value do not match).

次に、図７のｓ１１２２に示すように修正候補実行部２２０は、ｓ１１２１で実行したテストコードに基づくテストコードの実行結果（成功又は失敗）を、テスト実行結果情報２９４に記憶する。また、修正候補実行部２２０は、ｓ１１２１で実行したテストコードにおける、パッチ部分の出力値（例えば、条件分岐における条件判断部分の出力値）の情報を、テスト実行時情報２９５に記憶する（ｓ１１２３）。 Next, as shown in s1122 of FIG. 7, the correction candidate execution unit 220 stores the test code execution result (success or failure) based on the test code executed in s1121 in the test execution result information 294. FIG. In addition, the correction candidate execution unit 220 stores the information of the output value of the patch portion (for example, the output value of the condition judgment portion in the conditional branch) in the test code executed in s1121 in the test execution time information 295 (s1123). .

修正候補実行部２２０は、ｓ１１２２及びｓ１１２３の処理を、各修正候補について実行する。なお、ｓ１１２２及びｓ１１２３の実行順序は問わない。以上で修正候補実行処理ｓ１１２は終了する。 The correction candidate executing unit 220 executes the processes of s1122 and s1123 for each correction candidate. Note that the execution order of s1122 and s1123 does not matter. Thus, the correction candidate execution process s112 ends.

ここで、テスト実行結果情報２９４及びテスト実行時情報２９５の具体例を説明する。 Specific examples of the test execution result information 294 and the test execution time information 295 will now be described.

（テスト実行結果情報）
図９は、テスト実行結果情報２９４の一例を示す図である。テスト実行結果情報２９４は、各修正候補のＩＤ２９４１と、テストコードの実行結果２９４２（具体的には、各判定部の実行結果（成功又は失敗））とを含む。 (Test execution result information)
FIG. 9 is a diagram showing an example of the test execution result information 294. As shown in FIG. The test execution result information 294 includes an ID 2941 of each correction candidate and a test code execution result 2942 (specifically, the execution result (success or failure) of each determination unit).

（テスト実行時情報）
図１０は、テスト実行時情報２９５の一例を示す図である。テスト実行時情報２９５は、各修正候補のＩＤ２９５１と、その修正候補においてパッチが適用された部分である修正後の式２９５２と、テストコード２９２の各テスト部２９２１における修正後の式２９５２の出力値たる実行時の値２９５３とを含む。 (test execution time information)
FIG. 10 is a diagram showing an example of the test execution time information 295. As shown in FIG. The test run-time information 295 includes an ID 2951 of each correction candidate, a corrected expression 2952 that is the part to which the patch is applied in the correction candidate, and the output value of the corrected expression 2952 in each test section 2921 of the test code 292. contains a run-time value 2953.

なお、修正後の式２９５２は、例えば、パッチが条件分岐処理の追加又は変更であればその条件の判定部分であり、パッチが変数又は数式の追加又は変更であればその変数又は数式である。また、実行時の値２９５３については、修正後の式２９５２が条件の判定部分である場合には、条件式の値である真（ｔｒｕｅ）、偽（ｆａｌｓｅ）、又は例外発生（異常発生）のいずれかの値が設定される。また、修正後の式２９５２が変数又は数式である場合には、変数又は数式の値が設定される。 Note that the modified expression 2952 is, for example, a determination portion of the condition if the patch adds or changes conditional branching processing, or the variable or expression if the patch adds or changes a variable or expression. As for the run-time value 2953, if the corrected expression 2952 is the determination part of the condition, the value of the conditional expression (true), false (false), or the occurrence of an exception (abnormality). Any value is set. Also, if the modified expression 2952 is a variable or a formula, the value of the variable or formula is set.

＜修正候補検査処理＞
次に、図１１は、修正候補検査処理ｓ１１３の詳細を説明するフロー図である。 <Correction candidate inspection process>
Next, FIG. 11 is a flowchart for explaining the details of the correction candidate inspection process s113.

修正候補検査部２３０は、修正候補実行処理ｓ１１２で生成したテスト実行結果情報２９４に基づき、テストコードの実行に成功した修正候補を抽出する（ｓ１１３１）。具体的には、修正候補検査部２３０は、テスト実行結果情報２９４の各レコードのうち、テスト実行結果２９４２の全ての項目が「成功」であるレコードを抽出する。 Based on the test execution result information 294 generated in the modification candidate execution process s112, the modification candidate inspection unit 230 extracts modification candidates that have successfully executed the test code (s1131). Specifically, the correction candidate inspecting unit 230 extracts, from each record of the test execution result information 294, a record in which all the items of the test execution result 2942 are "success".

さらに、修正候補検査部２３０は、ｓ１１３１で抽出した修正候補のうち、当該修正候補に係るパッチ部分の結果（出力値）がテストコード２９２のテストパターン（テスト部２９２１）に依存する修正候補を、最終的な修正候補として特定する（ｓ１１３２）。 Furthermore, among the correction candidates extracted in step s1131, the correction candidate inspection unit 230 selects correction candidates whose patch results (output values) related to the correction candidates depend on the test pattern (test unit 2921) of the test code 292. It is identified as a final correction candidate (s1132).

例えば、修正候補検査部２３０は、テスト実行時情報２９５における、ｓ１１３１で抽出した修正候補に係るレコードのうち、実行時の値２９５３の全項目が全て同じである（例えば、全てｔｒｕｅ又はｆａｌｓｅである）レコードを、最終的な修正候補から除外する。 For example, the correction candidate inspection unit 230 determines that all the items of the run-time value 2953 among the records related to the correction candidate extracted in s1131 in the test run-time information 295 are all the same (for example, all are true or false). ) record is excluded from the final candidate for revision.

また、例えば、修正候補検査部２３０は、テスト実行時情報２９５における、ｓ１１３１で抽出した修正候補に係るレコードのうち、実行時の値２９５３の全項目のうち所定割合以上（例えば、９０％以上）の項目の値が同じである（例えば、ｔｒｕｅ又はｆａｌｓｅで共通である）レコードを、最終的な修正候補から除外する。 Further, for example, the correction candidate inspection unit 230 determines that a predetermined percentage or more (for example, 90% or more) of all the items of the execution time value 2953 among the records related to the correction candidates extracted in s1131 in the test execution time information 295 records having the same value for the items of (for example, true or false in common) are excluded from the final correction candidates.

また、例えば、修正候補検査部２３０は、テスト実行時情報２９５における、ｓ１１３１で抽出した修正候補に係るレコードのうち、実行時の値２９５３の各項目の値が所定のパターンとなっているレコードを、最終的な修正候補から除外する。 Further, for example, the correction candidate inspection unit 230 selects a record in which the value of each item of the execution time value 2953 is a predetermined pattern among the records related to the correction candidate extracted in s1131 in the test execution time information 295. , to exclude from the final suggestions.

また、例えば、修正候補検査部２３０は、テスト実行時情報２９５における、ｓ１１３１で抽出した修正候補に係るレコードのうち、実行時の値２９５３のいずれかの項目に異常値（例えば、例外発生、又は空値）があるレコードを、最終的な修正候補から除外する。 Further, for example, the correction candidate inspection unit 230 determines that any item of the run-time value 2953 in the record related to the correction candidate extracted in s1131 in the test run-time information 295 has an abnormal value (for example, an exception or empty) are excluded from the final candidate.

そして、修正候補検査部２３０は、ｓ１１３２で特定した最終的な修正候補を、画面に表示する（ｓ１１３３）。また、修正候補検査部２３０は、最終的な修正候補を修正結果情報２９６に記憶する（ｓ１１３３）。 Then, correction candidate inspection section 230 displays the final correction candidate identified in s1132 on the screen (s1133). Further, the correction candidate inspection unit 230 stores the final correction candidate in the correction result information 296 (s1133).

（修正結果情報）
図１２は、修正結果情報２９６の一例を示す図である。この修正結果情報２９６は、最終的な修正候補（つまり修正されたソースコード）のＩＤ２９６１と、その修正候補の内容たる修正結果２９６２とを記憶している。 (correction result information)
FIG. 12 is a diagram showing an example of the correction result information 296. As shown in FIG. This correction result information 296 stores an ID 2961 of a final correction candidate (that is, a corrected source code) and a correction result 2962 that is the contents of the correction candidate.

同図に示す修正結果２９６２に関しては、テストコード２９２の各テスト部２９２１の実行結果が全て「成功」であった（テスト実行結果情報２９４）ことが示されている。さらに、この修正結果情報２９６におけるパッチ２９６３（条件分岐式「w != null」を含
む処理）の処理結果は「ｔｒｕｅ」、「ｔｒｕｅ」、及び「ｆａｌｓｅ」であるのでｓ１１３２で説明した除外事由のいずれにもあてはまらない（テスト実行時情報２９５）。 As for the correction result 2962 shown in the figure, it is shown that the execution result of each test part 2921 of the test code 292 was all "success" (test execution result information 294). Furthermore, since the processing results of the patch 2963 (processing including the conditional branch expression "w!=null") in this correction result information 296 are "true", "true", and "false", the reason for exclusion described in s1132 is Neither applies (test execution time information 295).

このように、本実施形態のプログラム修正装置１００は、テストコード２９２を用い、修正候補内のパッチ部分に対して複数パターンの入力値を設定して修正候補を実行し、修正候補におけるパッチ部分の出力値（修正後の式２９５２）がテスト部２９２１の上記入力値に依存する場合に、その修正候補をソースコード２９１に適用して修正プログラム（修正ソースコード）を生成する。 As described above, the program correction apparatus 100 of the present embodiment uses the test code 292 to set a plurality of patterns of input values for the patch portion in the correction candidate, execute the correction candidate, and execute the correction candidate. If the output value (formula 2952 after correction) depends on the input value of the test unit 2921, the correction candidate is applied to the source code 291 to generate a correction program (correction source code).

すなわち、本実施形態のプログラム修正装置１００は、修正候補に適用されたパッチが修正候補への入力値に依存しないような場合、すなわちパッチが、様々な内部条件下でソースコードが実行された場合でもソースコードのバグを解消しうるものである正しいプログラムである場合にのみ、これに対応する修正候補を最終的なパッチ案とする。このように、本実施形態のプログラム修正装置１００によれば、プログラムの不具合をその内部関係に即して修正することができる。 That is, the program modification apparatus 100 of the present embodiment can be used when the patch applied to the modification candidate does not depend on the input value to the modification candidate, that is, when the source code is executed under various internal conditions. But only if it is a correct program that can solve the bug in the source code, the corresponding correction candidate will be the final patch proposal. As described above, according to the program correction device 100 of the present embodiment, it is possible to correct a problem in a program according to its internal relationship.

また、本実施形態のプログラム修正装置１００は、最終的な修正候補の特定において、修正部分（パッチ）の各出力値が互いに同一である場合に、修正部分の出力値が入力値に依存しないと判定し、修正候補から除外するので、正常に動作しないと考えられる修正候補を確実に除外することができる。 In addition, the program modification apparatus 100 of this embodiment assumes that the output values of the modified portions do not depend on the input values when the output values of the modified portions (patches) are the same in the identification of the final modification candidates. Since it is determined and excluded from the correction candidates, it is possible to reliably exclude correction candidates that are considered not to operate normally.

同様に、本実施形態のプログラム修正装置１００は、最終的な修正候補の特定において、修正部分の各出力値のうち少なくともいずれかが異常値（例外発生等）である場合に、修正部分の出力値が入力値に依存しないと判定し、修正候補から除外するので、正常に動作しないと考えられる修正候補を確実に除外することができる。 Similarly, the program correction apparatus 100 of the present embodiment, in specifying the final correction candidate, if at least one of the output values of the correction portion is an abnormal value (occurrence of an exception, etc.), the output of the correction portion Since it is determined that the value does not depend on the input value and is excluded from the correction candidates, the correction candidates that are considered not to operate normally can be reliably excluded.

また、本実施形態のプログラム修正装置１００は、修正候補における修正部分の情報（修正後の式２９５２）と、修正部分の出力値（実行時の値２９５３）とを対応づけたテスト実行時情報２９５を生成することで、最終的な修正候補の特定において参照すべき情報を最小限に抑えることができる。これにより、最終的な修正候補の特定に係るリソース負荷を軽減することができる。 In addition, the program correction apparatus 100 of the present embodiment provides test run-time information 295 that associates the information of the corrected part in the correction candidate (formula 2952 after correction) with the output value of the corrected part (value 2953 at the time of execution). can be generated to minimize the information to be referred to in identifying the final correction candidate. As a result, it is possible to reduce the resource load associated with specifying the final correction candidate.

－実施例２－
実施例１では、プログラム修正装置１００は、テスト実行時情報２９５として、パッチ部分の式（修正後の式２９５２）とその出力値との関係の情報を生成したが、テスト実行時情報２９５は、その他の形式の情報であってもよい。 -Example 2-
In the first embodiment, the program correction apparatus 100 generates, as the test run-time information 295, information on the relationship between the formula of the patch portion (corrected formula 2952) and its output value, but the test run-time information 295 is Other forms of information are also possible.

図１３は、実施例２に係るテスト実行時情報２９８の一例を示す図である。このテスト実行時情報２９８は、各修正候補のＩＤ２９８１と、その修正候補における行番号２９８２（処理の番号でもよい）と、修正候補を各テスト部２９２１により実行した場合に、修正候補の行番号２９８２が実行された否かを示す情報である実行有無２９８３とを含む。実行有無２９８３は、パッチ部分を含む修正候補の全ての行における実行の有無の情報が設定される。なお、異常値が出力された場合には、その行番号の実行有無２９８３には「例外発生」等の情報が設定される。 FIG. 13 is a diagram showing an example of the test execution time information 298 according to the second embodiment. This test execution time information 298 includes an ID 2981 of each correction candidate, a line number 2982 (a processing number may be used) in the correction candidate, and the line number 2982 of the correction candidate when each test unit 2921 executes the correction candidate. execution presence/absence 2983 which is information indicating whether or not has been executed. The execution presence/absence 2983 is set with information on the execution/non-execution of all lines of the correction candidate including the patch portion. When an abnormal value is output, information such as "exception occurred" is set in the execution presence/absence 2983 of the line number.

ここで、図１４は、実施例２に係る修正候補検査処理の一例を説明するフロー図である。修正候補検査部２３０のｓ１１４１の処理は、実施例１のｓ１１３１と同様である。 Here, FIG. 14 is a flowchart for explaining an example of the correction candidate inspection process according to the second embodiment. The processing of s1141 of the correction candidate inspection unit 230 is the same as s1131 of the first embodiment.

そして、修正候補検査部２３０は、ｓ１１３１で抽出した各修正候補について、テスト実行時情報２９８を参照することにより、その修正候補内でテストコードにより実行された処理（実行経路）を特定し、特定した実行経路における実行有無のパターンがテスト部２９２１間で同一又は類似しているか否かを判定する。修正候補検査部２３０は、実行有無のパターンが同一又は類似している場合には、その修正候補を最終的な修正候補から除外する。 Then, the correction candidate inspection unit 230 refers to the test execution time information 298 for each correction candidate extracted in s1131, thereby specifying the process (execution path) executed by the test code in the correction candidate. It is determined whether or not the execution/non-execution patterns in the execution paths obtained are the same or similar between the test sections 2921 . If the execution/non-execution patterns are the same or similar, the correction candidate inspection unit 230 excludes the correction candidate from the final correction candidates.

なお、実行有無のパターンの類似の程度は、例えば、修正候補の全行のうち、実行有無が同じであった行の割合によって判定する。その割合が所定値以上の場合には、類似と判定される。 Note that the degree of similarity of execution/non-execution patterns is determined, for example, by the ratio of lines having the same execution/non-execution among all correction candidate lines. If the ratio is equal to or greater than a predetermined value, it is determined to be similar.

次に行われるｓ１１３３の処理は、実施例１のｓ１１３３の処理と同様である。 The processing of s1133 that is performed next is the same as the processing of s1133 of the first embodiment.

このように、修正候補内で実行されたパッチ部分を含む各処理の実行パターンがテスト部２９２１（入力値）間で同一又は互いに類似している場合には、その修正候補を最終的な修正候補から除外することで、修正候補が任意の処理経路を辿り正しく実行されるようなパッチを特定し、それに対応した修正候補を特定することができる。 In this way, when the execution pattern of each process including the patch portion executed in the correction candidate is the same or similar between the test sections 2921 (input values), the correction candidate is used as the final correction candidate. , it is possible to identify a patch in which a modification candidate traces an arbitrary processing path and is correctly executed, and to identify a modification candidate corresponding to the patch.

本発明は以上に説明した実施形態に限定されるものではなく、様々な変形例が含まれる。上記した実施形態は本発明のより良い理解のために詳細に説明したものであり、必ずしも説明の全ての構成を備えるものに限定されるものではない。 The present invention is not limited to the embodiments described above, and includes various modifications. The above-described embodiments have been described in detail for better understanding of the present invention, and are not necessarily limited to those having all the configurations described.

例えば、各実施例の各装置が備える各機能の一部は他の装置に設けてもよいし、別装置が備える機能を同一の装置に設けてもよい。 For example, part of each function provided by each device of each embodiment may be provided in another device, or functions provided by another device may be provided in the same device.

１００ プログラム修正装置、２２０ 修正候補実行部、２３０ 修正候補検査部 100 program correction device, 220 correction candidate execution unit, 230 correction candidate inspection unit

Claims (8)

プロセッサ及びメモリを有し、
元のプログラムに対し修正が行われたプログラムである修正候補を取得する修正候補取得部と、
前記取得した修正候補において修正が行われた部分に対する入力値を複数パターン設定し、前記修正候補を実行する修正候補実行部と、
前記実行された修正候補において修正が行われた部分の出力値が前記入力値に依存するか否かを判定し、前記修正が行われた部分の出力値が前記入力値に依存すると判定した場合に、前記修正候補を前記元のプログラムに対する修正案として出力する修正候補検査部と、
を備えるプログラム修正装置。 having a processor and memory,
a correction candidate acquiring unit that acquires a correction candidate that is a program obtained by correcting the original program;
a correction candidate executing unit that sets a plurality of patterns of input values for the corrected portion of the acquired correction candidate and executes the correction candidate;
determining whether or not the output value of the modified portion in the executed modification candidate depends on the input value, and determining that the output value of the modified portion depends on the input value; a correction candidate inspection unit that outputs the correction candidate as a correction proposal for the original program;
program correction device. 前記修正候補検査部は、前記修正が行われた部分の各出力値が互いに同一である場合に、前記修正が行われた部分の出力値が前記入力値に依存しないと判定する、
請求項１に記載のプログラム修正装置。 The correction candidate inspection unit determines that the output value of the corrected portion does not depend on the input value when each output value of the corrected portion is the same.
2. The program correction device according to claim 1. 前記修正候補検査部は、前記修正が行われた部分の各出力値のうち少なくともいずれかが異常値である場合に、前記修正が行われた部分の出力値が前記入力値に依存しないと判定する、
請求項１に記載のプログラム修正装置。 The correction candidate inspection unit determines that the output value of the corrected portion does not depend on the input value when at least one of the output values of the corrected portion is an abnormal value. do,
2. The program correction device according to claim 1. 前記修正候補実行部は、前記修正候補における前記修正が行われた部分の情報と、前記修正が行われた部分の出力値とを対応づけた情報を生成し、
前記修正候補検査部は、前記生成した情報に基づき、前記修正が行われた部分の出力値が前記入力値に依存するか否かを判定する、
請求項１に記載のプログラム修正装置。 The correction candidate execution unit generates information in which information on the corrected portion of the correction candidate is associated with an output value of the corrected portion, and
The correction candidate inspection unit determines whether or not the output value of the corrected portion depends on the input value based on the generated information.
2. The program correction device according to claim 1. 前記修正候補検査部は、前記実行した修正候補内で実行された、前記修正が行われた部分の処理を含む各処理を特定し、特定したパターンが前記複数パターンの入力値のパターンに対して互いに同一又は類似しているか否かを判定し、前記パターンが前記複数パターンの入力値に対して互いに同一又は類似していると判定した場合に、前記取得した複数の出力値が前記変数に依存しないと判定する、
請求項１に記載のプログラム修正装置。 The correction candidate inspecting unit identifies each process executed in the executed correction candidate, including the process of the corrected portion, and the identified pattern is a pattern of the input values of the plurality of patterns. determining whether the patterns are the same or similar to each other, and if it is determined that the patterns are the same or similar to the input values of the plurality of patterns, the plurality of acquired output values depend on the variable decide not to
2. The program correction device according to claim 1. 前記修正候補検査部は、前記修正候補の実行が成功したか否か、及び、前記修正候補における前記修正が行われた部分の出力値が前記入力値に依存するか否かを判定し、前記修正候補の実行が成功し、かつ前記修正が行われた部分の出力値が前記入力値に依存すると判定した場合に、前記修正候補を前記元のプログラムに対する修正案として出力する、
請求項１に記載のプログラム修正装置。 The correction candidate checking unit determines whether the execution of the correction candidate is successful and whether an output value of the corrected portion of the correction candidate depends on the input value; When it is determined that the execution of the correction candidate is successful and the output value of the corrected portion depends on the input value, the correction candidate is output as a correction proposal for the original program;
2. The program correction device according to claim 1. 情報処理装置が、
元のプログラムに対し修正が行われたプログラムである修正候補を取得する修正候補取得処理と、
前記取得した修正候補において修正が行われた部分に対する入力値を複数パターン設定し、前記修正候補を実行する修正候補実行処理と、
前記実行された修正候補において修正が行われた部分の出力値が前記入力値に依存するか否かを判定し、前記修正が行われた部分の出力値が前記入力値に依存すると判定した場合に、前記修正候補を前記元のプログラムに対する修正案として出力する修正候補検査処理と、
を実行するプログラム修正方法。 The information processing device
a correction candidate acquisition process for acquiring a correction candidate, which is a program obtained by correcting the original program;
a correction candidate execution process of setting a plurality of patterns of input values for the corrected portion of the acquired correction candidate and executing the correction candidate;
determining whether or not the output value of the modified portion in the executed modification candidate depends on the input value, and determining that the output value of the modified portion depends on the input value; a modification candidate inspection process for outputting the modification candidate as a modification proposal for the original program;
How to fix a program that runs 情報処理装置に、
元のプログラムに対し修正が行われたプログラムである修正候補を取得する修正候補取得処理と、
前記取得した修正候補において修正が行われた部分に対する入力値を複数パターン設定し、前記修正候補を実行する修正候補実行処理と、
前記実行された修正候補において修正が行われた部分の出力値が前記入力値に依存するか否かを判定し、前記修正が行われた部分の出力値が前記入力値に依存すると判定した場合に、前記修正候補を前記元のプログラムに対する修正案として出力する修正候補検査処理と、
を実行させるプログラム修正プログラム。 information processing equipment,
a correction candidate acquisition process for acquiring a correction candidate, which is a program obtained by correcting the original program;
a correction candidate execution process of setting a plurality of patterns of input values for the corrected portion of the acquired correction candidate and executing the correction candidate;
determining whether or not the output value of the modified portion in the executed modification candidate depends on the input value, and determining that the output value of the modified portion depends on the input value; a modification candidate inspection process for outputting the modification candidate as a modification proposal for the original program;
A program fix that causes the .

Images