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

A.正确。实施用户控制测试能证实控制结构的合理性和有效性。
B.不正确。对数据实施编辑测试只能证实编辑的有效性和正确性。
C.不正确。对软件许可程序进行综合测试只能测试软件，不能测试有关对用户的控制。
D.不正确。对程序的逻辑进行实质性测试也只能测试程序是否可以正常运行，不能测试用户控制。