内部审计师想对计算机程序更改控制进行测试。下列审计步骤要证实的特定目标是：只有经过批准才能更改计算机程序(即没有未经批准的程序更改)。该公司使用自动程序库系统。内部审计师取得了不同时期程序库系统内容表的副本，这些内容表能显示出上一次程序变动的日期、程序的版本号以及程序的长度。下列最能有效地证实上述目标的审计程序是：( )
