ABC会计师事务所接受X股份有限公司(以下简称X公司)的委托对其2011年度财务报表进行审计。A注册会计师作为该项目的项目合伙人决定于2011年10月20日开始对X公司内部控制进行了解和测试。在对X公司销售与收款循环内部控制进行测试时，遇到以下问题，请代为作出正确的专业判断。

为证实X公司当期所有销售业务均已记录，注册会计师应选择的最有效的审计程序是( )。

A．对应收账款进行函证
B．从发运凭证追查至主营业务收入明细账
C．从发运凭证追查至销售发票
D．从主营业务收入明细账追查至发运凭证