注册会计师进行控制测试时，可以运用的审计程序有（）