9.6 基于断言的验证