销售收入核查程序主要包括以下几个方面：
获取或编制主营业务收入明细表
复核加计是否正确，并与总账数和明细账合计数核对是否相符。
实施实质性分析程序
将本期的主营业务收入与上期的主营业务收入、销售预算或预测数等进行比较，分析收入及其构成的变动是否异常，并分析异常变动的原因。
计算本期重要产品的毛利率，与上期预算或预测数据比较，检查是否存在异常，各期之间是否存在重大波动，查明原因。
比较本期各月各类主营业务收入的波动情况，分析其变动趋势是否正常，是否符合被审计单位季节性、周期性的经营规律，查明异常现象和重大波动的原因。
将本期重要产品的毛利率与同行业企业进行对比分析，检查是否存在异常。
检查主营业务收入的确认条件、方法
是否符合企业会计准则，前后期是否一致；关注周期性、偶然性的收入是否符合既定的收入确认原则、方法。
细节测试
选择样本对总体样本进行分层抽样。将金额大于等于一定数额的项目全部进行细节测试，剩余项目金额采用随机选样等方法选取样本。
通过获取销售合同、发货记录、验收报告、发票、回款凭证等相关支持性文件以核查收入的真实性、准确性及完整性。
函证
结合应收账款函证，函证销售额，若期末无往来，在必要时单独函证销售额。
截止测试
通过测试资产负债表日前后若干天且金额大于一定数额的发货单据，将应收账款和收入明细账进行核对；同时，从应收账款和收入明细账选取在资产负债表日前后若干天且金额大于一定数额的凭证及相关支持性证据，以确定销售是否存在跨期现象。
其他程序
访谈：对发行人的总经理、财务总监或董事会秘书进行访谈，了解公司的销售情况及销售模式。
了解内控：发行人经销模式下的流程和内部控制情况，并对关键环节执行控制测试。
获取文件：发行人与经销商签署的合同，查阅销售合同具体条款；并结合同行业相关收入确认政策、发行人销售模式及销售流程，分析发行人收入确认政策的合理性。
查阅同行：同行业资料以及同行业可比公司招股说明书，查看同行业可比公司的销售模式，以及不同销售模式下的收入确认时点。
走访：对报告期内主要经销商进行实地走访或视频访谈，了解发行人与经销商的费用承担原则，退换货机制，除销售发行人产品外是否还销售其他公司的商品。
获取折扣折让明细：发行人报告期内销售折扣明细表及结算资料，结合当期销售、结算情况及协议约定对销售折扣金额进行测算，并核查会计处理的正确性。
回款核查：通过现金日记账及银行流水核查的方式检查经销商为个人等非法人实体、第三方回款情况。
这些程序旨在确保销售收入的真实性、准确性和完整性，防止收入确认的错误或舞弊行为。建议在实际应用中，根据具体情况选择适当的程序和方法，以确保审计工作的有效性和可靠性。