JP2008071075A - Program inspection device, program inspection method, and program inspection program - Google Patents

Abstract

<P>PROBLEM TO BE SOLVED: To provide a program inspection device, a program inspection method, and a program inspection program, shortening test time while reducing an inspector's labor. <P>SOLUTION: This device comprises a program analysis part 11 for analyzing a program 8 to be inspected for each function to create program analysis data 21; a coverage information analysis part 12 for creating, based on coverage information 22 obtained by executing the inspection object program 8 and the program analysis data 21, analysis data 23 composed of an activation route that is a route from an input variable and/or constant of the program 8 to an unexecuted sentence and an activation condition that is a group of input variables and/or constants to be set to satisfy a condition sentence existing in the route; and an input data creation part 13 for creating input data 24 by setting, based on the analysis data 23, appropriate values to input variables needed to be set for executing the unexecuted sentence. <P>COPYRIGHT: (C)2008,JPO&INPIT

Description

  The present invention relates to a program inspection device, a program inspection method, and a program inspection program, and more particularly to a program inspection device, a program inspection method, and a program inspection program for a coverage test in a dynamic inspection of a software program.

  Conventionally, various inspections have been performed in order to estimate the quality of a software program (hereinafter simply referred to as a program) implemented in a program language during or after the creation. The inspection of the program is roughly divided into a static inspection that is observed visually without executing the program, and a dynamic inspection that is actually executed to observe the result by executing the program. Among these, the dynamic inspection of the program is performed by creating input data for inspection, inputting the input data into the inspection environment, executing the inspection target program, and observing the obtained output data.

  In such an inspection, information indicating which part of the program was executed and inspected by the input data for inspection, that is, the coverage information is used as an index for estimating the reliability of the program, and the inspection is sufficient. It is also used as an inspection completion criterion for determining whether or not it has been performed and a shipping (release) criterion. Specifically, coverage information refers to how many times the statement is executed for each statement written in the program. If the statement is a conditional statement, how much each conditional branch is This is information indicating whether or not it has been executed at a rate, and is generally automatically measured using a coverage tool as a program inspection device. As such a coverage tool, for example, a program inspection apparatus using a technique described in Patent Document 1 has been proposed.

