METHOD FOR DEBUGGING AND TESTING THE CORRECTNESS OF PROGRAMS

Method for debugging and testing the correctness of programs, comprising the loading in a data processing system of a monitoring program, of at least a source program to be testing and of at least an object program achieved by the source program through a preprocessing which includes, at each executable program row, a call to a control routine, in the independent activation of a monitoring process based on the monitoring program and of a process to be tested, based on the object program, the two processes interacting by use of message queues.