审计发现存在的漏洞。 断言防止不应该出现的状态。 一个是被动的。一个是主动的。