Method for testing software by applying across function analysis

A function and function call relationship technology, applied in the field of software automation testing, can solve the problem of variable use error, affecting the control logic of the program under test, changing the function exit, etc., to achieve the effect of reducing the false positive rate and the false negative rate.

Inactive Publication Date: 2010-11-24
BEIJING UNIV OF POSTS & TELECOMM
View PDF0 Cites 25 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application 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 lea

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Method for testing software by applying across function analysis
  • Method for testing software by applying across function analysis
  • Method for testing software by applying across function analysis

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0051] The method of the present invention will be further described in detail below in conjunction with the accompanying drawings and embodiments of the present invention.

[0052] During the actual running of the software, the value of a certain variable or expression is stored in the memory of the computer, and its value is uniquely determined. However, in static testing, since the program is not executed, the definite values ​​of variables and expressions must be approximated by analyzing the internal logic of the program.

[0053] The cross-function analysis method proposed by the present invention is based on the interval calculation and inter-function analysis technology in the existing static test, and expands the specific content of the function abstract information in the software test based on the defect mode; improves the interval iteration technology in the function , the function side effects and branch conditions are calculated into the iterative formula, so tha...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

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 ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F11/36
Inventor 宫云战金大海肖庆杨朝红陈俊亮
Owner BEIJING UNIV OF POSTS & TELECOMM
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap