在销售与收款循环的实质性程序中，以下哪些属于营业收入和应收账款的审计程序？

根据教材原文，销售与收款循环的实质性程序包括营业收入和应收账款的细节测试、函证、截止测试。控制测试属于内部控制测试，不属于实质性程序。