注册会计师在对被审计单位涉及职责划分的内部控制的执行有效性进行测试时，由于该控制程序并未留下轨迹，则注册会计师最有可能执行的测试程序为()。