KR101307353B1 - Apparatus for data flow unit testing and method using the same - Google Patents

Abstract

The present invention relates to a data flow unit testing apparatus, and a data test data generation unit for identifying data defects of all the variables based on data test data generated by verifying paths of all variables in all nodes based on a data flow graph. And a data flow test path generation unit for selecting and executing one or more of the path lists by extracting respective path lists from a point where all the variables are defined to a used point, and a data flow in the one or more path lists. And a path execution unit for displaying the execution result of the path on the data flow graph, and a test result report generator for generating a coverage report on the execution result of the data flow path.

Description

Apparatus for data flow unit testing and method using the same}

The present invention relates to a data flow unit testing apparatus and a method thereof, and more particularly, to define, reference, and describe the flow of global and local variables in a function in a Java / C / C ++ program. It relates to a technique for testing the flow of relational data for use that includes (Predicate).

In general, there is a unit testing method for finding a defect in a program based on a control flow or a data flow in the source code of each function.

However, the control flow test method is a testing method that finds a defect in the control flow branched from conditional statements in the code, or analyzes the relationship between the definition of the data flow, the use calculation including the reference calculation, and the predicate. There was a problem that can not detect the defect of the data flow.

An object of the present invention is to automatically generate test paths of all variables in a program during unit testing and to selectively perform data flow tests.

In addition, the present invention aims to identify and eliminate data defects included in Java / C / C ++ software and to provide a coverage report.

In order to achieve the above object, the data flow unit testing apparatus according to an embodiment of the present invention, based on the data flow data generated by verifying the path of all variables at all nodes based on the data flow graph of all of the variables A data test data generation unit for identifying a data defect; A data flow test path generation unit for extracting respective path lists from a point where all the variables are defined to a used point to select and execute at least one of the path lists; A path execution unit that displays an execution result of a data flow path in the at least one path list on the data flow graph; And a test result report generator for generating a coverage report for the execution result of the data flow path.

In addition, the data test data generation unit is characterized by verifying the path of all the variables by focusing on the definition and use of the variable in the path setting criteria in the function.

In addition, the data test data generation unit is characterized in that all of the above variables, the existence of the use of the variable to determine the definition, reference calculation, true, false of the conditional statement.

In order to achieve the above object, the data flow unit testing method according to an embodiment of the present invention, through the data data generation unit, the data test data generated by verifying the path of all the variables in all nodes based on the data flow graph Identifying data defects of all said variables on the basis of; Selecting and executing one or more of the path lists by extracting respective path lists from a point where all the variables are defined to a used point through a data flow test path generation unit; Displaying a result of executing a data flow path in the at least one path list on the data flow graph through a path execution unit; And generating a coverage report on an execution result of the data flow path through a test result report generator.

In addition, the step of generating the data data is characterized by verifying the paths of all the variables by focusing on the definition and use of the variables in the path setting criteria.

In addition, the step of generating the data data, characterized in that all the variables are analyzed for the existence of the use of the variable to determine the definition, reference calculation, true, false of the conditional statement.

According to the present invention, it is possible to automatically generate test paths of all variables in a program during unit testing to selectively perform a data flow test.

In addition, the present invention can identify and eliminate data defects included in Java / C / C ++ software, and has an effect of providing a coverage report.

1 is an overall configuration diagram of a data flow based unit test apparatus according to an embodiment of the present invention.
FIG. 2 is a detailed block diagram of the data flow unit testing apparatus according to FIG. 1. FIG.
3 is a flow chart for executing a data flow test path in accordance with an embodiment of the present invention to generate a report of coverage.
4 is a view for explaining a data flow graph according to an embodiment of the present invention.
5 is a view for explaining a graph for generating data test data according to an embodiment of the present invention;
6 is a diagram for explaining a graph for generating a path for testing a data flow according to an embodiment of the present invention;

DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS In order to facilitate the understanding of the technical idea of the present invention, a most preferred embodiment of the present invention will be described with reference to the accompanying drawings. In the drawings, the same reference numerals are used to designate the same or similar components throughout the drawings. In the following description of the present invention, a detailed description of known functions and configurations incorporated herein will be omitted when it may make the subject matter of the present invention rather unclear.

Hereinafter, a data flow unit testing apparatus and a method thereof according to an embodiment of the present invention will be described in detail with reference to the accompanying drawings.

1 is an overall configuration diagram of a data flow based unit test apparatus according to an embodiment of the present invention.

Referring to FIG. 1, a data flow based unit test apparatus includes a data flow graph 100 and a data flow unit testing apparatus 200.

The data flow graph 100 graphically expresses the relationship between definitions of global variables (structures) and local variable flows within a function in a program, and the use of reference calculations and predicates. It is used to test the data flow inside the function.

The data flow unit testing apparatus 200 generates data test data based on the data flow graph, generates a path for testing the data flow of each function selected from the data flow graph, executes each path, and executes the result. Generate a coverage report for.

FIG. 2 is a detailed block diagram of a data flow unit testing apparatus according to FIG. 1.

Referring to FIG. 2, the data flow unit testing apparatus 200 includes a data test data generator 210, a data flow test path generator 220, a path execution unit 230, and a test result report generator 240. Include.

The data test data generation unit 210 identifies data defects of all the variables based on data test data generated by verifying paths of all variables in all nodes based on the data flow graph.

That is, the data test data generation unit 210 focuses on the definition and use of variables in a function for setting the path for the data flow test.

At this time, the path generation algorithm is based on the data flow path selection criteria proposed by Rapps or Weyuker.

Also, in each node, all variables are defined (Definition, Def), Computation Use (C-use), and the use of variables that determine the true or false of conditional statements (Predicate Use: P-use). Analyze presence.

The data flow test path generation unit 220 selects and executes one or more of the extracted path lists by extracting respective path lists from a point where all variables are defined to a used point.

That is, the data flow test path generation unit 220 automatically generates and selectively executes the path lists from the point where the variable is defined in the function to the point where the variable is used.

The path execution unit 230 displays the execution result of the data flow path in the one or more path lists on the data flow graph.

The test result report generator 240 generates a coverage report for the data flow path execution result.

3 is a flowchart for generating a coverage report by executing a data flow test path in accordance with an embodiment of the present invention.

Referring to FIG. 3, a data flow path execution result selected from respective path lists extracted through the data flow test path generation unit 220 is displayed on a data flow graph, and a coverage report is generated.

In the data test data generator 210, each function is an All DU path that provides a complete path from the definition of all variables to the nodes (statements) used (C-use, P-use). A path index for the lists is set (S100).

Subsequently, a method of generating a path list of each all-DU is described in detail.

The variables defined in the function tenLoop () are (Def) “breakPoint” and “index”, and the reference calculated variable (C-use) is only “index” and the descriptive variable (P-use) that affects the data flow. ) Are “breakPoint” and “index”.

To create a list of paths for all definitions, all definitions are made by consolidating the paths from the beginning of the defined variable to the reference-calculated variable (C-use) and the path from the description variable (P-use). Create an All DU path.

Subsequently, a path test of all definition-use (All DU) is performed from step S200 to step S800 for each path that is a unit test target in the index order of all definition-use (All DU) path lists set in step S100 (S200). In step S300, S400, or S500, the test result of executing the path is notified.

Also, the above process can be repeatedly performed until the end of the path list index.

If the test result of executing the path is notified of all the definition-use (All DU) path patterns from step S200 (S300), the execution path of all definition-use (All DU) received from step S300 is notified (S310).

The path executed from the step S310 is displayed on the data flow graph of the path execution unit 230 (S600), and the test result report generator 240 is transmitted by transferring the number of execution paths of all definition-use (All DU). All DU path coverage reports are generated (S700).

