A、B、C。为了证实公司业务收入是否真实，有效的审计程序包括：

A) 以业务收入明细账为起点追查发票及发运凭证 - 这种程序可以验证收入是否已记录，并且与实际交易相符。

B) 对销售毛利率进行分析比较 - 分析毛利率的变化可以帮助识别异常的收入波动，可能揭示收入操纵或错误。

C) 以发票为起点追查发运凭证和业务收入明细账 - 这种程序可以防止收入被提前或推迟记录，并确认收入的准确性。

D) 检查收入的确认计量是否符合会计准则 - 虽然这是确保合规性的重要步骤，但它主要关注的是收入确认的正确性，而不是收入的真实性。

因此，选项A、B、C都是有效的审计程序，用于证实公司业务收入的真实性。选项D更多地关注收入确认的会计处理是否正确，而非收入是否实际发生。