实质性程序主要包括**细节测试和实质性分析程序**。 细节测试是对各类交易、账户余额和披露的具体细节进行测试，目的在于直接识别财务报表认定是否存在错报。实质性分析程序则是一种分析程序，通过研究数据间关系评价信息，用以识别各类交易、账户余额和披露及相关认定是否存在错报。 而控制测试和符合性测试则是两种不同的审计程序。控制测试用于评估内部控制的有效性，而符合性测试则是为了确定被审计单位的内部控制政策和程序是否得到贯彻执行。这两种测试的目的和实质性程序的目的不同，因此并不属于实质性程序的主要部分。 综上，实质性程序主要包括细节测试和实质性分析程序，所以正确的选项是“细节测试”和“实质性分析程序”。
