更新断言