一名银行内部审计师希望确定是否所有贷款都有充足的质押物支持，是否根据目前付款情况来确定账龄，以及是否恰当地归入流动或非流动两种类型。实现这一目标的审计程序是（）。

A. 使用通用审计软件来阅读总贷款文件，根据最后一笔支付来确定文件的账龄，并根据流动与否从账龄分层的总体中抽取一个统计样本。审查挑选出来的每一笔贷款，看其是否有恰当的质押物，是否根据账龄可以归入适当的类型
B. 抽取一个金额高于规定上限的贷款样本，然后确定它们是否得到了恰当的归类。对那些已得到批准的贷款来说，验证它们的账龄和分类
C. 对所有贷款申请表进行发现抽样，以确定是否每份申请表都包含一份质押文件
D. 从贷款组合还款中抽取一个样本，并追溯到相应的贷款，以确定这些还款是否附有恰当的申请。对每一笔识别出的贷款，检查相应的贷款申请表以确定其拥有恰当的质押品