COMPUTER-READABLE RECORDING MEDIUM STORING VERIFICATION SUPPORT PROGRAM, INFORMATION PROCESSOR, AND VERIFICATION SUPPORT METHOD
First Claim
1. A 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 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 the traces found by the searching of the behavior trace and the 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 associated as traces for a simulation of the behaviors.
1 Assignment
0 Petitions
Accused Products
Abstract
An information processing and method include acquiring a trace group indicating instants of time of execution of processing operations and vestiges of contents of the execution, behavior information indicating behaviors of a processor of the arbitrary system, and state information indicating state transitions of an arbitrary hardware device other than the processor. A behavior trace searching unit searches when an arbitrary behavior is specified from behaviors indicated by the behavior information, a state trace searching unit searches when an arbitrary state transition is specified from the state transition indicated by the state information, an associating unit associates, the traces found by the behavior trace searching unit and the traces found by the state trace searching unit according to an instruction and an outputting unit outputs the traces associated by the associating unit as traces for a simulation of the behaviors.
-
Citations
20 Claims
-
1. A 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 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 the traces found by the searching of the behavior trace and the 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 associated as traces for a simulation of the behaviors. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18)
-
-
19. An information processing apparatus, comprising:
-
an acquiring unit that acquires 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; a behavior trace searching unit that searches, when an arbitrary behavior is specified from behaviors indicated by the behavior information, a trace corresponding to the specified behavior from the trace group acquired by the acquiring unit based on an instant of time of execution of the arbitrary behavior; a state trace searching unit that searches, when an arbitrary state transition is specified from the state transition indicated by the state information, a trace corresponding to the arbitrary state transition from the trace group acquired by the acquiring unit based on an instant of time of execution of the arbitrary state transition; an associating unit that associates, upon receiving an instruction about an association between operations when the arbitrary behavior and the arbitrary state transition are executed, respectively, the traces found by the behavior trace searching unit and the traces found by the state trace searching unit according to the instruction; and an outputting unit that outputs the trace group the traces associated as traces for a simulation of the behaviors.
-
-
20. 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 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 the traces found by the searching of the behavior trace procedure and the 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 associated as traces for a simulation of the behaviors.
-
Specification