为了证实被审计单位关于主营业务收入的截止认定，下列程序中最有效的是( )。