JP6331756B2

JP6331756B2 - Test case generation program, test case generation method, and test case generation apparatus

Info

Publication number: JP6331756B2
Application number: JP2014129814A
Authority: JP
Inventors: 晋徳本; 忠弘上原; 一樹宗像; 翔一朗藤原; スッパシットモンプラターンチャイ; 朝子片山; 前田　芳晴; 芳晴前田
Original assignee: Fujitsu Ltd
Current assignee: Fujitsu Ltd
Priority date: 2014-06-25
Filing date: 2014-06-25
Publication date: 2018-05-30
Anticipated expiration: 2034-06-25
Also published as: JP2016009344A

Description

本件は、テストケース生成プログラム、テストケース生成方法、及びテストケース生成装置に関する。 The present case relates to a test case generation program, a test case generation method, and a test case generation apparatus.

シンボリック実行とは、プログラム内の変数を具体化せず、変数をシンボル化して（すなわち、記号のまま）プログラムを実行する技術である（例えば特許文献１参照）。シンボリック実行中においては、具体値ではなくシンボル変数が満たすべき条件（以下、パス条件と呼ぶ）がシンボル変数の値としてメモリ等に保持される。そして、シンボリック実行が完了すると、プログラムにおける各パスについてパス条件が得られるため、パス条件を満たすシンボル変数の具体値を求めることで、プログラムをテストするためのテストケースを得ることができる。 Symbolic execution is a technique for executing a program by converting variables into symbols (that is, as symbols) without embodying variables in the program (see, for example, Patent Document 1). During symbolic execution, not a specific value but a condition to be satisfied by a symbol variable (hereinafter referred to as a path condition) is held in a memory or the like as a symbol variable value. When the symbolic execution is completed, a path condition is obtained for each path in the program. Therefore, a test case for testing the program can be obtained by obtaining a specific value of a symbol variable that satisfies the path condition.

例えば、図２６に示した、絶対値取得関数ｂａｄ＿ａｂｓとして問題があるプログラムについてシンボリック実行を行うことを考える。図２６には、シンボリック実行の対象になるプログラムＰと、そのプログラムＰの制御構造ＣＳとが示されている。このプログラムＰには変数ｘが含まれている。このプログラムＰを対象としてシンボリック実行を行うと、ｘ＝−２というテストケース（パス条件はｘ＜０）と、ｘ＝１２３４というテストケース（パス条件はｘ≧０かつｘ＝１２３４）と、ｘ＝３というテストケース（パス条件はｘ≧０かつｘ≠１２３４）とを得ることができる。 For example, consider symbolic execution of a program having a problem as the absolute value acquisition function bad_abs shown in FIG. FIG. 26 shows a program P to be subjected to symbolic execution and a control structure CS of the program P. This program P includes a variable x. When symbolic execution is performed on the program P, a test case x = −2 (pass condition is x <0), a test case x = 1234 (pass condition is x ≧ 0 and x = 1234), x = 3 (pass condition is x ≧ 0 and x ≠ 1234).

特開２０１３−１５６９６１号公報JP2013-156916A

上述したように、通常のシンボリック実行は、プログラム内の全パスを対象範囲とする。例えば図２６に示したような単純なプログラムＰであれば、たとえ全パスについてシンボリック実行を行ったとしても、最終的なテストケースを得るまでの時間はさほどかからない。しかしながら、複数のプログラムが連携して実行されるなどの場合についてシンボリック実行を行うと、パスの数が非常に多いことに起因して、最終的なテストケースを得るまでに非常に時間がかかるという問題がある。 As described above, normal symbolic execution covers all paths in the program. For example, in the case of a simple program P as shown in FIG. 26, even if symbolic execution is performed for all paths, it does not take much time to obtain a final test case. However, when symbolic execution is performed for cases where multiple programs are executed in cooperation, it takes a very long time to obtain the final test case due to the large number of paths. There's a problem.

そこで、１つの側面では、本件は、シンボリック実行を利用したテストケースを短時間で生成するテストケース生成プログラム、テストケース生成方法、及びテストケース生成装置を提供することを目的とする。 Therefore, in one aspect, an object of the present invention is to provide a test case generation program, a test case generation method, and a test case generation apparatus that generate a test case using symbolic execution in a short time.

本明細書に開示のテストケース生成プログラムは、対象プログラムにおいて実行される複数の関数の呼び出し関係を表すコールツリーを生成し、前記複数の関数の各々についてシンボリック実行により、シンボル変数に関わる分岐を辿った履歴を表す第１の条件と、当該関数の引数及び返却値についての第２の条件の少なくともいずれかを含むパス条件表を前記複数の関数の各々について生成し、前記コールツリーに基づいて、前記複数の関数に含まれるいずれかの関数を呼び出す第１の関数と前記第１の関数に呼び出される第２の関数との関連数を求め、前記関連数の大きさに基づいた前記第１の関数と前記第２の関数のペア毎に、前記パス条件表を並列に統合し、統合後のパス条件表を満たすシンボル変数の値を算出し、当該値をテストケースとして生成する、処理をコンピュータに実行させるテストケース生成プログラムである。 The test case generation program disclosed in this specification generates a call tree representing a calling relationship of a plurality of functions executed in a target program, and follows a branch related to a symbol variable by symbolic execution for each of the plurality of functions. A path condition table including at least one of the first condition representing the history and the second condition for the argument and return value of the function is generated for each of the plurality of functions, and based on the call tree, A number of associations between a first function that calls any one of the plurality of functions and a second function that is called by the first function is obtained, and the first number based on the magnitude of the number of associations for each pair of the second function and the function to integrate the pre-symbol path condition table parallel, it calculates the value of the symbol variable that satisfies the path condition table after integration, testing the value Produced as over scan, a lutein stringent case generation program to execute the process to the computer.

本明細書に開示のテストケース生成方法は、対象プログラムにおいて実行される複数の関数の呼び出し関係を表すコールツリーを生成し、前記複数の関数の各々についてシンボリック実行により、シンボル変数に関わる分岐を辿った履歴を表す第１の条件と、当該関数の引数及び返却値についての第２の条件の少なくともいずれかを含むパス条件表を前記複数の関数の各々について生成し、前記コールツリーに基づいて、前記複数の関数に含まれるいずれかの関数を呼び出す第１の関数と前記第１の関数に呼び出される第２の関数との関連数を求め、前記関連数の大きさに基づいた前記第１の関数と前記第２の関数のペア毎に、前記パス条件表を並列に統合し、統合後のパス条件表を満たすシンボル変数の値を算出し、当該値をテストケースとして生成する、処理をコンピュータが実行するテストケース生成方法である。 The test case generation method disclosed in the present specification generates a call tree representing a calling relationship of a plurality of functions executed in a target program, and follows a branch related to a symbol variable by symbolic execution for each of the plurality of functions. A path condition table including at least one of the first condition representing the history and the second condition for the argument and return value of the function is generated for each of the plurality of functions, and based on the call tree, A number of associations between a first function that calls any one of the plurality of functions and a second function that is called by the first function is obtained, and the first number based on the magnitude of the number of associations for each pair of the second function and the function to integrate the pre-symbol path condition table parallel, it calculates the value of the symbol variable that satisfies the path condition table after integration, test case the value And to generate a test case generation method processing computer executes.

本明細書に開示のテストケース生成装置は、対象プログラムにおいて実行される複数の関数の呼び出し関係を表すコールツリーを生成し、前記複数の関数の各々についてシンボリック実行により、シンボル変数に関わる分岐を辿った履歴を表す第１の条件と、当該関数の引数及び返却値についての第２の条件の少なくともいずれかを含むパス条件表を前記複数の関数の各々について生成する第１の生成手段と、前記コールツリーに基づいて、前記複数の関数に含まれるいずれかの関数を呼び出す第１の関数と前記第１の関数に呼び出される第２の関数との関連数を求め、前記関連数の大きさに基づいた前記第１の関数と前記第２の関数のペア毎に、前記パス条件表を並列に統合する統合手段と、統合後のパス条件表を満たすシンボル変数の値を算出し、当該値をテストケースとして生成する第２の生成手段と、を有するテストケース生成装置である。 The test case generation apparatus disclosed in the present specification generates a call tree representing a calling relationship of a plurality of functions executed in a target program, and traces a branch related to a symbol variable by symbolic execution for each of the plurality of functions. a first condition representing a history of a first generation means for generating for each of the plurality of functions the path condition table including at least one of the second condition of the arguments and return value of the function, the Based on the call tree, the number of associations between the first function that calls any one of the functions included in the plurality of functions and the second function that is called by the first function is obtained, and the size of the association number is obtained. each pair of said second function and said first function based, and integrating means for integrating the pre symbol path condition table parallel, the value of the symbol variable that satisfies the path condition table after integration Calculated, a test case generating device having a second generating unit configured to generate the value as test case, the.

本明細書に開示のテストケース生成プログラム、テストケース生成方法、及びテストケース生成装置によれば、シンボリック実行を利用したテストケースを短時間で生成することができる。 According to the test case generation program, the test case generation method, and the test case generation apparatus disclosed in the present specification, a test case using symbolic execution can be generated in a short time.

図１は、テストケース生成装置のブロック図の一例である。FIG. 1 is an example of a block diagram of a test case generation apparatus. 図２は、対象プログラム格納部に格納される対象プログラムの一例である。FIG. 2 is an example of a target program stored in the target program storage unit. 図３は、対象プログラムについて生成されたコールツリーである。FIG. 3 is a call tree generated for the target program. 図４は、関数の複製と最大マッチングの一例を説明するための図である。FIG. 4 is a diagram for explaining an example of function duplication and maximum matching. 図５は、パス条件表の統合処理の一例を説明するための図である。FIG. 5 is a diagram for explaining an example of the integration process of the path condition table. 図６は、パス条件表の統合処理の一例を説明するための図である。FIG. 6 is a diagram for explaining an example of a path condition table integration process. 図７は、パス条件表の統合処理の一例を説明するための図である。FIG. 7 is a diagram for explaining an example of the integration process of the path condition table. 図８は、関数の統合及び最大マッチングの一例を説明するための図である。FIG. 8 is a diagram for explaining an example of function integration and maximum matching. 図９は、パス条件表の統合処理の一例を説明するための図である。FIG. 9 is a diagram for explaining an example of the path condition table integration process. 図１０は、パス条件表の統合処理の一例を説明するための図である。FIG. 10 is a diagram for explaining an example of the integration process of the path condition table. 図１１は、関数の統合及び最大マッチングの一例を説明するための図である。FIG. 11 is a diagram for explaining an example of function integration and maximum matching. 図１２は、パス条件表の統合処理の一例を説明するための図である。FIG. 12 is a diagram for explaining an example of the integration process of the path condition table. 図１３は、関数の統合及びテストケース生成の一例を説明するための図である。FIG. 13 is a diagram for explaining an example of function integration and test case generation. 図１４は、計算時間の短縮を説明するためのグラフである。FIG. 14 is a graph for explaining a reduction in calculation time. 図１５は、コールスタックについて説明するための図である。FIG. 15 is a diagram for explaining the call stack. 図１６は、プログラムの実行木を示す図である。FIG. 16 is a diagram illustrating an execution tree of a program. 図１７は、テストケース生成装置の動作の一例を示すフローチャートである。FIG. 17 is a flowchart illustrating an example of the operation of the test case generation device. 図１８は、ドライバ・スタブ生成処理の動作の一例を示すフローチャートである。FIG. 18 is a flowchart showing an example of the operation of the driver / stub generation process. 図１９は、対象関数、ドライバ及びスタブの一例を説明するための図である。FIG. 19 is a diagram for describing an example of a target function, a driver, and a stub. 図２０は、シンボリック実行の動作の一例を示すフローチャートである。FIG. 20 is a flowchart illustrating an example of the symbolic execution operation. 図２１は、シンボリック実行の動作の一例を示すフローチャートである。FIG. 21 is a flowchart illustrating an example of the symbolic execution operation. 図２２は、シンボリック実行の動作の一例を示すフローチャートである。FIG. 22 is a flowchart illustrating an example of the symbolic execution operation. 図２３は、追加処理の動作の一例を示すフローチャートである。FIG. 23 is a flowchart illustrating an example of the operation of the addition process. 図２４は、パス条件表の統合処理の動作の一例を示すフローチャートである。FIG. 24 is a flowchart illustrating an example of operation of path condition table integration processing. 図２５は、テストケース生成装置のハードウェア構成の一例である。FIG. 25 is an example of a hardware configuration of the test case generation device. 図２６は、シンボリック実行の対象になるプログラムと、そのプログラムの制御構造の一例である。FIG. 26 shows an example of a program to be subjected to symbolic execution and a control structure of the program.

