以下审计程序中，可以运用在控制测试和细节测试实质性程序中的是（　　）。