实质性程序主要包括**实质性分析程序**和**细节测试**两个部分。 实质性分析程序从技术特征上讲仍然是分析程序，主要是通过研究数据间关系评价信息，只是将该技术方法用作实质性程序，即用以识别各类交易、账户余额和披露及相关认定是否存在错报。 细节测试是对各类交易、账户余额和披露的具体细节进行测试，目的在于直接识别财务报表认定是否存在错报。例如，对应收账款余额进行函证，验证其存在性和准确性。 至于控制测试和符合性测试，这两者都主要用于审计中。控制测试的目的是测试控制运行的有效性，与实质性程序的目的不同。符合性测试是审计中的一个术语，主要用来测试内部控制是否符合既定的设计，并确定内部控制的有效执行程度。因此，它们并不属于实质性程序的主要部分。 总的来说，实质性分析程序和细节测试是实质性程序的核心组成部分，用于发现财务报表中的重大错报。如需更多信息，建议查阅审计学相关书籍或咨询审计专家。
