注册会计师在对被审计单位2014年度销售与收款循环审计过程中，计划测试被审计单位2014年度主营业务收入的发生，下列审计程序能够实现该目标的是______。
从主营业务收入明细账中抽取2014年12月的明细记录，检查相应的记账凭证、发运凭证和销售发票
从主营业务收入明细账中抽取2015年1月的明细记录，检查相应的记账凭证、发运凭证和销售发票
抽取2014年12月的发运凭证，检查相应的销售发票和账簿记录
抽取2014年12月的销售发票，检查相应的发运凭证和账簿记录
[解析] BCD三项均能实现的目标是2014年度主营业务收入的“完整性”，而不是“发生”。