ABSTRACT
This technique requires the use of a pre-processor to insert a branch-reached print message just before each line. When the code is executed the print-out can be visually examined. This process can be speeded up by:
• Writing an expected-branch-reached file • Dumping the print into an actual-branch-reached print file • Comparing the expected-branch-reached with the actual-branch-reached print file
This technique will not work if there are timing considerations in the software or if the input is unpredictable. See also section 12.9 for similar approaches.
