Claims Analysis
Total Claims: 25
Claim 1
Independent Claim
153 words
A system for correcting errors in a computer system comprising; a test system in which errors are to be corrected; a reference system different than the test system; and a control mechanism for executing a program on the reference system and the test system, the control mechanism including: means for providing sequences of instructions for each of the test system and the reference system which represent the same sequences of instructions of the program, means for executing the sequences of instructions representing the same sequences of instructions of the program on the reference system and the test system, means for detecting and recording state of the reference system and the test system at comparable points in the execution of the program, and means for comparing the detected state of the reference system and the test system at selectable comparable points in the sequence of instructions including the end of the sequence of instructions.
Claim 2
Independent Claim
153 words
A system for correcting errors in a computer system comprising; a test system in which errors are to be corrected; a reference system different than the test system; and a control mechanism for executing a program on the reference system and the test system, the control mechanism including: means for providing sequences of instructions for each of the test system and the reference system which represent the same sequences of instructions of the program, means for executing the sequences of instructions representing the same sequences of instructions of the program on the reference system and the test system, means for detecting and recording state of the reference system and the test system at comparable points in the execution of the program, and means for comparing the detected state of the reference system and the test system at selectable comparable points in the sequence of instructions including the end of the sequence of instructions.
Claim 3
Dependent Claim
47 words
A system as claimed in claim 1 which further comprises means for replaying the execution of portions between selectable comparable points of the sequence of instructions on each of the reference system and the test system if a difference in compared state of the systems is detected.
Claim 4
Dependent Claim
68 words
A system as claimed in claim 2 in which the means for replaying the execution of portions between selectable comparable points of the sequence of instructions on each of the reference system and the test system if a difference in compared state of the systems is detected responds to detection of a difference in compared state to reset a portion of the sequence of instruction to be replayed.
Claim 5
Dependent Claim
79 words
A system as claimed in claim 3 in which the means for replaying the execution of portions between selectable comparable points of the sequence of instructions on each of the reference system and the test system if a difference in compared state of the systems is detected conducts a search between a last comparable point at which state correctly compared in the test and reference systems and the comparable point at which the difference in compared state was detected.
Claim 6
Dependent Claim
16 words
A system as claimed in claim 4 in which the search conducted is a binary search.
Claim 7
Dependent Claim
72 words
A system as claimed in claim 1: in which the control mechanism further comprises means for providing external events to the reference system, which further comprises means for recording external events provided by the means for providing external events to the reference system; and in which the control mechanism comprises means for utilizing recorded external events of the reference system as external events for the test system in executing sequences of instructions.
Claim 8
Dependent Claim
29 words
A system as claimed in claim 6 in which the control mechanism comprises means for varying the external events and the comparable points at which external events are provided.
Claim 9
Dependent Claim
78 words
A system as claimed in claim 2: in which the control mechanism further comprises means for providing external events to the reference system, which further comprises means for recording external events provided by the means for providing external events to the reference system; and in which the control mechanism comprises means for utilizing recorded external events of the reference system as external events for the reference and the test system in replaying the execution of sequences of instructions.
Claim 10
Dependent Claim
48 words
A system as claimed in claim 1 in which the means for detecting and recording state of the reference system and the test system at comparable points in the execution of the program detects and records surrogate values representing state in the reference system and the test system.
Claim 11
Dependent Claim
46 words
A system as claimed in claim 6 in which the control mechanism comprises means for replaying the execution of portions between selectable comparable points of the sequence of instructions on each of the reference system and the test system while varying the application of external events.
Claim 12
Dependent Claim
47 words
A system as claimed in claim 1 in which the means for comparing the detected state of the reference system and the test system at selectable comparable points in the sequence of instructions including the end of the sequence of instructions is capable of selecting different state.
Claim 13
Dependent Claim
116 words
A computer implemented process for detecting errors in computer systems comprising the steps of: providing for each of a reference system and a test system which differ sequences of instructions which if executed correctly effect the same result on each of the two systems, executing the sequences of instructions on each of the reference system and the test system which differs from the reference system, detecting and recording state of the reference system and the test system at comparable points in the execution of the program, and comparing the detected state of the reference system and the test system at selectable comparable points in the sequence of instructions including the end of the sequence of instructions.
Claim 14
Dependent Claim
116 words
A computer implemented process for detecting errors in computer systems comprising the steps of: providing for each of a reference system and a test system which differ sequences of instructions which if executed correctly effect the same result on each of the two systems, executing the sequences of instructions on each of the reference system and the test system which differs from the reference system, detecting and recording state of the reference system and the test system at comparable points in the execution of the program, and comparing the detected state of the reference system and the test system at selectable comparable points in the sequence of instructions including the end of the sequence of instructions.
Claim 15
Dependent Claim
49 words
A computer implemented process as claimed in claim 12 further comprising the step of replaying the execution of portions of the sequence of instructions between selectable comparable points on each of the reference system and the test system if a difference in compared state of the systems is detected.
Claim 16
Dependent Claim
61 words
A computer implemented process as claimed in claim 13 in which the step of replaying the execution of portions between selectable comparable points of the sequence of instructions on each of the reference system and the test system if a difference in compared state of the systems is detected is accomplished in response to detection of a difference in compared state.
Claim 17
Dependent Claim
82 words
A computer implemented process as claimed in claim 13 in which the step of replaying the execution of portions between selectable comparable points of the sequence of instructions on each of the reference system and the test system if a difference in compared state of the systems is detected includes conducting a search between a last comparable point at which state correctly compared in the test and reference systems and the comparable point at which the difference in compared state was detected.
Claim 18
Dependent Claim
83 words
A computer implemented process as claimed in claim 13 in which the step of replaying the execution of portions between selectable comparable points of the sequence of instructions on each of the reference system and the test system if a difference in compared state of the systems is detected includes conducting a binary search between a last comparable point at which state correctly compared in the test and reference systems and the comparable point at which the difference in compared state was detected.
Claim 19
Dependent Claim
92 words
A computer implemented process as claimed in claim 13 in which the step of replaying the execution of portions between selectable comparable points of the sequence of instructions on each of the reference system and the test system if a difference in compared state of the systems is detected includes conducting a binary search between a last comparable point at which state correctly compared in the test and reference systems and the comparable point at which the difference in compared state was detected, the search technique being selected to enhance searching speed.
Claim 20
Dependent Claim
51 words
A computer implemented process as claimed in claim 12 in which the step of detecting and recording state of the reference system and the test system at comparable points in the execution of the program includes detecting and recording surrogate values representing state in the reference system and the test system.
Claim 21
Dependent Claim
57 words
A computer implemented process as claimed in claim 12 including the further steps of: providing external events to the reference system, recording external events provided by the means for providing external events to the reference system; and utilizing recorded external events of the reference system as external events for the test system in executing sequences of instructions.
Claim 22
Dependent Claim
29 words
A computer implemented process as claimed in claim 19 which comprises the further step of varying the external events and the comparable points at which external events are provided.
Claim 23
Dependent Claim
57 words
A computer implemented process as claimed in claim 13 which comprises the further steps of: providing external events to the reference system, recording external events provided to the reference system; and utilizing recorded external events of the reference system as external events for the reference and the test system in replaying the execution of sequences of instructions.
Claim 24
Dependent Claim
48 words
A computer implemented process as claimed in claim 21 in which the step of replaying the execution of the sequence of portions between selectable comparable points of the sequence of instructions on each of the reference system and the test system includes varying the application of external events.
Claim 25
Dependent Claim
49 words
A computer implemented process as claimed in claim 12 in which the step of comparing the detected state of the reference system and the test system at selectable comparable points in the sequence of instructions including the end of the sequence of instructions includes selecting the state to compare.