Computer-readable recording medium storing verification support program, information processor, and verification support method

An information processing apparatus, comprising:

• a processor;
• and
• a memory which stores a plurality of instructions, which when executed by the processor, cause the processor to execute:
• 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, when an arbitrary behavior is specified from the behaviors indicated by the behavior information, traces corresponding to the specified arbitrary behavior from the trace group acquired based on an instant of time of execution of the arbitrary behavior;
• searching, when an arbitrary state transition is specified from the state transitions indicated by the state information, traces corresponding to the arbitrary state transition from the trace group acquired based on an instant of time of execution of the arbitrary state transition;
• associating, upon receiving an instruction about an association between operations when the arbitrary behavior and the arbitrary state transition are executed, respectively, traces found by the searching of the behavior trace and traces found by the state trace according to the instruction;
• 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.

A verification support method executed by a computer, the method 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 procedure and traces found by the searching of the state trace procedure 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.