In addition, the coverage calculation of each All DU path is described in detail.

All DU paths measure whether the DU (Definition-Use) paths from the definition of all data to the nodes used (P-Use or C-Use) were executed.

In addition, all DU path coverage calculations within a function are as follows.

All defined-use coverage (%) = (number of DU pairs executed / number of all DU pairs) * 100%

Subsequently, after performing the next path (S800) and repeating from step S100 again, if a test result of the path is notified from the step S200 of all variables (All P-use) of the path pattern, all the variables are used (All The execution path of P-use is notified to the path execution unit 230 (S410) and the executed path is displayed on the data flow graph (S600).

In addition, the number of execution paths of all variables (All P-use) is transmitted to the test result report generator 240 to generate a path coverage report of all variables of use (All P-use) (S800).

In addition, all P-use path coverage calculation of each variable will be described in detail.

All P-use is defined as DPU (Definition-P-use) from defined node of all variables to use of variable to determine true or false of condition statement. Measure whether the paths have been run.

In addition, the calculation of all P-use path coverage in a function is as follows.

All P-use Coverage (%) = (Number of DPU pairs executed / Number of all DPU pairs) * 100%

Thereafter, after performing the next path (S800) and repeating from step S100 again, if all the C-use path patterns are notified from the step S200 of the test result of executing the path, all the reference calculations (All C) are performed. Notify the execution path of -use to the path execution unit 230 (S510).

The path execution unit 230 displays the executed path on the data flow graph, and transfers the number of execution paths of all C-uses to the test result report generator 240 to calculate all reference calculations (All). C-use) generates a path coverage report.

In addition, each All C-use path coverage calculation will be described in detail.

All C-uses run DCU (Definition-C-use) paths from the node where the variable is defined to the node used as the Computation Use (C-use) for all variables. Measure it.

In addition, the calculation of all C-use path coverage in a function is as follows.

All C-use coverage (%) = (number of DCU pairs executed / number of all DCU pairs) * 100%

Then, if there is a next path, go back to step S100, and if not, end all DU path test.

4 is a view for explaining a data flow graph according to an embodiment of the present invention.

Referring to FIG. 4, the data flow graph 100 shows the relationship between definitions of global variables (structures) and local variable flows within a function in a program, and use of reference calculations and predicates. Represents a hierarchical graph.

That is, it consists of a node and an edge, the node is a sentence, and the edge represents a control flow branched from the conditional sentence.

Here, nodes are divided into control statements, execution statements, and declaration statements.

In addition, the number of nodes displayed on the graph indicates the line of the source, and the label of the edge expresses the flow of nodes in the conditional statements as true (True, T) and false (False, F).

5 is a view for explaining a graph for generating data test data according to an embodiment of the present invention.

Referring to FIG. 5, a report screen of a data test set is displayed by analyzing a relationship between a data flow definition of a data flow-based unit testing system and a method, and a use including a reference calculation and a predicate. .

In other words, to generate each All DU path list, the variables defined in the function tenLoop () are (Def) "breakPoint" and "index", and the reference calculated variable (C-use) is only "index", Descriptive variables (P-use) that affect data flow are “breakPoint” and “index”.

6 is a view for explaining a graph for generating a path for testing a data flow according to an embodiment of the present invention.

Referring to FIG. 6, in order to generate a list of all DU paths, all C-use paths of the variable "index" have two paths (nodes 39 to 43 and 39 to 39). 46), All P-use path of variable "index" consists of four paths (nodes 39-43, 39-45, 39-42, 39-47) and all variables of variable "breakPoint". All P-use routes have two routes (nodes 37-43, 37-45).

Combining the total eight paths thus generated, four shortest paths, the All DU path, are created.

(1) All defined-use coverage (%) = (number of DU pairs executed / number of all DU pairs) * 100%

Computing all DU path coverage in a function using Equation (1) above gives 25% coverage for all 1 DU path (= 1/4)

