为证实W公司所记录的资产是否均由W公司拥有或控制，记录的负债是否均为W公司应当履行的偿还义务，注册会计师采用下列（）程序能够获取充分