当注册会计师认为内部控制设计合理但未有效执行时，应选择的进一步审计程序是：

此时控制测试无法有效应对风险，应侧重实质性程序，如细节测试。选项A和D属于控制测试范畴，选项B是常规措施。