以下审计程序中，能够证实应收账款的计价和分摊认定的实质性程序有______。
向债务人函证应收账款
检查赊销是否经信用管理部门批准
检查坏账准备的计提是否充分
测试应收账款的相关内部控制
[解析] A、C都属于实质性程序，其中A能够证实应收账款的账面余额，C能够证实应收账款的坏账准备，均与计价和分摊认定相关。B属于了解内部控制的程序，D属于控制测试，两者均非实质性程序。