审计人员想对计算机程序变更控制进行测试。下列审计步骤要证实的特定目标是：只有经过批准才能变更

计算机程序(即没有未经批准的程序变更)。该公司使用自动程序库系统(automatedprogramlibrarysystem)，审计人员取得了不同时期内程序库系统内容的副本。这些内容表能显示出上一次程序变更的日期、程序的版本号以及程序的长度。下列能最有效地证实上述目标的审计程序是：

A.使用通过审计软件随机抽取当前应用的样本，从这些样本追查至程序变更批准表。

B.对所在程序变更申请进行抽样，从这些申请追查至适当的批准和程序变更批准表。

C.使用通用审计软件比较当前程序库中的内容表和审计人员以前得到的副本。比较并确认差异，选取差异样本进一步调查。

D.获取过去六个月中由数据处理经理完成的程序设计清单，从清单中抽样并追查至程序变更批准表。