| 摘要 |
<p><P>PROBLEM TO BE SOLVED: To efficiently inspect a program requiring date information change. <P>SOLUTION: A program inspection program causes a computer that issues event data included in a predetermined event data group in accordance with the state of a program and serves as an inspection unit verifying transit of the state to perform the following processing: extracting input event data with the program state as valid conditions on the basis of the program state; adding to the extracted input event data predetermined date transit event data indicating change in date information to which the program refers to generate the predetermined event data group; notifying the inspection unit of the generated predetermined event data group; changing the date information to date information after transit when the event data issued by the inspection unit is the date transit event data; and inputting the event data to the program when the event data is not the date transit event data. <P>COPYRIGHT: (C)2013,JPO&INPIT</p> |
