一大型组织对独立单机应用进行综合用户控制，并希望证实微机基础处理实施的控制结构的有效性。下列审计程序中最为适当的是：（）

• A、对用户控制实施测试。
• B、对输入关键应用的数据实施编辑测试。
• C、对软件许可程序实施综合测试。
• D、对执行程序的逻辑实施实质性测试。