Patent ID: 8479168

Claim:
A non-transitory computer-readable recording medium storing a verification support program that causes a computer to execute an operation, comprising: acquiring a trace group indicating instants of time of execution of processing operations of an arbitrary application running on an arbitrary system and vestiges of contents of the execution, behavior information indicating behaviors of a processor of the arbitrary system running the arbitrary application, and state information indicating state transitions of an arbitrary hardware device other than the processor; searching a behavior trace corresponding to a specified behavior from the trace group acquired based on an instant of time of execution of an arbitrary behavior that is specified from the behaviors indicated by the behavior information; searching a state trace corresponding to an arbitrary state transition from the trace group acquired based on an instant of time of execution of the arbitrary state transition that is specified from the state transitions indicated by the state information; associating traces found by the searching of the behavior trace and traces found by the searching of the state trace according to an instruction about an association between operations when the arbitrary behavior and the arbitrary state transition are executed respectively; and outputting the trace group that are associated in accordance with the instruction about the association between operations as traces for a simulation of the behaviors.