销售与收款循环的实质性程序中，细节测试主要用于验证营业收入的准确性。

细节测试是对营业收入和应收账款的具体交易进行检查，以验证其准确性，符合教材中关于实质性程序的描述。