When it is determined that the inspection is insufficient based on the obtained coverage information, it is necessary to perform additional inspection by changing the input data until the inspection is sufficiently performed. However, the program inspection apparatus described in Patent Document 1 can inspect insufficiently tested parts, that is, unexecuted statements and conditional branches, and can efficiently improve the coverage of the inspection. Information necessary to create new input data that could be obtained could not be obtained. For this reason, there is a problem that the inspector must create new input data by visually analyzing the program, which requires labor of the inspector and increases the test time. .
JP-A-5-324402 (FIG. 1)

  The present invention has been made in view of the above points, and provides a program inspection apparatus, a program inspection method, and a program inspection program that can reduce labor of an inspector and can shorten a test time. Objective.

  A program inspection apparatus according to an aspect of the present invention analyzes a program to be tested in units of functions, generates a program analysis data including external variable information and function information, and executes the program to be tested Based on the obtained coverage information and the program analysis data, in order to satisfy an activation path that is a path from an input variable and / or constant of the program to be inspected to an unexecuted sentence, and a conditional statement existing in the path The unexecuted statement based on the coverage information analysis unit that generates analysis data including the input variable to be set and / or the activation condition that is a set of constants, and the activation path and the activation condition An input data generation unit that extracts the input variable that needs to be set in order to execute and sets an appropriate value to the extracted input variable; Characterized by comprising.

  A program inspection method according to an aspect of the present invention is obtained by analyzing a test target program in units of functions, generating program analysis data including external variable information and function information, and executing the test target program. Based on the coverage information and the program analysis data, an activation path that is a path from the input variable and / or constant of the program to be inspected to an unexecuted statement and a conditional statement existing in the path are set. The analysis data including the input condition and / or the activation condition that is a set of the constants is generated, and the unexecuted statement is set to be executed based on the activation path and the activation condition. The necessary input variables are extracted, and an appropriate value is set for the extracted input variables.

  Furthermore, a program inspection program for a semiconductor integrated circuit according to an aspect of the present invention includes: a program analysis procedure for analyzing a program to be inspected in units of functions in a computer and generating program analysis data including external variable information and function information; An activation path that is a path from an input variable and / or a constant of the inspection target program to an unexecuted statement based on coverage information obtained by executing the inspection target program and the program analysis data; and the path Coverage information analysis procedure for generating analysis data including the input variable and / or the activation condition that is a set of constants to be set to satisfy the conditional statement existing in the data, the activation path, and the activation condition Based on the above, the input variables that need to be set to execute the unexecuted statement are extracted, and the extracted Characterized in that to execute the input data generation step of setting the appropriate values to the force variable, the.

  It is possible to realize a program inspection apparatus, a program inspection method, and a program inspection program that can reduce the labor of the inspector and reduce the test time.

  Embodiments of the present invention will be described below with reference to the drawings.

  First, the configuration of the program inspection apparatus according to the present embodiment will be described with reference to FIG. FIG. 1 is a block diagram showing the configuration of the program inspection apparatus according to the present embodiment. As shown in FIG. 1, a computer 1 constituting a program inspection apparatus has a computer main body 2 including a central processing unit (CPU), ROM, RAM, and the like. The computer main body 2 includes a display device 3 such as a CRT or a liquid crystal panel, a keyboard 4 for inputting characters and numbers, and a mouse that is a pointing device for moving a cursor on the screen of the display device 3. 5 and a memory device 6 for storing various programs are connected. The memory device 6 stores a program inspection program 7 and an inspection target program 8 according to the present embodiment, and can be executed based on instructions from the inspector 9. The computer 1 executes a program stored in the memory device 6 and displays a predetermined screen on the display device 3 according to the execution program.

  FIG. 2 is a functional block diagram showing a functional configuration of the program inspection program 7 in the computer 1 shown in FIG. The program inspection program 7 is not executed in the inspection target program 8 from the program analysis unit 11 that analyzes the inspection target program 8 and generates the program analysis data 21, and the program analysis data 21 and the coverage information 22 of the inspection target program 8. A coverage information analysis unit 12 for deriving a set of input variables and constants to be set in order to satisfy a conditional statement existing in the path and a conditional statement existing in the path; The input data generation unit 13 generates specific input data necessary for executing an unexecuted statement or an unexecuted condition.

  The program analysis unit 11 analyzes the inspection target program 8 in units of functions, and generates program analysis data 21 including external variable information and function information. The coverage information analysis unit 12 receives the coverage information 22 obtained by compiling the inspection target program 8 with a debug option and causing the computer 1 to execute the program, and the program analysis data 21 generated by the program analysis unit 11. Function arguments described in the program 8 to be inspected and external variables used in the function (hereinafter, function arguments and external variables are collectively referred to as input variables) or constants to unexecuted statements Analytical data 23 consisting of the path to the above and the condition of the input variable or constant necessary for executing the unexecuted condition is derived and output. The input data generation unit 13 generates specific input data 24 necessary to execute an unexecuted statement or an unexecuted condition based on the analysis data 23 and the input from the examiner 9.

  The contents of the program inspection method according to this embodiment will be described below using an example. In the present embodiment, a method for inspecting a program written in C language in units of functions will be described with reference to FIGS. FIG. 3 is a data flow diagram for explaining the flow of data processing of the program inspection method in this embodiment, and FIG. 4 is a flowchart for explaining the processing procedure of program inspection in this embodiment.

  First, as shown in FIG. 3, the inspection target program 8 is input to the program analysis unit 11 (FIG. 4, step S1). The program analysis unit 11 generates program analysis data 21 (external variable information and function information) of the input inspection target program 8 (FIG. 4, step S2). The external variable information is composed of a variable name and a type for the external variable defined in the inspection target program 8. For example, the external variable information can be (variable name, type). When the inspection target program 8 is the program shown in FIG. 5, there are two external variables, and the external variable information is (x, int) and (y, int). FIG. 5 is a diagram illustrating an example of the inspection target program 8. In FIG. 5, the numbers written on the left side of the program indicate line numbers.

  The function information includes function name information, interface information, and implementation information for functions defined in the inspection target program 8. In the case of the program shown in FIG.

  The interface information includes a function argument name and argument type, an external variable name used in the function, and a function return value type. In the case of the program shown in FIG. 5, the interface information is s for the argument name of the function, short for the type of argument s, no external variable name used in the function, and int for the return value type of the function.

  The mounting information is composed of sentence information and connection information. Statement information is created for each statement included in the function, and consists of basic information consisting of five items: attribute, position information, next execution statement, previous execution statement, and parent statement, and additional information according to the type of statement. The

  First, basic information will be described. The attribute is information for identifying the type of the sentence, and is expressed as, for example, an assignment sentence, a block sentence, a conditional sentence, a while sentence, or a do sentence. The position information is information for identifying the position of the sentence in the program. For example, the line number is described. The next executable statement is information for identifying a statement to be executed next to the statement, and is expressed as, for example, a pointer to statement information of a statement to be executed next. The pre-execution sentence is information for identifying a sentence to be executed before the sentence, and is expressed as, for example, a pointer to sentence information of a sentence to be executed before. When the sentence is included in the block sentence, the parent sentence is information for identifying which block is included in the block sentence. For example, the parent sentence is expressed as a pointer to the sentence information of the block sentence.

  Next, additional information will be described. Additional information has different items depending on the type of sentence. Here, typical types of assignment statements, block statements, conditional statements, and while statements will be described with specific examples.

  The additional information of the assignment statement is composed of three items: an input variable list, an output variable list, and sentence processing information. The input variable list is information for identifying a variable that appears on the right side of the sentence. When a plurality of variables appear, it is expressed as a list, for example. The output variable list is information for identifying a variable that appears on the left side of the sentence. When a plurality of variables appear, it is expressed as a list, for example, similarly to the input variable list. The sentence processing information is information for identifying the processing content of the sentence, and is expressed as a syntax tree on the right side, for example.

  For example, the expression x = a + b that appears on the eighth line in the program of FIG. 5 corresponds to the assignment statement. The sentence information corresponding to this sentence is as follows.

