Invention Grant
US08479168B2 Computer-readable recording medium storing verification support program, information processor, and verification support method
有权
存储验证支持程序,信息处理器和验证支持方法的计算机可读记录介质
- Patent Title: Computer-readable recording medium storing verification support program, information processor, and verification support method
- Patent Title (中): 存储验证支持程序,信息处理器和验证支持方法的计算机可读记录介质
-
Application No.: US12631441Application Date: 2009-12-04
-
Publication No.: US08479168B2Publication Date: 2013-07-02
- Inventor: Atsushi Ike
- Applicant: Atsushi Ike
- Applicant Address: JP Kawasaki
- Assignee: Fujitsu Limited
- Current Assignee: Fujitsu Limited
- Current Assignee Address: JP Kawasaki
- Agency: Staas & Halsey LLP
- Priority: JP2009-54148 20090306
- Main IPC: G06F9/44
- IPC: G06F9/44

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.
Public/Granted literature
Information query