内部审计师想对计算机程序更改控制进行测试。下列审计步骤要证实的特定目标是:只有经过批准才能更改计算机程序(即没有未经批准的程序更改)。该公司使用自动程序库系统。内部审计师取得了不同时期程序库系统内容表的副本,这些内容表能显示出上一次程序变动的日期、程序的版本号以及程序的长度。下列最能有效地证实上述目标的审计程序是:( )
A.使用通用审计软件随机抽取当前应用的样本,从这些样本追踪至程序更改批准表 B.对所有程序更改申请进行抽样,从这些申请追查至适当的批准和程序库中的更改 C.使用通用审计软件比较当前程序库中的内容表和内部审计师以前得到的副本,比较并确认差异,选取差异样本进一步调查 D.获取过去6个月中由数据处理经理完成的程序设计清单,从清单中抽取样本并追查至程序更改批准表