断言的英文是 assertion，断言检查的英文是 assertion checking。

断言是指定一个程序必须已经存在的状态的一个逻辑表达式，或者一组程序变量在程序执行期间的某个点上必须满足的条件。

简单的说，对比 期望值与实际值