A computer program that performs a check on another computer program by exhibiting the sequence in which the instructions are executed and usually the results of executing the instructions.