Method, apparatus and product for testing transactions

An apparatus having a processing unit and a storage device, the apparatus comprising:

• at least two components adapted to store values, each component storing symbols having a partial order into one a private memory locations within a memory unit, wherein for each of the at least two components symbols are stored according to a predetermined order such that each symbol is stored once, and wherein each symbol is stored using a transaction;
• a component adapted to repeatedly obtaining a reading, each reading comprises a plurality of load values stored within the private memory locations;
• and
• an analysis component for analyzing the values loaded by the component adapted to load values for invariants, wherein the at least one invariant being held is indicative that the transaction operations of the computerized platform adheres to a property, whereby testing operation of the computerized platform,
• wherein the at least two components adapted to store values, the component adapted to load values and the analysis component are configured to operate substantially concurrently.

A computer program product comprising:

• a non-transitory computer readable medium;
• a first program instruction for having a plurality of processing entities operating substantially concurrently in a computerized platform enabling transaction operations, wherein the plurality of processing entities comprise at least two entities adapted to store values, and at least one entity adapted to load values, wherein each writing entity is associated with a private memory location within a memory unit;
• a second program instruction for storing symbols into an associated target memory location by each of the at least two entities adapted to store values, wherein for each of the at least two entities symbols are stored according to a predetermined order, wherein a symbol is stored using a transaction;
• a third program instruction for repeatedly loading values by the at least one entity adapted to load values, wherein in each loading obtaining values from a multiplicity of private memory locations to obtain a reading comprising loaded values;
• a fourth program instruction for analyzing the loaded values for at least one invariant, wherein the at least one invariant being held is indicative that the transaction operations of the computerized platform adheres to a property, whereby testing operation of the computerized platform;
• and
• wherein said first, second, third and fourth program instructions are stored on said non-transitory computer readable medium.