Attribute: Assignment statement Location information: 8
Next execution statement: (Pointer to statement information of the 9th line statement)
Pre-execution statement: (Pointer to statement information of the 7th line statement)
Parent sentence:-(There is no parent sentence because it is not a block sentence)
Input variable list: a, b
Output variable list: x
Sentence processing information: a + b
The above sentence information can be described as shown in FIG. 6, for example. FIG. 6 is a diagram for explaining an example of sentence information generated for an assignment sentence. In FIG. 6, description of the next execution statement and the previous execution statement of the basic information is omitted. In addition, sentence information is created for an assignment statement that can be converted into an equivalent conditional statement or the like, assuming that the converted statement is described in the program. For example, x = c? Since the assignment statement a: b; is equivalent to the conditional statement shown in FIG. 7, sentence information is created for the converted conditional statement. FIG. 7 is a program for explaining an example of a conditional statement converted from an assignment statement.

  Additional information of the block statement is a child statement. The child sentence is information for identifying a sentence included in the block, and is expressed as a pointer to sentence information of a sentence included in the block, for example. When the block includes a plurality of sentences, each sentence is a child sentence, and a set of pointers to each child sentence is included as additional information.

  The additional information of the conditional statement (if statement or switch statement) is composed of three items: a conditional expression, an input variable list (of the conditional expression), a conditional value, and an executable statement when the conditional value is satisfied. The conditional expression is information for identifying the contents of the expression described in parentheses of the if statement or the switch statement, and is expressed as a syntax tree, for example. The input variable list (of the conditional expression) is information for identifying a variable that appears in the conditional expression. When a plurality of variables appear, it is expressed as a list, for example. The executable statement when the condition value and the conditional value are satisfied is information for identifying the conditional value and the statement that is executed when the conditional expression satisfies the conditional value as a set. A pointer to sentence information is expressed as a pair. When there are a plurality of condition values, all condition values and a set of executable statements when the condition values are satisfied are included as additional information.

  A specific example of sentence information of a block statement and a conditional statement (if statement) will be described using the program of FIG. In FIG. 5, taking the if statement appearing in the ninth to fifteenth lines as an example, the sentence information for this sentence is as follows.

