Method and system for supporting automatic detection of program defects

Abstract

The invention discloses a method and a system for supporting automatic detection of program defects. The method comprises the following steps: obtaining a to-be-tested program, and configuring information for the to-be-tested program according to a preset program complete configuration principle to obtain a complete to-be-tested program; analyzing the complete to-be-tested program, analyzing and extracting a to-be-tested function and to-be-tested function information, and compiling the complete to-be-tested program into an LLVM intermediate code; analyzing the LLVM intermediate code to obtain attached information on the intermediate code instruction, performing code instrumentation on a to-be-tested function according to the attached information and the to-be-tested function information, and generating a symbolic execution drive program; analyzing the symbolic execution driving program through an execution analysis technology, and generating trigger defect test data of the program to be tested; and enabling an interpreter to actually execute the defect test data, and outputting an execution result to obtain a defect test result of the to-be-tested program. No manual intervention is needed, the workload of defect testing is greatly reduced, and the universality and the automation degree of the system during testing are guaranteed.

Description

technical field [0001] The invention belongs to the field of computer technology, in particular to a method and system for supporting automatic detection of program defects. Background technique [0002] At present, when performing defect testing on software systems, traditional testing methods require high technical skills and heavy workload, and the support for some compiler features beyond the language standard is not perfect, and the compatibility and scalability of the test system is not satisfactory. , the existing defect finding and verification technology is not sufficiently automated and has weak versatility, so a method for automatically detecting program defects is urgently needed. Contents of the invention [0003] In view of the above technical problems, the present invention provides a method and system for supporting automatic detection of program defects. [0004] The technical scheme that the present invention solves its technical problem adopts is: [0...

AI Technical Summary

Problems solved by technology

[0002] At present, when performing defect testing on software systems, traditional testing methods require high technical skills and heavy workload, and the support for some compiler features beyond the language standard is not perfect, and the compatibility and scalability of the test system is not satisfactory. , the existing defect finding and verification technology is not highly automated and has weak versatility, so there is an urgent need for a method that can automatically detect program defects

Images