| 摘要 |
A test system, method and a computer program product are provided for testing software to be run on a data processing apparatus having a plurality of processors operable to share access to a memory system, where at least a part of the memory system has a memory ordering type which allows memory access requests at that part to be processed out of order from an original program order. The test system comprises a processor simulator for each processor of the data processing apparatus, each processor simulator being operable to execute a sequence of instructions in program order. Further, at least one access buffer unit is provided, each access buffer unit being associated with one of the processor simulators and being operable to receive memory access requests issued by that processor simulator when executing memory access instructions within the sequence of instructions. Each access buffer unit comprises at least one buffer operable to store memory access requests issued by the associated processor simulator, and a controller operable to apply an eviction policy to determine an order in which the memory access requests are output from the access buffer unit to the memory system. The eviction policy is configurable such that the memory ordering type of said part of the memory system is exercised to a degree exceeding that expected within the data processing apparatus, in order to seek to provoke an occurrence of any bug in the software resulting from an assumption of memory ordering which is not appropriate for the data processing apparatus.
|
