注册会计师在进行销售的截止测试时，为了检查被审计单位是否高估营业收入，应实施的有效程序是( )。
从报表日前后若干天的账簿记录查至发票存根与发运凭证
从报表日前后若干天的发票存根查至发运凭证与账簿记录
从报表日前后若干天的发运凭证查至发票存根与账簿记录
对被审计单位营业收入进行分析性复核