实质性程序包括对各类交易、账户余额、列报和披露的细节测试以及实质性分析程序。实质性程序是指用于发现重大错报风险的审计程序，包括对各类交易、账户余额和披露的细节测试以及实质性分析程序。