Claims Analysis
Total Claims: 6
Claim 1
Independent Claim
179 words
An apparatus for automatic analysis of a target process, wherein the apparatus determines the location of faults contained within the target process or location of modifications within the target process required due to a changed expectation of the result, wherein the apparhtus generates a secondary process of accumulating knowledge of the target process functionality though knowledge induction, comprising: an analyzed calculation word attribute for each executable element of the target process; means for executing the target process and said secondary process, means for said secondary process to build and propagate an elementary knowledge of the target process functionality through knowledge induction that propagates said elementary knowledge through a place and time within the target process, wherein said elementary knowledge indicates a knowledge about or an uncertainty about the correctness of an effect of the target process element execution event and, wherein said elementary knowledge is recorded within said analyzed calculation word and, wherein the location of fault or location of modification within the target process required due to the changed expectation of the result is obtained through knowledge deduction.
Claim 2
Independent Claim
179 words
An apparatus for automatic analysis of a target process, wherein the apparatus determines the location of faults contained within the target process or location of modifications within the target process required due to a changed expectation of the result, wherein the apparhtus generates a secondary process of accumulating knowledge of the target process functionality though knowledge induction, comprising: an analyzed calculation word attribute for each executable element of the target process; means for executing the target process and said secondary process, means for said secondary process to build and propagate an elementary knowledge of the target process functionality through knowledge induction that propagates said elementary knowledge through a place and time within the target process, wherein said elementary knowledge indicates a knowledge about or an uncertainty about the correctness of an effect of the target process element execution event and, wherein said elementary knowledge is recorded within said analyzed calculation word and, wherein the location of fault or location of modification within the target process required due to the changed expectation of the result is obtained through knowledge deduction.
Claim 3
Dependent Claim
34 words
The apparatus of the claim 1, wherein the target process is implemented by execution of code in traditional object code form, while synchronization signals are sent from the target process to said secondary process.
Claim 4
Dependent Claim
50 words
The apparatus of the claim 1, wherein the target process is implemented by a driver tracing a model of the target process and presenting corresponding executable elements of the target process represented in their source code form to a language interpreter, while said secondary process is activated by said driver.
Claim 5
Dependent Claim
45 words
The apparatus of the claim 1, wherein the target process is implemented by a driver tracing a model of the target process and presenting corresponding executable components of SUM object code to the computer operating system, while said secondary process is activated by said driver.
Claim 6
Dependent Claim
46 words
The apparatus of the claim 1, further comprising means for constructing the definitions of modifications within the target process, required due to the changed expectation of the result, wherein said definitions are obtained by reusing event definition spaces of the prior results of the target process.