某零售商刚刚安装了电子数据交换器(EDI)以便向主要供应商发出采购订单。它有一个“已批准供应商”的数据库。新供应商只有经过采购部经理和营销总裁的彻底审查之后才能加入该数据库。只有采购代理有权发出采购订单，而且采购订单中特定商品的采购量不能超过由市场部经理制定的预算数量。 所有采购的商品都被运送到配送中心，在那里商品经电子扫描进入计算机系统，所有新收到的商品必须与采购订单相对应，否则不予接收。公司不使用预先编号的收货单，但是所有的收货都要与采购订单相核对，根据采购订单制作价格标签，而且从电子扫描生成的验收报告中可以看出采购数量。制作的价格标签的数目与验收的商品数目相等。 供应商向零售商开出发票，这些发票被输入系统。计算机软件自动核对供应商发票、采购订单以及验收报告。如果这三者之间的差异在0.5%以内，计算机程序就为这些采购业务安排一个能取得采购折扣的时间来付款。支票是通过现金支出程序来生成自动签发和邮寄。如果三个文件之间有不符之处，系统就会打印出一份报告并传递给应付账款部门以备调查。为确认过去几年来为特定生产线的采购加以限制的控制程序是否有效，最恰当的审计程序是：