主营业务收入的审计程序中，如何进行抽样检验？

在审计主营业务收入时，抽样检验是一种常用的审计程序，有助于审计师评估公司的主营业务收入的真实性和完整性。以下是一些常见的抽样检验程序：
1. 随机抽样： 审计师可以使用随机抽样方法，从销售记录中随机选择一定数量的交易进行审计。这有助于确保样本的代表性和随机性。
2. 比较销售额和合同： 审计师可以选择一些销售额较大或合同金额较高的交易进行审计。这有助于确保公司的销售额与签订的合同一致。
3. 比较销售额和历史数据： 审计师可以比较当前年度的销售额与历史数据，如前几年同期销售额的增长率或趋势，以评估销售额的合理性。
4. 追踪销售流程： 审计师可以选择一些销售流程中的关键环节进行审计，如销售订单的确认、发货和收款流程，以确保销售交易的完整性和准确性。
5. 比较销售额和行业数据： 审计师可以比较公司的销售额与行业平均水平或竞争对手的销售额，以评估公司的市场地位和销售额的合理性。

通过以上抽样检验程序，审计师可以有效地评估主营业务收入的真实性和完整性，发现潜在的风险和问题，并提供审计意见。