在测试控制有效性时，注册会计师应当执行的审计程序包括

根据审计准则，控制测试的审计程序通常包括检查文件记录、询问、观察和重新执行，这些均属于测试控制有效性的基本方法。