Static defect detecting method and system thereof

A defect detection, static technology, applied in the field of static defect detection methods and systems, can solve problems such as incompleteness, false positives, and impact on defect detection accuracy, and achieve the effect of eliminating false positives and improving accuracy

Active Publication Date: 2015-04-22
BEIJING UNIV OF POSTS & TELECOMM
View PDF3 Cites 18 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] Existing static detection techniques often use variable contradictory values ​​to determine whether a path i

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 detecting method and system thereof
  • Static defect detecting method and system thereof
  • Static defect detecting method and system thereof

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0033] Embodiments of the present invention will be described in detail below with reference to the accompanying drawings.

[0034] figure 1 A flow chart of the static defect detection method of the present invention is shown.

[0035] refer to figure 1 , the static defect detection method of the present invention specifically comprises:

[0036] S1. Construct the abstract syntax tree and control flow graph of the program under test;

[0037] First, the abstract syntax tree of the program to be tested is constructed through the source code or binary file of the program, and then the defect detection problem is transformed into an abstract program analysis and pattern recognition problem. By analyzing the source code, several abstract program models can be constructed, and then the performance behavior of various aspects of the program can be described.

[0038] The Abstract Syntax Tree (AST) is in more cases the first program model created. The nodes of the abstract synta...

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 relates to static defect detecting method and system thereof. The method comprises the steps of S1, creating an abstract syntax tree and a control flow diagram of a program to be detected; S2, building a state machine instance of a defect mode according to the preset defect mode, and placing the state machine instance to a control flow inlet of the program to be detected; S3, traversing the control flow diagram according to the path, and calculating the block information of variable of each control flow joint during the traversing process; S4, updating the state of the state machine instance on real time according to the block value taking information of the variable of each control flow node until detecting the defect of the state machine instance or traversing the control flow nodes on all paths. The method is on the basis of symbolic block analyzing technology, and the infeasible path in the program can be comprehensively determined by the conflict variable value taking determining and conditional constraint verification method, so as to improve the defect detecting accuracy.

Description

technical field [0001] The invention relates to software testing technology, in particular to a static defect detection method and system thereof. Background technique [0002] Static defect detection refers to analyzing the code without executing the program, and judging all possible runtime attribute violations of the program through the calculation of program syntax and program abstract semantics. The basic feature of static defect detection is that when the software is analyzed, checked and tested, the program to be tested is not actually run. It can test various documents and is one of the most effective quality control methods in the software development process. [0003] The object of static defect detection is generally program source code or binary executable program. Since the static defect detection technology can analyze part of the source code, there is no need to compile and run the entire program. For those low-probability defects that are difficult to detec...

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