Attribute: if statement (conditional statement)
Location information: 9
Next execution statement: (Pointer to statement information of the statement on the 16th line)
Pre-execution statement: (Pointer to statement information on the 8th line)
Parent sentence:-(There is no parent sentence because it is not a block sentence)
Conditional expression: c0 & c1
Input variable list: c0, c1
Condition value and executable statement when the condition value is satisfied (1): [condition value] value 1, [executable statement] (pointer to statement information of the block statement in the 9th to 12th lines)
Condition value and executable statement when the condition value is satisfied (2): [condition value] value 0, [executable statement] (pointer to statement information of block statement in 12th to 15th lines)
The sentence information of the two block statements, which are the executable statements of the above if statement, is as follows.

Attribute: block statement Location information: 9
Next executable statement:-
Previous executable statement:-
Parent sentence: (Pointer to sentence information of if statement on the 9th line)
Child sentence (1): (pointer to sentence information of sentence (sentence 0) on line 10)
Child sentence (2): (pointer to sentence information of sentence (sentence 1) on line 11)
Attribute: block statement Location information: 12
Next executable statement:-
Previous executable statement:-
Parent sentence: (Pointer to sentence information of if statement on the 9th line)
Child sentence (1): (pointer to sentence information of sentence on line 13)
Child sentence (2): (Pointer to sentence information of sentence on line 14)
Furthermore, the sentence information of the sentence that is the child sentence (1) and (2) of the block sentence listed second among the above-mentioned block sentences is as follows.

Attribute: assignment statement Location information: 13
Next execution statement: (Pointer to statement information of statement on line 14)
Previous executable statement:-
Parent sentence: (Pointer to the sentence information of the block sentence on the 12th line)
Input variable list: (List of variables that appear on the right side of sentence 2)
Output variable list: (List of variables that appear on the left side of sentence 2)
Sentence processing information: (Syntax tree of the processing content of sentence 2)
Attribute: assignment statement Location information: 14
Next executable statement:-
Pre-execution statement: (Pointer to statement information on the 13th line)
Parent sentence: (Pointer to the sentence information of the block sentence on the 12th line)
Input variable list: (List of variables that appear on the right side of sentence 3)
Output variable list: (List of variables that appear on the left side of sentence 3)
Sentence processing information: (Syntax tree of the processing content of sentence 3)
The above sentence information can be described as shown in FIG. 8, for example. FIG. 8 is a diagram illustrating an example of sentence information generated for an if sentence and a block sentence. Regarding the switch statement, sentence information that is almost the same as that of the if statement is generated, and therefore a description with a specific example is omitted.

  The additional information of the while statement is composed of three items: a conditional expression, an input variable list (of the conditional expression), and an executable statement when the conditional expression is satisfied. The conditional expression is information for identifying the contents of the expression described in parentheses of the while statement, and is expressed as a syntax tree, for example. The input variable list (of the conditional expression) is information for identifying a variable that appears in the conditional expression. When a plurality of variables appear, it is expressed as a list, for example. The executable statement when the conditional expression is satisfied is expressed as a pointer to the statement information of the executable statement, for example. When the executable statement is a block statement, statement information of the block statement is generated, and the executable statement when the conditional expression is satisfied is expressed as a pointer to the statement information of the block statement.

  A specific example of sentence information of the while statement will be described using the program of FIG. In FIG. 5, taking the while statement appearing on the 16th to 18th lines as an example, the sentence information for this sentence is as follows.

Attribute: while statement Location information: 16
Next execution statement: (Pointer to statement information of the 19th line statement)
Pre-execution statement: (pointer to statement information of statement on line 15)
Parent sentence:-(There is no parent sentence because it is not a block sentence)
Conditional expression: c0
Input variable list: c0
Execution statement when the conditional expression is satisfied: (pointer to statement information of block statement of 16th to 18th lines)
The sentence information of the block statement, which is the execution statement of the above while statement, is as follows.

Attribute: block statement Location information: 16
Next executable statement:-
Previous executable statement:-
Parent sentence: (Pointer to sentence information of the while statement on the 16th line)
Child sentence (1): (Pointer to sentence information of sentence 4)
Child sentence (2): (pointer to sentence information of sentence 5)
...
Child sentence (n-3): (pointer to sentence information of sentence n)
The above sentence information can be described as shown in FIG. 9, for example. FIG. 9 is a diagram illustrating an example of sentence information generated for a while sentence.

  As the types of sentences, in addition to the above four types, do sentences, for sentences, break sentences, continue sentences, goto sentences, and the like can be considered. The sentence information of sentences belonging to these types will be briefly described. The do statement generates almost the same sentence information as the while statement. Moreover, since a for statement can be converted into an equivalent statement using a while statement, statement information is generated for the converted program. For example, a for statement “for (expression 1; expression 2; expression 3) statement” is equivalent to the while statement shown in FIG. 10, and thus sentence information is created for the converted while statement. FIG. 10 is a program for explaining an example of a while statement converted from an if statement.

  The break statement, continue statement, and goto statement do not have additional information, and the statement information consists of only basic information, but other types of statements such as assignment statements are statements of statements described in the line immediately below as the next executable statement. In contrast to the description of information, these types of statements differ in that the statement information of the statement described in the line specified in the statement is described as the next executable statement.

  Next, connection information, which is another component of the mounting information, will be described. The connection information is roughly classified into connection information related to the connection between sentences and sentences and connection information related to the connection between variables and sentences. Statement-to-statement connection information is information used to identify the order in which statements are executed. Specifically, in each item of the next execution statement, previous execution statement, and parent statement included in the basic information of the implementation information. Composed. The connection information between sentences can be expressed as a graph having a mesh-like appearance by connecting related nodes (points) with connection lines, for example. In this case, the nodes on the graph correspond to the individual sentences, and the next execution sentence, the previous execution sentence, and the parent sentence relating to the sentence can be expressed by connection lines connecting the nodes. The variable-sentence connection information is information for identifying in which sentence the variable appears in the program.

  In the program analysis unit 11, the program analysis data 21 is created as described above, while the inspection target program 8 is input to the compiler 14 and compiled with the debug option to generate an executable program 25 (see FIG. 4, Step S3). Subsequently, the execution format program 25 is executed, and coverage information 22 is generated by the coverage tool 15 (step S4 in FIG. 4). The coverage information 22 is mainly composed of the number of times each statement is executed, the presence / absence of conditional branch execution, and the execution rate. Here, the ratio of the number of lines of executed statements to the total number of lines of statements described in the program and the ratio of the number of executed conditional branches to the total number of conditional branches appearing in the program are referred to as a coverage rate.

  In FIG. 4, step S3 can be executed without waiting for the end of step S2, and the processes of steps S3 and S4 may be executed in parallel with the processes of steps S1 and S2. When the coverage rate in the coverage information 22 obtained in step S4 exceeds a preset threshold value, the program inspection is terminated (FIG. 4, step S5). On the other hand, if the acquired coverage rate does not exceed the threshold value, the program analysis data 21 obtained in step S2 and the coverage information 22 obtained in step S4 are input to the coverage information analysis unit 12, and the analysis data 23 is obtained. It is generated (FIG. 4, step S6).

  The analysis data 23 includes a path from an input variable or constant to an unexecuted statement (hereinafter referred to as an activation path) and a set of input variables or constants that need to be set to satisfy a conditional statement existing in the path. (Hereinafter referred to as activation conditions). As a specific method for deriving the activation path and the activation condition, a program (function) as shown in FIG. 11 is set as the inspection target program 8, and an appropriate input is given to the program to be executed to generate analysis data 23. Will be described as an example. FIG. 11 is a diagram showing another example of the inspection target program 8.

  For example, if the coverage information 22 indicates that the statement included in the 0th branch of the switch statement of the program in FIG. 11 (the block statement of case (0)) has not been executed, the coverage information analysis unit 12 First, sentence information corresponding to the sentence is extracted from the program analysis data 21. In this case, sentence information corresponding to an assignment sentence (hereinafter, referred to as sentence si) of output = input * input1 + input2 is extracted. Next, a path (activation path) from the input variable or constant to the sentence si is derived based on the sentence information (mainly, the input variable list and the output variable list) of the sentence si in the program analysis data 21 and the connection information. .

  The activation path is represented, for example, as a tree structure with the sentence si as a root and an input variable or constant as a leaf, and can be derived using, for example, a function (getStatementTree (sentence information)) illustrated in FIG. FIG. 12 is an example of a program configuration for explaining a function for deriving an activation path. getStatementTree (sentence information) is a function (getInputSideVariables (sentence information)) that outputs a set of input variables of the sentence with sentence information as an argument, and a function that outputs a set of statements that have the variable as an output variable with arguments (statement). getInputSideStatements (variable)) and a recursive function.

  That is, when getStatementTree (sentence information) is executed, a sentence having an input variable of the sentence si as an output variable is extracted and connected to the sentence si, and a sentence having an input variable of the connected sentence as an output variable is further extracted. Connection between sentences such as connecting is repeated until an input variable or constant appears as a leaf, and a tree structure 31 representing an activation path as shown in FIG. 13 is generated, for example. FIG. 13 is a diagram for explaining a tree structure representing an activation path.

  In FIG. 13, symbols with alphabets in circles indicate variables, symbols with alphabets in triangles indicate constants, and squares including variables and constants indicate sentences. Yes. Further, variables and constants described above the dotted line provided in the square representing the sentence indicate input variables (constants), and variables described below the dotted line indicate output variables. Furthermore, the variable described outside the square representing the sentence indicates an input variable to the program (function).

  In FIG. 13, Expression 101 is an inactive sentence for which an activation path is desired to be derived. If getStatementTree (statement information) finds that there are three inputs to expression 101, variable a, variable g, and constant x111, then getInputSideStatements (variable) sets variable a and variable g as output variables, respectively. Expressions that have are extracted. In the case of FIG. 13, an expression having the variable a as an output variable is an expression 102, and an expression having a variable g as an output variable is an expression 103. Next, the input to Expression 102 and Expression 103 is obtained again using getStatementTree (statement information). In the case of FIG. 13, there are three inputs to the expression 102, a variable b121, a variable c122, and a constant y112, and three inputs to the expression 103 are a variable d123, a variable e124, and a constant w110. Since all the derived variables are input variables to the program (function), the tree structure 31 is completed here.

  According to FIG. 13, in order to execute Expression 101, appropriate values are given to six variables or constant values of variable b121, variable c122, variable d123, variable e124, constant w110, constant y112, and constant x111. , It can be seen that it is necessary to execute equation 103. Note that the variable f125 is also defined as an input variable in the program (function), but since it is not extracted as a leaf, it can be seen that it is irrelevant to the execution of Expression 101.

  Next, in order to set a condition value for activating this activation path, an activation condition is derived. The activation condition is expressed as a tree structure having, for example, a statement (conditional statement) to be executed as a root and an input variable or constant as a leaf, and may be derived using, for example, a function (getConditionForest (tree)) shown in FIG. it can. FIG. 14 is an example of a program configuration for explaining a function for deriving the activation condition.

  getConditionForest (tree) is a function having a tree structure representing an activation path as an argument, and extracts a conditional statement that appears in the activation path. Next, for each extracted conditional statement, extract a statement that uses the input variable of the conditional expression as an output variable, connect to the conditional statement, and further extract a statement that has the input variable of the connected statement as an output variable The connection between statements such as connecting is repeated until the input variable or constant appears as a leaf. By this procedure, as an activation condition, for example, as shown in FIG. 15, a forest structure 34 that is a set of a tree structure 32 rooted in the conditional sentence 105 and a tree structure 33 rooted in the conditional sentence 106 is generated. . FIG. 15 is a diagram for explaining a forest structure representing an activation condition. Note that the notation method of FIG. 15 conforms to the notation method of FIG.

  According to FIG. 15, there are two conditional statements 105 and 106 in the activation path, and in order to satisfy the conditions shown in the conditional statement 105, the input variables are appropriate for the variable b 121, the variable d 123, and the constant 113. In order to satisfy the conditions indicated in the conditional statement 106, it is necessary to set appropriate values for the input variable b121, variable c122, variable e124, variable f125, constant t115, and constant u114. I know that there is.

  When the analysis data 23 (activation path, activation condition) obtained as described above is displayed on the display device 3, it can be displayed as a tree structure / forest structure as shown in FIGS. In addition, the inspection target program 8 is displayed on the display device 3 and is included in the activation path by using position information included in the sentence information of the sentence constituting the tree structure (or the tree structure included in the forest structure). You can also highlight the displayed lines by changing the color of other lines, or highlight variables and constants that are leaves of the tree structure. In addition, the computer 1 may calculate and display how much the coverage rate is improved by activating the activation path of the unexecuted statement.

  In this way, by displaying the activation path and activation conditions in an easy-to-understand manner on the display device 3 or the like, the inspector 9 can easily determine which input variable or constant value should be changed in order to execute an unexecuted statement. It becomes possible to discriminate, and the labor of the inspector 9 can be reduced.

  The analysis data 23 generated in step S6 is input to the input data generation unit 13 as shown in FIG. 3, and specific input data 24 necessary for executing an unexecuted statement is generated (FIG. 4). Step S7). The input data generation unit 13 extracts input variables / constants that need to be set in order to execute an unexecuted statement from the analysis data 23, and then sets specific numerical values for these variables / constants. At this time, a numerical value is automatically derived using a random number, etc., and it is determined whether the activation condition and the activation path can be activated using this numerical value. In this case, the numerical value may be used as the input data 24, or the examiner 9 may be prompted to input the numerical value.

  When the input data 24 is generated in step S7, the process returns to step S4, and the inspection target program 8 is re-executed using the input data 24.

  As described above, in this embodiment, program analysis data is generated from a program to be inspected, and a path that needs to be activated in order to execute an unexecuted statement indicated in coverage information, or the path is activated. Therefore, it is possible to automatically extract input variables and constants that must be set in order to reduce labor of the inspector and shorten test time.

  Next, as an application example of the program inspection method of the present embodiment, the inspection target program 8 is a function that performs a certain process, and in order to improve performance, when only the implementation is changed without changing the interface, A method for inspecting the program after the mounting change will be described with reference to FIG. FIG. 16 is a flowchart for explaining the processing procedure of an inspection method to which the program inspection method of the present embodiment is applied. It is assumed that the program before the implementation change is sufficiently inspected, the coverage rate in the inspection exceeds the set threshold value, and the input data 24 used for the inspection exists.

  First, in step S11, the inspection target program 8 (hereinafter referred to as a reference model 8a) before the mounting change is inspected using the existing input data 24 for inspection. Next, in step S12, using the input data 24 used in step S11, the inspection object program 8 (hereinafter referred to as inspection object model 8b) after the mounting change is inspected. Subsequently, in step S13, the inspection result obtained in step S11 and the inspection result obtained in step S12 are compared to determine whether or not they match. If the two do not match, the inspection target model 8b is corrected in step S14, and the process returns to step S12 to perform the inspection.

  On the other hand, if both match in step S13, the process proceeds to step S15, and coverage inspection of the inspection target model 8b is performed using the input data 24 used in step S11. The coverage inspection in step S15 is performed according to the procedure shown in the flowchart of FIG. That is, until the coverage rate exceeds a predetermined threshold, the program analysis data 21, coverage information 22, and analysis data 23 of the inspection target model 8b are generated, and the inspection is executed while changing the input data 24.

