实质性程序是审计中用于发现认定层次重大错报的审计程序，主要包括以下两类：
细节测试
定义：细节测试是指审计人员对交易、账户余额和披露的具体细节进行详细检查，以获取直接证据，验证其准确性和完整性。
方法：包括检查全体、抽样、选取特定项目等方式来检查会计凭证和相关文件，以判断是否存在错误的会计处理。
实质性分析程序
定义：实质性分析程序是指审计人员通过分析财务报表中的数据和相关因素，评估其合理性、一致性和准确性，以发现可能存在的重大错报。
方法：通常包括将财务报表中的数值与预期因素（如行业数据、历史数据等）进行比较，或者进行比率分析、趋势分析等。
此外，实质性程序还可能包括其他一些具体方法，如：
采用抽样方法进行检查：审计人员可以采用随机抽样或其他抽样方法，对财务报表中的交易进行检查，以获取足够的审计证据。
进行确认：审计人员可以向第三方确认与财务报表相关的信息，例如账户余额、应收账款、应付账款等。
进行计算：审计人员可以对财务报表中的数值进行计算，以确保其准确性和完整性。
进行比较：审计人员可以将财务报表中的数值与其他相关信息进行比较，例如前一年度的财务报表、同行业公司的财务报表等。
进行检查：审计人员可以对财务报表中的交易进行检查，以确保其符合相关法规和会计准则的要求。
进行询问：审计人员可以向公司管理层和其他相关方面进行询问，以获取更多的审计证据。
综上所述，实质性程序主要包括细节测试和实质性分析程序，并可能包括其他补充方法，以全面评估财务报表的准确性和完整性。