注册会计师B负责Y上市公司20×9年度财务报表审计，对以下业务循环实施控制测试和实质性程序，请代B注册会计师对以下业务循环审计做出正确的专业判断。 为证实会计记录中所列的固定资产是否存在，了解其目前的使用状况，注册会计师B应当实施的程序是( )。