以下、本件を実施するための形態について図面を参照して説明する。 Hereinafter, an embodiment for carrying out this case will be described with reference to the drawings.

図１は、テストケース生成装置１００のブロック図の一例である。図１に示すように、テストケース生成装置１００は、入力部１０１と、対象プログラム格納部１０２と、ドライバ・スタブ生成部１０３と、ドライバ・スタブ格納部１０４とを含んでいる。テストケース生成装置１００は、第１の生成手段としてのシンボリック実行部１０５と、実行状態格納部１０６と、パス条件表格納部１０７と、コールツリー格納部１０８とを含んでいる。テストケース生成装置１００は、統合手段としてのパス条件統合部１０９と、第２の生成手段としてのテストケース生成部１１０と、テストケース格納部１１１とを含んでいる。 FIG. 1 is an example of a block diagram of the test case generation device 100. As shown in FIG. 1, the test case generation apparatus 100 includes an input unit 101, a target program storage unit 102, a driver / stub generation unit 103, and a driver / stub storage unit 104. The test case generation apparatus 100 includes a symbolic execution unit 105, an execution state storage unit 106, a path condition table storage unit 107, and a call tree storage unit 108 as first generation means. The test case generation device 100 includes a path condition integration unit 109 as an integration unit, a test case generation unit 110 as a second generation unit, and a test case storage unit 111.

入力部１０１は、テストケースが生成されるべきプログラムの入力を受け付ける。入力部１０１は受け付けたプログラムを対象プログラムとして対象プログラム格納部１０２に格納する。
ドライバ・スタブ生成部１０３は、対象プログラム格納部１０２に格納されている対象プログラムに基づき、シンボリック実行で利用されるドライバ及びスタブを関数（ノードとも呼ばれる）毎に並列に生成し、ドライバ・スタブ格納部１０４に格納する。 The input unit 101 receives an input of a program for which a test case is to be generated. The input unit 101 stores the received program in the target program storage unit 102 as a target program.
Based on the target program stored in the target program storage unit 102, the driver / stub generation unit 103 generates a driver and a stub used in symbolic execution in parallel for each function (also called a node), and stores the driver / stub. Stored in the unit 104.

シンボリック実行部１０５は、対象プログラム格納部１０２に格納されている対象プログラムと、ドライバ・スタブ格納部１０４に格納されているドライバ及びスタブとを利用して、シンボリック実行を関数毎に並列に行い、シンボリック実行中における後述の実行状態を実行状態格納部１０６に格納する。シンボリック実行では、数値だけでなく文字又は文字列も扱われる。また、シンボリック実行部１０５は、シンボリック実行により生成したパス条件及び返却値（返り値とも呼ばれる）等を含むパス条件表をパス条件表格納部１０７に格納する。さらに、シンボリック実行部１０５は、関数の呼び出し関係を表すコールツリーを生成し、生成したコールツリーをコールツリー格納部１０８に格納する。 The symbolic execution unit 105 performs symbolic execution in parallel for each function using the target program stored in the target program storage unit 102 and the driver and stub stored in the driver / stub storage unit 104. The execution state described later during symbolic execution is stored in the execution state storage unit 106. In symbolic execution, not only numerical values but also characters or character strings are handled. Further, the symbolic execution unit 105 stores a path condition table including a path condition generated by symbolic execution, a return value (also referred to as a return value), and the like in the path condition table storage unit 107. Further, the symbolic execution unit 105 generates a call tree representing the function calling relationship, and stores the generated call tree in the call tree storage unit 108.

パス条件統合部１０９は、パス条件表格納部１０７に格納されているパス条件表及びコールツリー格納部１０８に格納されているコールツリーを用いて、パス条件表を統合し、処理結果をパス条件表格納部１０７に格納する。尚、パス条件統合部１０９の詳細な説明は後述する。
テストケース生成部１１０は、パス条件表格納部１０７に最終的に格納されたパス条件表におけるパス条件を満たすテストケースを生成し、テストケース格納部１１１に格納する。 The path condition integration unit 109 integrates the path condition table using the path condition table stored in the path condition table storage unit 107 and the call tree stored in the call tree storage unit 108, and the processing result is stored in the path condition. Store in the table storage unit 107. The detailed description of the path condition integration unit 109 will be described later.
The test case generation unit 110 generates a test case that satisfies the path condition in the path condition table finally stored in the path condition table storage unit 107 and stores the test case in the test case storage unit 111.

図２は、対象プログラム格納部１０２に格納される対象プログラム１０の一例である。
図２の例では、関数ｆｕｎｃＡを表すプログラムと、関数ｆｕｎｃＢを表すプログラムと、関数ｆｕｎｃＣを表すプログラムと、関数ｆｕｎｃＤを表すプログラムと、関数ｆｕｎｃＥを表すプログラムと、関数ｆｕｎｃＦを表すプログラムとが格納される。関数ｆｕｎｃＡは４行目において関数ｆｕｎｃＢを、７行目において関数ｆｕｎｃＤを呼び出す。関数ｆｕｎｃＢは５行目において関数ｆｕｎｃＣを呼び出す。関数ｆｕｎｃＤは２行目において関数ｆｕｎｃＥを、４行目において関数ｆｕｎｃＦを呼び出す。関数ｆｕｎｃＦは３行目において関数ｆｕｎｃＥを呼び出す。したがって、本実施形態においては、図２に示すように、複数の関数が実行されるプログラムが処理対象の対象プログラム１０になる。 FIG. 2 is an example of the target program 10 stored in the target program storage unit 102.
In the example of FIG. 2, a program representing the function funcA, a program representing the function funcB, a program representing the function funcC, a program representing the function funcD, a program representing the function funcE, and a program representing the function funcF are stored. The The function funcA calls the function funcB on the fourth line and the function funcD on the seventh line. The function funcB calls the function funcC on the fifth line. The function funcD calls the function funcE on the second line and the function funcF on the fourth line. The function funcF calls the function funcE on the third line. Therefore, in the present embodiment, as shown in FIG. 2, a program that executes a plurality of functions is the target program 10 to be processed.

図３は、図２に示した対象プログラム１０について生成されたコールツリー２０である。各矩形領域は関数を表しており、矩形領域内に示された文字が関数名と対応している。例えば、文字「Ａ」が示された矩形領域は関数ｆｕｎｃＡを表している。図３において、矢印に指されている関数は呼び出される側の関数である。以下の説明では、適宜、呼び出される側の関数を被呼出関数と呼び、呼び出す側の関数を呼出関数と呼ぶ。例えば、関数ｆｕｎｃＡから矢印で指されている関数ｆｕｎｃＢは、関数ｆｕｎｃＡに対する被呼出関数に該当し、関数ｆｕｎｃＡは呼出関数に該当する。このコールツリー２０においては、最も上位の関数は関数ｆｕｎｃＡであり、最も下位の関数は関数ｆｕｎｃＣ及び関数ｆｕｎｃＥである。コールツリー格納部１０８には、このような関数の呼び出し関係を表すコールツリー２０が格納される。 FIG. 3 is a call tree 20 generated for the target program 10 shown in FIG. Each rectangular area represents a function, and the characters shown in the rectangular area correspond to the function name. For example, the rectangular area indicated by the letter “A” represents the function funcA. In FIG. 3, the function pointed to by the arrow is the function to be called. In the following description, a function to be called is appropriately called a called function, and a function to be called is called a calling function. For example, a function funcB indicated by an arrow from the function funcA corresponds to a called function for the function funcA, and the function funcA corresponds to a calling function. In the call tree 20, the highest function is the function funcA, and the lowest functions are the function funcC and the function funcE. The call tree storage unit 108 stores a call tree 20 representing such a function calling relationship.

次に、図４乃至図１３を参照して、パス条件統合部１０９の詳細について説明する。 Next, the details of the path condition integration unit 109 will be described with reference to FIGS. 4 to 13.

パス条件統合部１０９は、コールツリー格納部１０８に格納されたコールツリーに基づいて、複数の呼出関数から呼び出されている被呼出関数が存在すると判断した場合、被呼出関数を呼び出し元ごとに複製する。したがって、図４（ａ）に示すように、関数ｆｕｎｃＤと関数ｆｕｎｃＦから呼び出されている被呼出関数ｆｕｎｃＥは複製されて、被呼出関数ｆｕｎｃＥとは別の被呼出関数ｆｕｎｃＥ´が生成される。被呼出関数ｆｕｎｃＥ´は関数ｆｕｎｃＦから呼び出される。尚、複数の呼出関数から呼び出されている被呼出関数が存在しない場合、当該複製処理は行われない。 If the path condition integration unit 109 determines that there is a called function called from a plurality of calling functions based on the call tree stored in the call tree storage unit 108, the path condition integration unit 109 copies the called function for each caller. To do. Therefore, as shown in FIG. 4A, the called function funcE called from the function funcD and the function funcF is duplicated, and a called function funcE ′ different from the called function funcE is generated. The called function funcE ′ is called from the function funcF. Note that when there is no called function called from a plurality of calling functions, the duplication processing is not performed.

