为了证实被审计单位应付账款期末余额的真实性，审计人员应实施的审计程序是（）。