he first embodiment of the present invention is a structure that generates a second test vector if a change point at which the signal of an asynchronous transfer point varies exists within a predetermined simulation time, the third embodiment of the present invention is a structure that generates a second test vector if a change point does not exist within the predetermined simulation time.