パス条件統合部１０９は、関数の複製を終えると、コールツリーの最大マッチングを求める。グラフ理論においてマッチングとはグラフ（ここではコールツリー）内の任意の１つのノードが他の高々１つのノードからの関連（ここでは関数の呼出または被呼出）を持つような関連の集合のことである。最大マッチングとはマッチングで関連の数が最大となるものである。最大マッチングのアルゴリズムは、Hopcroft-Karpのアルゴリズムが有名であるが、近年並列計算による近似アルゴリズムによって線形時間で結果を出力できる。ここでは正確に最大であるマッチングとならなくても結果には影響しないため、近似アルゴリズムを採用する。ここでは、一例として図４（ｂ）に示すように、関数ｆｕｎｃＡと関数ｆｕｎｃＢ、関数ｆｕｎｃＤと関数ｆｕｎｃＥ、関数ｆｕｎｃＦと関数ｆｕｎｃＥ´をそれぞれペアとするマッチングで関連の数が最大であるとして最大マッチングが求められている。 The path condition integration unit 109 obtains the maximum matching of the call tree when the function replication is completed. In graph theory, matching is a set of associations in which any one node in the graph (here, the call tree) has an association (here, a function call or called) from at most one other node. is there. Maximum matching is the matching that maximizes the number of associations. The Hopcroft-Karp algorithm is famous as the maximum matching algorithm, but in recent years, the result can be output in linear time by an approximation algorithm based on parallel computation. In this case, an approximation algorithm is adopted because the result is not affected even if the matching is not exactly maximum. Here, as an example, as shown in FIG. 4B, the maximum matching is performed assuming that the number of associations is the maximum in the pairing of the function funcA and the function funcB, the function funcD and the function funcE, and the function funcF and the function funcE ′. Is required.

パス条件統合部１０９は、最大マッチングを求めた後、最大マッチングとなった呼出関数と被呼出関数のそれぞれのパス条件表を論理積によって並列に統合する。パス条件表は、上述したように、パス条件表格納部１０７に格納されている。具体的には、図５から図７までに示すように、パス条件表Ｔ１，・・・，Ｔ６は、それぞれＩＤ、パス条件及び返却値を含んでいる。ＩＤは、パス条件のＩＤである。パス条件には、シンボル変数に関わる分岐を辿った履歴を表すパス条件そのもの（第１の条件）と、呼出関数の引数についての条件（第２の条件）とが含まれる。例えば、図５に示すパス条件表Ｔ１では、「ｘ＞０」及び「ｆｕｎｃＢ＿ｒｅｔ＞０」がパス条件そのものに該当する。一方、「ｆｕｎｃＢ＿ｘ＝＝ｘ」及び「ｆｕｎｃＤ＿ｘ＝＝ｆｕｎｃＢ＿ｒｅｔ」は呼出関数の引数についての条件に該当する。尚、ｆｕｎｃＢ＿ｒｅｔはｆｕｎｃＢの返却値を表し、ｆｕｎｃＢ＿ｘはｆｕｎｃＢの引数ｘを表している。他の返却値や引数についても基本的に同様である。図５から図７におけるパス条件表Ｔ１，・・・，Ｔ６の返却値は、それぞれｆｕｎｃＡ，・・・，ｆｕｎｃＥ´の返却値である。 The path condition integration unit 109 obtains the maximum matching, and then integrates the path condition tables of the calling function and the called function that are the maximum matching in parallel by AND. The path condition table is stored in the path condition table storage unit 107 as described above. Specifically, as shown in FIGS. 5 to 7, the path condition tables T1,..., T6 each include an ID, a path condition, and a return value. ID is an ID of a path condition. The path condition includes a path condition itself (first condition) representing a history of tracing a branch related to a symbol variable, and a condition for a call function argument (second condition). For example, in the path condition table T1 shown in FIG. 5, “x> 0” and “funcB_ret> 0” correspond to the path condition itself. On the other hand, “funcB_x == x” and “funcD_x == funcB_ret” correspond to the conditions for the arguments of the calling function. Note that funcB_ret represents the return value of funcB, and funcB_x represents the argument x of funcB. The same applies to other return values and arguments. The return values of the path condition tables T1,..., T6 in FIGS. 5 to 7 are the return values of funcA,.

パス条件表の統合処理は、最大マッチングとなった呼出関数と被呼出関数との間で行われ、図５から図７に示すように、呼出関数ｆｕｎｃＡのパス条件表Ｔ１と被呼出関数ｆｕｎｃＢのパス条件表Ｔ２、呼出関数ｆｕｎｃＤのパス条件表Ｔ３と被呼出関数ｆｕｎｃＥのパス条件表Ｔ４、及び呼出関数ｆｕｎｃＦのパス条件表Ｔ５と被呼出関数ｆｕｎｃＥ´のパス条件表Ｔ６をそれぞれ論理積によって並列に統合することで行われる。この結果、呼出関数ｆｕｎｃＡのパス条件表Ｔ１と被呼出関数ｆｕｎｃＢのパス条件表Ｔ２の統合であれば、図５に示すように、統合したパス条件表Ｔ７が生成される。 The integration process of the path condition table is performed between the calling function and the called function that have the maximum matching, and as shown in FIGS. 5 to 7, the path condition table T1 of the calling function funcA and the called function funcB. The path condition table T2, the path condition table T3 of the calling function funcD, the path condition table T4 of the called function funcE, and the path condition table T5 of the calling function funcF and the path condition table T6 of the called function funcE ′ are paralleled by logical product. It is done by integrating with. As a result, if the path condition table T1 of the calling function funcA and the path condition table T2 of the called function funcB are integrated, an integrated path condition table T7 is generated as shown in FIG.

図５において、パス条件表Ｔ７のパス条件によっては２つの括弧が含まれている。左側の括弧にはｆｕｎｃＡのパス条件が含まれている。右側の括弧には、ｆｕｎｃＢのパス条件とｆｕｎｃＢの返却値を変換したパス条件が含まれている。例えば、ｆｕｎｃＢの返却値「０」は、「ｆｕｎｃＢ＿ｒｅｔ＝＝０」に変換されて、右側の括弧に追加される。２つの括弧内のパス条件は論理積によって結合されている。パス条件の欄の右に設けられているＳＡＴの欄には、パス条件を満たす解が存在するか否かについての判定結果が示されている。ＳＡＴ（Satisfied）である場合には、パス条件を満たす解が存在する。ＵＮＳＡＴ（Unsatisfied）である場合には、パス条件を満たす解が存在しない。例えば、統合したパス条件表において、「ｆｕｎｃＢ＿ｒｅｔ＞０」と「ｆｕｎｃＢ＿ｒｅｔ＝＝０」を同時に満たす解は存在しないため、ＳＡＴの欄にはＵＮＳＡＴが記録される。 In FIG. 5, two parentheses are included depending on the path condition of the path condition table T7. The parentheses on the left include the funcA path condition. The parenthesis on the right side includes a path condition obtained by converting the funcB path condition and the funcB return value. For example, the return value “0” of funcB is converted to “funcB_ret == 0” and added to the right parenthesis. The path conditions in the two parentheses are connected by AND. In the SAT column provided to the right of the path condition column, a determination result as to whether or not there is a solution that satisfies the path condition is shown. In the case of SAT (Satisfied), there exists a solution that satisfies the path condition. In the case of UNSAT (Unsatisfied), there is no solution that satisfies the path condition. For example, in the integrated path condition table, since there is no solution that satisfies both “funcB_ret> 0” and “funcB_ret == 0”, UNSAT is recorded in the SAT column.

以上説明したパス条件の統合処理と同様に、呼出関数ｆｕｎｃＤのパス条件表Ｔ３と被呼出関数ｆｕｎｃＥのパス条件表Ｔ４の統合であれば、図６に示すように、統合したパス条件表Ｔ８が生成される。呼出関数ｆｕｎｃＦのパス条件表Ｔ５と被呼出関数ｆｕｎｃＥ´のパス条件表Ｔ６の統合であれば、図７に示すように、統合したパス条件表Ｔ９が生成される。パス条件統合部１０９は、生成したパス条件表Ｔ７，Ｔ８，Ｔ９のうちＳＡＴのものをパス条件表格納部１０７に格納する。 Similar to the path condition integration process described above, if the path condition table T3 of the calling function funcD and the path condition table T4 of the called function funcE are integrated, as shown in FIG. Generated. If the path condition table T5 of the calling function funcF and the path condition table T6 of the called function funcE ′ are integrated, an integrated path condition table T9 is generated as shown in FIG. The path condition integration unit 109 stores the SAT data among the generated path condition tables T7, T8, and T9 in the path condition table storage unit 107.

パス条件統合部１０９は、パス条件表の統合処理を終えると、最大マッチングとなった呼出関数と被呼出関数を統合し、統合した１つの関数を利用して、再度、最大マッチングを求め、パス条件表を統合する。具体的には、パス条件統合部１０９は、図８（ａ）において、最大マッチングに基づいて、関数ｆｕｎｃＡと関数ｆｕｎｃＢとの統合、関数ｆｕｎｃＤと関数ｆｕｎｃＥとの統合、及び関数ｆｕｎｃＦと関数ｆｕｎｃＥ´との統合を実行する。以下、関数ｆｕｎｃＡと関数ｆｕｎｃＢとを統合した後の関数を関数ｆｕｎｃＡＢと呼ぶ。関数ｆｕｎｃＤと関数ｆｕｎｃＥとを統合した後の関数を関数ｆｕｎｃＤＥと呼ぶ。関数ｆｕｎｃＦと関数ｆｕｎｃＥ´とを統合した後の関数を関数ｆｕｎｃＥ´Ｆと呼ぶ。パス条件統合部１０９は、呼出関数と被呼出関数との統合を終えると、再度、最大マッチングを求める。ここでは、一例として図８（ｂ）に示すように、関数ｆｕｎｃＡＢと関数ｆｕｎｃＣ、関数ｆｕｎｃＤＥと関数ｆｕｎｃＥ´Ｆをそれぞれペアとするマッチングで関連の数が最大であるとして最大マッチングが求められている。 When the path condition integration unit 109 finishes the integration process of the path condition table, the path function table and the called function that have become the maximum matching are integrated, and the maximum matching is obtained again using the integrated one function. Integrate condition tables. Specifically, in FIG. 8A, the path condition integration unit 109 integrates the function funcA and the function funcB, the function funcD and the function funcE, and the function funcF and the function funcE ′ based on the maximum matching. Perform integration with. Hereinafter, the function after the function funcA and the function funcB are integrated is referred to as a function funcAB. A function after the function funcD and the function funcE are integrated is called a function funcDE. A function after the function funcF and the function funcE ′ are integrated is called a function funcE′F. The path condition integration unit 109 obtains the maximum matching again after the integration of the calling function and the called function is completed. Here, as an example, as shown in FIG. 8 (b), the maximum matching is obtained on the assumption that the number of associations is the largest in the pairing of the function funcAB and the function funcC, the function funcDE and the function funcE′F. .

