Tracing / Desk Checking

(Menu)   A   B   C   D   E   F

A design and sometimes a program can be checked by tracing.
This means reading through the design / code
  in the same way a computer would.
Results are best recorded in a table.