应收账款的函证程序可以完全替代对销售记录的细节测试。

函证和细节测试是互补程序，不能互相替代，需结合使用以验证应收账款的准确性。