审计程序中，哪些程序可以用于测试内部控制有效性？

重新执行（B）和检查（A）是直接测试内部控制有效性的程序。询问（C）和分析程序（D）更多用于了解内部控制或评估财务报表层次重大错报风险，而非直接测试。