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.