Software test method applying interval operation

Abstract

The invention relates to the field of software testing technique. The invention can solve the technical problems of ineffective calculation of the unreachable path and insufficiently used variable value information in a program state test to some extent. The invention provides the concept of interval set, defines a set operation and a four arithmetic operation in the numerical variable interval set and defines an interval calculation method for Boolean typed variables, reference typed variables and expression. The method of the invention collects the value and expression range information of the variable in the prophase of software testing processing, and applies the information to the sentence nodes of a control flow graph; experiments show that the software testing method with interval operation added has lower false alarm rate of the testing results and higher testing accuracy than the original software testing method without interval information added.

Description

Software Testing Method Using Interval Operation technical field The invention relates to software testing technology, in particular to the application of interval calculation in software testing. Background technique There are two types of software testing: dynamic testing and static testing. Dynamic testing is to detect the dynamic behavior of the software and the correctness of the running results by running the software; static testing is to collect and find the information of the program, and analyze the characteristics of the program under test. Its main advantage is that the program failure can be detected before the program runs to test. In actual software testing, since there are a large number of unreachable paths in the program, and the determined values ​​of variables and expressions are mostly unknown when the program is not running, invalid calculations will still be performed for unreachable paths during static testing And detection, resulting in a large ...

AI Technical Summary

Problems solved by technology

The main purpose of the present invention is to provide a software testing method using interval calculation, which can solve the technical problems of invalid calculation of unreachable paths and underutilization of variable value information

Images