Method for testing software by applying across function analysis

Abstract

The invention discloses a method for testing software by applying across function analysis, which solves the problem of influences on interval precision caused by function calls, underutilized environment constraint information, control flow change caused by abnormal handling and the like in a software static test. Decision methods for detecting different defects in a program are correspondingly specified by defining function summary information as well as pre-information, post-information, constraint information and characteristic information of the function summary information; and the summary information of all functions in the tested program is output after the test is completed by collecting the function summary information and applying the function summary information to statement nodes of a control flow graph and the process of determining defect modes in the process of testing the software. Experiments prove that compared with the conventional testing software, the testing software of the method has the test result which has higher analysis accuracy among functions and lower misinformation rate and information missing rate.

Description

technical field [0001] The invention relates to software automatic testing technology, in particular to a software testing method applying cross-function analysis. Background technique [0002] Software testing is an important part of the software development process. It is used to confirm whether the quality or performance of a program meets some requirements put forward before development. Software testing can usually be divided into two categories: dynamic testing and static testing. Dynamic testing refers to checking the difference between the running results and the expected results by running the program under test, and analyzing performance such as running efficiency and robustness. Therefore, the method of dynamic testing generally consists of three parts, namely constructing test instances, executing programs and analyzing The output of the program. Static testing refers to checking the correctness of the source program by collecting and searching the information ...

AI Technical Summary

Problems solved by technology

[0003] In actual software static testing, due to the nested call relationship between functions in the source program, the execution of a function may affect its caller or other functions, such as: changes to global variables or class member variables in the function , changes to pointer parameters or reference parameters, and the return value of the function; in addition, when the test function is called, the parameters of the function and external variables will have some values ​​​​under certain conditions, due to the lack of parameter variables And the validity judgment of external variables may lead to errors in the use of variables inside the function; moreover, the exception handling logic inside the program will also change the exit of the function, thus affecting the control logic inside the program under test

[0004] The above-mentioned content involves the internal control flow information of the function and the data flow information between functions affected by it. Therefore, it will bring great difficulties to the software static analysis and testing work, resulting in a large number of false positive information and Missing information, thereby reducing the significance of software testing

Images