パス条件統合部１０９は、最大マッチングを求めた後、最大マッチングとなった呼出関数のパス条件表と被呼出関数のパス条件表を論理積によって並列に統合する。パス条件表の統合処理は、図９及び図１０に示すように、呼出関数である関数ｆｕｎｃＡＢのパス条件表Ｔ７のうちＳＡＴとなったものと被呼出関数である関数ｆｕｎｃＣのパス条件表Ｔ１０、及び呼出関数である関数ｆｕｎｃＤＥのパス条件表Ｔ８のうちＳＡＴとなったものと被呼出関数である関数ｆｕｎｃＥ´Ｆのパス条件表Ｔ９のうちＳＡＴとなったものをそれぞれ論理積によって並列に統合することで行われる。この結果、関数ｆｕｎｃＡＢのパス条件表Ｔ７と関数ｆｕｎｃＣのパス条件表Ｔ１０の統合であれば、図９に示すように、統合したパス条件表Ｔ１１が生成される。同様に、関数ｆｕｎｃＤＥのパス条件表Ｔ８と関数ｆｕｎｃＥ´Ｆのパス条件表Ｔ９の統合であれば、図１０に示すように、統合したパス条件表Ｔ１２が生成される。パス条件統合部１０９は、生成したパス条件表Ｔ１１，Ｔ１２のうちＳＡＴのものをパス条件表格納部１０７に格納する。 After obtaining the maximum matching, the path condition integration unit 109 integrates the path condition table of the calling function that has reached the maximum matching and the path condition table of the called function in parallel by AND. As shown in FIGS. 9 and 10, the path condition table integration process includes the path condition table T10 of the function funcC that is the called function and the function that is SAT in the path condition table T7 of the function funcAB that is the calling function. In addition, the path condition table T8 of the function funcDE that is the calling function becomes SAT and the path condition table T9 of the function funcE′F that is the called function is integrated in parallel by logical product. Is done. As a result, if the path condition table T7 of the function funcAB and the path condition table T10 of the function funcC are integrated, an integrated path condition table T11 is generated as shown in FIG. Similarly, if the path condition table T8 of the function funcDE and the path condition table T9 of the function funcE′F are integrated, an integrated path condition table T12 is generated as shown in FIG. The path condition integration unit 109 stores the SAT one of the generated path condition tables T11 and T12 in the path condition table storage unit 107.

パス条件統合部１０９は、パス条件表の統合処理を終えると、最大マッチングとなった呼出関数と被呼出関数を統合し、統合した１つの関数を利用して、再度、最大マッチングを求め、パス条件表を統合する。具体的には、図１１（ａ）において、パス条件統合部１０９は、最大マッチングに基づいて、関数ｆｕｎｃＡＢと関数ｆｕｎｃＣとの統合、及び関数ｆｕｎｃＤＥと関数ｆｕｎｃＥ´Ｆとの統合を実行する。以下、関数ｆｕｎｃＡＢと関数ｆｕｎｃＣとを統合した後の関数を関数ｆｕｎｃＡＢＣと呼ぶ。関数ｆｕｎｃＤＥと関数ｆｕｎｃＥ´Ｆとを統合した後の関数を関数ｆｕｎｃＤＥＥ´Ｆと呼ぶ。パス条件統合部１０９は、呼出関数と被呼出関数との統合を終えると、再度、最大マッチングを求める。ここでは、一例として図１１（ｂ）に示すように、関数ｆｕｎｃＡＢＣと関数ｆｕｎｃＣ、関数ｆｕｎｃＤＥＥ´Ｆをペアとするマッチングで関連の数が最大であるとして最大マッチングが求められている。 When the path condition integration unit 109 finishes the integration process of the path condition table, the path function table and the called function that have become the maximum matching are integrated, and the maximum matching is obtained again using the integrated one function. Integrate condition tables. Specifically, in FIG. 11A, the path condition integration unit 109 executes integration of the function funcAB and the function funcC and integration of the function funcDE and the function funcE′F based on the maximum matching. Hereinafter, a function after the function funcAB and the function funcC are integrated is referred to as a function funcABC. A function after the function funcDE and the function funcE′F are integrated is referred to as a function funcDEE′F. The path condition integration unit 109 obtains the maximum matching again after the integration of the calling function and the called function is completed. Here, as an example, as shown in FIG. 11B, the maximum matching is obtained on the assumption that the number of associations is the maximum in the pairing of the function funcABC, the function funcC, and the function funcDEE′F.

パス条件統合部１０９は、最大マッチングを求めた後、最大マッチングとなった呼出関数と被呼出関数のそれぞれのパス条件表を論理積によって並列に統合する。パス条件表の統合処理は、図１２に示すように、呼出関数である関数ｆｕｎｃＡＢＣのパス条件表Ｔ１１のうちＳＡＴとなったものと被呼出関数である関数ｆｕｎｃＤＥＥ´Ｆのパス条件表Ｔ１２のうちＳＡＴとなったものを論理積によって並列に統合することで行われる。この結果、関数ｆｕｎｃＡＢＣのパス条件表Ｔ１１と関数ｆｕｎｃＤＥＥ´Ｆのパス条件表Ｔ１２の統合から、図１２に示すように、統合したパス条件表Ｔ１３が生成される。パス条件統合部１０９は、生成したパス条件表Ｔ１３のうちＳＡＴのものをパス条件表格納部１０７に格納する。 The path condition integration unit 109 obtains the maximum matching, and then integrates the path condition tables of the calling function and the called function that are the maximum matching in parallel by AND. As shown in FIG. 12, the integration processing of the path condition table consists of the path condition table T11 of the function funcABC that is the calling function and the path condition table T12 of the function funcDEE'F that is the called function. This is done by integrating the SAT in parallel by AND. As a result, as a result of the integration of the path condition table T11 of the function funcABC and the path condition table T12 of the function funcDEE′F, an integrated path condition table T13 is generated as shown in FIG. The path condition integration unit 109 stores the SAT of the generated path condition table T13 in the path condition table storage unit 107.

パス条件統合部１０９は、パス条件表の統合処理を終えると、最大マッチングとなった呼出関数と被呼出関数を統合し、統合した１つの関数を利用して、再度、最大マッチングを求め、パス条件表を統合する。具体的には、図１３（ａ）に示すように、パス条件統合部１０９は、最大マッチングに基づいて、関数ｆｕｎｃＡＢＣと関数ｆｕｎｃＤＥＥ´Ｆとの統合を実行する。これにより、関数ｆｕｎｃＡＢＣと関数ｆｕｎｃＤＥＥ´Ｆとを統合した１つの関数ｆｕｎｃＡＢＣＤＥＥ´Ｆが生成される。パス条件統合部１０９は、関数が１つになると最大マッチングを求めるマッチング処理及びパス条件表を統合する統合処理を終了する。 When the path condition integration unit 109 finishes the integration process of the path condition table, the path function table and the called function that have become the maximum matching are integrated, and the maximum matching is obtained again using the integrated one function. Integrate condition tables. Specifically, as illustrated in FIG. 13A, the path condition integration unit 109 executes integration of the function funcABC and the function funcDEE′F based on the maximum matching. As a result, one function funcABCDE'F is generated by integrating the function funcABC and the function funcDEE′F. The path condition integration unit 109 ends the matching process for obtaining the maximum matching when the number of functions becomes one and the integration process for integrating the path condition table.

統合処理が終了すると、テストケース生成部１１０は、パス条件表格納部１０７に格納されたパス条件表Ｔ１３のうちＳＡＴになったもの（図１３（ｂ））からソルバ（solver）を用いてテストケースを生成する。ソルバとは、複数の変数の値を変化させながら変数の相互関係を判断し、最適な値を算出する算出手法である。この結果、図１３（ｂ）に示すように、ＳＡＴのパス条件表Ｔ１３に示されるパス条件を満たすシンボル変数の値を含むテストケースが生成される。テストケース生成部１１０は、生成したテストケースをテストケース格納部１１１に格納する。尚、このようなテストケースを用いて図２に示した対象プログラム１０のテストを実行すると、関数ｆｕｎｃＡ，・・・，ｆｕｎｃＦを組み合わせたときに通りえない行を除いた行を網羅することができる。 When the integration process is completed, the test case generation unit 110 performs a test using a solver from the path condition table T13 stored in the path condition table storage unit 107 that has become SAT (FIG. 13B). Generate a case. The solver is a calculation method for calculating the optimum value by determining the mutual relationship between variables while changing the values of a plurality of variables. As a result, as shown in FIG. 13B, a test case including the value of the symbol variable that satisfies the path condition shown in the SAT path condition table T13 is generated. The test case generation unit 110 stores the generated test case in the test case storage unit 111. When the test of the target program 10 shown in FIG. 2 is executed using such a test case, it is possible to cover lines excluding lines that cannot be passed when the functions funcA,..., FuncF are combined. it can.

また、本実施形態ではパス条件表の統合処理を含む一部の処理が並列化されている。仮に、統合処理の全てが並列（パラレル）に行えるとした場合、並列の最大マッチングの計算量はＯ（ｌｏｇｎ）で表すことができる。ここで、ｎは関数の数、Ｏはオーダーである。また、反復回数はＯ（ｌｏｇｎ）で表すことができるため、統合処理にかかるコスト（計算量）をｓとした場合、本実施形態の計算量はＯ（（ｌｏｇｎ）^２＋ｓｌｏｇｎ）で表すことができる。一方、統合処理の全てが直列（シリアル）に行えるとした場合、計算量はｓｎで表すことができる。 In the present embodiment, some processes including the path condition table integration process are parallelized. If all the integration processes can be performed in parallel, the parallel maximum matching calculation amount can be expressed as O (log n). Here, n is the number of functions, and O is the order. In addition, since the number of iterations can be expressed by O (log n), when the cost (computation amount) required for the integration process is s, the computation amount of the present embodiment is O ((log n) ² + s log n). Can be expressed as On the other hand, when all the integration processes can be performed in series, the amount of calculation can be represented by sn.

ここで、ｓｎ＞ｓｌｏｇｎは自明であるため、ｓｎ＞（ｌｏｇｎ）^２であれば計算時間を短縮することができる。ここで、図１４に示すように、ｙ＝（ｌｏｇｎ）^２／ｎは、ｎ≧１においてｎ＝ｅ^２のとき最大値ｙ＝４／ｅ^２となる。したがって、コストｓが最大値４／ｅ^２よりも大きい場合には、ｎ≧１であればｎに関わらず計算時間を短縮することができる。すなわち、ｓ＞（ｌｏｇｎ）^２／ｎの条件を満たせば、計算時間を短縮することができる。 Here, since sn> slog n is self-evident, if sn> (log n) ² , the calculation time can be shortened. Here, as shown in FIG. 14, y = (log n) ² / n is the maximum value y = 4 / e ² when n ≧ 1 and n = e ² . Therefore, when the cost s is larger than the maximum value 4 / e ² , the calculation time can be shortened regardless of n if n ≧ 1. That is, if the condition of s> (log n) ² / n is satisfied, the calculation time can be shortened.

