Method and system of coherent design verification of inter-cluster interactions
AssigneeInternational Business Machines Corporation
InventorsRobert Devins, David Milton, Pascal Nasmara
Life of this patent
Estimating the term…
Abstract
A method and system comprises creating a test case that is dependent upon known sequences and executing the test case on an originating processor until it reaches a known point. The method further includes executing the test case on a different processor to perform an action and informing the originating processor that the action was taken. The action is verified as being occurred with the originating processor.
Claims21
A method comprising:
- creating a test case that is dependent upon known sequences;
- executing the test case on an originating processor until it reaches a known point;
- executing the test case on a different processor to perform an action;
- informing the originating processor that the action was taken;
- and
- verifying with the originating processor that the action occurred.
A method comprising:
- providing a signal to access and obtain shared information obtained from an execution of a distributed test case on a first processor of at least two processors such that tasks completed by the first processor are communicated to a second processor of the at least two processors during simultaneous execution of a distributed test case;
- and
- executing a test case of the distributed test case on the second processor using the shared information, upon receipt of the signal, to verify a design,
- wherein the signal provides control and synchronization of the distributed test case in a multi-processor application.
A system, comprising:
- a mechanism which is structured and adapted to allow simultaneous execution of a distributed test case, running on different processors, and to communicate a state of each test case of the distributed test case;
- and
- a module providing a handshaking protocol to signal when to check for a result of the test case on an alternate of the different processors, and to respond with the results of the check.
A computer program product comprising a computer useable medium including a computer readable program, wherein the computer readable program when executed on a computer causes the computer to:
- provide a signal to access and obtain shared information obtained from an execution of a distributed test case on a first processor of at least two processors such that tasks completed by the first processor are communicated to a second processor of the at least two processors during simultaneous execution of a distributed test case;
- and
- execute a test case of the distributed test case on the second processor using the shared information, upon receipt of the signal, to verify a design.
Dependencies are inferred from the claim text.