Program automatic debugging method

Abstract

The invention relates to a program automatic debugging method which includes the following steps: 101, reading and analyzing an assembly source program Y to obtain all variables used by the assembly source program Y, and generating a relation list A of the variables and page addresses respectively corresponding to the variables; 102, preprocessing and standardizing the assembly source program Y to form an assembly source program B easy to distinguish and check; and 103, performing page switching correctness check for the assembly source program B and finding and reporting page faults. By aid of the program automatic debugging method, page address faults in the programs can be fast and accurately checked, further invalid codes in the programs can be checked easily, manpower is saved, and efficient proceeding of development work is ensured. The program automatic debugging method is wide in application range and can be widely used for debugging of the programs with data spaces or program spaces having distinguishing of pages or section. The program automatic debugging method includes page address fault check for the programs with page / section characteristic storage spaces and of chips of digital signal processors (DSPs), micro-programmed control units (MCUs), microprocessor units (MPUs) and the like.

Description

technical field [0001] The invention relates to a method for automatically checking errors in programs, in particular to a method for automatically checking errors in pages in programs. Background technique [0002] For embedded software, most of them have to deal directly with the hardware. According to the differences of embedded systems, the processors used are also different, such as DSP (Digital Signal Processing) and single-chip microcomputer. The programs of these processors are written in assembly language, or a mixture of high-level language and assembly, but the core part is written in assembly language to improve efficiency. For some DSPs and single-chip microcomputers, the data area and the program area are paged (also called segments), just like the early PCs, each segment of memory and data is 64k bytes. The difference is that a page of DSP and microcontroller is 64 or 128 or other 2 to the nth power (n is a positive integer greater than 0) storage units. Ta...

AI Technical Summary

Problems solved by technology

[0003] The current error checking method generally uses manual inspection, but manual inspection is often time-consuming and labor-intensive, and the result is half the effort, because even for a slightly complicated system, the program volume often reaches tens of thousands, hundreds of thousands, or even hundreds of thousands of lines. One can imagine the difficulty