PROGRAM LOGIC CORRECTNESS VERIFYING SYSTEM

摘要

PURPOSE:To reduce dispersion generated by the skill of the person in charge or the like to improve efficiency by routinizing and automatizing the verifying method of a program correctness on a desk to a certain extent. CONSTITUTION:On the defining part of a program, a working area transition table preparing means 3 prepares a working area stransition table and a working area transition table storing means 5 stores it. The working area transition table is updated by a logical correctness verifying means 4 according to an operating content when an operation in the procedual part of the program is executed. Besides, on the procedual part of the program, a logic tracing means 2 executes the tracing of program logic, and based on it, the logical correctness verifying means 4 refers to the working area stransition table storing means 5 and executes the verification of the correctness of the program logic. Thus, dispersion generated by the skill or the like of the person in charge is reduced and efficiency can be improved.