实质性程序是指 用于发现重大错报的审计程序，这些程序旨在验证财务报表中各类交易和账户余额的真实性和准确性。实质性程序包括细节测试和实质性分析程序。细节测试是对各类交易、账户余额、列报的具体细节进行测试，目的在于直接识别财务报表认定是否存在错报。实质性分析程序则是通过研究财务数据之间、财务数据与非财务数据之间可能存在的关联性，对财务信息作出评价，并发现可能存在的重大错报。
此外，实质性程序的发展与现代计算机科学的发展密切相关，现代实质性程序还可用于实现云计算。注册会计师在实施实质性程序时，应根据评估的重大错报风险进行设计和实施，以便发现认定层次的重大错报，并为审计师提供充分的证据以支持其对财务报表的意见。