次に、図１５及び図１６を用いて、上述した実行状態について説明する。 Next, the execution state described above will be described with reference to FIGS. 15 and 16.

図１５は、コールスタックについて説明するための図である。図１６は、プログラムの実行木を示す図である。
まず、図１５を用いて、コールスタックについて説明する。図１５に示したプログラムＱは、メインの処理を表すコードＱ１において関数ｆｕｎｃＡを呼び出し、関数ｆｕｎｃＡにおいて関数ａｂｓを呼び出すプログラムである。命令１乃至７におけるいずれかの命令を実行中におけるコールスタックは識別情報「ｓｔａｃｋ３」のようになっている。命令８乃至１５におけるいずれかの命令を実行中におけるコールスタックは識別情報「ｓｔａｃｋ２」のようになっている。命令１６乃至１９におけるいずれかの命令を実行中におけるコールスタックは識別情報「ｓｔａｃｋ１」のようになっている。 FIG. 15 is a diagram for explaining the call stack. FIG. 16 is a diagram illustrating an execution tree of a program.
First, the call stack will be described with reference to FIG. The program Q shown in FIG. 15 is a program that calls the function funcA in the code Q1 representing the main process and calls the function abs in the function funcA. The call stack during execution of any one of the instructions 1 to 7 has the identification information “stack3”. The call stack during execution of any one of the instructions 8 to 15 has the identification information “stack2”. The call stack during execution of any one of the instructions 16 to 19 has the identification information “stack1”.

図１６に、図１５に示したプログラムＱの実行木を示す。図１６の実行木においては、各実行状態について、プログラムカウンタの値、コールスタックの識別情報（図１５における識別情報に対応している）、メモリの内容、及びパス条件（本実施の形態においては、シンボル変数に関わる分岐を辿った履歴を表す条件）が示されている。例えば、プログラムカウンタの値が１２である場合には、実行状態はｓｔａｔｅ２又はｓｔａｔｅ５である。「＊」は、変数がシンボル変数であることを表す。実行状態格納部１０６には、シンボリック実行中におけるプログラムの実行状態が、図１６における符号６０のような形式で格納される。 FIG. 16 shows an execution tree of the program Q shown in FIG. In the execution tree of FIG. 16, for each execution state, the value of the program counter, call stack identification information (corresponding to the identification information in FIG. 15), memory contents, and path conditions (in this embodiment) , A condition representing a history of tracing a branch related to a symbol variable). For example, when the value of the program counter is 12, the execution state is state2 or state5. “*” Indicates that the variable is a symbol variable. The execution state storage unit 106 stores the execution state of the program during symbolic execution in a format as indicated by reference numeral 60 in FIG.

次に、図１７を参照して、テストケース生成装置１００の動作について説明する。 Next, the operation of the test case generation device 100 will be described with reference to FIG.

図１７は、テストケース生成装置１００の動作の一例を示すフローチャートである。
まず、テストケース生成装置１００における入力部１０１は、ユーザから対象プログラム１０の入力を受け付け、対象プログラム格納部１０２に格納する。対象プログラム１０が格納されると、シンボリック実行部１０５は、対象プログラム１０からコールツリー２０を生成する（ステップＳ１０１）。コールツリー２０は、コールツリー格納部１０８に格納される。コールツリー２０が生成されると、次いで、ドライバ・スタブ生成部１０３は、後述するドライバ・スタブ生成処理を実行する（ステップＳ１０２）。ドライバ・スタブ生成処理は、各関数に対して並列に実行される。これにより、関数毎のドライバ及びスタブが生成される。 FIG. 17 is a flowchart illustrating an example of the operation of the test case generation device 100.
First, the input unit 101 in the test case generation apparatus 100 receives an input of the target program 10 from the user and stores it in the target program storage unit 102. When the target program 10 is stored, the symbolic execution unit 105 generates the call tree 20 from the target program 10 (step S101). The call tree 20 is stored in the call tree storage unit 108. When the call tree 20 is generated, the driver / stub generation unit 103 then executes a driver / stub generation process to be described later (step S102). The driver stub generation process is executed in parallel for each function. Thereby, a driver and a stub for each function are generated.

ドライバ・スタブ生成処理が完了すると、次いで、シンボリック実行部１０５は、後述するシンボリック実行を行う（ステップＳ１０３）。シンボリック実行は、各関数に対して並列に行われる。シンボリック実行が行われることで、シンボリック実行中における実行状態が実行状態格納部１０６に格納される。また、シンボリック実行が行われることで、シンボリック実行時に得られたパス条件及び返却値（返り値とも呼ばれる）等を含むパス条件表がパス条件表格納部１０７に格納される。 When the driver stub generation processing is completed, the symbolic execution unit 105 performs symbolic execution described later (step S103). Symbolic execution is performed in parallel for each function. By executing the symbolic execution, the execution state during the symbolic execution is stored in the execution state storage unit 106. Further, by performing symbolic execution, a path condition table including a path condition and a return value (also called a return value) obtained at the time of symbolic execution is stored in the path condition table storage unit 107.

シンボリック実行が完了すると、次いで、パス条件統合部１０９は、複数の関数から呼び出される関数を複製し（ステップＳ１０４）、コールツリーの最大マッチングを求める（ステップＳ１０５）。最大マッチングが求められると、さらに、パス条件統合部１０９は、パス条件表の統合処理を実行する（ステップＳ１０６）パス条件表の統合処理は、最大マッチングとなった２つの関数のそれぞれのパス条件表に対して並列に実行される。パス条件統合部１０９は、パス条件表の統合処理が完了すると、最大マッチングとなった２つの関数を１つに統合し（ステップＳ１０７）、統合した１つの関数が全ての関数を含むか否かを判断する（ステップＳ１０８）。 When the symbolic execution is completed, the path condition integration unit 109 then duplicates a function called from a plurality of functions (step S104) and obtains the maximum matching of the call tree (step S105). When the maximum matching is obtained, the path condition integration unit 109 further executes a path condition table integration process (step S106). The path condition table integration process is performed for each path condition of the two functions having the maximum matching. Runs in parallel on the table. When the integration process of the path condition table is completed, the path condition integration unit 109 integrates the two functions having the maximum matching into one (step S107), and whether or not the integrated one function includes all the functions. Is determined (step S108).

パス条件統合部１０９は、統合した１つの関数が全ての関数を含まないと判断した場合（ステップＳ１０８：ＮＯ）、ステップＳ１０５〜Ｓ１０７の処理を繰り返す。そして、パス条件統合部１０９は、統合した１つの関数が全ての関数を含むと判断した場合（ステップＳ１０８：ＹＥＳ）、テストケース生成部１１０は、ソルバを利用してテストケースを生成する（ステップＳ１０９）。テストケース生成部１１０は、生成したテストケースをテストケース格納部１１１に格納する。 When the path condition integration unit 109 determines that one integrated function does not include all the functions (step S108: NO), the processing of steps S105 to S107 is repeated. When the path condition integration unit 109 determines that one integrated function includes all functions (step S108: YES), the test case generation unit 110 generates a test case using a solver (step S108). S109). The test case generation unit 110 stores the generated test case in the test case storage unit 111.

次に、図１８及び図１９を参照して、上述したドライバ・スタブ生成処理の詳細について説明する。 Next, the details of the driver stub generation process described above will be described with reference to FIGS.

図１８は、ドライバ・スタブ生成処理の動作の一例を示すフローチャートである。
ドライバ・スタブ生成部１０３は、まず、処理対象となる対象関数を解析し、対象関数から、パラメータ及び対象関数から呼び出される被呼出関数を抽出する（ステップＳ２０１）。例えば、図２に示した関数ｆｕｎｃＡの場合、被呼出関数として関数ｆｕｎｃＢが呼び出される。ドライバ・スタブ生成部１０３は、次いで、ステップＳ２０１において抽出された被呼出関数それぞれについて対応するスタブを生咸し（ステップＳ２０２）、ドライバ・スタブ格納部１０４に格納する。スタブはドライバから呼び出され、呼び出しに応じてシンボルを返すプログラムである。次いで、ドライバ・スタブ生成部１０３は、対象関数のパラメータ及び被呼出関数に対応するシンボル変数を設定するためのプログラムであるドライバを生成し（ステップＳ２０３）、ドライバ・スタブ格納部１０４に格納する。そして処理を終了する。 FIG. 18 is a flowchart showing an example of the operation of the driver / stub generation process.
First, the driver / stub generation unit 103 analyzes a target function to be processed, and extracts a called function called from the parameter and the target function from the target function (step S201). For example, in the case of the function funcA shown in FIG. 2, the function funcB is called as the called function. Next, the driver / stub generation unit 103 sacrifices a corresponding stub for each called function extracted in step S201 (step S202), and stores it in the driver / stub storage unit 104. A stub is a program that is called from a driver and returns a symbol in response to the call. Next, the driver / stub generation unit 103 generates a driver that is a program for setting a parameter of the target function and a symbol variable corresponding to the called function (step S203), and stores the driver in the driver / stub storage unit 104. Then, the process ends.

図１９は、対象関数から生成されるスタブとドライバの一例である。
図１９に示したスタブの６行目において、ドライバに対してシンボルを返すようになっている。また、図１９に示したドライバにおいては、３行目及び４行目においてシンボル変数を設定し、５行目においてスタブを呼び出し、６行目においてｆｕｎｃＡを呼び出している。以上のようなドライバ・スタブ生成処理を実行すれば、関数単体でシンボリック実行を行えるようになる。 FIG. 19 is an example of a stub and driver generated from the target function.
In the sixth line of the stub shown in FIG. 19, a symbol is returned to the driver. In the driver shown in FIG. 19, symbol variables are set in the third and fourth lines, a stub is called in the fifth line, and funcA is called in the sixth line. If the driver stub generation process as described above is executed, symbolic execution can be performed by a single function.

次に、図２０乃至図２２を参照して、上述したシンボリック実行の詳細について説明する。 Next, the details of the symbolic execution described above will be described with reference to FIGS.

図２０乃至図２２は、シンボリック実行の動作の一例を示すフローチャートである。尚、図２０における「シンボリック実行（ｐ）」とは、実行状態ｐについてシンボリック実行を行うことを表している。
まず、シンボリック実行部１０５は、実行状態格納部１０６に格納されている、実行状態ｐのプログラムカウンタの値に基づき、命令を１つ読み出す（ステップＳ３０１）。例えばプログラムカウンタの値が「２」である場合、対象関数の２行目の命令を読み出す。以下では、ステップＳ３０１において読み出された命令を「処理対象の命令」と呼ぶ。 20 to 22 are flowcharts showing an example of the symbolic execution operation. Note that “symbolic execution (p)” in FIG. 20 represents performing symbolic execution for the execution state p.
First, the symbolic execution unit 105 reads one instruction based on the value of the program counter in the execution state p stored in the execution state storage unit 106 (step S301). For example, when the value of the program counter is “2”, the instruction on the second line of the target function is read. Hereinafter, the instruction read in step S301 is referred to as a “processing target instruction”.

