METHOD FOR MINIMIZING UNCERTAINTY IN COMPUTER SOFTWARE PROCESSES ALLOWING FOR AUTOMATIC IDENTIFICATION OF FAULTS LOCATIONS AND LOCATIONS FOR MODIFICATIONS DUE TO NEW SYSTEM REQUIREMENTS WITH INTRODUCTION OF AN ALTERNATIVE FORM OF THE TARGET PROCESS OBJECT CODE ALLOWING FOR LESS RECOMPILATION AND RE-

摘要

The system and method of this invention allow to minimize an uncertainty about a position of a fault or a place for modification due to new results expectations. This is accomplished by synthesizing processes, that are analogous to the cognitive understanding of the target process functionality. A model of the target process is built on the basis of its static analysis and further accumulation of the target process knowledge is performed during its dynamic analysis by 'XPD Machine', introduced in this invention, that stands for eXpert Program Diagnosis and performs analysis of the target process 'Pseudo Parallel' to its execution. The invention provides a method for extracting the control component of the target process algorithm into 'XPD Frame of algorithm', that is a single definition form, necessary and sufficient for representing the control structure of any process. The mechanism is introduced, that by building consecutive 'visions' can automatically and easily evaluate accessibility, i.e. 'potential dependency' between any two elements of the target process and, as an example, allows to identify 'definitely non-terminatable' process constructions - data independent endless loops. The mechanism is introduced that allows to build a knowledge of 'cause-effect' relationships and a 'relative' and 'time dependent' measurement of 'correctness' or 'uncertainty' of individual elements within the target process and within defined here coordinates of 'process space' and 'process time'. The invention introduces 'knowledge induction' and 'knowledge deduction' processes of XPD Machine and a mechanism for a very high level interface between a user and the accumulated knowledge of the target process. Also introduced here is an audio presentation of the target process behavior as another media for its diagnosis. Presented here 'XPD Object Code' is a form of the target process object code that is more suitable for target process analysis, both static and dynamic, as well as for the maintenance of that process. It shortens and sometimes eliminates re-compiling and re-linking of the target process in order to modify it.