A dry run involves creating what is called a trace table, containing all the variables a program contains. Whenever the value of a variable changes, the change is indicated in the trace table.