シンボリック実行部１０５は、処理対象の命令が、関数を呼び出す命令であるか判断する（ステップＳ３０２）。関数を呼び出す命令ではない場合（ステップＳ３０２：ＮＯ）、図２１のステップＳ４０１の処理に移行する。一方、関数を呼び出す命令である場合（ステップＳ３０２：ＹＥＳ）、シンボリック実行部１０５は、被呼出関数の引数に関数ポインタが含まれるか判断する（ステップＳ３０３）。被呼出関数の引数に関数ポインタが含まれていない場合（ステップＳ３０３：ＮＯ）、ステップＳ３０５の処理に移行する。被呼出関数の引数に関数ポインタが含まれている場合（ステップＳ３０３：ＹＥＳ）、シンボリック実行部１０５は、関数ポインタについての条件を、実行中のパスについての条件に追加する（ステップＳ３０４）。 The symbolic execution unit 105 determines whether the instruction to be processed is an instruction for calling a function (step S302). If it is not an instruction for calling a function (step S302: NO), the process proceeds to step S401 in FIG. On the other hand, if the instruction is a function call instruction (step S302: YES), the symbolic execution unit 105 determines whether a function pointer is included in the argument of the called function (step S303). When the function pointer is not included in the argument of the called function (step S303: NO), the process proceeds to step S305. When the function pointer is included in the argument of the called function (step S303: YES), the symbolic execution unit 105 adds the condition for the function pointer to the condition for the path being executed (step S304).

次いで、シンボリック実行部１０５は、被呼出関数の実引数と仮引数との関係を表す条件を、実行中のパスについての条件に追加する（ステップＳ３０５）。尚、被呼出関数が複数回呼び出される場合、ステップＳ３０５においては、引数についての条件が呼び出し毎に追加される。次いで、シンボリック実行部１０５は、被呼出関数をコールツリーに追加するための追加処理を実行する（ステップＳ３０６）。追加処理の詳細については、後述する。 Next, the symbolic execution unit 105 adds a condition representing the relationship between the actual argument and the dummy argument of the called function to the condition for the path being executed (step S305). When the called function is called a plurality of times, in step S305, a condition for an argument is added for each call. Next, the symbolic execution unit 105 executes an addition process for adding the called function to the call tree (step S306). Details of the addition process will be described later.

ここで、ステップＳ３０２の処理において、関数を呼び出す命令ではない場合、又は、ステップＳ３０６の処理が完了した場合、図２１に移り、シンボリック実行部１０５は、処理対象の命令がグローバル変数を読み込む命令又は書き込む命令であるか判断する（ステップＳ４０１）。グローバル変数を読み込む命令又は書き込む命令のいずれでもない場合（ステップＳ４０１；ＮＯ）、処理はステップＳ４０４に移行する。一方、グローバル変数を読み込む命令又は書き込む命令である場合（ステップＳ４０１；ＹＥＳ）、ステップＳ４０２の処理に移行する。そして、グローバル変数を読み込む命令である場合、シンボリック実行部１０５は、読み込みに対応する書き込みの命令を、コールツリー格納部１０８に格納されているコールツリー２０によって特定する（ステップＳ４０２）。尚、グローバル変数を書き込む命令である場合には、ステップＳ４０２の処理は行われない。 Here, in the process of step S302, if the instruction is not an instruction for calling a function, or if the process of step S306 is completed, the process proceeds to FIG. 21, and the symbolic execution unit 105 determines that the instruction to be processed reads a global variable or It is determined whether it is a command to write (step S401). If it is neither an instruction to read a global variable nor an instruction to write (step S401; NO), the process proceeds to step S404. On the other hand, if it is an instruction to read or write a global variable (step S401; YES), the process proceeds to step S402. If the command is a command for reading a global variable, the symbolic execution unit 105 identifies a write command corresponding to the read by the call tree 20 stored in the call tree storage unit 108 (step S402). If the command is for writing a global variable, the process of step S402 is not performed.

シンボリック実行部１０５は、ステップＳ４０１においてグローバル変数の読み込みであると判定された場合にはグローバル変数の読み込みについての条件を、ステップＳ４０１においてグローバル変数の書き込みであると判定された場合にはグローバル変数の書き込みについての条件を、実行中のパスについての条件に追加する（ステップＳ４０３）。 The symbolic execution unit 105 determines a condition for reading a global variable when it is determined in step S401 that the global variable is read. If it is determined that the global variable is written in step S401, the symbolic execution unit 105 The condition for writing is added to the condition for the path being executed (step S403).

ここで、ステップＳ４０１の処理において、グローバル変数を読み込む命令又は書き込む命令のいずれでもない場合、又は、ステップＳ４０３の処理が完了した場合、シンボリック実行部１０５は、処理対象の命令がシンボルに関わる分岐の命令であるか判断する（ステップＳ４０４）。シンボルに関わる分岐の命令とは、例えば、ｉｆ文にシンボル変数が含まれている命令である。 Here, in the process of step S401, when neither the instruction to read the global variable nor the instruction to write is performed, or when the process of step S403 is completed, the symbolic execution unit 105 determines whether the instruction to be processed is a branch related to the symbol. It is determined whether it is a command (step S404). A branch instruction related to a symbol is, for example, an instruction in which a symbol variable is included in an if statement.

シンボルに関わる分岐の命令である場合（ステップＳ４０４：ＹＥＳ）、シンボリック実行部１０５は、新たにシンボリック実行が行われる実行状態Ｐに実行状態ｐ（すなわち、実行状態格紬部１０６に格納されている現在の実行状態）をコピー（複製）する（ステップＳ４０５）。シンボリック実行部１０５は、処理対象の命令において未処理の分岐先を１つ特定する（ステップＳ４０６）。そして、シンボリック実行部１０５は、分岐の条件（すなわち、パス条件）を、実行中のパスについての条件に追加する（ステップＳ４０７）。シンボリック実行部１０５は、実行状態Ｐについてのシンボリック実行を再帰的に行う（ステップＳ４０８）。 If the instruction is a branch instruction related to a symbol (step S404: YES), the symbolic execution unit 105 is stored in the execution state p (that is, the execution state rating unit 106) in the execution state P in which symbolic execution is newly performed. The current execution state) is copied (duplicated) (step S405). The symbolic execution unit 105 identifies one unprocessed branch destination in the instruction to be processed (step S406). Then, the symbolic execution unit 105 adds the branch condition (that is, the path condition) to the condition for the path being executed (step S407). The symbolic execution unit 105 recursively executes symbolic execution for the execution state P (step S408).

ステップＳ４０８におけるシンボリック実行が完了すると、シンボリック実行部１０５は、処理対象の命令において未処理の分岐先があるか判断する（ステップＳ４０９）。未処理の分岐先が有る場合（ステップＳ４０９：ＹＥＳ）、次の分岐先について処理するため、ステップＳ４０６の処理に戻る。一方、未処理の分岐先が無い場合（ステップＳ４０９：ＮＯ）、呼び出し元の処理に戻る。 When the symbolic execution in step S408 is completed, the symbolic execution unit 105 determines whether there is an unprocessed branch destination in the instruction to be processed (step S409). If there is an unprocessed branch destination (step S409: YES), the process returns to step S406 to process the next branch destination. On the other hand, when there is no unprocessed branch destination (step S409: NO), the process returns to the caller process.

ステップＳ４０４の処理において、処理対象の命令がシンボルに関わる分岐ではない場合（ステップＳ４０４：ＮＯ）、新たにシンボリック実行を行わなくてもよい。従って、図２２に示すように、シンボリック実行部１０５は、処理対象の命令を実行し、実行状態格納部１０６に格納されているプログラムカウンタの値を１進める（ステップＳ５０１）。シンボリック実行部１０５は、実行状態ｐが終了の状態であるか判断する（ステップＳ５０２）。終了の状態とは、例えば、プログラムカウンタの値がプログラムにおける最後の行の番号に達している状態である。終了の状態ではない場合（ステップＳ５０２：ＮＯ）、シンボリック実行部１０５は、次の命令について処理するため、図２０に示すステップＳ３０１の処理に戻る。一方、実行状態ｐが終了の状態である場合（ステップＳ５０２：ＹＥＳ）、シンボリック実行部１０５は、シンボリック実行によって得られた、各パスについてのパス条件及び返却値を含むパス条件表をパス条件表格納部１０７に格納する（ステップＳ５０３）。そして呼び出し元の処理に戻る。 In the process of step S404, if the instruction to be processed is not a branch related to a symbol (step S404: NO), it is not necessary to newly perform symbolic execution. Therefore, as shown in FIG. 22, the symbolic execution unit 105 executes the instruction to be processed, and advances the value of the program counter stored in the execution state storage unit 106 by 1 (step S501). The symbolic execution unit 105 determines whether or not the execution state p is an end state (step S502). The end state is, for example, a state where the value of the program counter has reached the number of the last line in the program. If it is not in an end state (step S502: NO), the symbolic execution unit 105 returns to the process of step S301 shown in FIG. 20 in order to process the next instruction. On the other hand, when the execution state p is the end state (step S502: YES), the symbolic execution unit 105 uses the path condition table including the path condition and return value for each path obtained by the symbolic execution. The data is stored in the storage unit 107 (step S503). Then, the process returns to the calling process.

以上の処理により、各関数についてシンボリック実行が行われ、満たすべき条件及び関数の返却値がパス条件表格納部１０７に保存されるようになる。尚、各関数についてのシンボリック実行の結果（すなわち、パス条件表）ほ、パス条件表格納部１０７に保存される。 Through the above processing, symbolic execution is performed for each function, and the condition to be satisfied and the return value of the function are stored in the path condition table storage unit 107. Note that the result of symbolic execution for each function (that is, the path condition table) is stored in the path condition table storage unit 107.

次に、図２３を参照して、上述した追加処理の詳細について説明する。 Next, with reference to FIG. 23, details of the above-described addition processing will be described.

図２３は、追加処理の動作の一例を示すフローチャートである。
まず、シンボリック実行部１０５は、コールツリー格納部１０８に格納されているコールツリー２０に最も後に追加された関数の位置を現在位置に設定する（Ｓ６０１）。シンボリック実行部１０５は、被呼出関数がコールツリーにおける現在位置より上位の位置に存在するか判断する（ステップＳ６０２）。現在位置より上位の位に存在しない場合（ステップＳ６０２：ＮＯ）、再帰呼び出しには該当しないので、シンボリック実行部１０５は、コールツリーにおける現在位置の下に関数を追加する（ステップＳ６０３）。一方、現在位置より上位の位置に存在する場合（ステップＳ６０２：ＹＥＳ）、再帰呼び出しに該当する。そこで、シンボリック実行部１０５は、被呼出関数についての条件を、実行中のパスについての条件から削除する（ステップＳ６０４）。そして呼び出し元の処理に戻る。尚、コールツリーへの関数追加時に、現在位置の右下に追加するようにすることで、追加順が新しい関数ほど右に出現するようにし、検索しやすいようにすることが望ましい。 FIG. 23 is a flowchart illustrating an example of the operation of the addition process.
First, the symbolic execution unit 105 sets the position of the function added most recently to the call tree 20 stored in the call tree storage unit 108 as the current position (S601). The symbolic execution unit 105 determines whether the called function exists at a position higher than the current position in the call tree (step S602). If it does not exist at a position higher than the current position (step S602: NO), since it does not correspond to a recursive call, the symbolic execution unit 105 adds a function below the current position in the call tree (step S603). On the other hand, when it exists in a position higher than the current position (step S602: YES), it corresponds to a recursive call. Therefore, the symbolic execution unit 105 deletes the condition for the called function from the condition for the path being executed (step S604). Then, the process returns to the calling process. In addition, when adding a function to the call tree, it is desirable to add the function to the lower right of the current position so that the new function appears to the right in order to make it easier to search.

