实质性程序包括实质性分析程序和细节测试。实质性分析程序是指先考虑科目的金额与哪些因素有关，这些因素间怎样联系，进而对科目的金额做出一个预测，把这个期望值和客户的账面数比较，通过发现和询问差异原因，来判断科目的金额是否存在错报。细节测试主要是指通过检查全体、抽样、选取特定项目等方式来检查会计凭证，进而判断是否存在错误的会计处理。