以下审计程序中，只能用作控制测试的是______。
重新计算
检查
函证
重新执行
[解析] A、C都是针对账户余额实施的，不可能用于控制测试，B可以用来检查实物资产。按定义，D属于专门的控制测试程序。