METHOD FOR DETECTING AND TRACING LOGICAL CONTRADICTION OF PROGRAM

摘要

PURPOSE:To detect logical contradictions of a program without excerting a great influence upon the processing capability of a processor with respect to detection of logical contradictions of the program operated in the processor. CONSTITUTION:A flag register where a control flag (2) used by a program (1) executed by the processor and a control flag table (4) where on/off relations among control flags used by plural program modules (1)a constituting the program (1) are defined as patterns of the control flag (2) are provided. When one program module (1)a updates the control flag, the control flag (2) on the flag register is compared with contents of the control flag table (4) ; and if logical contradictions are detected, they are reported to the program module (1)a to trace various control bits in the processor, the program address, or the like.