简述注册会计师通过实施什么程序来测试内部控制运行的有效性。