As described above, the program inspection method according to the present embodiment can also be used for a regression test when a program is modified, thereby reducing the labor of the inspector related to the test and reducing the test time.

The block diagram which shows the structure of the program inspection apparatus concerning this Embodiment. The functional block diagram which shows the function structure of the program inspection program in the computer. The data flow figure explaining the flow of the data processing of the program inspection method concerning this Embodiment. The flowchart explaining the processing procedure of the program test | inspection concerning this Embodiment. FIG. 4 is a diagram showing an example of an inspection target program 8. The figure explaining an example of the sentence information produced | generated with respect to an assignment sentence. A program that explains an example of a conditional statement converted from an assignment statement. The figure explaining an example of the sentence information produced | generated with respect to an if sentence and a block sentence. The figure explaining an example of the sentence information produced | generated with respect to a while sentence. A program that explains an example of a while statement converted from an if statement. FIG. 5 is a diagram showing another example of the inspection target program 8. An example of the program structure explaining the function which derives | leads-out an activation path | route. The figure explaining the tree structure showing an activation path | route. An example of a program configuration explaining a function for deriving an activation condition. The figure explaining the forest structure showing activation conditions. The flowchart explaining the process sequence of the test | inspection method to which the program test | inspection method of this Embodiment is applied.

Explanation of symbols

  7 ... Program inspection program, 11 ... Program analysis unit, 12 ... Coverage information analysis unit, 13 ... Input data generation unit,

