Benjamin M Shapiro

US Patent:

55220363, May 28, 1996

Filed:

Nov 10, 1994

Appl. No.:

8/337262

Inventors:

Benjamin V. Shapiro - West Caldwell NJ

International Classification:

G06F 1100

US Classification:

39518314

Abstract:

A method and apparatus for the analysis of a computer process is disclosed. The method consists of the steps of analyzing a target process and constructing a model and repository which are representative of the control and non-control components contained within the original target process respectively. The resultant model and repository are executed, and their execution is representative of the original target process. Structures created during the execution of the model and repository assist a user to identify failures which occur during the execution, and then locate the fault(s) responsible for the failures as well as places within the target process where modifications due to new requirements are needed. An alternative form of object code is proposed which consists of two components, control and non-control components. Previously described model representing the control component constantly increases the intelligence of the resulting object code in respect to the target process being executed through the processes of propagation of elementary knowledge about the correctness or uncertainty of the target process elements execution.