注册会计师执行的下列程序中，旨在测试内部控制运行有效性的是()。