Claims (5)

A program analysis unit that analyzes a program to be inspected in units of functions and generates program analysis data including external variable information and function information;
Based on the coverage information obtained by executing the inspection target program and the program analysis data, an activation path that is a path from the input variable and / or constant of the inspection target program to an unexecuted statement, and the path A coverage information analysis unit that generates analysis data including the input variable and / or an activation condition that is a set of constants to be set to satisfy an existing conditional statement;
Based on the activation path and the activation condition, an input data generation unit that extracts the input variable that needs to be set in order to execute the unexecuted statement and sets an appropriate value for the extracted input variable When,
A program inspection apparatus comprising:   The coverage information analysis unit identifies a location corresponding to the generated activation path and the activation condition in the inspection target program, and displays the corresponding location and other locations on a display device so as to be identifiable The program inspection device according to claim 1, wherein: Analyzing the program to be inspected in units of functions to generate program analysis data consisting of external variable information and function information,
Based on the coverage information obtained by executing the inspection target program and the program analysis data, an activation path that is a path from the input variable and / or constant of the inspection target program to an unexecuted statement, and the path Generating analysis data consisting of the input variable and / or the activation condition that is a set of constants to be set to satisfy an existing conditional statement;
Extracting the input variable that needs to be set in order to execute the unexecuted statement based on the activation path and the activation condition, and setting an appropriate value to the extracted input variable, A program inspection method.   In the inspection target program, the location where the generated activation path and the activation condition correspond is specified, and the corresponding location and other locations are displayed on a display device in an identifiable manner, The program inspection method according to claim 3. On the computer,
A program analysis procedure for analyzing a program to be inspected in units of functions and generating program analysis data composed of external variable information and function information;
Based on the coverage information obtained by executing the inspection target program and the program analysis data, an activation path that is a path from the input variable and / or constant of the inspection target program to an unexecuted statement, and the path A coverage information analysis procedure for generating analysis data including the input variable and / or the activation condition that is a set of the constants to be set to satisfy an existing conditional statement;
An input data generation procedure for extracting the input variable that needs to be set in order to execute the unexecuted statement based on the activation path and the activation condition, and setting an appropriate value for the extracted input variable When,
A program inspection program characterized in that the program is executed.

Images