下列程序中，适用于测试不留下书面记录的控制的运行情况的有______。
询问
观察
检查
重新执行
[解析] 在控制测试中，检查程序适用于书面控制，即留有控制执行情况记录的控制；重新执行是为了验证被审计单位已执行控制的效果。如控制运行不留痕迹，验证将成无源之水。