实质性测试程序主要包括以下几类：
细节测试
对各类交易、账户余额和披露的细节测试，以验证其准确性、完整性和真实性。
实质性分析程序
将当前财务数据与上一期间的结果和预测进行比较，检查波动是否合理，或者它们是否值得进一步调查其原因。
核对会计记录
将财务报表与其所依据的会计记录进行核对或调节，检查财务报表编制过程中做出的重大会计分录和其他调整。
实物盘点
对有形资产账户所记载的内容进行实物盘点，包括库存现金、有价证券、材料、固定资产、在产品和产成品等，以确定财产物资的实际情况。
检查凭证
抽查凭证，以确定账簿记录数据的真实性和经济业务的合理性、合法性。
核实账户记录余额
核实各类账户记录的余额，确保其准确性。
核对相关记录
核对有关记录，确保其一致性和完整性。
函证
向第三者发函询证，以印证被审计单位会计记录所载事项的真实性，特别是对于应收账款、应付账款等结算类业务。
分析性复核
通过计算、比较和分析财务数据，评估其异常波动和潜在风险。
监盘
对库存现金、存货等实物资产进行监盘，确认其存在和数量。
观察
对被审计单位的业务操作、内部控制系统等进行观察，了解其运作情况。
访谈
与被审计单位的员工、管理层等进行访谈，获取口头信息，了解业务背景和实际情况。
这些程序旨在发现认定层次的重大错报，确保财务报表的真实性和财务收支的合法性。注册会计师应根据被审计单位的具体情况、评估的重大错报风险以及内部控制的有效性，选择适当的实质性测试程序。