Static defect detection method of application program slicing technology

A slicing technology and application technology, which is applied in the field of software testing, can solve problems such as restricting applications, and achieve the effects of narrowing the scope, reducing false positives, and reducing time overhead

Inactive Publication Date: 2011-06-29
BEIJING UNIV OF POSTS & TELECOMM
View PDF1 Cites 23 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Path-sensitive analysis can also be achieved by adding control flow nodes to construct new paths, or reconstructing control flow graphs to eliminate unreac

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
  • Static defect detection method of application program slicing technology
  • Static defect detection method of application program slicing technology
  • Static defect detection method of application program slicing technology

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0040] Existing path-sensitive detection methods based on data flow analysis consider the combination relationship between branches, and can record different path information on the control flow graph, thereby effectively reducing false positives during static analysis. The accurate path-sensitive analysis method will record all the path information in the program, and when there are many control flow branches or loops, it will cause path explosion and make analysis impossible.

[0041] Therefore, practical path-sensitive analysis methods often adopt some compromise strategies, which may lead to loss of accuracy:

[0042] 1) The data flow information on different paths is merged at the junction of the control flow;

[0043] 2) The data flow is transmitted on an unreachable path.

[0044] For example, using the iterative refinement strategy, the results of each iterative analysis will update the state merging criterion. This adjustable merging criterion will reduce the accurac...

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 static defect detection method of an application program slicing technology, which comprises the following steps of: A, acquiring defect characteristics of a defect mode to be detected; B, calculating path conditions of all branch nodes according to the defect characteristics, and generating slicing criteria; C, traversing a control flow graph according to the slicing criteria to perform program slicing, and reconstructing the control flow graph to obtain a reconstructed control flow graph; D, performing defect mode state machine calculation by using the reconstructed control flow graph and using a defect state iterative algorithm; E, if the current control flow graph node is a non-convergence node, converging and updating the state conditions in all defect states; and F, if the current control flow graph node is a convergence node, merging the states according to the state condition of the current defect state. By adopting the method, the defect detection efficiency can be improved to certain degree, and misinformation of a path merging strategy-based path sensitivity detection method is reduced.

Description

technical field [0001] The invention relates to software testing technology, in particular to a static defect detection method using program slicing technology, which belongs to the application of path sensitive method in static defect detection. Background technique [0002] Software testing is an important means to improve software quality. According to whether to run the tested program, software testing can be divided into dynamic testing and static testing. Static analysis methods based on software defects can implement effective testing for small-probability defects, and have attracted extensive attention from academia and industry. The efficiency of static analysis is the key to whether it can be applied to large-scale software defect detection, and it is closely related to the computational complexity in the analysis process. Since the static analysis needs to abstract the complete program semantic information, the abstract semantic information is often a "conservati...

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