次に、図２４を参照して、上述したパス条件表の統合処理の詳細について説明する。 Next, with reference to FIG. 24, the details of the above-described path condition table integration processing will be described.

図２４は、パス条件表の統合処理の動作の一例を示すフローチャートである。
まず、パス条件統合部１０９は、パス条件表格納部１０７に、統合すべき２つのパス条件表（ここでは、パス条件表Ａ及びパス条件表Ｂと表記する）が存在するか判断する（ステップＳ７０１）。パス条件表Ａやパス条件表Ｂは、例えば上述したパス条件表Ｔ１やパス条件表Ｔ２に対応する。統合すべき２つのパス条件表Ａ及びＢが存在しない場合（ステップＳ７０１：ＮＯ）、呼び出し元の処理に戻る。 FIG. 24 is a flowchart illustrating an example of operation of path condition table integration processing.
First, the path condition integration unit 109 determines whether the path condition table storage unit 107 includes two path condition tables to be integrated (in this case, expressed as a path condition table A and a path condition table B) (steps). S701). The path condition table A and the path condition table B correspond to, for example, the above-described path condition table T1 and path condition table T2. If the two path condition tables A and B to be integrated do not exist (step S701: NO), the process returns to the caller process.

一方、統合すべき２つのパス条件表Ａ及びＢが存在する場合（ステップＳ７０１：ＹＥＳ）、パス条件統合部１０９は、パス条件表Ａから未処理の条件（ここでは、パス条件ａとする）を１つ特定する（ステップＳ７０２）。また、パス条件統合部１０９は、パス条件表Ｂから未処理の条件（ここでは、パス条件ｂとする）を１つ特定する（ステップＳ７０３）。ステップＳ７０２及びＳ７０３において、パス条件統合部１０９は、パス単位で条件を特定する。 On the other hand, when there are two path condition tables A and B to be integrated (step S701: YES), the path condition integration unit 109 determines an unprocessed condition from the path condition table A (here, the path condition a). Is identified (step S702). In addition, the path condition integration unit 109 identifies one unprocessed condition (here, the path condition b) from the path condition table B (step S703). In steps S702 and S703, the path condition integration unit 109 specifies conditions in units of paths.

パス条件統合部１０９は、パス条件ａとパス条件ｂとの論理積を求めることにより、パス条件ｃを生成し（ステップＳ７０４）、メインメモリ等の記憶装置に格納する。パス条件統合部１０９は、パス条件ｃを満たす解が存在するか、例えばソルバによって判断する（ステップＳ７０５）。パス条件ｃを満たす解が存在しない場合（ステップＳ７０５：ＮＯ）、ステップＳ７０７の処理に移行する。一方、パス条件ｃを満たす解が存在する場合（ステップＳ７０５：ＹＥＳ）、パス条件統合部１０９は、パス条件ｃをパス条件表Ｃに追加する（ステップＳ７０６）。尚、パス条件表Ｃが存在しない場合には、ステップＳ７０６において新たに条件表Ｃが生成される。 The path condition integration unit 109 obtains a logical product of the path condition a and the path condition b, thereby generating a path condition c (step S704) and stores it in a storage device such as a main memory. The path condition integration unit 109 determines whether there is a solution satisfying the path condition c, for example, using a solver (step S705). If there is no solution that satisfies the path condition c (step S705: NO), the process proceeds to step S707. On the other hand, when there is a solution that satisfies the path condition c (step S705: YES), the path condition integration unit 109 adds the path condition c to the path condition table C (step S706). If no path condition table C exists, a new condition table C is generated in step S706.

パス条件統合部１０９は、パス条件表Ｂに未処理の条件があるか判断する（ステップＳ７０７）。未処理の条件がある場合（ステップＳ７０７：ＹＥＳ）、次の条件について処理するため、ステップＳ７０３の処理に戻る。一方、パス条件表Ｂに未処理の条件がない場合（ステップＳ７０７：ＮＯ）、パス条件統合部１０９は、パス条件表Ｂにおけるパス条件を全て未処理に設定する（ステップＳ７０８）。 The path condition integration unit 109 determines whether there is an unprocessed condition in the path condition table B (step S707). If there is an unprocessed condition (step S707: YES), the process returns to the process of step S703 to process the next condition. On the other hand, when there is no unprocessed condition in the path condition table B (step S707: NO), the path condition integration unit 109 sets all the path conditions in the path condition table B to be unprocessed (step S708).

次いで、パス条件統合部１０９は、パス条件表Ａに未処理の条件があるか判断する（ステップＳ７０９）。未処理の条件がある場合（ステップＳ７０９：ＹＥＳ）、次の条件について処理するため、ステップＳ７０２の処理に戻る。一方、パス条件表Ａに未処理の条件がない場合（ステップＳ７０９：ＮＯ）、パス条件統合部１０９は、パス条件表Ｃをパス条件表格納部１０７に格納し（ステップＳ７１０）、呼び出し元の処理に戻る。以上のような処理を実行すれば、各関数について生成されたパス条件をまとめることができるようになる。 Next, the path condition integration unit 109 determines whether there is an unprocessed condition in the path condition table A (step S709). If there is an unprocessed condition (step S709: YES), the process returns to step S702 to process the next condition. On the other hand, when there is no unprocessed condition in the path condition table A (step S709: NO), the path condition integration unit 109 stores the path condition table C in the path condition table storage unit 107 (step S710), and Return to processing. By executing the processing as described above, the path conditions generated for each function can be collected.

次に、図２５を参照して、テストケース生成装置１００のハードウェア構成について説明する。 Next, a hardware configuration of the test case generation device 100 will be described with reference to FIG.

図２５は、テストケース生成装置１００のハードウェア構成の一例である。
図２５に示すように、テストケース生成装置１００は、少なくともCentral Processing Unit（ＣＰＵ）１００Ａ、Random Access Memory（ＲＡＭ）１００Ｂ、Read Only Memory（ＲＯＭ）１００Ｃ及びネットワークＩ／Ｆ（インタフェース）１００Ｄを含んでいる。テストケース生成装置１００は、必要に応じて、Hard Disk Drive（ＨＤＤ）１００Ｅ、入力Ｉ／Ｆ１００Ｆ、出力Ｉ／Ｆ１００Ｇ、入出力Ｉ／Ｆ１００Ｈ、ドライブ装置１００Ｉの少なくとも１つを含んでいてもよい。ＣＰＵ１００Ａ，・・・，ドライブ装置１００Ｉは、内部バス１００Ｊによって互いに接続されている。少なくともＣＰＵ１００ＡとＲＡＭ１００Ｂとが協働することによってコンピュータが実現される。 FIG. 25 is an example of a hardware configuration of the test case generation device 100.
As shown in FIG. 25, the test case generation apparatus 100 includes at least a central processing unit (CPU) 100A, a random access memory (RAM) 100B, a read only memory (ROM) 100C, and a network I / F (interface) 100D. Yes. The test case generation device 100 may include at least one of a hard disk drive (HDD) 100E, an input I / F 100F, an output I / F 100G, an input / output I / F 100H, and a drive device 100I as necessary. CPU 100A,..., Drive device 100I are connected to each other by an internal bus 100J. At least the CPU 100A and the RAM 100B cooperate to realize a computer.

入力Ｉ／Ｆ１００Ｆには、入力装置２１０が接続される。入力装置２１０としては、例えばキーボードやマウスなどがある。
出力Ｉ／Ｆ１００Ｇには、表示装置２２０が接続される。表示装置２２０としては、例えば液晶ディスプレイがある。
入出力Ｉ／Ｆ１００Ｈには、半導体メモリ２３０が接続される。半導体メモリ２３０としては、例えばUniversal Serial Bus（ＵＳＢ）メモリやフラッシュメモリなどがある。入出力Ｉ／Ｆ１００Ｈは、半導体メモリ２３０に記憶されたプログラムやデータを読み取る。
入力Ｉ／Ｆ１００Ｆ及び入出力Ｉ／Ｆ１００Ｈは、例えばＵＳＢポートを備えている。出力Ｉ／Ｆ１００Ｇは、例えばディスプレイポートを備えている。 An input device 210 is connected to the input I / F 100F. Examples of the input device 210 include a keyboard and a mouse.
The display device 220 is connected to the output I / F 100G. An example of the display device 220 is a liquid crystal display.
The semiconductor memory 230 is connected to the input / output I / F 100H. Examples of the semiconductor memory 230 include a universal serial bus (USB) memory and a flash memory. The input / output I / F 100 </ b> H reads programs and data stored in the semiconductor memory 230.
The input I / F 100F and the input / output I / F 100H include, for example, a USB port. The output I / F 100G includes a display port, for example.

ドライブ装置１００Ｉには、可搬型記録媒体２４０が挿入される。可搬型記録媒体２４０としては、例えばCompact Disc（ＣＤ）−ＲＯＭ、Digital Versatile Disc（ＤＶＤ）といったリムーバブルディスクがある。ドライブ装置１００Ｉは、可搬型記録媒体２４０に記録されたプログラムやデータを読み込む。
ネットワークＩ／Ｆ１００Ｄは、例えばポートとPhysical Layer Chip（ＰＨＹチップ）とを備えている。テストケース生成装置１００は、ネットワークＩ／Ｆ１００Ｄを介してネットワークと接続される。 A portable recording medium 240 is inserted into the drive device 100I. Examples of the portable recording medium 240 include a removable disk such as a Compact Disc (CD) -ROM and a Digital Versatile Disc (DVD). The drive device 100I reads a program and data recorded on the portable recording medium 240.
The network I / F 100D includes, for example, a port and a physical layer chip (PHY chip). The test case generation device 100 is connected to the network via the network I / F 100D.

上述したＲＡＭ１００Ｂには、ＲＯＭ１００ＣやＨＤＤ１００Ｅに記憶されたプログラムがＣＰＵ１００Ａによって格納される。ＲＡＭ１００Ｂには、可搬型記録媒体２４０に記録されたプログラムがＣＰＵ１００Ａによって格納される。格納されたプログラムをＣＰＵ１００Ａが実行することにより、上述した各種の動作が実行される。尚、プログラムは上述したフローチャートに応じたものとすればよい。 In the above-described RAM 100B, a program stored in the ROM 100C or the HDD 100E is stored by the CPU 100A. In the RAM 100B, the program recorded on the portable recording medium 240 is stored by the CPU 100A. When the CPU 100A executes the stored program, the various operations described above are executed. In addition, what is necessary is just to make a program according to the flowchart mentioned above.

以上、本発明の好ましい実施形態について詳述したが、本発明に係る特定の実施形態に限定されるものではなく、特許請求の範囲に記載された本発明の要旨の範囲内において、種々の変形・変更が可能である。 The preferred embodiments of the present invention have been described in detail above, but the present invention is not limited to the specific embodiments according to the present invention, and various modifications are possible within the scope of the gist of the present invention described in the claims.・ Change is possible.

なお、以上の説明に関して更に以下の付記を開示する。
（付記１）対象プログラムにおいて実行される複数の関数の各々についてシンボリック実行を行うとともに、シンボル変数に関わる分岐を辿った履歴を表す第１の条件と、当該関数の引数及び返却値についての第２の条件の少なくともいずれかを含むパス条件表を前記複数の関数の各々について生成し、前記複数の関数に含まれるいずれかの関数を呼び出す第１の関数と前記第１の関数に呼び出される第２の関数とのマッチングを求め、求めたマッチングの少なくとも１つより大きなマッチングを求めた前記第１の関数と前記第２の関数との間毎に、関数毎の前記パス条件表を論理積によって並列に統合し、統合後のパス条件表を満たすシンボル変数の値を算出し、算出した当該シンボル変数の値を含むテストケースを生成する処理をコンピュータに実行させるためのテストケース生成プログラム。
（付記２）前記第２の関数が複数の前記第１の関数から呼び出される場合に、前記第２の関数を呼出元毎に複製する処理をさらに含むことを特徴とする付記１に記載のテストケース生成プログラム。
（付記３）前記パス条件表を生成する処理を、前記複数の関数の各々について並列に実行させることを特徴とする付記１又は２に記載のテストケース生成プログラム。
（付記４）前記シンボル変数を設定するためのドライバと当該ドライバにおいて呼び出されるスタブを生成する処理をさらに含み、前記ドライバと前記スタブを生成する処理を、前記複数の関数の各々について並列に実行させることを特徴とする付記１から３のいずれか１項に記載のテストケース生成プログラム。
（付記５）対象プログラムにおいて実行される複数の関数の各々についてシンボリック実行を行うとともに、シンボル変数に関わる分岐を辿った履歴を表す第１の条件と、当該関数の引数及び返却値についての第２の条件の少なくともいずれかを含むパス条件表を前記複数の関数の各々について生成し、前記複数の関数に含まれるいずれかの関数を呼び出す第１の関数と前記第１の関数に呼び出される第２の関数とのマッチングを求め、求めたマッチングの少なくとも１つより大きなマッチングを求めた前記第１の関数と前記第２の関数との間毎に、関数毎の前記パス条件表を論理積によって並列に統合し、統合後のパス条件表を満たすシンボル変数の値を算出し、算出した当該シンボル変数の値を含むテストケースを生成する処理をコンピュータが実行するテストケース生成方法。
（付記６）対象プログラムにおいて実行される複数の関数の各々についてシンボリック実行を行うとともに、シンボル変数に関わる分岐を辿った履歴を表す第１の条件と、当該関数の引数及び返却値についての第２の条件の少なくともいずれかを含むパス条件表を前記複数の関数の各々について生成する第１の生成手段と、前記複数の関数に含まれるいずれかの関数を呼び出す第１の関数と前記第１の関数に呼び出される第２の関数とのマッチングを求め、求めたマッチングの少なくとも１つより大きなマッチングを求めた前記第１の関数と前記第２の関数との間毎に、関数毎の前記パス条件表を論理積によって並列に統合する統合手段と、統合後のパス条件表を満たすシンボル変数の値を算出し、算出した当該シンボル変数の値を含むテストケースを生成する第２の生成手段と、を有するテストケース生成装置。
（付記７）前記統合手段は、前記第２の関数が複数の前記第１の関数から呼び出される場合に、前記第２の関数を呼出元毎に複製することを特徴とする付記６に記載のテストケース生成装置。
（付記８）前記第１の生成手段は、前記複数の関数の各々について前記パス条件表を並列に生成することを特徴とする付記６又は７に記載のテストケース生成装置。
（付記９）前記シンボル変数を設定するためのドライバと当該ドライバにおいて呼び出されるスタブを生成する第３の生成手段をさらに含み、前記第３の生成手段は、前記複数の関数の各々について前記ドライバと前記スタブを並列に生成することを特徴とする付記６から８のいずれか１項に記載のテストケース生成装置。 In addition, the following additional notes are disclosed regarding the above description.
(Supplementary Note 1) Symbolic execution is performed for each of a plurality of functions executed in the target program, and a first condition representing a history of tracing a branch related to a symbol variable, and a second condition regarding an argument and a return value of the function A path condition table including at least one of the above conditions is generated for each of the plurality of functions, and a first function that calls one of the functions included in the plurality of functions and a second function that is called by the first function The path condition table for each function is paralleled by logical product between each of the first function and the second function for which a matching greater than at least one of the obtained matching is obtained. The process of calculating the symbol variable value that satisfies the integrated path condition table and generating a test case that includes the calculated symbol variable value Test case generation program to be executed by the over data.
(Supplementary note 2) The test according to supplementary note 1, further comprising a process of duplicating the second function for each caller when the second function is called from a plurality of the first functions. Case generator.
(Supplementary note 3) The test case generation program according to supplementary note 1 or 2, wherein the process of generating the path condition table is executed in parallel for each of the plurality of functions.
(Additional remark 4) It further includes the process which produces | generates the driver for setting the said symbol variable, and the stub called in the said driver, The process which produces | generates the said driver and the said stub is performed in parallel about each of these functions 4. The test case generation program according to any one of supplementary notes 1 to 3, wherein
(Supplementary note 5) Symbolic execution is performed for each of a plurality of functions executed in the target program, and a first condition indicating a history of tracing a branch related to a symbol variable, and a second condition regarding an argument and a return value of the function A path condition table including at least one of the above conditions is generated for each of the plurality of functions, and a first function that calls one of the functions included in the plurality of functions and a second function that is called by the first function The path condition table for each function is paralleled by logical product between each of the first function and the second function for which a matching greater than at least one of the obtained matching is obtained. The process of calculating the symbol variable value that satisfies the integrated path condition table and generating a test case that includes the calculated symbol variable value Test case generation method over data to be executed.
(Appendix 6) Symbolic execution is performed for each of a plurality of functions executed in the target program, and a first condition indicating a history of tracing a branch related to a symbol variable, and a second condition regarding an argument and a return value of the function A first condition generation unit that generates a path condition table including at least one of the conditions for each of the plurality of functions, a first function that calls one of the functions included in the plurality of functions, and the first The path condition for each function is obtained every time between the first function and the second function for which a matching with a second function called by the function is obtained and a matching larger than at least one of the obtained matchings is obtained. Integration means for integrating tables in parallel by logical product and a symbol variable value satisfying the combined path condition table is calculated, and a test including the calculated symbol variable value is performed. Test case generation device comprising a second generating means for generating a case, the.
(Additional remark 7) The said integration means replicates the said 2nd function for every call origin, when the said 2nd function is called from the said several 1st function, The additional remark 6 characterized by the above-mentioned Test case generator.
(Supplementary note 8) The test case generation device according to supplementary note 6 or 7, wherein the first generation unit generates the path condition table in parallel for each of the plurality of functions.
(Supplementary note 9) Further includes a driver for setting the symbol variable and third generation means for generating a stub to be called in the driver, wherein the third generation means includes the driver for each of the plurality of functions. The test case generation device according to any one of appendices 6 to 8, wherein the stub is generated in parallel.

１００テストケース生成装置
１０３ドライバ・スタブ生成部（第３の生成手段）
１０５シンボリック実行部（第１の生成手段）
１０９パス条件統合部（統合手段）
１１０テストケース生成部（第２の生成手段） DESCRIPTION OF SYMBOLS 100 Test case production | generation apparatus 103 Driver stub production | generation part (3rd production | generation means)
105 Symbolic execution unit (first generation means)
109 Path condition integration unit (integration means)
110 Test case generation unit (second generation means)

Claims

Generate a call tree that represents the calling relationship of multiple functions executed in the target program ,
A path condition table including at least one of a first condition representing a history of tracing a branch related to a symbol variable by symbolic execution for each of the plurality of functions , and a second condition for an argument and a return value of the function. For each of the plurality of functions,
Based on the call tree, a number of associations between a first function that calls one of the functions included in the plurality of functions and a second function that is called by the first function;
Wherein based on the related coefficient magnitude first function and for each pair of said second function, to integrate the pre-Symbol path condition table parallel,
Calculate the value of the symbol variable that satisfies the path condition table after integration,
It generates the value as test cases,
Rute strike case generation program to execute the process to the computer.

2. The test case generation program according to claim 1, further comprising a process of copying the second function for each caller when the second function is called from a plurality of the first functions. .

The test case generation program according to claim 1, wherein the process of generating the path condition table is executed in parallel for each of the plurality of functions.

A process for generating a driver for setting the symbol variable and a stub called in the driver;
4. The test case generation program according to claim 1, wherein the process of generating the driver and the stub is executed in parallel for each of the plurality of functions. 5.

Generate a call tree that represents the calling relationship of multiple functions executed in the target program ,
A path condition table including at least one of a first condition representing a history of tracing a branch related to a symbol variable by symbolic execution for each of the plurality of functions , and a second condition for an argument and a return value of the function. For each of the plurality of functions,
Based on the call tree, a number of associations between a first function that calls one of the functions included in the plurality of functions and a second function that is called by the first function;
Wherein based on the related coefficient magnitude first function and for each pair of said second function, to integrate the pre-Symbol path condition table parallel,
Calculate the value of the symbol variable that satisfies the path condition table after integration,
It generates the value as test cases,
A test case generation method in which processing is executed by a computer.

A first condition representing a history of tracing a branch related to a symbol variable by generating a call tree representing a calling relationship of a plurality of functions executed in the target program and performing symbolic execution for each of the plurality of functions , and the function First generation means for generating, for each of the plurality of functions, a path condition table including at least one of the second conditions for the argument and the return value of
Based on the call tree, the number of associations between a first function that calls one of the functions included in the plurality of functions and a second function that is called by the first function is obtained, and the magnitude of the number of associations said each pair of said second function and the first function, integration means for integrating the pre Symbol path condition table parallel based on,
It calculates the value of the symbol variable that satisfies the path condition table after integration, and a second generating means for generating the value as test cases,
A test case generation device having:

The processing integrates the path condition table in parallel by logical product for each pair of the first function and the second function having the maximum number of associations.
The test case generation program according to claim 1, wherein: