We examined the audit procedures for reviewing batch controls previously as part of the discussion of input controls. Testing run-to-run controls is a logical extension of these procedures and needs no further explanation. Tests of transaction codes and sequence checks can be performed using ITF or the tests–data approach. The auditor should create test data that contain records with incorrect transaction codes and records that are out of sequence in the batch and verify that each was handled correctly. Implicit in this test is verifying the mathematical correctness of the computer operation.