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