Concretization of abstracted traces

A computerized apparatus for guiding a simulation of a System Under Test (SUT) to reach a coverage goal, the computerized apparatus having a processor, the computerized apparatus comprising:

• a receiver configured to receive a coverage goal associated with the SUT;
• a probability module configured to determine at least one non-deterministic decision associated with the target device based on a probability function;
• a simulation module configured to simulate an execution of the SUT and produce a trace of the simulated execution, said simulation module is configured to utilize said probability module to determine the at least one non-deterministic decision;
• a similarity estimation module configured to determine a measurement of similarity between the trace and an abstract trace covering the coverage goal;
• and
• a probability function modifier configured to modify the probability function utilized by said probability module based on the measurement of similarity determined by said similarity estimation module.

A computer program product for guiding a simulation of a System Under Test (SUT) to reach a coverage goal, the computer program product comprising:

• a non-transitory computer readable medium;
• a first program instruction for receiving a coverage goal associated with the SUT;
• a second program instruction for simulating an execution of the SUT;
• wherein said second program instruction comprising:
• a third program instruction for performing at least one non-deterministic decision of the SUT based on a probability function;
• a fourth program instruction for producing a trace of the simulated execution;
• a fifth program instruction for determining a measurement of similarity between the trace and an abstract trace covering the coverage goal;
• a sixth program instruction for modifying the probability function in response to determination of the measurement of similarity by said fifth program instruction;
• and
• wherein said first, second, third, fourth, fifth and sixth program instructions are stored on said non-transitory computer readable medium.