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

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

断言检查是用户在程序中嵌入的断言的检查。

本文讲述的是：断言和断言检查的概念，以及什么是断言什么是断言检查的意思。

相关概念：恢复测试、接受测试、健全测试。