下列各项审计程序，可以用于测试控制有效性的有()。