函证是审计人员直接从第三方获取的外部的审计证据,是独立审计工作中的重要程序,因此审计人员必须要严格执行该程序,保证获取真实、充分且有效的审计证据。此外,函证对于履行审计人员责任,出具真实有效的审计报告具有重要意义,对审计意见起着重要的支撑作用。但是国内会计师事务所因为审计制度不健全,审计流程不完善等原因,没有恰当使用函证程序而导致审计失败的案例接连不断地出现,2015至2018年期间,证监会共公告了13则行政处罚决定书,涉及7家知名会计师事务所(信永中和、利安达、中兴华、立信、瑞华、大华、北京兴华会计师事务所),其中10则行政处罚均提到函证程序存在问题,并把函证审计程序作为处罚的主要依据之一。2018年,“四大”会计师事务所金身告破,毕马威华振会计师事务所因为执业过程中缺失部分函证程序,被福建证监局出具了警示函。本文首先回顾了关于函证审计程序的国内外研究现状,其次对函证审计程序相关的概念和理论进行阐述,包括函证的相关概念,实施函证审计程序的目的,函证审计程序的作用,根据案例中ABC会计师事务所审计人员实施的函证审计程序和替代程序,分析其审计人员在实施函证审计程序时存在的问题和造成的审计风险,探讨问题存在的主要原因。最后,综合考虑风险导向原则和实施函证审计程序的目的,对函证审计程序实施过程中存在的问题提出相应的解决方法,并提出在函证程序中应用BIM技术来解决问题,削减审计风险,使函证审计程序能够发挥应有的作用。