(2) All P-use Coverage (%) = (Number of DPU pairs executed / Number of all DPU pairs) * 100%

Using Equation (2) above, all P-use path coverage in one function is 50% of all P-use path coverage (= 3/6). )

(3) All C-use coverage (%) = (number of DCU pairs executed / number of all DCU pairs) * 100%

Computing all C-use path coverage in one function using Equation (3) above, the coverage of all C-use paths in step 1 is 50% (= 1 / 2)

Thus, at every node, all variables are defined (Definition, Def), Computation Use (C-use), and Predicate Use (P-use) to determine the true or false of conditional statements. By analyzing whether it is possible to identify unused variable defects that are variable definitions but not used, or undefined variable defects that do not have variable definitions and only use them.

Therefore, it provides effects and coverage reports to identify and eliminate data defects included in Java / C / C ++ software.

Although the preferred embodiments of the present invention have been described above, modifications may be made in various forms, and a person of ordinary skill in the art may implement various modifications and modifications without departing from the claims of the present invention. It is understood that it can be done.

100: data flow graph 200: data flow unit testing device
210: data test data generation unit 220: data flow test path generation unit
230: path execution unit 240: test result report generation unit

Claims (10)

A data test data generation unit for generating data test data based on a data flow graph including a definition of a global variable and a local variable flow in a program and a reference calculation and a description;
A data flow test path generation unit generating a data flow test path list including a plurality of paths based on the generated data test data;
A path execution unit that displays an execution result of paths included in the data flow test path list on the data flow graph; And
A test result report generation unit configured to generate a coverage report on an execution result of the data flow path;
The test result report generation unit,
Calculate all definition-use path coverage as a percentage of the number of definition-use pairs executed among the number of all definition-use pairs, and use all variables as a percentage of the number of DPU pairs executed at the number of all DPU pairs. Calculating path coverage and calculating all reference calculated path coverages as a percentage of the number of DCU pairs executed in the number of all DCU pairs. The method according to claim 1,
The data test data generation unit,
A data flow unit testing apparatus, characterized in that for generating data test data consisting of a set of variables that are the basis of the path generation for data flow testing. The method according to claim 1,
The data flow test path generation unit,
And a data flow test path list for all of the variables within the function of the program, including a path from a point at which each variable is defined to a point used. The method according to claim 3,
The data flow test path generation unit,
And transmitting the execution result of executing at least one of the paths included in the data flow test path list to the path execution unit. delete Generating, by the data test data generation unit, data test data based on a data flow graph including definitions of global variables and local variable flows in a function, and reference calculation and description in a program;
Generating, by the data flow test path generation unit, a data flow test path list including a plurality of paths based on the generated data test data;
Displaying, by the path execution unit, execution results of paths included in the generated data flow test path list on the data flow graph; And
Generating, by the test result report generator, a coverage report for the execution result of the data flow path;
Generating the coverage report,
Calculating, by the test result report generator, all definition-use path coverages as a percentage of the number of definition-use pairs executed among the number of all definition-use pairs;
Calculating, by the test result report generator, usage path coverage of all variables as a percentage of the number of DPU pairs executed in the number of all DPU pairs; And
And calculating, by the test result report generator, all reference calculation path coverages as a percentage of the number of DCU pairs executed in the number of all DCU pairs. The method of claim 6,
In the step of generating the data test data,
And, by the data test data generating unit, generating data test data including a set of variables which are a reference for generating a path for data flow testing. The method of claim 6,
In the step of generating the data test data,
The data flow test path generation unit generates a data flow test path list including paths from a point where each variable is defined to a point used for all variables in the function of the program. Flow unit testing method. The method according to claim 8,
In the step of generating the data test data,
Executing, by the data flow test path generation unit, at least one of paths included in the data flow test path list;
And transmitting, by the data flow test path generation unit, execution results of the executed paths to the path execution unit. delete

Images