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
CN104536883AActive Publication Date: 2015-04-22BEIJING UNIV OF POSTS & TELECOMM
3 Cites 18 Cited by

Patent Information

Authority / Receiving Office
CN · China
Current Assignee / Owner
BEIJING UNIV OF POSTS & TELECOMM
Publication Date
2015-04-22

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

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.
Need to check novelty before this filing date? Find Prior Art

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