Method for determining context environmental effect of function call in program path

Abstract

The invention discloses a method for determining a context environmental effect of a function call in a program path. The method comprises the steps: using a return value, a global variable redefined by a called function, a pointer or a referenced parameter as an output variable of the called function; calculating the context condition which must be met by call point output variables in the path of the called function by a path-sensitive and context-sensitive symbolic interval arithmetic technology; and finally generating a simulative replacement function according to the condition, wherein the value of the output variables can be dynamically adjusted by the simulative replacement function according to the condition of the call points and the condition that the program is executed according to a target path is ensured. The method can be used for path-oriented test in an automated unit test and comprises a full path-oriented test, a sub path-oriented test and a target-oriented test and the like. The experiment shows that the method provided by the invention is adopted to ensure that the tested program is executed according to the target path and the unit test efficiency is improved.

Description

technical field [0001] The invention relates to a software unit automatic testing technology, in particular to a method for determining the context environment influence of a function call in a program path. Background technique [0002] When unit testing software, the called function in the function under test usually does not call the original function directly, but generates a replacement function with simple logic, and uses the replacement function to simulate the behavior of the original function. The main reasons are: 1) It can isolate the program under test from the actual program with high execution cost, and improve the efficiency of unit testing; 2) isolate the function under test from the uncontrollable execution environment, so that the test process can go smoothly; 3) in the unit test, the called function Might not be implemented yet. In automated unit testing, the generation of replacement functions will encounter new problems. In the traditional substitution...

AI Technical Summary

Problems solved by technology

Since the called function on the path will modify the value of each variable at the call point, the random output value of the called function may cause the value of each variable to fail to meet the path conditions, resulting in the function under test not being able to execute according to the target coverage path, affecting the coverage of the test Rate

Images