注册会计师实施程序以确定控制是否得到一贯执行，其实质是在测试控制的（）