Test method and system based on software defect mode

Abstract

The invention discloses a testing method based on software defect mode, comprising the steps of: reading source code files of programs to be tested and SDSM description file of a defect state machine, carrying out pre-processing of the programs to be tested, analyzing the SDSM description file; carrying out lexical analysis and grammar analysis of the programs to be tested and constructing abstract syntax tree; generating a control flow graph and a symbol table according to the abstract syntax tree and carrying out the calculating and updating of variable value interval sets according to the control flow graph and the symbol table; carrying out function invoking relation analysis of the programs to be tested and generating a function invoking relation graph; searching the control flow graph by taking the function as unit according to the function invoking relation graph, calculating the state migration of each node defect state machine on the control flow graph, and reporting corresponding checking point when the defect state machine enters the defect state. The invention also discloses a testing system based on software defect mode, which comprises an input module, a defect mode uniformity testing frame and a user interface module and completes the uniform test on the programs to be tested.

Description

technical field The invention relates to software testing technology, in particular to a testing method and system based on a software defect mode. Background technique Program static analysis is a research hotspot in current software engineering. One of the main advantages of this type of method is that in software testing, it can quickly and automatically scan a large number of program source codes and find potential faults. There are many static analysis methods, such as: symbolic execution, theorem proving, abstract interpretation, type inference, model checking, detection based on program style and annotations, etc. However, some of these methods are too complicated to implement, making it difficult to test large-scale programs. Although some methods are relatively simple, they will cause too many false positives and are difficult to be practical. Pattern-based software testing technique is also a static analysis method. Unlike formal verification, such as theorem pro...

AI Technical Summary

Problems solved by technology

(2) Pattern-based software testing techniques can often find faults that are difficult to find by other testing techniques

When testing a program that has been tested and put into operation for a long time as illustrated above, a large number of software faults, security loopholes, and security risks are still detected

Although pattern-based testing methods have many advantages over other testing techniques, some existing pattern-based testing methods still have problems of false positives, false negatives, and insufficient test accuracy.

Images