A computer-implemented
system and method is described for generating a supplemented test to be performed for a
processing device under test. The method comprises receiving result information from performing an initial test on a representation of the
processing device under test, the initial test providing a program to be executed and associated data, and determining from the result information a sequence of instructions that would be executed by the
processing device under test when adopting in order execution of the program. A plurality of stress injection elements are provided, each having an associated
hazard condition. One or more iterations of a test modification process are performed, comprising: identifying, from the sequence of instructions, a given
control flow influencing event that causes a selection between a first path that will be chosen when adopting the in order execution of the program, and a second path; identifying one or more instructions in an
instruction window associated with the given
control flow influencing event, and one or more associated resources; selecting, in dependence on the one or more instructions and the one or more associated resources, a stress injection element from the plurality of stress injection elements; and employing the selected stress injection element to modify the program by introducing into the second path one or more additional instructions that, when executed, will provide a stimulus aimed at inducing the associated
hazard condition during operation of the processing device under test when
speculative execution of instructions to support
out of order execution causes the instructions in the second path to be speculatively executed. A supplemented test is then generated using a modified program generated through performance of the one or more iterations of the test modification process.