在以下注册会计师所实施的审计程序中，属于专供注册会计师实施控制测试时采用的审计程序是()。