SQL中，可以使用 CREATE ASSERTION语句，通过声明性断言来指定更具一般性的约束。
可以定义涉及多个表的或聚集操作的比较复杂的完整性约束。
断言创建以后，任何对断言中所涉及的关系的操作都会触发关系数据库管理系统对断言的检查，任何使断言不为真值的操作都会被拒绝执行

1. 创建断言的语句格式

CREATE ASSERTION<断言名><CHECK 子句>
每个断言都被赋予一个名字，<CHECK 子句>中的约束条件与WHERE子句的条件表达式类似。

[例5.18] 限制数据库课程最多60名学生选修

CREATE ASSERTION ASSE_SC_DB_NUM
CHECK (60 >= (select count(*)
              /*此断言的谓词涉及聚集操作count的SQL语句*/
		            From Course,SC
		    	Where SC.Cno=Course.Cno and 						Course.Cname ='数据库')
		   	);

[例5.19]限制每一门课程最多60名学生选修

CREATE ASSERTION ASSE_SC_CNUM1
	CHECK(60 >= ALL (SELECT count(*) 		   				          FROM	 SC 
			          GROUP by cno)
    		  );
	/*此断言的谓词，涉及聚集操作count 和分组函数group by		的SQL语句*/

[例5.20]限制每个学期每一门课程最多60名学生选修

首先需要修改SC表的模式，增加一个“学期（TERM）”属性

 ALTER TABLE SC ADD TERM DATE;

 然后，定义断言：

 CREATE ASSERTION ASSE_SC_CNUM2
 CHECK(60 >= ALL (SELECT count(*)
                               FROM SC
			    GROUP by cno,TERM)
			   );

2. 删除断言的语句格式为

DROP ASSERTION <断言名>;
如果断言很复杂，则系统在检测和维护断言的开销较高，这是在使用断言时应该注意的
欢迎大家加我微信交流讨论（请备注csdn上添加）

场景一：校验创建用户接口返回体中的字段默认值是否符合预期

（按照用例流程需要清理测试数据，但中间assert断言失败会导致用例停止，不会执行清理操作）

用例组织是这样的：

def test_case(self)

        #调用adduser接口创建用户

        #assert校验response的返回体字段默认值是否符合预期

        #调用deleteuser接口删除创建的用户

如果assert校验失败，就会终止用例，deleteuser这一步不执行，导致测试数据未被清理。有什么办法解决这个问题？

方法一：使用try catch finally解决

将assert写在try中 将后面的清理操作写在finally里

方法二：使用pytest.assume 断言，assume断言失败后，不停止后面的执行

这种轮询校验response返回参数值是否符合预期的校验，推荐使用用pytest.assume，如果第一个参数断言失败，还会校验后面的参数，如果用assert，遇到失败就不校验后面的参数了

参考代码

expres = {'email': "", 'areacode': "", 'enabled': True,  'phone': "",
                      'description': "", 'is_domain': False, 'password_expires': None,
                      }
            for key in expres:
                resValue = jsonpath.jsonpath(jsonRes, "$.user." + key)[0]
                pytest.assume(resValue == expres[key], "返回值与期望不一致，exp[" +key+"]="+ str(expres[key]) + "实际=" + str(resValue))

场景二：参数异常创建用户，期望是创建失败返回400，如果代码有bug，参数异常创建201，需要对创建的测试数据进行清理

用例代码如下：

def test_case1(self):

        #使用异常参数调用adduser接口

        #断言返回400，结束

但是如果代码有bug，参数异常创建201，需要对创建的测试数据进行清理

方法：用例中如果判断返回201就抛出一个异常，在异常exception里将userid加入垃圾桶去回收,exception不会导致后面的异常参数不执行

参考代码如下：

@pytest.mark.parametrize("invalidparm",
                         [{"domain_id": [getRandomString(len=32)]},{"password":["1232"]]
​​​​​​​def test_case1(self,invalidparm):
        for replaceParm in invalidparm:
            #invalidparm={'domain_id': ['oxCHUZgLoGg9lbGCERPcA9aazMSt2AEs']}#replaceParm =domain_id
            for replacevalue in invalidparm[replaceParm]:
                try:
                    jsonbody = self.addOsUserBody()
                    jsonbody["user"][replaceParm] = replacevalue
                    parm ={"headers": getdomainToken,"json":jsonbody}
                    parm.update(jsonbody)
                    result = self.testapi.addOSUSERusers(parm)
                    jsonRes = json.loads(result.text)
                    pytest.assume((result.status_code in [400,404]),str(replaceParm)+"非法为"+str(replacevalue)+",exp=400,result="+str(result.status_code) )
                    if result.status_code == 201:
                        #如果参数异常返回201，就抛出一个异常，在异常里将userid加入垃圾桶去回收
                        raise Exception("invalid Parm Created")
                except Exception:
                    print("触发异常，添加userid to垃圾桶")
                    user_id = jsonpath.jsonpath(jsonRes, "$.user.id")[0]
                    self.cleanUserlist.append(user_id)

postman一共有8种断言方式

 postman的断言方式

//八种断言方式

1、断言返回码为200（*****）状态断言

pm.test("Status code is 200", function () {

pm.response.to.have.status(200);

});

2、断言返回的结果中包含有指定的字符串（*****）业务断言

pm.test("Body matches string", function () {

pm.expect(pm.response.text()).to.include("tags");

});

3、对返回的结果做json字段检查（*****）业务断言

pm.test("Your test name", function () {

var jsonData = pm.response.json();

pm.expect(jsonData.tags[0].id).to.eql(2);

});

4、断言返回的结果等于一个字符串（*****）业务断言

pm.test("Body is correct", function () {

pm.response.to.have.body("response_body_string");

});

5、断言响应头中包含有指定的响应头

pm.test("Content-Type is present", function () {

pm.response.to.have.header("Content-Type");

});

6、断言相应的时间少于200ms（*****）性能断言

pm.test("Response time is less than 200ms", function () {

pm.expect(pm.response.responseTime).to.be.below(200);

});

7、断言一个post请求返回的状态码是不是在指定的范围内

pm.test("Successful POST request", function () {

pm.expect(pm.response.code).to.be.oneOf([201, 202]);

});

8、断言返回的状态码包含指定的字符串

pm.test("Status code name has string", function () {

pm.response.to.have.status("Created");

});

精确断言

var time = Date.now()

console.log(time)

pm.globals.set("time", time);

首先当请求体里面的数是不固定的时想要精确断言到对应的值时

第一步：在Pre-request Script中设置对应的变量（请求前的操作）

第二步：在请求体中用上对应的全局变量

第三步：精确断言