Method, apparatus and product for testing transactions
US8806270B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Nov 14, 2011 |
| Grant date | Aug 12, 2014 |
| Priority date | — |
| Expiry date | Sep 4, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3612
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A computer-implemented method and apparatus, comprising: having a plurality of processing entities operating substantially concurrently in a computerized platform enabling transaction operations, wherein the plurality of processing entities comprise two or more entities adapted to store values, and one or more entity adapted to load values, wherein each writing entity is associated with a private memory location within a memory unit; storing symbols into an associated target memory location by each of the entities adapted to store values, wherein symbols are stored according to a predetermined order, wherein a symbol is stored using a transaction; loading a multiplicity of private memory locations by the at least one entity adapted to load values, to obtain loaded values; and analyzing the loaded values for at least one invariant.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.