下列审计方法中,(27)能验证程序逻辑上正确性。
【正确答案】 C
【答案解析】解析:跟踪法对特定事件处理进行跟踪,并列出执行的过程清单,可以验证程序逻辑上的正确性。测试数据法可进行特定功能测试,并根据系统审计人员的判断决定测试范围。并行模拟法不对应用程序的全部功能进行测试,而是对审计人员认为必要的功能进行测试。代码比较法能检查源程序或目标程序、使用中的程序和文档之间是否存在差异。答案为C。