Verify controls exist and are functioning effectively
Validation of program logic can be difficult
If Controls over system development and maintenance are NOT weak, testing data editing/programming logic more efficient than substantive tests of details (test data, ITF)
Some assurance can be gained through the testing of error lists and error logs (detected errors only)