Patent ID: 8015553

Claim:
A method of testing an execution flow of a program using a test apparatus comprising a processor, the method comprising: measuring the execution flow, under control of the processor, by: measuring values of a plurality of instructions constituting the program; and calculating test values for the plurality of instructions at a plurality of time points during execution of the program by using the measured values; and verifying the measured execution flow, under control of the processor, by comparing the test values with a reference value, wherein, in the calculating the test values, each of the test values at a corresponding time point of the plurality of time points, except a test value at a first time point of the plurality of time points, is calculated by further using a test value which is calculated at a previous time point of the plurality of time points by using a value of a corresponding instruction among the plurality of instructions, and wherein the plurality of instructions comprise a measurement-start instruction which instructs starting the measuring the execution flow, and a measurement-end instruction which instructs terminating the measuring the execution flow.