完善断言类
为断言类添加单元测试