Simulation reproducing apparatus and computer-readable recording medium

1. A simulation reproducing apparatus comprising:

an input device to accept, after simulation of a state change of a target system, a specified time, which is a time in a simulation period being a target of the simulation of the state change of the target system;

a processing circuitry to:

select a change time corresponding to the specified time from trace data, which is data obtained by the simulation of the state change of the target system and is data including change times at which a state of the target system has changed and state values indicating the state of the target system,

obtain a state value corresponding to the selected change time from the trace data, and

generate a state image indicating a state corresponding to the obtained state value; and

a display to display the generated state image, wherein:

the processing circuitry generates a time specified image, which is an image used for specifying the specified time and is an image including a state time axis with a symbol attached to a position corresponding to each change time,

the display displays the time specified image, and

the input device accepts a time specified via the time specified image as the specified time.

2. The simulation reproducing apparatus according to claim 1 , wherein:

the time specified image comprises a specified time axis arranged in parallel with the state time axis, a knob moving along the specified time axis, and a symbol moving along the state time axis in conjunction with the knob, and

the input device accepts a time specified by movement of the knob as the specified time.

3. The simulation reproducing apparatus according to claim 1 , wherein the processing circuitry:

calculates a condition establishment period in which a conditional expression related to the state value is established using the trace data, and

includes a condition time axis indicating the condition establishment period separately from other periods in the time specified image.

4. The simulation reproducing apparatus according to claim 3 , wherein:

the input device accepts condition information including a conditional expression, and

the processing circuitry:

registers the accepted condition information in condition data, and

calculates a period in which the conditional expression included in the condition information registered in the condition data is established, as the condition establishment period.

5. The simulation reproducing apparatus according to claim 4 , wherein:

each condition information registered in the condition data includes a condition identifier,

the input device accepts condition specification information including the condition identifier, and

the processing circuitry selects the condition information identified by the condition identifier included in the condition specification information from the condition data and calculates a period in which the conditional expression included in the selected condition information is established, as the condition establishment period.

6. The simulation reproducing apparatus according to claim 4 , wherein:

the condition data includes a plurality of condition groups,

each of the plurality of condition groups includes a group identifier and one or more condition information,

at least one of the one or more condition information includes the group identifier, and

the processing circuitry calculates the condition establishment period for the one or more condition information included in the condition group identified by the group identifier included in the one or more condition information after the conditional expression included in the one or more condition information including the group identifier is established.

7. The simulation reproducing apparatus according to claim 4 , wherein:

the processing circuitry controls a reproduction time,

at least one of the condition information registered in the condition data includes time control information for specifying a method of advancing the reproduction time,

the processing circuitry:

calculates a time at which the conditional expression included in the condition information including the time control information is established and registers the calculated time in a time control list in association with the time control information included in the condition information,

changes the method of advancing the reproduction time in accordance with the time control information associated with the calculated time, after the reproduction time reaches the same time as the calculated time registered in the time control list,

obtains a state value corresponding to a change time, which is the same time as the reproduction time from the trace data when the reproduction time reaches the same time as the change time included in the trace data, and

generates a state image indicating a state corresponding to the obtained state value, and

the display displays the generated state image.

8. The simulation reproducing apparatus according to claim 7 , wherein:

the processing circuitry temporarily stops updating the reproduction time after the reproduction time reaches the same time as a time associated with a temporary stop.

9. The simulation reproducing apparatus according to claim 7 , wherein:

the processing circuitry changes a speed at which the reproduction time is advanced after the reproduction time reaches the same time as a time associated with a speed change.

10. A non-transitory computer-readable recording medium storing a simulation reproducing program to cause a computer to execute:

an accepting process of accepting, after simulation of a state change of a target system, a specified time, which is a time in a simulation period being a target of the simulation of the state change of the target system;

a state management process of selecting a change time corresponding to the specified time from trace data, which is data obtained by the simulation of the state change of the target system and is data including change times at which a state of the target system has changed and state values indicating the state of the target system, and of obtaining a state value corresponding to the selected change time from the trace data;

an image generation process of generating a state image indicating a state corresponding to the obtained state value; and

a display process of displaying the generated state image, wherein:

the image generation process includes generating a time specified image, which is an image used for specifying the specified time and is an image including a state time axis with a symbol attached to a position corresponding to each change time,

the display process includes displaying the time specified image, and

the accepting process includes accepting a time specified via the time specified image as the specified time.