assertabs函数