下列实质性程序中，可以实现“所记录的采购都确已收到商品或接受劳务”这一审计目标的有( )。