细节测试是审计中的一种程序，用于直接检查财务报表中的具体交易、账户余额和列报的细节，以识别是否存在错报。细节测试的程序包括以下几种：
询问：
审计人员直接向被审计单位或第三方询问有关交易、账户余额或列报的信息。
观察：
审计人员观察被审计单位的操作、文件记录和内部控制系统。
检查：
审计人员检查相关的文档、记录和凭证，以验证信息的准确性和完整性。
重新计算：
审计人员对财务数据或计算进行重新计算，以验证其正确性。
监盘：
审计人员现场监督存货或其他资产的盘点过程，确保其存在和数量正确。
函证：
审计人员向外部第三方发出询证函，以获取有关账户余额或交易确认的信息。
分析程序：
审计人员对财务数据进行分析，比较和关联不同数据，以发现异常或潜在错报。
这些程序的具体应用会根据审计目标和被审计单位的具体情况而有所不同。例如，在测试预付账款时，审计人员可能会执行以下程序：
获取或编制预付账款明细表，并与报表数、总账和明细账的余额核对相符。
选择大额或异常的预付账款项目进行函证，并根据回函情况编制函证结果汇总表。
抽查入库记录，查核有无重复付款或将同一笔已付清的账款在预付账款和应付账款这两个账户同时挂账的情况。
分析预付账款明细账余额，对于出现贷方余额的项目，查明原因，对金额较大的，必要时建议做重分类调整。
确定预付账款是否已在资产负债表上恰当披露。
通过这些详细的测试程序，审计人员能够更有效地发现财务报表中的重大错报，从而提高审计的质量和可靠性。